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

void list_matching_formats(char **p)

{
  char *pcVar1;
  undefined *puVar2;
  char *__format;
  
  fflush(*(FILE **)PTR_stdout_00020fec);
  pcVar1 = program_name;
  __format = (char *)dcgettext(0,"%s: Matching formats:",5);
  puVar2 = PTR_stderr_00020fd4;
  fprintf(*(FILE **)PTR_stderr_00020fd4,__format,pcVar1);
  pcVar1 = *p;
  while (pcVar1 != (char *)0x0) {
    p = p + 1;
    fprintf(*(FILE **)puVar2," %s",pcVar1);
    pcVar1 = *p;
  }
  fputc(10,*(FILE **)puVar2);
  return;
}



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

void FUN_00017fa0(int *param_1)

{
  int iVar1;
  undefined *puVar2;
  undefined4 uVar3;
  char *__format;
  
  fflush(*(FILE **)PTR_stdout_00020fec);
  uVar3 = DAT_000213a0;
  __format = (char *)dcgettext(0,"%s: Matching formats:",5);
  puVar2 = PTR_stderr_00020fd4;
  fprintf(*(FILE **)PTR_stderr_00020fd4,__format,uVar3);
  iVar1 = *param_1;
  while (iVar1 != 0) {
    param_1 = param_1 + 1;
    fprintf(*(FILE **)puVar2," %s",iVar1);
    iVar1 = *param_1;
  }
  fputc(10,*(FILE **)puVar2);
  return;
}


PUSH EBP
PUSH EDI
PUSH ESI
PUSH EBX
CALL 0x00013710
ADD EBX,0x9057
SUB ESP,0x18
MOV EBP,dword ptr [ESP + 0x2c]
MOV EAX,dword ptr [EBX + 0xffffffec]
PUSH dword ptr [EAX]
CALL 0x000120c0
LEA EAX,[EBX + 0x3a0]
ADD ESP,0xc
MOV ESI,dword ptr [EAX]
LEA EAX,[EBX + 0xffffb24f]
PUSH 0x5
PUSH EAX
PUSH 0x0
CALL 0x00012180
ADD ESP,0xc
PUSH ESI
MOV ESI,dword ptr [EBX + 0xffffffd4]
PUSH EAX
PUSH dword ptr [ESI]
CALL 0x00012390
MOV EAX,dword ptr [EBP]
ADD ESP,0x10
TEST EAX,EAX
JZ 0x00018019
LEA EDI,[EBX + 0xffffb147]
SUB ESP,0x4
ADD EBP,0x4
PUSH EAX
PUSH EDI
PUSH dword ptr [ESI]
CALL 0x00012390
MOV EAX,dword ptr [EBP]
ADD ESP,0x10
TEST EAX,EAX
JNZ 0x00018000
SUB ESP,0x8
PUSH dword ptr [ESI]
PUSH 0xa
CALL 0x00012490
ADD ESP,0x1c
POP EBX
POP ESI
POP EDI
POP EBP
RET
(translation_unit "/* WARNING: Function: __i686.get_pc_thunk.bx replaced with injection: get_pc_thunk_bx */\n\nvoid FUN_00017fa0(int *param_1)\n\n{\n  int iVar1;\n  undefined *puVar2;\n  undefined4 uVar3;\n  char *__format;\n  \n  fflush(*(FILE **)PTR_stdout_00020fec);\n  uVar3 = DAT_000213a0;\n  __format = (char *)dcgettext(0,"%s: Matching formats:",5);\n  puVar2 = PTR_stderr_00020fd4;\n  fprintf(*(FILE **)PTR_stderr_00020fd4,__format,uVar3);\n  iVar1 = *param_1;\n  while (iVar1 != 0) {\n    param_1 = param_1 + 1;\n    fprintf(*(FILE **)puVar2," %s",iVar1);\n    iVar1 = *param_1;\n  }\n  fputc(10,*(FILE **)puVar2);\n  return;\n}\n\n" comment (function_definition "void FUN_00017fa0(int *param_1)\n\n{\n  int iVar1;\n  undefined *puVar2;\n  undefined4 uVar3;\n  char *__format;\n  \n  fflush(*(FILE **)PTR_stdout_00020fec);\n  uVar3 = DAT_000213a0;\n  __format = (char *)dcgettext(0,"%s: Matching formats:",5);\n  puVar2 = PTR_stderr_00020fd4;\n  fprintf(*(FILE **)PTR_stderr_00020fd4,__format,uVar3);\n  iVar1 = *param_1;\n  while (iVar1 != 0) {\n    param_1 = param_1 + 1;\n    fprintf(*(FILE **)puVar2," %s",iVar1);\n    iVar1 = *param_1;\n  }\n  fputc(10,*(FILE **)puVar2);\n  return;\n}" primitive_type (function_declarator "FUN_00017fa0(int *param_1)" identifier (parameter_list "(int *param_1)" ( (parameter_declaration "int *param_1" primitive_type (pointer_declarator "*param_1" * identifier)) ))) (compound_statement "{\n  int iVar1;\n  undefined *puVar2;\n  undefined4 uVar3;\n  char *__format;\n  \n  fflush(*(FILE **)PTR_stdout_00020fec);\n  uVar3 = DAT_000213a0;\n  __format = (char *)dcgettext(0,"%s: Matching formats:",5);\n  puVar2 = PTR_stderr_00020fd4;\n  fprintf(*(FILE **)PTR_stderr_00020fd4,__format,uVar3);\n  iVar1 = *param_1;\n  while (iVar1 != 0) {\n    param_1 = param_1 + 1;\n    fprintf(*(FILE **)puVar2," %s",iVar1);\n    iVar1 = *param_1;\n  }\n  fputc(10,*(FILE **)puVar2);\n  return;\n}" { (declaration "int iVar1;" primitive_type identifier ;) (declaration "undefined *puVar2;" type_identifier (pointer_declarator "*puVar2" * identifier) ;) (declaration "undefined4 uVar3;" type_identifier identifier ;) (declaration "char *__format;" primitive_type (pointer_declarator "*__format" * identifier) ;) (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)) ))) ;) (expression_statement "uVar3 = DAT_000213a0;" (assignment_expression "uVar3 = DAT_000213a0" identifier = identifier) ;) (expression_statement "__format = (char *)dcgettext(0,"%s: Matching formats:",5);" (assignment_expression "__format = (char *)dcgettext(0,"%s: Matching formats:",5)" identifier = (cast_expression "(char *)dcgettext(0,"%s: Matching formats:",5)" ( (type_descriptor "char *" primitive_type (abstract_pointer_declarator "*" *)) ) (call_expression "dcgettext(0,"%s: Matching formats:",5)" identifier (argument_list "(0,"%s: Matching formats:",5)" ( number_literal , (string_literal ""%s: Matching formats:"" " string_content ") , number_literal ))))) ;) (expression_statement "puVar2 = PTR_stderr_00020fd4;" (assignment_expression "puVar2 = PTR_stderr_00020fd4" identifier = identifier) ;) (expression_statement "fprintf(*(FILE **)PTR_stderr_00020fd4,__format,uVar3);" (call_expression "fprintf(*(FILE **)PTR_stderr_00020fd4,__format,uVar3)" identifier (argument_list "(*(FILE **)PTR_stderr_00020fd4,__format,uVar3)" ( (pointer_expression "*(FILE **)PTR_stderr_00020fd4" * (cast_expression "(FILE **)PTR_stderr_00020fd4" ( (type_descriptor "FILE **" type_identifier (abstract_pointer_declarator "**" * (abstract_pointer_declarator "*" *))) ) identifier)) , identifier , identifier ))) ;) (expression_statement "iVar1 = *param_1;" (assignment_expression "iVar1 = *param_1" identifier = (pointer_expression "*param_1" * identifier)) ;) (while_statement "while (iVar1 != 0) {\n    param_1 = param_1 + 1;\n    fprintf(*(FILE **)puVar2," %s",iVar1);\n    iVar1 = *param_1;\n  }" while (parenthesized_expression "(iVar1 != 0)" ( (binary_expression "iVar1 != 0" identifier != number_literal) )) (compound_statement "{\n    param_1 = param_1 + 1;\n    fprintf(*(FILE **)puVar2," %s",iVar1);\n    iVar1 = *param_1;\n  }" { (expression_statement "param_1 = param_1 + 1;" (assignment_expression "param_1 = param_1 + 1" identifier = (binary_expression "param_1 + 1" identifier + number_literal)) ;) (expression_statement "fprintf(*(FILE **)puVar2," %s",iVar1);" (call_expression "fprintf(*(FILE **)puVar2," %s",iVar1)" identifier (argument_list "(*(FILE **)puVar2," %s",iVar1)" ( (pointer_expression "*(FILE **)puVar2" * (cast_expression "(FILE **)puVar2" ( (type_descriptor "FILE **" type_identifier (abstract_pointer_declarator "**" * (abstract_pointer_declarator "*" *))) ) identifier)) , (string_literal "" %s"" " string_content ") , identifier ))) ;) (expression_statement "iVar1 = *param_1;" (assignment_expression "iVar1 = *param_1" identifier = (pointer_expression "*param_1" * identifier)) ;) })) (expression_statement "fputc(10,*(FILE **)puVar2);" (call_expression "fputc(10,*(FILE **)puVar2)" identifier (argument_list "(10,*(FILE **)puVar2)" ( number_literal , (pointer_expression "*(FILE **)puVar2" * (cast_expression "(FILE **)puVar2" ( (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\nvoid list_matching_formats(char **p)\n\n{\n  char *pcVar1;\n  undefined *puVar2;\n  char *__format;\n  \n  fflush(*(FILE **)PTR_stdout_00020fec);\n  pcVar1 = program_name;\n  __format = (char *)dcgettext(0,"%s: Matching formats:",5);\n  puVar2 = PTR_stderr_00020fd4;\n  fprintf(*(FILE **)PTR_stderr_00020fd4,__format,pcVar1);\n  pcVar1 = *p;\n  while (pcVar1 != (char *)0x0) {\n    p = p + 1;\n    fprintf(*(FILE **)puVar2," %s",pcVar1);\n    pcVar1 = *p;\n  }\n  fputc(10,*(FILE **)puVar2);\n  return;\n}\n\n" comment (function_definition "void list_matching_formats(char **p)\n\n{\n  char *pcVar1;\n  undefined *puVar2;\n  char *__format;\n  \n  fflush(*(FILE **)PTR_stdout_00020fec);\n  pcVar1 = program_name;\n  __format = (char *)dcgettext(0,"%s: Matching formats:",5);\n  puVar2 = PTR_stderr_00020fd4;\n  fprintf(*(FILE **)PTR_stderr_00020fd4,__format,pcVar1);\n  pcVar1 = *p;\n  while (pcVar1 != (char *)0x0) {\n    p = p + 1;\n    fprintf(*(FILE **)puVar2," %s",pcVar1);\n    pcVar1 = *p;\n  }\n  fputc(10,*(FILE **)puVar2);\n  return;\n}" primitive_type (function_declarator "list_matching_formats(char **p)" identifier (parameter_list "(char **p)" ( (parameter_declaration "char **p" primitive_type (pointer_declarator "**p" * (pointer_declarator "*p" * identifier))) ))) (compound_statement "{\n  char *pcVar1;\n  undefined *puVar2;\n  char *__format;\n  \n  fflush(*(FILE **)PTR_stdout_00020fec);\n  pcVar1 = program_name;\n  __format = (char *)dcgettext(0,"%s: Matching formats:",5);\n  puVar2 = PTR_stderr_00020fd4;\n  fprintf(*(FILE **)PTR_stderr_00020fd4,__format,pcVar1);\n  pcVar1 = *p;\n  while (pcVar1 != (char *)0x0) {\n    p = p + 1;\n    fprintf(*(FILE **)puVar2," %s",pcVar1);\n    pcVar1 = *p;\n  }\n  fputc(10,*(FILE **)puVar2);\n  return;\n}" { (declaration "char *pcVar1;" primitive_type (pointer_declarator "*pcVar1" * identifier) ;) (declaration "undefined *puVar2;" type_identifier (pointer_declarator "*puVar2" * identifier) ;) (declaration "char *__format;" primitive_type (pointer_declarator "*__format" * identifier) ;) (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)) ))) ;) (expression_statement "pcVar1 = program_name;" (assignment_expression "pcVar1 = program_name" identifier = identifier) ;) (expression_statement "__format = (char *)dcgettext(0,"%s: Matching formats:",5);" (assignment_expression "__format = (char *)dcgettext(0,"%s: Matching formats:",5)" identifier = (cast_expression "(char *)dcgettext(0,"%s: Matching formats:",5)" ( (type_descriptor "char *" primitive_type (abstract_pointer_declarator "*" *)) ) (call_expression "dcgettext(0,"%s: Matching formats:",5)" identifier (argument_list "(0,"%s: Matching formats:",5)" ( number_literal , (string_literal ""%s: Matching formats:"" " string_content ") , number_literal ))))) ;) (expression_statement "puVar2 = PTR_stderr_00020fd4;" (assignment_expression "puVar2 = PTR_stderr_00020fd4" identifier = identifier) ;) (expression_statement "fprintf(*(FILE **)PTR_stderr_00020fd4,__format,pcVar1);" (call_expression "fprintf(*(FILE **)PTR_stderr_00020fd4,__format,pcVar1)" identifier (argument_list "(*(FILE **)PTR_stderr_00020fd4,__format,pcVar1)" ( (pointer_expression "*(FILE **)PTR_stderr_00020fd4" * (cast_expression "(FILE **)PTR_stderr_00020fd4" ( (type_descriptor "FILE **" type_identifier (abstract_pointer_declarator "**" * (abstract_pointer_declarator "*" *))) ) identifier)) , identifier , identifier ))) ;) (expression_statement "pcVar1 = *p;" (assignment_expression "pcVar1 = *p" identifier = (pointer_expression "*p" * identifier)) ;) (while_statement "while (pcVar1 != (char *)0x0) {\n    p = p + 1;\n    fprintf(*(FILE **)puVar2," %s",pcVar1);\n    pcVar1 = *p;\n  }" while (parenthesized_expression "(pcVar1 != (char *)0x0)" ( (binary_expression "pcVar1 != (char *)0x0" identifier != (cast_expression "(char *)0x0" ( (type_descriptor "char *" primitive_type (abstract_pointer_declarator "*" *)) ) number_literal)) )) (compound_statement "{\n    p = p + 1;\n    fprintf(*(FILE **)puVar2," %s",pcVar1);\n    pcVar1 = *p;\n  }" { (expression_statement "p = p + 1;" (assignment_expression "p = p + 1" identifier = (binary_expression "p + 1" identifier + number_literal)) ;) (expression_statement "fprintf(*(FILE **)puVar2," %s",pcVar1);" (call_expression "fprintf(*(FILE **)puVar2," %s",pcVar1)" identifier (argument_list "(*(FILE **)puVar2," %s",pcVar1)" ( (pointer_expression "*(FILE **)puVar2" * (cast_expression "(FILE **)puVar2" ( (type_descriptor "FILE **" type_identifier (abstract_pointer_declarator "**" * (abstract_pointer_declarator "*" *))) ) identifier)) , (string_literal "" %s"" " string_content ") , identifier ))) ;) (expression_statement "pcVar1 = *p;" (assignment_expression "pcVar1 = *p" identifier = (pointer_expression "*p" * identifier)) ;) })) (expression_statement "fputc(10,*(FILE **)puVar2);" (call_expression "fputc(10,*(FILE **)puVar2)" identifier (argument_list "(10,*(FILE **)puVar2)" ( number_literal , (pointer_expression "*(FILE **)puVar2" * (cast_expression "(FILE **)puVar2" ( (type_descriptor "FILE **" type_identifier (abstract_pointer_declarator "**" * (abstract_pointer_declarator "*" *))) ) identifier)) ))) ;) (return_statement "return;" return ;) })))
(translation_unit "void FUN_00017fa0(int *param_1)\n\n{\n  int iVar1;\n  undefined *puVar2;\n  undefined4 uVar3;\n  char *__format;\n  \n  fflush(*(FILE **)PTR_stdout_00020fec);\n  uVar3 = DAT_000213a0;\n  __format = (char *)dcgettext(0,"%s: Matching formats:",5);\n  puVar2 = PTR_stderr_00020fd4;\n  fprintf(*(FILE **)PTR_stderr_00020fd4,__format,uVar3);\n  iVar1 = *param_1;\n  while (iVar1 != 0) {\n    param_1 = param_1 + 1;\n    fprintf(*(FILE **)puVar2," %s",iVar1);\n    iVar1 = *param_1;\n  }\n  fputc(10,*(FILE **)puVar2);\n  return;\n}\n\n" (function_definition "void FUN_00017fa0(int *param_1)\n\n{\n  int iVar1;\n  undefined *puVar2;\n  undefined4 uVar3;\n  char *__format;\n  \n  fflush(*(FILE **)PTR_stdout_00020fec);\n  uVar3 = DAT_000213a0;\n  __format = (char *)dcgettext(0,"%s: Matching formats:",5);\n  puVar2 = PTR_stderr_00020fd4;\n  fprintf(*(FILE **)PTR_stderr_00020fd4,__format,uVar3);\n  iVar1 = *param_1;\n  while (iVar1 != 0) {\n    param_1 = param_1 + 1;\n    fprintf(*(FILE **)puVar2," %s",iVar1);\n    iVar1 = *param_1;\n  }\n  fputc(10,*(FILE **)puVar2);\n  return;\n}" primitive_type (function_declarator "FUN_00017fa0(int *param_1)" identifier (parameter_list "(int *param_1)" ( (parameter_declaration "int *param_1" primitive_type (pointer_declarator "*param_1" * identifier)) ))) (compound_statement "{\n  int iVar1;\n  undefined *puVar2;\n  undefined4 uVar3;\n  char *__format;\n  \n  fflush(*(FILE **)PTR_stdout_00020fec);\n  uVar3 = DAT_000213a0;\n  __format = (char *)dcgettext(0,"%s: Matching formats:",5);\n  puVar2 = PTR_stderr_00020fd4;\n  fprintf(*(FILE **)PTR_stderr_00020fd4,__format,uVar3);\n  iVar1 = *param_1;\n  while (iVar1 != 0) {\n    param_1 = param_1 + 1;\n    fprintf(*(FILE **)puVar2," %s",iVar1);\n    iVar1 = *param_1;\n  }\n  fputc(10,*(FILE **)puVar2);\n  return;\n}" { (declaration "int iVar1;" primitive_type identifier ;) (declaration "undefined *puVar2;" type_identifier (pointer_declarator "*puVar2" * identifier) ;) (declaration "undefined4 uVar3;" type_identifier identifier ;) (declaration "char *__format;" primitive_type (pointer_declarator "*__format" * identifier) ;) (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)) ))) ;) (expression_statement "uVar3 = DAT_000213a0;" (assignment_expression "uVar3 = DAT_000213a0" identifier = identifier) ;) (expression_statement "__format = (char *)dcgettext(0,"%s: Matching formats:",5);" (assignment_expression "__format = (char *)dcgettext(0,"%s: Matching formats:",5)" identifier = (cast_expression "(char *)dcgettext(0,"%s: Matching formats:",5)" ( (type_descriptor "char *" primitive_type (abstract_pointer_declarator "*" *)) ) (call_expression "dcgettext(0,"%s: Matching formats:",5)" identifier (argument_list "(0,"%s: Matching formats:",5)" ( number_literal , (string_literal ""%s: Matching formats:"" " string_content ") , number_literal ))))) ;) (expression_statement "puVar2 = PTR_stderr_00020fd4;" (assignment_expression "puVar2 = PTR_stderr_00020fd4" identifier = identifier) ;) (expression_statement "fprintf(*(FILE **)PTR_stderr_00020fd4,__format,uVar3);" (call_expression "fprintf(*(FILE **)PTR_stderr_00020fd4,__format,uVar3)" identifier (argument_list "(*(FILE **)PTR_stderr_00020fd4,__format,uVar3)" ( (pointer_expression "*(FILE **)PTR_stderr_00020fd4" * (cast_expression "(FILE **)PTR_stderr_00020fd4" ( (type_descriptor "FILE **" type_identifier (abstract_pointer_declarator "**" * (abstract_pointer_declarator "*" *))) ) identifier)) , identifier , identifier ))) ;) (expression_statement "iVar1 = *param_1;" (assignment_expression "iVar1 = *param_1" identifier = (pointer_expression "*param_1" * identifier)) ;) (while_statement "while (iVar1 != 0) {\n    param_1 = param_1 + 1;\n    fprintf(*(FILE **)puVar2," %s",iVar1);\n    iVar1 = *param_1;\n  }" while (parenthesized_expression "(iVar1 != 0)" ( (binary_expression "iVar1 != 0" identifier != number_literal) )) (compound_statement "{\n    param_1 = param_1 + 1;\n    fprintf(*(FILE **)puVar2," %s",iVar1);\n    iVar1 = *param_1;\n  }" { (expression_statement "param_1 = param_1 + 1;" (assignment_expression "param_1 = param_1 + 1" identifier = (binary_expression "param_1 + 1" identifier + number_literal)) ;) (expression_statement "fprintf(*(FILE **)puVar2," %s",iVar1);" (call_expression "fprintf(*(FILE **)puVar2," %s",iVar1)" identifier (argument_list "(*(FILE **)puVar2," %s",iVar1)" ( (pointer_expression "*(FILE **)puVar2" * (cast_expression "(FILE **)puVar2" ( (type_descriptor "FILE **" type_identifier (abstract_pointer_declarator "**" * (abstract_pointer_declarator "*" *))) ) identifier)) , (string_literal "" %s"" " string_content ") , identifier ))) ;) (expression_statement "iVar1 = *param_1;" (assignment_expression "iVar1 = *param_1" identifier = (pointer_expression "*param_1" * identifier)) ;) })) (expression_statement "fputc(10,*(FILE **)puVar2);" (call_expression "fputc(10,*(FILE **)puVar2)" identifier (argument_list "(10,*(FILE **)puVar2)" ( number_literal , (pointer_expression "*(FILE **)puVar2" * (cast_expression "(FILE **)puVar2" ( (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 (pointer_declarator * IDENT)) ))) (compound_statement { (declaration TYPE IDENT ;) (declaration TYPE (pointer_declarator * IDENT) ;) (declaration TYPE IDENT ;) (declaration TYPE (pointer_declarator * IDENT) ;) (expression_statement (call_expression IDENT (argument_list ( (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator * (abstract_pointer_declarator *))) ) IDENT)) ))) ;) (expression_statement (assignment_expression IDENT = IDENT) ;) (expression_statement (assignment_expression IDENT = (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (call_expression IDENT (argument_list ( LIT , (string_literal " string_content ") , LIT ))))) ;) (expression_statement (assignment_expression IDENT = IDENT) ;) (expression_statement (call_expression IDENT (argument_list ( (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator * (abstract_pointer_declarator *))) ) IDENT)) , IDENT , IDENT ))) ;) (expression_statement (assignment_expression IDENT = (pointer_expression * IDENT)) ;) (while_statement while (parenthesized_expression ( (binary_expression IDENT != LIT) )) (compound_statement { (expression_statement (assignment_expression IDENT = (binary_expression IDENT + LIT)) ;) (expression_statement (call_expression IDENT (argument_list ( (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator * (abstract_pointer_declarator *))) ) IDENT)) , (string_literal " string_content ") , IDENT ))) ;) (expression_statement (assignment_expression IDENT = (pointer_expression * IDENT)) ;) })) (expression_statement (call_expression IDENT (argument_list ( LIT , (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator * (abstract_pointer_declarator *))) ) IDENT)) ))) ;) (return_statement return ;) })))
(function_definition "void FUN_00017fa0(int *param_1)\n\n{\n  int iVar1;\n  undefined *puVar2;\n  undefined4 uVar3;\n  char *__format;\n  \n  fflush(*(FILE **)PTR_stdout_00020fec);\n  uVar3 = DAT_000213a0;\n  __format = (char *)dcgettext(0,"%s: Matching formats:",5);\n  puVar2 = PTR_stderr_00020fd4;\n  fprintf(*(FILE **)PTR_stderr_00020fd4,__format,uVar3);\n  iVar1 = *param_1;\n  while (iVar1 != 0) {\n    param_1 = param_1 + 1;\n    fprintf(*(FILE **)puVar2," %s",iVar1);\n    iVar1 = *param_1;\n  }\n  fputc(10,*(FILE **)puVar2);\n  return;\n}" (primitive_type "void") (function_declarator "FUN_00017fa0(int *param_1)" (identifier "FUN_00017fa0") (parameter_list "(int *param_1)" (( "(") (parameter_declaration "int *param_1" (primitive_type "int") (pointer_declarator "*param_1" (* "*") (identifier "param_1"))) () ")"))) (compound_statement "{\n  int iVar1;\n  undefined *puVar2;\n  undefined4 uVar3;\n  char *__format;\n  \n  fflush(*(FILE **)PTR_stdout_00020fec);\n  uVar3 = DAT_000213a0;\n  __format = (char *)dcgettext(0,"%s: Matching formats:",5);\n  puVar2 = PTR_stderr_00020fd4;\n  fprintf(*(FILE **)PTR_stderr_00020fd4,__format,uVar3);\n  iVar1 = *param_1;\n  while (iVar1 != 0) {\n    param_1 = param_1 + 1;\n    fprintf(*(FILE **)puVar2," %s",iVar1);\n    iVar1 = *param_1;\n  }\n  fputc(10,*(FILE **)puVar2);\n  return;\n}" ({ "{") (declaration "int iVar1;" (primitive_type "int") (identifier "iVar1") (; ";")) (declaration "undefined *puVar2;" (type_identifier "undefined") (pointer_declarator "*puVar2" (* "*") (identifier "puVar2")) (; ";")) (declaration "undefined4 uVar3;" (type_identifier "undefined4") (identifier "uVar3") (; ";")) (declaration "char *__format;" (primitive_type "char") (pointer_declarator "*__format" (* "*") (identifier "__format")) (; ";")) (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"))) () ")"))) (; ";")) (expression_statement "uVar3 = DAT_000213a0;" (assignment_expression "uVar3 = DAT_000213a0" (identifier "uVar3") (= "=") (identifier "DAT_000213a0")) (; ";")) (expression_statement "__format = (char *)dcgettext(0,"%s: Matching formats:",5);" (assignment_expression "__format = (char *)dcgettext(0,"%s: Matching formats:",5)" (identifier "__format") (= "=") (cast_expression "(char *)dcgettext(0,"%s: Matching formats:",5)" (( "(") (type_descriptor "char *" (primitive_type "char") (abstract_pointer_declarator "*" (* "*"))) () ")") (call_expression "dcgettext(0,"%s: Matching formats:",5)" (identifier "dcgettext") (argument_list "(0,"%s: Matching formats:",5)" (( "(") (number_literal "0") (, ",") (string_literal ""%s: Matching formats:"" (" """) (string_content "%s: Matching formats:") (" """)) (, ",") (number_literal "5") () ")"))))) (; ";")) (expression_statement "puVar2 = PTR_stderr_00020fd4;" (assignment_expression "puVar2 = PTR_stderr_00020fd4" (identifier "puVar2") (= "=") (identifier "PTR_stderr_00020fd4")) (; ";")) (expression_statement "fprintf(*(FILE **)PTR_stderr_00020fd4,__format,uVar3);" (call_expression "fprintf(*(FILE **)PTR_stderr_00020fd4,__format,uVar3)" (identifier "fprintf") (argument_list "(*(FILE **)PTR_stderr_00020fd4,__format,uVar3)" (( "(") (pointer_expression "*(FILE **)PTR_stderr_00020fd4" (* "*") (cast_expression "(FILE **)PTR_stderr_00020fd4" (( "(") (type_descriptor "FILE **" (type_identifier "FILE") (abstract_pointer_declarator "**" (* "*") (abstract_pointer_declarator "*" (* "*")))) () ")") (identifier "PTR_stderr_00020fd4"))) (, ",") (identifier "__format") (, ",") (identifier "uVar3") () ")"))) (; ";")) (expression_statement "iVar1 = *param_1;" (assignment_expression "iVar1 = *param_1" (identifier "iVar1") (= "=") (pointer_expression "*param_1" (* "*") (identifier "param_1"))) (; ";")) (while_statement "while (iVar1 != 0) {\n    param_1 = param_1 + 1;\n    fprintf(*(FILE **)puVar2," %s",iVar1);\n    iVar1 = *param_1;\n  }" (while "while") (parenthesized_expression "(iVar1 != 0)" (( "(") (binary_expression "iVar1 != 0" (identifier "iVar1") (!= "!=") (number_literal "0")) () ")")) (compound_statement "{\n    param_1 = param_1 + 1;\n    fprintf(*(FILE **)puVar2," %s",iVar1);\n    iVar1 = *param_1;\n  }" ({ "{") (expression_statement "param_1 = param_1 + 1;" (assignment_expression "param_1 = param_1 + 1" (identifier "param_1") (= "=") (binary_expression "param_1 + 1" (identifier "param_1") (+ "+") (number_literal "1"))) (; ";")) (expression_statement "fprintf(*(FILE **)puVar2," %s",iVar1);" (call_expression "fprintf(*(FILE **)puVar2," %s",iVar1)" (identifier "fprintf") (argument_list "(*(FILE **)puVar2," %s",iVar1)" (( "(") (pointer_expression "*(FILE **)puVar2" (* "*") (cast_expression "(FILE **)puVar2" (( "(") (type_descriptor "FILE **" (type_identifier "FILE") (abstract_pointer_declarator "**" (* "*") (abstract_pointer_declarator "*" (* "*")))) () ")") (identifier "puVar2"))) (, ",") (string_literal "" %s"" (" """) (string_content " %s") (" """)) (, ",") (identifier "iVar1") () ")"))) (; ";")) (expression_statement "iVar1 = *param_1;" (assignment_expression "iVar1 = *param_1" (identifier "iVar1") (= "=") (pointer_expression "*param_1" (* "*") (identifier "param_1"))) (; ";")) (} "}"))) (expression_statement "fputc(10,*(FILE **)puVar2);" (call_expression "fputc(10,*(FILE **)puVar2)" (identifier "fputc") (argument_list "(10,*(FILE **)puVar2)" (( "(") (number_literal "10") (, ",") (pointer_expression "*(FILE **)puVar2" (* "*") (cast_expression "(FILE **)puVar2" (( "(") (type_descriptor "FILE **" (type_identifier "FILE") (abstract_pointer_declarator "**" (* "*") (abstract_pointer_declarator "*" (* "*")))) () ")") (identifier "puVar2"))) () ")"))) (; ";")) (return_statement "return;" (return "return") (; ";")) (} "}")))

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

void function_1(char **var_5)

{
  char *var_4;
  type_1 *puVar2;
  char *__format;
  
  var_1(*(type_2 **)PTR_stdout_00020fec);
  var_4 = program_name;
  __format = (char *)var_2(0,"%s: Matching formats:",5);
  puVar2 = PTR_stderr_00020fd4;
  var_3(*(type_2 **)PTR_stderr_00020fd4,__format,var_4);
  var_4 = *var_5;
  while (var_4 != (char *)0x0) {
    var_5 = var_5 + 1;
    var_3(*(type_2 **)puVar2," %s",var_4);
    var_4 = *var_5;
  }
  var_6(10,*(type_2 **)puVar2);
  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: (identifier)) (declaration type: (type_identifier) declarator: (pointer_declarator declarator: (identifier))) (declaration type: (type_identifier) declarator: (identifier)) (declaration type: (primitive_type) declarator: (pointer_declarator declarator: (identifier))) (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)))))) (expression_statement (assignment_expression left: (identifier) right: (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 (number_literal) (string_literal (string_content)) (number_literal)))))) (expression_statement (assignment_expression left: (identifier) right: (identifier))) (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))) (identifier) (identifier)))) (expression_statement (assignment_expression left: (identifier) right: (pointer_expression argument: (identifier)))) (while_statement condition: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal))) body: (compound_statement (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (identifier) right: (number_literal)))) (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))) (string_literal (string_content)) (identifier)))) (expression_statement (assignment_expression left: (identifier) right: (pointer_expression argument: (identifier)))))) (expression_statement (call_expression function: (identifier) arguments: (argument_list (number_literal) (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(int *param_1)

{
  int iVar1;
  undefined *puVar2;
  undefined4 uVar3;
  char *__format;
  
  fflush(*(FILE **)PTR_stdout_00020fec);
  uVar3 = DAT_000213a0;
  __format = (char *)dcgettext(0,"%s: Matching formats:",5);
  puVar2 = PTR_stderr_00020fd4;
  fprintf(*(FILE **)PTR_stderr_00020fd4,__format,uVar3);
  iVar1 = *param_1;
  while (iVar1 != 0) {
    param_1 = param_1 + 1;
    fprintf(*(FILE **)puVar2," %s",iVar1);
    iVar1 = *param_1;
  }
  fputc(10,*(FILE **)puVar2);
  return;
}

