
void write_setting_filename(void *handle,char *name,Filename *result)

{
  FILE *fp;
  
  (*(code *)PTR___fprintf_chk_000b5b9c)
            (handle,1,PTR_s_XXXXXXXXXX___________000b5214 + -0x1400,name,result->path);
  return;
}



void write_setting_filename(undefined4 param_1,undefined4 param_2,undefined4 *param_3)

{
  (*(code *)PTR___fprintf_chk_000b5b9c)
            (param_1,1,PTR_s_XXXXXXXXXX___________000b5214 + -0x1400,param_2,*param_3);
  return;
}


lui gp,0x4
addiu gp,gp,0x1540
addu gp,gp,t9
lw v0,0x0(a2)
addiu sp,sp,-0x28
lw a2,-0x7fbc(gp)
or a3,a1,zero
lw t9,-0x7634(gp)
li a1,0x1
sw ra,0x24(sp)
sw gp,0x18(sp)
sw v0,0x10(sp)
jalr t9
_addiu a2,a2,-0x1400
lw ra,0x24(sp)
jr ra
_addiu sp,sp,0x28
(translation_unit "void write_setting_filename(undefined4 param_1,undefined4 param_2,undefined4 *param_3)\n\n{\n  (*(code *)PTR___fprintf_chk_000b5b9c)\n            (param_1,1,PTR_s_XXXXXXXXXX___________000b5214 + -0x1400,param_2,*param_3);\n  return;\n}\n\n" (function_definition "void write_setting_filename(undefined4 param_1,undefined4 param_2,undefined4 *param_3)\n\n{\n  (*(code *)PTR___fprintf_chk_000b5b9c)\n            (param_1,1,PTR_s_XXXXXXXXXX___________000b5214 + -0x1400,param_2,*param_3);\n  return;\n}" primitive_type (function_declarator "write_setting_filename(undefined4 param_1,undefined4 param_2,undefined4 *param_3)" identifier (parameter_list "(undefined4 param_1,undefined4 param_2,undefined4 *param_3)" ( (parameter_declaration "undefined4 param_1" type_identifier identifier) , (parameter_declaration "undefined4 param_2" type_identifier identifier) , (parameter_declaration "undefined4 *param_3" type_identifier (pointer_declarator "*param_3" * identifier)) ))) (compound_statement "{\n  (*(code *)PTR___fprintf_chk_000b5b9c)\n            (param_1,1,PTR_s_XXXXXXXXXX___________000b5214 + -0x1400,param_2,*param_3);\n  return;\n}" { (expression_statement "(*(code *)PTR___fprintf_chk_000b5b9c)\n            (param_1,1,PTR_s_XXXXXXXXXX___________000b5214 + -0x1400,param_2,*param_3);" (call_expression "(*(code *)PTR___fprintf_chk_000b5b9c)\n            (param_1,1,PTR_s_XXXXXXXXXX___________000b5214 + -0x1400,param_2,*param_3)" (parenthesized_expression "(*(code *)PTR___fprintf_chk_000b5b9c)" ( (pointer_expression "*(code *)PTR___fprintf_chk_000b5b9c" * (cast_expression "(code *)PTR___fprintf_chk_000b5b9c" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) )) (argument_list "(param_1,1,PTR_s_XXXXXXXXXX___________000b5214 + -0x1400,param_2,*param_3)" ( identifier , number_literal , (binary_expression "PTR_s_XXXXXXXXXX___________000b5214 + -0x1400" identifier + number_literal) , identifier , (pointer_expression "*param_3" * identifier) ))) ;) (return_statement "return;" return ;) })))
(translation_unit "void write_setting_filename(void *handle,char *name,Filename *result)\n\n{\n  FILE *fp;\n  \n  (*(code *)PTR___fprintf_chk_000b5b9c)\n            (handle,1,PTR_s_XXXXXXXXXX___________000b5214 + -0x1400,name,result->path);\n  return;\n}\n\n" (function_definition "void write_setting_filename(void *handle,char *name,Filename *result)\n\n{\n  FILE *fp;\n  \n  (*(code *)PTR___fprintf_chk_000b5b9c)\n            (handle,1,PTR_s_XXXXXXXXXX___________000b5214 + -0x1400,name,result->path);\n  return;\n}" primitive_type (function_declarator "write_setting_filename(void *handle,char *name,Filename *result)" identifier (parameter_list "(void *handle,char *name,Filename *result)" ( (parameter_declaration "void *handle" primitive_type (pointer_declarator "*handle" * identifier)) , (parameter_declaration "char *name" primitive_type (pointer_declarator "*name" * identifier)) , (parameter_declaration "Filename *result" type_identifier (pointer_declarator "*result" * identifier)) ))) (compound_statement "{\n  FILE *fp;\n  \n  (*(code *)PTR___fprintf_chk_000b5b9c)\n            (handle,1,PTR_s_XXXXXXXXXX___________000b5214 + -0x1400,name,result->path);\n  return;\n}" { (declaration "FILE *fp;" type_identifier (pointer_declarator "*fp" * identifier) ;) (expression_statement "(*(code *)PTR___fprintf_chk_000b5b9c)\n            (handle,1,PTR_s_XXXXXXXXXX___________000b5214 + -0x1400,name,result->path);" (call_expression "(*(code *)PTR___fprintf_chk_000b5b9c)\n            (handle,1,PTR_s_XXXXXXXXXX___________000b5214 + -0x1400,name,result->path)" (parenthesized_expression "(*(code *)PTR___fprintf_chk_000b5b9c)" ( (pointer_expression "*(code *)PTR___fprintf_chk_000b5b9c" * (cast_expression "(code *)PTR___fprintf_chk_000b5b9c" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) )) (argument_list "(handle,1,PTR_s_XXXXXXXXXX___________000b5214 + -0x1400,name,result->path)" ( identifier , number_literal , (binary_expression "PTR_s_XXXXXXXXXX___________000b5214 + -0x1400" identifier + number_literal) , identifier , (field_expression "result->path" identifier -> field_identifier) ))) ;) (return_statement "return;" return ;) })))
(translation_unit "void write_setting_filename(undefined4 param_1,undefined4 param_2,undefined4 *param_3)\n\n{\n  (*(code *)PTR___fprintf_chk_000b5b9c)\n            (param_1,1,PTR_s_XXXXXXXXXX___________000b5214 + -0x1400,param_2,*param_3);\n  return;\n}\n\n" (function_definition "void write_setting_filename(undefined4 param_1,undefined4 param_2,undefined4 *param_3)\n\n{\n  (*(code *)PTR___fprintf_chk_000b5b9c)\n            (param_1,1,PTR_s_XXXXXXXXXX___________000b5214 + -0x1400,param_2,*param_3);\n  return;\n}" primitive_type (function_declarator "write_setting_filename(undefined4 param_1,undefined4 param_2,undefined4 *param_3)" identifier (parameter_list "(undefined4 param_1,undefined4 param_2,undefined4 *param_3)" ( (parameter_declaration "undefined4 param_1" type_identifier identifier) , (parameter_declaration "undefined4 param_2" type_identifier identifier) , (parameter_declaration "undefined4 *param_3" type_identifier (pointer_declarator "*param_3" * identifier)) ))) (compound_statement "{\n  (*(code *)PTR___fprintf_chk_000b5b9c)\n            (param_1,1,PTR_s_XXXXXXXXXX___________000b5214 + -0x1400,param_2,*param_3);\n  return;\n}" { (expression_statement "(*(code *)PTR___fprintf_chk_000b5b9c)\n            (param_1,1,PTR_s_XXXXXXXXXX___________000b5214 + -0x1400,param_2,*param_3);" (call_expression "(*(code *)PTR___fprintf_chk_000b5b9c)\n            (param_1,1,PTR_s_XXXXXXXXXX___________000b5214 + -0x1400,param_2,*param_3)" (parenthesized_expression "(*(code *)PTR___fprintf_chk_000b5b9c)" ( (pointer_expression "*(code *)PTR___fprintf_chk_000b5b9c" * (cast_expression "(code *)PTR___fprintf_chk_000b5b9c" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) )) (argument_list "(param_1,1,PTR_s_XXXXXXXXXX___________000b5214 + -0x1400,param_2,*param_3)" ( identifier , number_literal , (binary_expression "PTR_s_XXXXXXXXXX___________000b5214 + -0x1400" identifier + number_literal) , identifier , (pointer_expression "*param_3" * identifier) ))) ;) (return_statement "return;" return ;) })))
(translation_unit (function_definition TYPE (function_declarator IDENT (parameter_list ( (parameter_declaration TYPE IDENT) , (parameter_declaration TYPE IDENT) , (parameter_declaration TYPE (pointer_declarator * IDENT)) ))) (compound_statement { (expression_statement (call_expression (parenthesized_expression ( (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) IDENT)) )) (argument_list ( IDENT , LIT , (binary_expression IDENT + LIT) , IDENT , (pointer_expression * IDENT) ))) ;) (return_statement return ;) })))
(function_definition "void write_setting_filename(undefined4 param_1,undefined4 param_2,undefined4 *param_3)\n\n{\n  (*(code *)PTR___fprintf_chk_000b5b9c)\n            (param_1,1,PTR_s_XXXXXXXXXX___________000b5214 + -0x1400,param_2,*param_3);\n  return;\n}" (primitive_type "void") (function_declarator "write_setting_filename(undefined4 param_1,undefined4 param_2,undefined4 *param_3)" (identifier "write_setting_filename") (parameter_list "(undefined4 param_1,undefined4 param_2,undefined4 *param_3)" (( "(") (parameter_declaration "undefined4 param_1" (type_identifier "undefined4") (identifier "param_1")) (, ",") (parameter_declaration "undefined4 param_2" (type_identifier "undefined4") (identifier "param_2")) (, ",") (parameter_declaration "undefined4 *param_3" (type_identifier "undefined4") (pointer_declarator "*param_3" (* "*") (identifier "param_3"))) () ")"))) (compound_statement "{\n  (*(code *)PTR___fprintf_chk_000b5b9c)\n            (param_1,1,PTR_s_XXXXXXXXXX___________000b5214 + -0x1400,param_2,*param_3);\n  return;\n}" ({ "{") (expression_statement "(*(code *)PTR___fprintf_chk_000b5b9c)\n            (param_1,1,PTR_s_XXXXXXXXXX___________000b5214 + -0x1400,param_2,*param_3);" (call_expression "(*(code *)PTR___fprintf_chk_000b5b9c)\n            (param_1,1,PTR_s_XXXXXXXXXX___________000b5214 + -0x1400,param_2,*param_3)" (parenthesized_expression "(*(code *)PTR___fprintf_chk_000b5b9c)" (( "(") (pointer_expression "*(code *)PTR___fprintf_chk_000b5b9c" (* "*") (cast_expression "(code *)PTR___fprintf_chk_000b5b9c" (( "(") (type_descriptor "code *" (type_identifier "code") (abstract_pointer_declarator "*" (* "*"))) () ")") (identifier "PTR___fprintf_chk_000b5b9c"))) () ")")) (argument_list "(param_1,1,PTR_s_XXXXXXXXXX___________000b5214 + -0x1400,param_2,*param_3)" (( "(") (identifier "param_1") (, ",") (number_literal "1") (, ",") (binary_expression "PTR_s_XXXXXXXXXX___________000b5214 + -0x1400" (identifier "PTR_s_XXXXXXXXXX___________000b5214") (+ "+") (number_literal "-0x1400")) (, ",") (identifier "param_2") (, ",") (pointer_expression "*param_3" (* "*") (identifier "param_3")) () ")"))) (; ";")) (return_statement "return;" (return "return") (; ";")) (} "}")))

void function_1(void *handle,char *name,type_1 *result)

{
  type_2 *fp;
  
  (*(type_3 *)PTR___fprintf_chk_000b5b9c)
            (handle,1,var_1 + -0x1400,name,result->path);
  return;
}


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

void MASKED(undefined4 param_1,undefined4 param_2,undefined4 *param_3)

{
  (*(code *)PTR___fprintf_chk_000b5b9c)
            (param_1,1,PTR_s_XXXXXXXXXX___________000b5214 + -0x1400,param_2,*param_3);
  return;
}

