
/* WARNING: Function: __x86.get_pc_thunk.bx replaced with injection: get_pc_thunk_bx */
/* WARNING: Unknown calling convention */

void xtrace_print_arith_cmd(WORD_LIST *list)

{
  char *__s;
  undefined *puVar1;
  
  if (xtrace_fp == (FILE *)0x0) {
    xtrace_fp = *(FILE **)PTR_stderr_00171e54;
  }
  __s = indirection_level_string();
  fputs(__s,(FILE *)xtrace_fp);
  fwrite(&DAT_001124d9,1,3,(FILE *)xtrace_fp);
  if (list != (WORD_LIST *)0x0) {
    do {
      puVar1 = &DAT_001297bd;
      if (list->next != (word_list *)0x0) {
        puVar1 = &DAT_001138a1;
      }
      __fprintf_chk(xtrace_fp,1,&DAT_00112352,list->word->word,puVar1);
      list = list->next;
    } while (list != (word_list *)0x0);
  }
  fwrite(&DAT_001124dd,1,4,(FILE *)xtrace_fp);
  fflush((FILE *)xtrace_fp);
  return;
}



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

void xtrace_print_arith_cmd(int *param_1)

{
  char *__s;
  undefined *puVar1;
  
  if (xtrace_fp == (FILE *)0x0) {
    xtrace_fp = *(FILE **)PTR_stderr_00171e54;
  }
  __s = (char *)indirection_level_string();
  fputs(__s,xtrace_fp);
  fwrite(&DAT_001124d9,1,3,xtrace_fp);
  if (param_1 != (int *)0x0) {
    do {
      puVar1 = &DAT_001297bd;
      if (*param_1 != 0) {
        puVar1 = &DAT_001138a1;
      }
      __fprintf_chk(xtrace_fp,1,&DAT_00112352,*(undefined4 *)param_1[1],puVar1);
      param_1 = (int *)*param_1;
    } while (param_1 != (int *)0x0);
  }
  fwrite(&DAT_001124dd,1,4,xtrace_fp);
  fflush(xtrace_fp);
  return;
}


PUSH EBP
PUSH EDI
PUSH ESI
PUSH EBX
CALL 0x000312b0
ADD EBX,0x12a637
SUB ESP,0x1c
MOV EBP,dword ptr [ESP + 0x30]
MOV EAX,dword ptr [EBX + 0x5c3c]
TEST EAX,EAX
JZ 0x00047aa0
MOV dword ptr [EBX + 0x5c3c],EAX
LEA ESI,[EBX + 0xfffa0352]
LEA EDI,[EBX + 0xfffa18a1]
CALL 0x00046e50
SUB ESP,0x8
PUSH dword ptr [EBX + 0x5c3c]
PUSH EAX
CALL 0x0002ed00
LEA EAX,[EBX + 0xfffa04d9]
PUSH dword ptr [EBX + 0x5c3c]
PUSH 0x3
PUSH 0x1
PUSH EAX
CALL 0x0002e4f0
ADD ESP,0x20
LEA EAX,[EBX + 0xfffb77bd]
MOV dword ptr [ESP + 0xc],EAX
TEST EBP,EBP
JNZ 0x00047a59
JMP 0x00047a70
SUB ESP,0xc
PUSH EDI
MOV EAX,dword ptr [EBP + 0x4]
PUSH dword ptr [EAX]
PUSH ESI
PUSH 0x1
PUSH dword ptr [EBX + 0x5c3c]
CALL 0x0002ec00
MOV EBP,dword ptr [EBP]
ADD ESP,0x20
TEST EBP,EBP
JZ 0x00047a70
MOV EDX,dword ptr [EBP]
TEST EDX,EDX
JNZ 0x00047a38
SUB ESP,0xc
PUSH dword ptr [ESP + 0x18]
JMP 0x00047a3c
LEA EAX,[EBX + 0xfffa04dd]
PUSH dword ptr [EBX + 0x5c3c]
PUSH 0x4
PUSH 0x1
PUSH EAX
CALL 0x0002e4f0
POP EAX
PUSH dword ptr [EBX + 0x5c3c]
CALL 0x0002e180
ADD ESP,0x2c
POP EBX
POP ESI
POP EDI
POP EBP
RET
MOV EAX,dword ptr [EBX + 0xfffffe54]
MOV EAX,dword ptr [EAX]
JMP 0x000479e4
(translation_unit "/* WARNING: Function: __i686.get_pc_thunk.bx replaced with injection: get_pc_thunk_bx */\n\nvoid xtrace_print_arith_cmd(int *param_1)\n\n{\n  char *__s;\n  undefined *puVar1;\n  \n  if (xtrace_fp == (FILE *)0x0) {\n    xtrace_fp = *(FILE **)PTR_stderr_00171e54;\n  }\n  __s = (char *)indirection_level_string();\n  fputs(__s,xtrace_fp);\n  fwrite(&DAT_001124d9,1,3,xtrace_fp);\n  if (param_1 != (int *)0x0) {\n    do {\n      puVar1 = &DAT_001297bd;\n      if (*param_1 != 0) {\n        puVar1 = &DAT_001138a1;\n      }\n      __fprintf_chk(xtrace_fp,1,&DAT_00112352,*(undefined4 *)param_1[1],puVar1);\n      param_1 = (int *)*param_1;\n    } while (param_1 != (int *)0x0);\n  }\n  fwrite(&DAT_001124dd,1,4,xtrace_fp);\n  fflush(xtrace_fp);\n  return;\n}\n\n" comment (function_definition "void xtrace_print_arith_cmd(int *param_1)\n\n{\n  char *__s;\n  undefined *puVar1;\n  \n  if (xtrace_fp == (FILE *)0x0) {\n    xtrace_fp = *(FILE **)PTR_stderr_00171e54;\n  }\n  __s = (char *)indirection_level_string();\n  fputs(__s,xtrace_fp);\n  fwrite(&DAT_001124d9,1,3,xtrace_fp);\n  if (param_1 != (int *)0x0) {\n    do {\n      puVar1 = &DAT_001297bd;\n      if (*param_1 != 0) {\n        puVar1 = &DAT_001138a1;\n      }\n      __fprintf_chk(xtrace_fp,1,&DAT_00112352,*(undefined4 *)param_1[1],puVar1);\n      param_1 = (int *)*param_1;\n    } while (param_1 != (int *)0x0);\n  }\n  fwrite(&DAT_001124dd,1,4,xtrace_fp);\n  fflush(xtrace_fp);\n  return;\n}" primitive_type (function_declarator "xtrace_print_arith_cmd(int *param_1)" identifier (parameter_list "(int *param_1)" ( (parameter_declaration "int *param_1" primitive_type (pointer_declarator "*param_1" * identifier)) ))) (compound_statement "{\n  char *__s;\n  undefined *puVar1;\n  \n  if (xtrace_fp == (FILE *)0x0) {\n    xtrace_fp = *(FILE **)PTR_stderr_00171e54;\n  }\n  __s = (char *)indirection_level_string();\n  fputs(__s,xtrace_fp);\n  fwrite(&DAT_001124d9,1,3,xtrace_fp);\n  if (param_1 != (int *)0x0) {\n    do {\n      puVar1 = &DAT_001297bd;\n      if (*param_1 != 0) {\n        puVar1 = &DAT_001138a1;\n      }\n      __fprintf_chk(xtrace_fp,1,&DAT_00112352,*(undefined4 *)param_1[1],puVar1);\n      param_1 = (int *)*param_1;\n    } while (param_1 != (int *)0x0);\n  }\n  fwrite(&DAT_001124dd,1,4,xtrace_fp);\n  fflush(xtrace_fp);\n  return;\n}" { (declaration "char *__s;" primitive_type (pointer_declarator "*__s" * identifier) ;) (declaration "undefined *puVar1;" type_identifier (pointer_declarator "*puVar1" * identifier) ;) (if_statement "if (xtrace_fp == (FILE *)0x0) {\n    xtrace_fp = *(FILE **)PTR_stderr_00171e54;\n  }" if (parenthesized_expression "(xtrace_fp == (FILE *)0x0)" ( (binary_expression "xtrace_fp == (FILE *)0x0" identifier == (cast_expression "(FILE *)0x0" ( (type_descriptor "FILE *" type_identifier (abstract_pointer_declarator "*" *)) ) number_literal)) )) (compound_statement "{\n    xtrace_fp = *(FILE **)PTR_stderr_00171e54;\n  }" { (expression_statement "xtrace_fp = *(FILE **)PTR_stderr_00171e54;" (assignment_expression "xtrace_fp = *(FILE **)PTR_stderr_00171e54" identifier = (pointer_expression "*(FILE **)PTR_stderr_00171e54" * (cast_expression "(FILE **)PTR_stderr_00171e54" ( (type_descriptor "FILE **" type_identifier (abstract_pointer_declarator "**" * (abstract_pointer_declarator "*" *))) ) identifier))) ;) })) (expression_statement "__s = (char *)indirection_level_string();" (assignment_expression "__s = (char *)indirection_level_string()" identifier = (cast_expression "(char *)indirection_level_string()" ( (type_descriptor "char *" primitive_type (abstract_pointer_declarator "*" *)) ) (call_expression "indirection_level_string()" identifier (argument_list "()" ( ))))) ;) (expression_statement "fputs(__s,xtrace_fp);" (call_expression "fputs(__s,xtrace_fp)" identifier (argument_list "(__s,xtrace_fp)" ( identifier , identifier ))) ;) (expression_statement "fwrite(&DAT_001124d9,1,3,xtrace_fp);" (call_expression "fwrite(&DAT_001124d9,1,3,xtrace_fp)" identifier (argument_list "(&DAT_001124d9,1,3,xtrace_fp)" ( (pointer_expression "&DAT_001124d9" & identifier) , number_literal , number_literal , identifier ))) ;) (if_statement "if (param_1 != (int *)0x0) {\n    do {\n      puVar1 = &DAT_001297bd;\n      if (*param_1 != 0) {\n        puVar1 = &DAT_001138a1;\n      }\n      __fprintf_chk(xtrace_fp,1,&DAT_00112352,*(undefined4 *)param_1[1],puVar1);\n      param_1 = (int *)*param_1;\n    } while (param_1 != (int *)0x0);\n  }" if (parenthesized_expression "(param_1 != (int *)0x0)" ( (binary_expression "param_1 != (int *)0x0" identifier != (cast_expression "(int *)0x0" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) number_literal)) )) (compound_statement "{\n    do {\n      puVar1 = &DAT_001297bd;\n      if (*param_1 != 0) {\n        puVar1 = &DAT_001138a1;\n      }\n      __fprintf_chk(xtrace_fp,1,&DAT_00112352,*(undefined4 *)param_1[1],puVar1);\n      param_1 = (int *)*param_1;\n    } while (param_1 != (int *)0x0);\n  }" { (do_statement "do {\n      puVar1 = &DAT_001297bd;\n      if (*param_1 != 0) {\n        puVar1 = &DAT_001138a1;\n      }\n      __fprintf_chk(xtrace_fp,1,&DAT_00112352,*(undefined4 *)param_1[1],puVar1);\n      param_1 = (int *)*param_1;\n    } while (param_1 != (int *)0x0);" do (compound_statement "{\n      puVar1 = &DAT_001297bd;\n      if (*param_1 != 0) {\n        puVar1 = &DAT_001138a1;\n      }\n      __fprintf_chk(xtrace_fp,1,&DAT_00112352,*(undefined4 *)param_1[1],puVar1);\n      param_1 = (int *)*param_1;\n    }" { (expression_statement "puVar1 = &DAT_001297bd;" (assignment_expression "puVar1 = &DAT_001297bd" identifier = (pointer_expression "&DAT_001297bd" & identifier)) ;) (if_statement "if (*param_1 != 0) {\n        puVar1 = &DAT_001138a1;\n      }" if (parenthesized_expression "(*param_1 != 0)" ( (binary_expression "*param_1 != 0" (pointer_expression "*param_1" * identifier) != number_literal) )) (compound_statement "{\n        puVar1 = &DAT_001138a1;\n      }" { (expression_statement "puVar1 = &DAT_001138a1;" (assignment_expression "puVar1 = &DAT_001138a1" identifier = (pointer_expression "&DAT_001138a1" & identifier)) ;) })) (expression_statement "__fprintf_chk(xtrace_fp,1,&DAT_00112352,*(undefined4 *)param_1[1],puVar1);" (call_expression "__fprintf_chk(xtrace_fp,1,&DAT_00112352,*(undefined4 *)param_1[1],puVar1)" identifier (argument_list "(xtrace_fp,1,&DAT_00112352,*(undefined4 *)param_1[1],puVar1)" ( identifier , number_literal , (pointer_expression "&DAT_00112352" & identifier) , (pointer_expression "*(undefined4 *)param_1[1]" * (cast_expression "(undefined4 *)param_1[1]" ( (type_descriptor "undefined4 *" type_identifier (abstract_pointer_declarator "*" *)) ) (subscript_expression "param_1[1]" identifier [ number_literal ]))) , identifier ))) ;) (expression_statement "param_1 = (int *)*param_1;" (assignment_expression "param_1 = (int *)*param_1" identifier = (cast_expression "(int *)*param_1" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (pointer_expression "*param_1" * identifier))) ;) }) while (parenthesized_expression "(param_1 != (int *)0x0)" ( (binary_expression "param_1 != (int *)0x0" identifier != (cast_expression "(int *)0x0" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) number_literal)) )) ;) })) (expression_statement "fwrite(&DAT_001124dd,1,4,xtrace_fp);" (call_expression "fwrite(&DAT_001124dd,1,4,xtrace_fp)" identifier (argument_list "(&DAT_001124dd,1,4,xtrace_fp)" ( (pointer_expression "&DAT_001124dd" & identifier) , number_literal , number_literal , identifier ))) ;) (expression_statement "fflush(xtrace_fp);" (call_expression "fflush(xtrace_fp)" identifier (argument_list "(xtrace_fp)" ( 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 */\n\nvoid xtrace_print_arith_cmd(WORD_LIST *list)\n\n{\n  char *__s;\n  undefined *puVar1;\n  \n  if (xtrace_fp == (FILE *)0x0) {\n    xtrace_fp = *(FILE **)PTR_stderr_00171e54;\n  }\n  __s = indirection_level_string();\n  fputs(__s,(FILE *)xtrace_fp);\n  fwrite(&DAT_001124d9,1,3,(FILE *)xtrace_fp);\n  if (list != (WORD_LIST *)0x0) {\n    do {\n      puVar1 = &DAT_001297bd;\n      if (list->next != (word_list *)0x0) {\n        puVar1 = &DAT_001138a1;\n      }\n      __fprintf_chk(xtrace_fp,1,&DAT_00112352,list->word->word,puVar1);\n      list = list->next;\n    } while (list != (word_list *)0x0);\n  }\n  fwrite(&DAT_001124dd,1,4,(FILE *)xtrace_fp);\n  fflush((FILE *)xtrace_fp);\n  return;\n}\n\n" comment comment (function_definition "void xtrace_print_arith_cmd(WORD_LIST *list)\n\n{\n  char *__s;\n  undefined *puVar1;\n  \n  if (xtrace_fp == (FILE *)0x0) {\n    xtrace_fp = *(FILE **)PTR_stderr_00171e54;\n  }\n  __s = indirection_level_string();\n  fputs(__s,(FILE *)xtrace_fp);\n  fwrite(&DAT_001124d9,1,3,(FILE *)xtrace_fp);\n  if (list != (WORD_LIST *)0x0) {\n    do {\n      puVar1 = &DAT_001297bd;\n      if (list->next != (word_list *)0x0) {\n        puVar1 = &DAT_001138a1;\n      }\n      __fprintf_chk(xtrace_fp,1,&DAT_00112352,list->word->word,puVar1);\n      list = list->next;\n    } while (list != (word_list *)0x0);\n  }\n  fwrite(&DAT_001124dd,1,4,(FILE *)xtrace_fp);\n  fflush((FILE *)xtrace_fp);\n  return;\n}" primitive_type (function_declarator "xtrace_print_arith_cmd(WORD_LIST *list)" identifier (parameter_list "(WORD_LIST *list)" ( (parameter_declaration "WORD_LIST *list" type_identifier (pointer_declarator "*list" * identifier)) ))) (compound_statement "{\n  char *__s;\n  undefined *puVar1;\n  \n  if (xtrace_fp == (FILE *)0x0) {\n    xtrace_fp = *(FILE **)PTR_stderr_00171e54;\n  }\n  __s = indirection_level_string();\n  fputs(__s,(FILE *)xtrace_fp);\n  fwrite(&DAT_001124d9,1,3,(FILE *)xtrace_fp);\n  if (list != (WORD_LIST *)0x0) {\n    do {\n      puVar1 = &DAT_001297bd;\n      if (list->next != (word_list *)0x0) {\n        puVar1 = &DAT_001138a1;\n      }\n      __fprintf_chk(xtrace_fp,1,&DAT_00112352,list->word->word,puVar1);\n      list = list->next;\n    } while (list != (word_list *)0x0);\n  }\n  fwrite(&DAT_001124dd,1,4,(FILE *)xtrace_fp);\n  fflush((FILE *)xtrace_fp);\n  return;\n}" { (declaration "char *__s;" primitive_type (pointer_declarator "*__s" * identifier) ;) (declaration "undefined *puVar1;" type_identifier (pointer_declarator "*puVar1" * identifier) ;) (if_statement "if (xtrace_fp == (FILE *)0x0) {\n    xtrace_fp = *(FILE **)PTR_stderr_00171e54;\n  }" if (parenthesized_expression "(xtrace_fp == (FILE *)0x0)" ( (binary_expression "xtrace_fp == (FILE *)0x0" identifier == (cast_expression "(FILE *)0x0" ( (type_descriptor "FILE *" type_identifier (abstract_pointer_declarator "*" *)) ) number_literal)) )) (compound_statement "{\n    xtrace_fp = *(FILE **)PTR_stderr_00171e54;\n  }" { (expression_statement "xtrace_fp = *(FILE **)PTR_stderr_00171e54;" (assignment_expression "xtrace_fp = *(FILE **)PTR_stderr_00171e54" identifier = (pointer_expression "*(FILE **)PTR_stderr_00171e54" * (cast_expression "(FILE **)PTR_stderr_00171e54" ( (type_descriptor "FILE **" type_identifier (abstract_pointer_declarator "**" * (abstract_pointer_declarator "*" *))) ) identifier))) ;) })) (expression_statement "__s = indirection_level_string();" (assignment_expression "__s = indirection_level_string()" identifier = (call_expression "indirection_level_string()" identifier (argument_list "()" ( )))) ;) (expression_statement "fputs(__s,(FILE *)xtrace_fp);" (call_expression "fputs(__s,(FILE *)xtrace_fp)" identifier (argument_list "(__s,(FILE *)xtrace_fp)" ( identifier , (cast_expression "(FILE *)xtrace_fp" ( (type_descriptor "FILE *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier) ))) ;) (expression_statement "fwrite(&DAT_001124d9,1,3,(FILE *)xtrace_fp);" (call_expression "fwrite(&DAT_001124d9,1,3,(FILE *)xtrace_fp)" identifier (argument_list "(&DAT_001124d9,1,3,(FILE *)xtrace_fp)" ( (pointer_expression "&DAT_001124d9" & identifier) , number_literal , number_literal , (cast_expression "(FILE *)xtrace_fp" ( (type_descriptor "FILE *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier) ))) ;) (if_statement "if (list != (WORD_LIST *)0x0) {\n    do {\n      puVar1 = &DAT_001297bd;\n      if (list->next != (word_list *)0x0) {\n        puVar1 = &DAT_001138a1;\n      }\n      __fprintf_chk(xtrace_fp,1,&DAT_00112352,list->word->word,puVar1);\n      list = list->next;\n    } while (list != (word_list *)0x0);\n  }" if (parenthesized_expression "(list != (WORD_LIST *)0x0)" ( (binary_expression "list != (WORD_LIST *)0x0" identifier != (cast_expression "(WORD_LIST *)0x0" ( (type_descriptor "WORD_LIST *" type_identifier (abstract_pointer_declarator "*" *)) ) number_literal)) )) (compound_statement "{\n    do {\n      puVar1 = &DAT_001297bd;\n      if (list->next != (word_list *)0x0) {\n        puVar1 = &DAT_001138a1;\n      }\n      __fprintf_chk(xtrace_fp,1,&DAT_00112352,list->word->word,puVar1);\n      list = list->next;\n    } while (list != (word_list *)0x0);\n  }" { (do_statement "do {\n      puVar1 = &DAT_001297bd;\n      if (list->next != (word_list *)0x0) {\n        puVar1 = &DAT_001138a1;\n      }\n      __fprintf_chk(xtrace_fp,1,&DAT_00112352,list->word->word,puVar1);\n      list = list->next;\n    } while (list != (word_list *)0x0);" do (compound_statement "{\n      puVar1 = &DAT_001297bd;\n      if (list->next != (word_list *)0x0) {\n        puVar1 = &DAT_001138a1;\n      }\n      __fprintf_chk(xtrace_fp,1,&DAT_00112352,list->word->word,puVar1);\n      list = list->next;\n    }" { (expression_statement "puVar1 = &DAT_001297bd;" (assignment_expression "puVar1 = &DAT_001297bd" identifier = (pointer_expression "&DAT_001297bd" & identifier)) ;) (if_statement "if (list->next != (word_list *)0x0) {\n        puVar1 = &DAT_001138a1;\n      }" if (parenthesized_expression "(list->next != (word_list *)0x0)" ( (binary_expression "list->next != (word_list *)0x0" (field_expression "list->next" identifier -> field_identifier) != (cast_expression "(word_list *)0x0" ( (type_descriptor "word_list *" type_identifier (abstract_pointer_declarator "*" *)) ) number_literal)) )) (compound_statement "{\n        puVar1 = &DAT_001138a1;\n      }" { (expression_statement "puVar1 = &DAT_001138a1;" (assignment_expression "puVar1 = &DAT_001138a1" identifier = (pointer_expression "&DAT_001138a1" & identifier)) ;) })) (expression_statement "__fprintf_chk(xtrace_fp,1,&DAT_00112352,list->word->word,puVar1);" (call_expression "__fprintf_chk(xtrace_fp,1,&DAT_00112352,list->word->word,puVar1)" identifier (argument_list "(xtrace_fp,1,&DAT_00112352,list->word->word,puVar1)" ( identifier , number_literal , (pointer_expression "&DAT_00112352" & identifier) , (field_expression "list->word->word" (field_expression "list->word" identifier -> field_identifier) -> field_identifier) , identifier ))) ;) (expression_statement "list = list->next;" (assignment_expression "list = list->next" identifier = (field_expression "list->next" identifier -> field_identifier)) ;) }) while (parenthesized_expression "(list != (word_list *)0x0)" ( (binary_expression "list != (word_list *)0x0" identifier != (cast_expression "(word_list *)0x0" ( (type_descriptor "word_list *" type_identifier (abstract_pointer_declarator "*" *)) ) number_literal)) )) ;) })) (expression_statement "fwrite(&DAT_001124dd,1,4,(FILE *)xtrace_fp);" (call_expression "fwrite(&DAT_001124dd,1,4,(FILE *)xtrace_fp)" identifier (argument_list "(&DAT_001124dd,1,4,(FILE *)xtrace_fp)" ( (pointer_expression "&DAT_001124dd" & identifier) , number_literal , number_literal , (cast_expression "(FILE *)xtrace_fp" ( (type_descriptor "FILE *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier) ))) ;) (expression_statement "fflush((FILE *)xtrace_fp);" (call_expression "fflush((FILE *)xtrace_fp)" identifier (argument_list "((FILE *)xtrace_fp)" ( (cast_expression "(FILE *)xtrace_fp" ( (type_descriptor "FILE *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier) ))) ;) (return_statement "return;" return ;) })))
(translation_unit "void xtrace_print_arith_cmd(int *param_1)\n\n{\n  char *__s;\n  undefined *puVar1;\n  \n  if (xtrace_fp == (FILE *)0x0) {\n    xtrace_fp = *(FILE **)PTR_stderr_00171e54;\n  }\n  __s = (char *)indirection_level_string();\n  fputs(__s,xtrace_fp);\n  fwrite(&DAT_001124d9,1,3,xtrace_fp);\n  if (param_1 != (int *)0x0) {\n    do {\n      puVar1 = &DAT_001297bd;\n      if (*param_1 != 0) {\n        puVar1 = &DAT_001138a1;\n      }\n      __fprintf_chk(xtrace_fp,1,&DAT_00112352,*(undefined4 *)param_1[1],puVar1);\n      param_1 = (int *)*param_1;\n    } while (param_1 != (int *)0x0);\n  }\n  fwrite(&DAT_001124dd,1,4,xtrace_fp);\n  fflush(xtrace_fp);\n  return;\n}\n\n" (function_definition "void xtrace_print_arith_cmd(int *param_1)\n\n{\n  char *__s;\n  undefined *puVar1;\n  \n  if (xtrace_fp == (FILE *)0x0) {\n    xtrace_fp = *(FILE **)PTR_stderr_00171e54;\n  }\n  __s = (char *)indirection_level_string();\n  fputs(__s,xtrace_fp);\n  fwrite(&DAT_001124d9,1,3,xtrace_fp);\n  if (param_1 != (int *)0x0) {\n    do {\n      puVar1 = &DAT_001297bd;\n      if (*param_1 != 0) {\n        puVar1 = &DAT_001138a1;\n      }\n      __fprintf_chk(xtrace_fp,1,&DAT_00112352,*(undefined4 *)param_1[1],puVar1);\n      param_1 = (int *)*param_1;\n    } while (param_1 != (int *)0x0);\n  }\n  fwrite(&DAT_001124dd,1,4,xtrace_fp);\n  fflush(xtrace_fp);\n  return;\n}" primitive_type (function_declarator "xtrace_print_arith_cmd(int *param_1)" identifier (parameter_list "(int *param_1)" ( (parameter_declaration "int *param_1" primitive_type (pointer_declarator "*param_1" * identifier)) ))) (compound_statement "{\n  char *__s;\n  undefined *puVar1;\n  \n  if (xtrace_fp == (FILE *)0x0) {\n    xtrace_fp = *(FILE **)PTR_stderr_00171e54;\n  }\n  __s = (char *)indirection_level_string();\n  fputs(__s,xtrace_fp);\n  fwrite(&DAT_001124d9,1,3,xtrace_fp);\n  if (param_1 != (int *)0x0) {\n    do {\n      puVar1 = &DAT_001297bd;\n      if (*param_1 != 0) {\n        puVar1 = &DAT_001138a1;\n      }\n      __fprintf_chk(xtrace_fp,1,&DAT_00112352,*(undefined4 *)param_1[1],puVar1);\n      param_1 = (int *)*param_1;\n    } while (param_1 != (int *)0x0);\n  }\n  fwrite(&DAT_001124dd,1,4,xtrace_fp);\n  fflush(xtrace_fp);\n  return;\n}" { (declaration "char *__s;" primitive_type (pointer_declarator "*__s" * identifier) ;) (declaration "undefined *puVar1;" type_identifier (pointer_declarator "*puVar1" * identifier) ;) (if_statement "if (xtrace_fp == (FILE *)0x0) {\n    xtrace_fp = *(FILE **)PTR_stderr_00171e54;\n  }" if (parenthesized_expression "(xtrace_fp == (FILE *)0x0)" ( (binary_expression "xtrace_fp == (FILE *)0x0" identifier == (cast_expression "(FILE *)0x0" ( (type_descriptor "FILE *" type_identifier (abstract_pointer_declarator "*" *)) ) number_literal)) )) (compound_statement "{\n    xtrace_fp = *(FILE **)PTR_stderr_00171e54;\n  }" { (expression_statement "xtrace_fp = *(FILE **)PTR_stderr_00171e54;" (assignment_expression "xtrace_fp = *(FILE **)PTR_stderr_00171e54" identifier = (pointer_expression "*(FILE **)PTR_stderr_00171e54" * (cast_expression "(FILE **)PTR_stderr_00171e54" ( (type_descriptor "FILE **" type_identifier (abstract_pointer_declarator "**" * (abstract_pointer_declarator "*" *))) ) identifier))) ;) })) (expression_statement "__s = (char *)indirection_level_string();" (assignment_expression "__s = (char *)indirection_level_string()" identifier = (cast_expression "(char *)indirection_level_string()" ( (type_descriptor "char *" primitive_type (abstract_pointer_declarator "*" *)) ) (call_expression "indirection_level_string()" identifier (argument_list "()" ( ))))) ;) (expression_statement "fputs(__s,xtrace_fp);" (call_expression "fputs(__s,xtrace_fp)" identifier (argument_list "(__s,xtrace_fp)" ( identifier , identifier ))) ;) (expression_statement "fwrite(&DAT_001124d9,1,3,xtrace_fp);" (call_expression "fwrite(&DAT_001124d9,1,3,xtrace_fp)" identifier (argument_list "(&DAT_001124d9,1,3,xtrace_fp)" ( (pointer_expression "&DAT_001124d9" & identifier) , number_literal , number_literal , identifier ))) ;) (if_statement "if (param_1 != (int *)0x0) {\n    do {\n      puVar1 = &DAT_001297bd;\n      if (*param_1 != 0) {\n        puVar1 = &DAT_001138a1;\n      }\n      __fprintf_chk(xtrace_fp,1,&DAT_00112352,*(undefined4 *)param_1[1],puVar1);\n      param_1 = (int *)*param_1;\n    } while (param_1 != (int *)0x0);\n  }" if (parenthesized_expression "(param_1 != (int *)0x0)" ( (binary_expression "param_1 != (int *)0x0" identifier != (cast_expression "(int *)0x0" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) number_literal)) )) (compound_statement "{\n    do {\n      puVar1 = &DAT_001297bd;\n      if (*param_1 != 0) {\n        puVar1 = &DAT_001138a1;\n      }\n      __fprintf_chk(xtrace_fp,1,&DAT_00112352,*(undefined4 *)param_1[1],puVar1);\n      param_1 = (int *)*param_1;\n    } while (param_1 != (int *)0x0);\n  }" { (do_statement "do {\n      puVar1 = &DAT_001297bd;\n      if (*param_1 != 0) {\n        puVar1 = &DAT_001138a1;\n      }\n      __fprintf_chk(xtrace_fp,1,&DAT_00112352,*(undefined4 *)param_1[1],puVar1);\n      param_1 = (int *)*param_1;\n    } while (param_1 != (int *)0x0);" do (compound_statement "{\n      puVar1 = &DAT_001297bd;\n      if (*param_1 != 0) {\n        puVar1 = &DAT_001138a1;\n      }\n      __fprintf_chk(xtrace_fp,1,&DAT_00112352,*(undefined4 *)param_1[1],puVar1);\n      param_1 = (int *)*param_1;\n    }" { (expression_statement "puVar1 = &DAT_001297bd;" (assignment_expression "puVar1 = &DAT_001297bd" identifier = (pointer_expression "&DAT_001297bd" & identifier)) ;) (if_statement "if (*param_1 != 0) {\n        puVar1 = &DAT_001138a1;\n      }" if (parenthesized_expression "(*param_1 != 0)" ( (binary_expression "*param_1 != 0" (pointer_expression "*param_1" * identifier) != number_literal) )) (compound_statement "{\n        puVar1 = &DAT_001138a1;\n      }" { (expression_statement "puVar1 = &DAT_001138a1;" (assignment_expression "puVar1 = &DAT_001138a1" identifier = (pointer_expression "&DAT_001138a1" & identifier)) ;) })) (expression_statement "__fprintf_chk(xtrace_fp,1,&DAT_00112352,*(undefined4 *)param_1[1],puVar1);" (call_expression "__fprintf_chk(xtrace_fp,1,&DAT_00112352,*(undefined4 *)param_1[1],puVar1)" identifier (argument_list "(xtrace_fp,1,&DAT_00112352,*(undefined4 *)param_1[1],puVar1)" ( identifier , number_literal , (pointer_expression "&DAT_00112352" & identifier) , (pointer_expression "*(undefined4 *)param_1[1]" * (cast_expression "(undefined4 *)param_1[1]" ( (type_descriptor "undefined4 *" type_identifier (abstract_pointer_declarator "*" *)) ) (subscript_expression "param_1[1]" identifier [ number_literal ]))) , identifier ))) ;) (expression_statement "param_1 = (int *)*param_1;" (assignment_expression "param_1 = (int *)*param_1" identifier = (cast_expression "(int *)*param_1" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (pointer_expression "*param_1" * identifier))) ;) }) while (parenthesized_expression "(param_1 != (int *)0x0)" ( (binary_expression "param_1 != (int *)0x0" identifier != (cast_expression "(int *)0x0" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) number_literal)) )) ;) })) (expression_statement "fwrite(&DAT_001124dd,1,4,xtrace_fp);" (call_expression "fwrite(&DAT_001124dd,1,4,xtrace_fp)" identifier (argument_list "(&DAT_001124dd,1,4,xtrace_fp)" ( (pointer_expression "&DAT_001124dd" & identifier) , number_literal , number_literal , identifier ))) ;) (expression_statement "fflush(xtrace_fp);" (call_expression "fflush(xtrace_fp)" identifier (argument_list "(xtrace_fp)" ( identifier ))) ;) (return_statement "return;" return ;) })))
(translation_unit (function_definition TYPE (function_declarator IDENT (parameter_list ( (parameter_declaration TYPE (pointer_declarator * IDENT)) ))) (compound_statement { (declaration TYPE (pointer_declarator * IDENT) ;) (declaration TYPE (pointer_declarator * IDENT) ;) (if_statement if (parenthesized_expression ( (binary_expression IDENT == (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) LIT)) )) (compound_statement { (expression_statement (assignment_expression IDENT = (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator * (abstract_pointer_declarator *))) ) IDENT))) ;) })) (expression_statement (assignment_expression IDENT = (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (call_expression IDENT (argument_list ( ))))) ;) (expression_statement (call_expression IDENT (argument_list ( IDENT , IDENT ))) ;) (expression_statement (call_expression IDENT (argument_list ( (pointer_expression & IDENT) , LIT , LIT , IDENT ))) ;) (if_statement if (parenthesized_expression ( (binary_expression IDENT != (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) LIT)) )) (compound_statement { (do_statement do (compound_statement { (expression_statement (assignment_expression IDENT = (pointer_expression & IDENT)) ;) (if_statement if (parenthesized_expression ( (binary_expression (pointer_expression * IDENT) != LIT) )) (compound_statement { (expression_statement (assignment_expression IDENT = (pointer_expression & IDENT)) ;) })) (expression_statement (call_expression IDENT (argument_list ( IDENT , LIT , (pointer_expression & IDENT) , (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (subscript_expression IDENT [ LIT ]))) , IDENT ))) ;) (expression_statement (assignment_expression IDENT = (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (pointer_expression * IDENT))) ;) }) while (parenthesized_expression ( (binary_expression IDENT != (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) LIT)) )) ;) })) (expression_statement (call_expression IDENT (argument_list ( (pointer_expression & IDENT) , LIT , LIT , IDENT ))) ;) (expression_statement (call_expression IDENT (argument_list ( IDENT ))) ;) (return_statement return ;) })))
(function_definition "void xtrace_print_arith_cmd(int *param_1)\n\n{\n  char *__s;\n  undefined *puVar1;\n  \n  if (xtrace_fp == (FILE *)0x0) {\n    xtrace_fp = *(FILE **)PTR_stderr_00171e54;\n  }\n  __s = (char *)indirection_level_string();\n  fputs(__s,xtrace_fp);\n  fwrite(&DAT_001124d9,1,3,xtrace_fp);\n  if (param_1 != (int *)0x0) {\n    do {\n      puVar1 = &DAT_001297bd;\n      if (*param_1 != 0) {\n        puVar1 = &DAT_001138a1;\n      }\n      __fprintf_chk(xtrace_fp,1,&DAT_00112352,*(undefined4 *)param_1[1],puVar1);\n      param_1 = (int *)*param_1;\n    } while (param_1 != (int *)0x0);\n  }\n  fwrite(&DAT_001124dd,1,4,xtrace_fp);\n  fflush(xtrace_fp);\n  return;\n}" (primitive_type "void") (function_declarator "xtrace_print_arith_cmd(int *param_1)" (identifier "xtrace_print_arith_cmd") (parameter_list "(int *param_1)" (( "(") (parameter_declaration "int *param_1" (primitive_type "int") (pointer_declarator "*param_1" (* "*") (identifier "param_1"))) () ")"))) (compound_statement "{\n  char *__s;\n  undefined *puVar1;\n  \n  if (xtrace_fp == (FILE *)0x0) {\n    xtrace_fp = *(FILE **)PTR_stderr_00171e54;\n  }\n  __s = (char *)indirection_level_string();\n  fputs(__s,xtrace_fp);\n  fwrite(&DAT_001124d9,1,3,xtrace_fp);\n  if (param_1 != (int *)0x0) {\n    do {\n      puVar1 = &DAT_001297bd;\n      if (*param_1 != 0) {\n        puVar1 = &DAT_001138a1;\n      }\n      __fprintf_chk(xtrace_fp,1,&DAT_00112352,*(undefined4 *)param_1[1],puVar1);\n      param_1 = (int *)*param_1;\n    } while (param_1 != (int *)0x0);\n  }\n  fwrite(&DAT_001124dd,1,4,xtrace_fp);\n  fflush(xtrace_fp);\n  return;\n}" ({ "{") (declaration "char *__s;" (primitive_type "char") (pointer_declarator "*__s" (* "*") (identifier "__s")) (; ";")) (declaration "undefined *puVar1;" (type_identifier "undefined") (pointer_declarator "*puVar1" (* "*") (identifier "puVar1")) (; ";")) (if_statement "if (xtrace_fp == (FILE *)0x0) {\n    xtrace_fp = *(FILE **)PTR_stderr_00171e54;\n  }" (if "if") (parenthesized_expression "(xtrace_fp == (FILE *)0x0)" (( "(") (binary_expression "xtrace_fp == (FILE *)0x0" (identifier "xtrace_fp") (== "==") (cast_expression "(FILE *)0x0" (( "(") (type_descriptor "FILE *" (type_identifier "FILE") (abstract_pointer_declarator "*" (* "*"))) () ")") (number_literal "0x0"))) () ")")) (compound_statement "{\n    xtrace_fp = *(FILE **)PTR_stderr_00171e54;\n  }" ({ "{") (expression_statement "xtrace_fp = *(FILE **)PTR_stderr_00171e54;" (assignment_expression "xtrace_fp = *(FILE **)PTR_stderr_00171e54" (identifier "xtrace_fp") (= "=") (pointer_expression "*(FILE **)PTR_stderr_00171e54" (* "*") (cast_expression "(FILE **)PTR_stderr_00171e54" (( "(") (type_descriptor "FILE **" (type_identifier "FILE") (abstract_pointer_declarator "**" (* "*") (abstract_pointer_declarator "*" (* "*")))) () ")") (identifier "PTR_stderr_00171e54")))) (; ";")) (} "}"))) (expression_statement "__s = (char *)indirection_level_string();" (assignment_expression "__s = (char *)indirection_level_string()" (identifier "__s") (= "=") (cast_expression "(char *)indirection_level_string()" (( "(") (type_descriptor "char *" (primitive_type "char") (abstract_pointer_declarator "*" (* "*"))) () ")") (call_expression "indirection_level_string()" (identifier "indirection_level_string") (argument_list "()" (( "(") () ")"))))) (; ";")) (expression_statement "fputs(__s,xtrace_fp);" (call_expression "fputs(__s,xtrace_fp)" (identifier "fputs") (argument_list "(__s,xtrace_fp)" (( "(") (identifier "__s") (, ",") (identifier "xtrace_fp") () ")"))) (; ";")) (expression_statement "fwrite(&DAT_001124d9,1,3,xtrace_fp);" (call_expression "fwrite(&DAT_001124d9,1,3,xtrace_fp)" (identifier "fwrite") (argument_list "(&DAT_001124d9,1,3,xtrace_fp)" (( "(") (pointer_expression "&DAT_001124d9" (& "&") (identifier "DAT_001124d9")) (, ",") (number_literal "1") (, ",") (number_literal "3") (, ",") (identifier "xtrace_fp") () ")"))) (; ";")) (if_statement "if (param_1 != (int *)0x0) {\n    do {\n      puVar1 = &DAT_001297bd;\n      if (*param_1 != 0) {\n        puVar1 = &DAT_001138a1;\n      }\n      __fprintf_chk(xtrace_fp,1,&DAT_00112352,*(undefined4 *)param_1[1],puVar1);\n      param_1 = (int *)*param_1;\n    } while (param_1 != (int *)0x0);\n  }" (if "if") (parenthesized_expression "(param_1 != (int *)0x0)" (( "(") (binary_expression "param_1 != (int *)0x0" (identifier "param_1") (!= "!=") (cast_expression "(int *)0x0" (( "(") (type_descriptor "int *" (primitive_type "int") (abstract_pointer_declarator "*" (* "*"))) () ")") (number_literal "0x0"))) () ")")) (compound_statement "{\n    do {\n      puVar1 = &DAT_001297bd;\n      if (*param_1 != 0) {\n        puVar1 = &DAT_001138a1;\n      }\n      __fprintf_chk(xtrace_fp,1,&DAT_00112352,*(undefined4 *)param_1[1],puVar1);\n      param_1 = (int *)*param_1;\n    } while (param_1 != (int *)0x0);\n  }" ({ "{") (do_statement "do {\n      puVar1 = &DAT_001297bd;\n      if (*param_1 != 0) {\n        puVar1 = &DAT_001138a1;\n      }\n      __fprintf_chk(xtrace_fp,1,&DAT_00112352,*(undefined4 *)param_1[1],puVar1);\n      param_1 = (int *)*param_1;\n    } while (param_1 != (int *)0x0);" (do "do") (compound_statement "{\n      puVar1 = &DAT_001297bd;\n      if (*param_1 != 0) {\n        puVar1 = &DAT_001138a1;\n      }\n      __fprintf_chk(xtrace_fp,1,&DAT_00112352,*(undefined4 *)param_1[1],puVar1);\n      param_1 = (int *)*param_1;\n    }" ({ "{") (expression_statement "puVar1 = &DAT_001297bd;" (assignment_expression "puVar1 = &DAT_001297bd" (identifier "puVar1") (= "=") (pointer_expression "&DAT_001297bd" (& "&") (identifier "DAT_001297bd"))) (; ";")) (if_statement "if (*param_1 != 0) {\n        puVar1 = &DAT_001138a1;\n      }" (if "if") (parenthesized_expression "(*param_1 != 0)" (( "(") (binary_expression "*param_1 != 0" (pointer_expression "*param_1" (* "*") (identifier "param_1")) (!= "!=") (number_literal "0")) () ")")) (compound_statement "{\n        puVar1 = &DAT_001138a1;\n      }" ({ "{") (expression_statement "puVar1 = &DAT_001138a1;" (assignment_expression "puVar1 = &DAT_001138a1" (identifier "puVar1") (= "=") (pointer_expression "&DAT_001138a1" (& "&") (identifier "DAT_001138a1"))) (; ";")) (} "}"))) (expression_statement "__fprintf_chk(xtrace_fp,1,&DAT_00112352,*(undefined4 *)param_1[1],puVar1);" (call_expression "__fprintf_chk(xtrace_fp,1,&DAT_00112352,*(undefined4 *)param_1[1],puVar1)" (identifier "__fprintf_chk") (argument_list "(xtrace_fp,1,&DAT_00112352,*(undefined4 *)param_1[1],puVar1)" (( "(") (identifier "xtrace_fp") (, ",") (number_literal "1") (, ",") (pointer_expression "&DAT_00112352" (& "&") (identifier "DAT_00112352")) (, ",") (pointer_expression "*(undefined4 *)param_1[1]" (* "*") (cast_expression "(undefined4 *)param_1[1]" (( "(") (type_descriptor "undefined4 *" (type_identifier "undefined4") (abstract_pointer_declarator "*" (* "*"))) () ")") (subscript_expression "param_1[1]" (identifier "param_1") ([ "[") (number_literal "1") (] "]")))) (, ",") (identifier "puVar1") () ")"))) (; ";")) (expression_statement "param_1 = (int *)*param_1;" (assignment_expression "param_1 = (int *)*param_1" (identifier "param_1") (= "=") (cast_expression "(int *)*param_1" (( "(") (type_descriptor "int *" (primitive_type "int") (abstract_pointer_declarator "*" (* "*"))) () ")") (pointer_expression "*param_1" (* "*") (identifier "param_1")))) (; ";")) (} "}")) (while "while") (parenthesized_expression "(param_1 != (int *)0x0)" (( "(") (binary_expression "param_1 != (int *)0x0" (identifier "param_1") (!= "!=") (cast_expression "(int *)0x0" (( "(") (type_descriptor "int *" (primitive_type "int") (abstract_pointer_declarator "*" (* "*"))) () ")") (number_literal "0x0"))) () ")")) (; ";")) (} "}"))) (expression_statement "fwrite(&DAT_001124dd,1,4,xtrace_fp);" (call_expression "fwrite(&DAT_001124dd,1,4,xtrace_fp)" (identifier "fwrite") (argument_list "(&DAT_001124dd,1,4,xtrace_fp)" (( "(") (pointer_expression "&DAT_001124dd" (& "&") (identifier "DAT_001124dd")) (, ",") (number_literal "1") (, ",") (number_literal "4") (, ",") (identifier "xtrace_fp") () ")"))) (; ";")) (expression_statement "fflush(xtrace_fp);" (call_expression "fflush(xtrace_fp)" (identifier "fflush") (argument_list "(xtrace_fp)" (( "(") (identifier "xtrace_fp") () ")"))) (; ";")) (return_statement "return;" (return "return") (; ";")) (} "}")))

/* WARNING: Function: __x86.get_pc_thunk.bx replaced with injection: get_pc_thunk_bx */
/* WARNING: Unknown calling convention */

void function_1(type_1 *var_5)

{
  char *__s;
  type_2 *puVar1;
  
  if (var_1 == (type_3 *)0x0) {
    var_1 = *(type_3 **)PTR_stderr_00171e54;
  }
  __s = var_2();
  var_3(__s,(type_3 *)var_1);
  var_4(&DAT_001124d9,1,3,(type_3 *)var_1);
  if (var_5 != (type_1 *)0x0) {
    do {
      puVar1 = &DAT_001297bd;
      if (var_5->next != (type_4 *)0x0) {
        puVar1 = &DAT_001138a1;
      }
      var_6(var_1,1,&DAT_00112352,var_5->word->word,puVar1);
      var_5 = var_5->next;
    } while (var_5 != (type_4 *)0x0);
  }
  var_4(&DAT_001124dd,1,4,(type_3 *)var_1);
  var_7((type_3 *)var_1);
  return;
}


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

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

void MASKED(int *param_1)

{
  char *__s;
  undefined *puVar1;
  
  if (xtrace_fp == (FILE *)0x0) {
    xtrace_fp = *(FILE **)PTR_stderr_00171e54;
  }
  __s = (char *)indirection_level_string();
  fputs(__s,xtrace_fp);
  fwrite(&DAT_001124d9,1,3,xtrace_fp);
  if (param_1 != (int *)0x0) {
    do {
      puVar1 = &DAT_001297bd;
      if (*param_1 != 0) {
        puVar1 = &DAT_001138a1;
      }
      __fprintf_chk(xtrace_fp,1,&DAT_00112352,*(undefined4 *)param_1[1],puVar1);
      param_1 = (int *)*param_1;
    } while (param_1 != (int *)0x0);
  }
  fwrite(&DAT_001124dd,1,4,xtrace_fp);
  fflush(xtrace_fp);
  return;
}

