
/* WARNING: Unknown calling convention -- yet parameter storage is locked */

void print_and_abort(void)

{
  fprintf(*(FILE **)PTR_stderr_00193fe0,"%s\n","memory exhausted");
                    /* WARNING: Subroutine does not return */
  exit(1);
}



void FUN_0013cb20(void)

{
  fprintf(*(FILE **)PTR_stderr_00193fe0,"%s\n","memory exhausted");
                    /* WARNING: Subroutine does not return */
  exit(1);
}


SUB RSP,0x8
MOV RAX,qword ptr [0x00193fe0]
LEA RDX,[0x147228]
LEA RSI,[0x140e24]
MOV RDI,qword ptr [RAX]
XOR EAX,EAX
CALL 0x0010a410
MOV EDI,0x1
CALL 0x0010a730
(translation_unit "void FUN_0013cb20(void)\n\n{\n  fprintf(*(FILE **)PTR_stderr_00193fe0,"%s\n","memory exhausted");\n                    /* WARNING: Subroutine does not return */\n  exit(1);\n}\n\n" (function_definition "void FUN_0013cb20(void)\n\n{\n  fprintf(*(FILE **)PTR_stderr_00193fe0,"%s\n","memory exhausted");\n                    /* WARNING: Subroutine does not return */\n  exit(1);\n}" primitive_type (function_declarator "FUN_0013cb20(void)" identifier (parameter_list "(void)" ( (parameter_declaration "void" primitive_type) ))) (compound_statement "{\n  fprintf(*(FILE **)PTR_stderr_00193fe0,"%s\n","memory exhausted");\n                    /* WARNING: Subroutine does not return */\n  exit(1);\n}" { (expression_statement "fprintf(*(FILE **)PTR_stderr_00193fe0,"%s\n","memory exhausted");" (call_expression "fprintf(*(FILE **)PTR_stderr_00193fe0,"%s\n","memory exhausted")" identifier (argument_list "(*(FILE **)PTR_stderr_00193fe0,"%s\n","memory exhausted")" ( (pointer_expression "*(FILE **)PTR_stderr_00193fe0" * (cast_expression "(FILE **)PTR_stderr_00193fe0" ( (type_descriptor "FILE **" type_identifier (abstract_pointer_declarator "**" * (abstract_pointer_declarator "*" *))) ) identifier)) , (string_literal ""%s\n"" " string_content escape_sequence ") , (string_literal ""memory exhausted"" " string_content ") ))) ;) comment (expression_statement "exit(1);" (call_expression "exit(1)" identifier (argument_list "(1)" ( number_literal ))) ;) })))
(translation_unit "/* WARNING: Unknown calling convention -- yet parameter storage is locked */\n\nvoid print_and_abort(void)\n\n{\n  fprintf(*(FILE **)PTR_stderr_00193fe0,"%s\n","memory exhausted");\n                    /* WARNING: Subroutine does not return */\n  exit(1);\n}\n\n" comment (function_definition "void print_and_abort(void)\n\n{\n  fprintf(*(FILE **)PTR_stderr_00193fe0,"%s\n","memory exhausted");\n                    /* WARNING: Subroutine does not return */\n  exit(1);\n}" primitive_type (function_declarator "print_and_abort(void)" identifier (parameter_list "(void)" ( (parameter_declaration "void" primitive_type) ))) (compound_statement "{\n  fprintf(*(FILE **)PTR_stderr_00193fe0,"%s\n","memory exhausted");\n                    /* WARNING: Subroutine does not return */\n  exit(1);\n}" { (expression_statement "fprintf(*(FILE **)PTR_stderr_00193fe0,"%s\n","memory exhausted");" (call_expression "fprintf(*(FILE **)PTR_stderr_00193fe0,"%s\n","memory exhausted")" identifier (argument_list "(*(FILE **)PTR_stderr_00193fe0,"%s\n","memory exhausted")" ( (pointer_expression "*(FILE **)PTR_stderr_00193fe0" * (cast_expression "(FILE **)PTR_stderr_00193fe0" ( (type_descriptor "FILE **" type_identifier (abstract_pointer_declarator "**" * (abstract_pointer_declarator "*" *))) ) identifier)) , (string_literal ""%s\n"" " string_content escape_sequence ") , (string_literal ""memory exhausted"" " string_content ") ))) ;) comment (expression_statement "exit(1);" (call_expression "exit(1)" identifier (argument_list "(1)" ( number_literal ))) ;) })))
(translation_unit "void FUN_0013cb20(void)\n\n{\n  fprintf(*(FILE **)PTR_stderr_00193fe0,"%s\n","memory exhausted");\n                    \n  exit(1);\n}\n\n" (function_definition "void FUN_0013cb20(void)\n\n{\n  fprintf(*(FILE **)PTR_stderr_00193fe0,"%s\n","memory exhausted");\n                    \n  exit(1);\n}" primitive_type (function_declarator "FUN_0013cb20(void)" identifier (parameter_list "(void)" ( (parameter_declaration "void" primitive_type) ))) (compound_statement "{\n  fprintf(*(FILE **)PTR_stderr_00193fe0,"%s\n","memory exhausted");\n                    \n  exit(1);\n}" { (expression_statement "fprintf(*(FILE **)PTR_stderr_00193fe0,"%s\n","memory exhausted");" (call_expression "fprintf(*(FILE **)PTR_stderr_00193fe0,"%s\n","memory exhausted")" identifier (argument_list "(*(FILE **)PTR_stderr_00193fe0,"%s\n","memory exhausted")" ( (pointer_expression "*(FILE **)PTR_stderr_00193fe0" * (cast_expression "(FILE **)PTR_stderr_00193fe0" ( (type_descriptor "FILE **" type_identifier (abstract_pointer_declarator "**" * (abstract_pointer_declarator "*" *))) ) identifier)) , (string_literal ""%s\n"" " string_content escape_sequence ") , (string_literal ""memory exhausted"" " string_content ") ))) ;) (expression_statement "exit(1);" (call_expression "exit(1)" identifier (argument_list "(1)" ( number_literal ))) ;) })))
(translation_unit (function_definition TYPE (function_declarator IDENT (parameter_list ( (parameter_declaration TYPE) ))) (compound_statement { (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 escape_sequence ") , (string_literal " string_content ") ))) ;) (expression_statement (call_expression IDENT (argument_list ( LIT ))) ;) })))
(function_definition "void FUN_0013cb20(void)\n\n{\n  fprintf(*(FILE **)PTR_stderr_00193fe0,"%s\n","memory exhausted");\n                    \n  exit(1);\n}" (primitive_type "void") (function_declarator "FUN_0013cb20(void)" (identifier "FUN_0013cb20") (parameter_list "(void)" (( "(") (parameter_declaration "void" (primitive_type "void")) () ")"))) (compound_statement "{\n  fprintf(*(FILE **)PTR_stderr_00193fe0,"%s\n","memory exhausted");\n                    \n  exit(1);\n}" ({ "{") (expression_statement "fprintf(*(FILE **)PTR_stderr_00193fe0,"%s\n","memory exhausted");" (call_expression "fprintf(*(FILE **)PTR_stderr_00193fe0,"%s\n","memory exhausted")" (identifier "fprintf") (argument_list "(*(FILE **)PTR_stderr_00193fe0,"%s\n","memory exhausted")" (( "(") (pointer_expression "*(FILE **)PTR_stderr_00193fe0" (* "*") (cast_expression "(FILE **)PTR_stderr_00193fe0" (( "(") (type_descriptor "FILE **" (type_identifier "FILE") (abstract_pointer_declarator "**" (* "*") (abstract_pointer_declarator "*" (* "*")))) () ")") (identifier "PTR_stderr_00193fe0"))) (, ",") (string_literal ""%s\n"" (" """) (string_content "%s") (escape_sequence "\n") (" """)) (, ",") (string_literal ""memory exhausted"" (" """) (string_content "memory exhausted") (" """)) () ")"))) (; ";")) (expression_statement "exit(1);" (call_expression "exit(1)" (identifier "exit") (argument_list "(1)" (( "(") (number_literal "1") () ")"))) (; ";")) (} "}")))

/* WARNING: Unknown calling convention -- yet parameter storage is locked */

void function_1(void)

{
  var_1(*(type_1 **)PTR_stderr_00193fe0,"%s\n","memory exhausted");
                    /* WARNING: Subroutine does not return */
  var_2(1);
}


(translation_unit (function_definition type: (primitive_type) declarator: (function_declarator declarator: (identifier) parameters: (parameter_list (parameter_declaration type: (primitive_type)))) body: (compound_statement (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) (escape_sequence)) (string_literal (string_content))))) (expression_statement (call_expression function: (identifier) arguments: (argument_list (number_literal)))))))

void MASKED(void)

{
  fprintf(*(FILE **)PTR_stderr_00193fe0,"%s\n","memory exhausted");
                    /* WARNING: Subroutine does not return */
  exit(1);
}

