
/* WARNING: Function: __x86.get_pc_thunk.bx replaced with injection: get_pc_thunk_bx */
/* WARNING: Unknown calling convention -- yet parameter storage is locked */

void prompt(void)

{
  if (interactive == 0) {
    return;
  }
  printf("AR >");
  fflush(*(FILE **)PTR_stdout_00020fec);
  return;
}



/* WARNING: Function: __i686.get_pc_thunk.bx replaced with injection: get_pc_thunk_bx */

void FUN_00016930(void)

{
  if (DAT_00021280 == 0) {
    return;
  }
  printf("AR >");
  fflush(*(FILE **)PTR_stdout_00020fec);
  return;
}


PUSH EBX
CALL 0x00013710
ADD EBX,0xa6ca
SUB ESP,0x8
LEA EAX,[EBX + 0x280]
MOV EDX,dword ptr [EAX]
TEST EDX,EDX
JNZ 0x00016950
ADD ESP,0x8
POP EBX
RET
SUB ESP,0xc
LEA EAX,[EBX + 0xffffb011]
PUSH EAX
CALL 0x000120a0
POP EAX
MOV EAX,dword ptr [EBX + 0xffffffec]
PUSH dword ptr [EAX]
CALL 0x000120c0
ADD ESP,0x10
ADD ESP,0x8
POP EBX
RET
(translation_unit "/* WARNING: Function: __i686.get_pc_thunk.bx replaced with injection: get_pc_thunk_bx */\n\nvoid FUN_00016930(void)\n\n{\n  if (DAT_00021280 == 0) {\n    return;\n  }\n  printf("AR >");\n  fflush(*(FILE **)PTR_stdout_00020fec);\n  return;\n}\n\n" comment (function_definition "void FUN_00016930(void)\n\n{\n  if (DAT_00021280 == 0) {\n    return;\n  }\n  printf("AR >");\n  fflush(*(FILE **)PTR_stdout_00020fec);\n  return;\n}" primitive_type (function_declarator "FUN_00016930(void)" identifier (parameter_list "(void)" ( (parameter_declaration "void" primitive_type) ))) (compound_statement "{\n  if (DAT_00021280 == 0) {\n    return;\n  }\n  printf("AR >");\n  fflush(*(FILE **)PTR_stdout_00020fec);\n  return;\n}" { (if_statement "if (DAT_00021280 == 0) {\n    return;\n  }" if (parenthesized_expression "(DAT_00021280 == 0)" ( (binary_expression "DAT_00021280 == 0" identifier == number_literal) )) (compound_statement "{\n    return;\n  }" { (return_statement "return;" return ;) })) (expression_statement "printf("AR >");" (call_expression "printf("AR >")" identifier (argument_list "("AR >")" ( (string_literal ""AR >"" " string_content ") ))) ;) (expression_statement "fflush(*(FILE **)PTR_stdout_00020fec);" (call_expression "fflush(*(FILE **)PTR_stdout_00020fec)" identifier (argument_list "(*(FILE **)PTR_stdout_00020fec)" ( (pointer_expression "*(FILE **)PTR_stdout_00020fec" * (cast_expression "(FILE **)PTR_stdout_00020fec" ( (type_descriptor "FILE **" type_identifier (abstract_pointer_declarator "**" * (abstract_pointer_declarator "*" *))) ) identifier)) ))) ;) (return_statement "return;" return ;) })))
(translation_unit "/* WARNING: Function: __x86.get_pc_thunk.bx replaced with injection: get_pc_thunk_bx */\n/* WARNING: Unknown calling convention -- yet parameter storage is locked */\n\nvoid prompt(void)\n\n{\n  if (interactive == 0) {\n    return;\n  }\n  printf("AR >");\n  fflush(*(FILE **)PTR_stdout_00020fec);\n  return;\n}\n\n" comment comment (function_definition "void prompt(void)\n\n{\n  if (interactive == 0) {\n    return;\n  }\n  printf("AR >");\n  fflush(*(FILE **)PTR_stdout_00020fec);\n  return;\n}" primitive_type (function_declarator "prompt(void)" identifier (parameter_list "(void)" ( (parameter_declaration "void" primitive_type) ))) (compound_statement "{\n  if (interactive == 0) {\n    return;\n  }\n  printf("AR >");\n  fflush(*(FILE **)PTR_stdout_00020fec);\n  return;\n}" { (if_statement "if (interactive == 0) {\n    return;\n  }" if (parenthesized_expression "(interactive == 0)" ( (binary_expression "interactive == 0" identifier == number_literal) )) (compound_statement "{\n    return;\n  }" { (return_statement "return;" return ;) })) (expression_statement "printf("AR >");" (call_expression "printf("AR >")" identifier (argument_list "("AR >")" ( (string_literal ""AR >"" " string_content ") ))) ;) (expression_statement "fflush(*(FILE **)PTR_stdout_00020fec);" (call_expression "fflush(*(FILE **)PTR_stdout_00020fec)" identifier (argument_list "(*(FILE **)PTR_stdout_00020fec)" ( (pointer_expression "*(FILE **)PTR_stdout_00020fec" * (cast_expression "(FILE **)PTR_stdout_00020fec" ( (type_descriptor "FILE **" type_identifier (abstract_pointer_declarator "**" * (abstract_pointer_declarator "*" *))) ) identifier)) ))) ;) (return_statement "return;" return ;) })))
(translation_unit "void FUN_00016930(void)\n\n{\n  if (DAT_00021280 == 0) {\n    return;\n  }\n  printf("AR >");\n  fflush(*(FILE **)PTR_stdout_00020fec);\n  return;\n}\n\n" (function_definition "void FUN_00016930(void)\n\n{\n  if (DAT_00021280 == 0) {\n    return;\n  }\n  printf("AR >");\n  fflush(*(FILE **)PTR_stdout_00020fec);\n  return;\n}" primitive_type (function_declarator "FUN_00016930(void)" identifier (parameter_list "(void)" ( (parameter_declaration "void" primitive_type) ))) (compound_statement "{\n  if (DAT_00021280 == 0) {\n    return;\n  }\n  printf("AR >");\n  fflush(*(FILE **)PTR_stdout_00020fec);\n  return;\n}" { (if_statement "if (DAT_00021280 == 0) {\n    return;\n  }" if (parenthesized_expression "(DAT_00021280 == 0)" ( (binary_expression "DAT_00021280 == 0" identifier == number_literal) )) (compound_statement "{\n    return;\n  }" { (return_statement "return;" return ;) })) (expression_statement "printf("AR >");" (call_expression "printf("AR >")" identifier (argument_list "("AR >")" ( (string_literal ""AR >"" " string_content ") ))) ;) (expression_statement "fflush(*(FILE **)PTR_stdout_00020fec);" (call_expression "fflush(*(FILE **)PTR_stdout_00020fec)" identifier (argument_list "(*(FILE **)PTR_stdout_00020fec)" ( (pointer_expression "*(FILE **)PTR_stdout_00020fec" * (cast_expression "(FILE **)PTR_stdout_00020fec" ( (type_descriptor "FILE **" type_identifier (abstract_pointer_declarator "**" * (abstract_pointer_declarator "*" *))) ) identifier)) ))) ;) (return_statement "return;" return ;) })))
(translation_unit (function_definition TYPE (function_declarator IDENT (parameter_list ( (parameter_declaration TYPE) ))) (compound_statement { (if_statement if (parenthesized_expression ( (binary_expression IDENT == LIT) )) (compound_statement { (return_statement return ;) })) (expression_statement (call_expression IDENT (argument_list ( (string_literal " string_content ") ))) ;) (expression_statement (call_expression IDENT (argument_list ( (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator * (abstract_pointer_declarator *))) ) IDENT)) ))) ;) (return_statement return ;) })))
(function_definition "void FUN_00016930(void)\n\n{\n  if (DAT_00021280 == 0) {\n    return;\n  }\n  printf("AR >");\n  fflush(*(FILE **)PTR_stdout_00020fec);\n  return;\n}" (primitive_type "void") (function_declarator "FUN_00016930(void)" (identifier "FUN_00016930") (parameter_list "(void)" (( "(") (parameter_declaration "void" (primitive_type "void")) () ")"))) (compound_statement "{\n  if (DAT_00021280 == 0) {\n    return;\n  }\n  printf("AR >");\n  fflush(*(FILE **)PTR_stdout_00020fec);\n  return;\n}" ({ "{") (if_statement "if (DAT_00021280 == 0) {\n    return;\n  }" (if "if") (parenthesized_expression "(DAT_00021280 == 0)" (( "(") (binary_expression "DAT_00021280 == 0" (identifier "DAT_00021280") (== "==") (number_literal "0")) () ")")) (compound_statement "{\n    return;\n  }" ({ "{") (return_statement "return;" (return "return") (; ";")) (} "}"))) (expression_statement "printf("AR >");" (call_expression "printf("AR >")" (identifier "printf") (argument_list "("AR >")" (( "(") (string_literal ""AR >"" (" """) (string_content "AR >") (" """)) () ")"))) (; ";")) (expression_statement "fflush(*(FILE **)PTR_stdout_00020fec);" (call_expression "fflush(*(FILE **)PTR_stdout_00020fec)" (identifier "fflush") (argument_list "(*(FILE **)PTR_stdout_00020fec)" (( "(") (pointer_expression "*(FILE **)PTR_stdout_00020fec" (* "*") (cast_expression "(FILE **)PTR_stdout_00020fec" (( "(") (type_descriptor "FILE **" (type_identifier "FILE") (abstract_pointer_declarator "**" (* "*") (abstract_pointer_declarator "*" (* "*")))) () ")") (identifier "PTR_stdout_00020fec"))) () ")"))) (; ";")) (return_statement "return;" (return "return") (; ";")) (} "}")))

/* WARNING: Function: __x86.get_pc_thunk.bx replaced with injection: get_pc_thunk_bx */
/* WARNING: Unknown calling convention -- yet parameter storage is locked */

void function_1(void)

{
  if (var_1 == 0) {
    return;
  }
  var_2("AR >");
  var_3(*(type_1 **)PTR_stdout_00020fec);
  return;
}


(translation_unit (function_definition type: (primitive_type) declarator: (function_declarator declarator: (identifier) parameters: (parameter_list (parameter_declaration type: (primitive_type)))) body: (compound_statement (if_statement condition: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal))) consequence: (compound_statement (return_statement))) (expression_statement (call_expression function: (identifier) arguments: (argument_list (string_literal (string_content))))) (expression_statement (call_expression function: (identifier) arguments: (argument_list (pointer_expression argument: (cast_expression type: (type_descriptor type: (type_identifier) declarator: (abstract_pointer_declarator declarator: (abstract_pointer_declarator))) value: (identifier)))))) (return_statement))))

/* WARNING: Function: __i686.get_pc_thunk.bx replaced with injection: get_pc_thunk_bx */

void MASKED(void)

{
  if (DAT_00021280 == 0) {
    return;
  }
  printf("AR >");
  fflush(*(FILE **)PTR_stdout_00020fec);
  return;
}

