
int sqlite3_wal_autocheckpoint(sqlite3 *db,int nFrame)

{
  if (nFrame < 1) {
    (*(code *)PTR_sqlite3_wal_hook_000f6468)(db,0,0);
  }
  else {
    (*(code *)PTR_sqlite3_wal_hook_000f6468)(db,PTR_LAB_000f62f4 + -0x77e8,nFrame);
  }
  return 0;
}



undefined4 sqlite3_wal_autocheckpoint(undefined4 param_1,int param_2)

{
  if (param_2 < 1) {
    (*(code *)PTR_sqlite3_wal_hook_000f6468)(param_1,0,0);
  }
  else {
    (*(code *)PTR_sqlite3_wal_hook_000f6468)(param_1,PTR_LAB_000f62f4 + -0x77e8,param_2);
  }
  return 0;
}


lui gp,0xe
addiu gp,gp,-0x5270
addu gp,gp,t9
addiu sp,sp,-0x20
sw ra,0x1c(sp)
sw gp,0x10(sp)
blez a1,0x00023558
_or a2,a1,zero
lw a1,-0x7fac(gp)
addiu a1,a1,-0x77e8
lw t9,-0x7e38(gp)
jalr t9
_nop
lw gp,0x10(sp)
or v0,zero,zero
lw ra,0x1c(sp)
jr ra
_addiu sp,sp,0x20
or a2,zero,zero
or a1,zero,zero
lw t9,-0x7e38(gp)
jalr t9
_nop
lw gp,0x10(sp)
b 0x0002354c
_or v0,zero,zero
(translation_unit "undefined4 sqlite3_wal_autocheckpoint(undefined4 param_1,int param_2)\n\n{\n  if (param_2 < 1) {\n    (*(code *)PTR_sqlite3_wal_hook_000f6468)(param_1,0,0);\n  }\n  else {\n    (*(code *)PTR_sqlite3_wal_hook_000f6468)(param_1,PTR_LAB_000f62f4 + -0x77e8,param_2);\n  }\n  return 0;\n}\n\n" (function_definition "undefined4 sqlite3_wal_autocheckpoint(undefined4 param_1,int param_2)\n\n{\n  if (param_2 < 1) {\n    (*(code *)PTR_sqlite3_wal_hook_000f6468)(param_1,0,0);\n  }\n  else {\n    (*(code *)PTR_sqlite3_wal_hook_000f6468)(param_1,PTR_LAB_000f62f4 + -0x77e8,param_2);\n  }\n  return 0;\n}" type_identifier (function_declarator "sqlite3_wal_autocheckpoint(undefined4 param_1,int param_2)" identifier (parameter_list "(undefined4 param_1,int param_2)" ( (parameter_declaration "undefined4 param_1" type_identifier identifier) , (parameter_declaration "int param_2" primitive_type identifier) ))) (compound_statement "{\n  if (param_2 < 1) {\n    (*(code *)PTR_sqlite3_wal_hook_000f6468)(param_1,0,0);\n  }\n  else {\n    (*(code *)PTR_sqlite3_wal_hook_000f6468)(param_1,PTR_LAB_000f62f4 + -0x77e8,param_2);\n  }\n  return 0;\n}" { (if_statement "if (param_2 < 1) {\n    (*(code *)PTR_sqlite3_wal_hook_000f6468)(param_1,0,0);\n  }\n  else {\n    (*(code *)PTR_sqlite3_wal_hook_000f6468)(param_1,PTR_LAB_000f62f4 + -0x77e8,param_2);\n  }" if (parenthesized_expression "(param_2 < 1)" ( (binary_expression "param_2 < 1" identifier < number_literal) )) (compound_statement "{\n    (*(code *)PTR_sqlite3_wal_hook_000f6468)(param_1,0,0);\n  }" { (expression_statement "(*(code *)PTR_sqlite3_wal_hook_000f6468)(param_1,0,0);" (call_expression "(*(code *)PTR_sqlite3_wal_hook_000f6468)(param_1,0,0)" (parenthesized_expression "(*(code *)PTR_sqlite3_wal_hook_000f6468)" ( (pointer_expression "*(code *)PTR_sqlite3_wal_hook_000f6468" * (cast_expression "(code *)PTR_sqlite3_wal_hook_000f6468" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) )) (argument_list "(param_1,0,0)" ( identifier , number_literal , number_literal ))) ;) }) (else_clause "else {\n    (*(code *)PTR_sqlite3_wal_hook_000f6468)(param_1,PTR_LAB_000f62f4 + -0x77e8,param_2);\n  }" else (compound_statement "{\n    (*(code *)PTR_sqlite3_wal_hook_000f6468)(param_1,PTR_LAB_000f62f4 + -0x77e8,param_2);\n  }" { (expression_statement "(*(code *)PTR_sqlite3_wal_hook_000f6468)(param_1,PTR_LAB_000f62f4 + -0x77e8,param_2);" (call_expression "(*(code *)PTR_sqlite3_wal_hook_000f6468)(param_1,PTR_LAB_000f62f4 + -0x77e8,param_2)" (parenthesized_expression "(*(code *)PTR_sqlite3_wal_hook_000f6468)" ( (pointer_expression "*(code *)PTR_sqlite3_wal_hook_000f6468" * (cast_expression "(code *)PTR_sqlite3_wal_hook_000f6468" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) )) (argument_list "(param_1,PTR_LAB_000f62f4 + -0x77e8,param_2)" ( identifier , (binary_expression "PTR_LAB_000f62f4 + -0x77e8" identifier + number_literal) , identifier ))) ;) }))) (return_statement "return 0;" return number_literal ;) })))
(translation_unit "int sqlite3_wal_autocheckpoint(sqlite3 *db,int nFrame)\n\n{\n  if (nFrame < 1) {\n    (*(code *)PTR_sqlite3_wal_hook_000f6468)(db,0,0);\n  }\n  else {\n    (*(code *)PTR_sqlite3_wal_hook_000f6468)(db,PTR_LAB_000f62f4 + -0x77e8,nFrame);\n  }\n  return 0;\n}\n\n" (function_definition "int sqlite3_wal_autocheckpoint(sqlite3 *db,int nFrame)\n\n{\n  if (nFrame < 1) {\n    (*(code *)PTR_sqlite3_wal_hook_000f6468)(db,0,0);\n  }\n  else {\n    (*(code *)PTR_sqlite3_wal_hook_000f6468)(db,PTR_LAB_000f62f4 + -0x77e8,nFrame);\n  }\n  return 0;\n}" primitive_type (function_declarator "sqlite3_wal_autocheckpoint(sqlite3 *db,int nFrame)" identifier (parameter_list "(sqlite3 *db,int nFrame)" ( (parameter_declaration "sqlite3 *db" type_identifier (pointer_declarator "*db" * identifier)) , (parameter_declaration "int nFrame" primitive_type identifier) ))) (compound_statement "{\n  if (nFrame < 1) {\n    (*(code *)PTR_sqlite3_wal_hook_000f6468)(db,0,0);\n  }\n  else {\n    (*(code *)PTR_sqlite3_wal_hook_000f6468)(db,PTR_LAB_000f62f4 + -0x77e8,nFrame);\n  }\n  return 0;\n}" { (if_statement "if (nFrame < 1) {\n    (*(code *)PTR_sqlite3_wal_hook_000f6468)(db,0,0);\n  }\n  else {\n    (*(code *)PTR_sqlite3_wal_hook_000f6468)(db,PTR_LAB_000f62f4 + -0x77e8,nFrame);\n  }" if (parenthesized_expression "(nFrame < 1)" ( (binary_expression "nFrame < 1" identifier < number_literal) )) (compound_statement "{\n    (*(code *)PTR_sqlite3_wal_hook_000f6468)(db,0,0);\n  }" { (expression_statement "(*(code *)PTR_sqlite3_wal_hook_000f6468)(db,0,0);" (call_expression "(*(code *)PTR_sqlite3_wal_hook_000f6468)(db,0,0)" (parenthesized_expression "(*(code *)PTR_sqlite3_wal_hook_000f6468)" ( (pointer_expression "*(code *)PTR_sqlite3_wal_hook_000f6468" * (cast_expression "(code *)PTR_sqlite3_wal_hook_000f6468" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) )) (argument_list "(db,0,0)" ( identifier , number_literal , number_literal ))) ;) }) (else_clause "else {\n    (*(code *)PTR_sqlite3_wal_hook_000f6468)(db,PTR_LAB_000f62f4 + -0x77e8,nFrame);\n  }" else (compound_statement "{\n    (*(code *)PTR_sqlite3_wal_hook_000f6468)(db,PTR_LAB_000f62f4 + -0x77e8,nFrame);\n  }" { (expression_statement "(*(code *)PTR_sqlite3_wal_hook_000f6468)(db,PTR_LAB_000f62f4 + -0x77e8,nFrame);" (call_expression "(*(code *)PTR_sqlite3_wal_hook_000f6468)(db,PTR_LAB_000f62f4 + -0x77e8,nFrame)" (parenthesized_expression "(*(code *)PTR_sqlite3_wal_hook_000f6468)" ( (pointer_expression "*(code *)PTR_sqlite3_wal_hook_000f6468" * (cast_expression "(code *)PTR_sqlite3_wal_hook_000f6468" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) )) (argument_list "(db,PTR_LAB_000f62f4 + -0x77e8,nFrame)" ( identifier , (binary_expression "PTR_LAB_000f62f4 + -0x77e8" identifier + number_literal) , identifier ))) ;) }))) (return_statement "return 0;" return number_literal ;) })))
(translation_unit "undefined4 sqlite3_wal_autocheckpoint(undefined4 param_1,int param_2)\n\n{\n  if (param_2 < 1) {\n    (*(code *)PTR_sqlite3_wal_hook_000f6468)(param_1,0,0);\n  }\n  else {\n    (*(code *)PTR_sqlite3_wal_hook_000f6468)(param_1,PTR_LAB_000f62f4 + -0x77e8,param_2);\n  }\n  return 0;\n}\n\n" (function_definition "undefined4 sqlite3_wal_autocheckpoint(undefined4 param_1,int param_2)\n\n{\n  if (param_2 < 1) {\n    (*(code *)PTR_sqlite3_wal_hook_000f6468)(param_1,0,0);\n  }\n  else {\n    (*(code *)PTR_sqlite3_wal_hook_000f6468)(param_1,PTR_LAB_000f62f4 + -0x77e8,param_2);\n  }\n  return 0;\n}" type_identifier (function_declarator "sqlite3_wal_autocheckpoint(undefined4 param_1,int param_2)" identifier (parameter_list "(undefined4 param_1,int param_2)" ( (parameter_declaration "undefined4 param_1" type_identifier identifier) , (parameter_declaration "int param_2" primitive_type identifier) ))) (compound_statement "{\n  if (param_2 < 1) {\n    (*(code *)PTR_sqlite3_wal_hook_000f6468)(param_1,0,0);\n  }\n  else {\n    (*(code *)PTR_sqlite3_wal_hook_000f6468)(param_1,PTR_LAB_000f62f4 + -0x77e8,param_2);\n  }\n  return 0;\n}" { (if_statement "if (param_2 < 1) {\n    (*(code *)PTR_sqlite3_wal_hook_000f6468)(param_1,0,0);\n  }\n  else {\n    (*(code *)PTR_sqlite3_wal_hook_000f6468)(param_1,PTR_LAB_000f62f4 + -0x77e8,param_2);\n  }" if (parenthesized_expression "(param_2 < 1)" ( (binary_expression "param_2 < 1" identifier < number_literal) )) (compound_statement "{\n    (*(code *)PTR_sqlite3_wal_hook_000f6468)(param_1,0,0);\n  }" { (expression_statement "(*(code *)PTR_sqlite3_wal_hook_000f6468)(param_1,0,0);" (call_expression "(*(code *)PTR_sqlite3_wal_hook_000f6468)(param_1,0,0)" (parenthesized_expression "(*(code *)PTR_sqlite3_wal_hook_000f6468)" ( (pointer_expression "*(code *)PTR_sqlite3_wal_hook_000f6468" * (cast_expression "(code *)PTR_sqlite3_wal_hook_000f6468" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) )) (argument_list "(param_1,0,0)" ( identifier , number_literal , number_literal ))) ;) }) (else_clause "else {\n    (*(code *)PTR_sqlite3_wal_hook_000f6468)(param_1,PTR_LAB_000f62f4 + -0x77e8,param_2);\n  }" else (compound_statement "{\n    (*(code *)PTR_sqlite3_wal_hook_000f6468)(param_1,PTR_LAB_000f62f4 + -0x77e8,param_2);\n  }" { (expression_statement "(*(code *)PTR_sqlite3_wal_hook_000f6468)(param_1,PTR_LAB_000f62f4 + -0x77e8,param_2);" (call_expression "(*(code *)PTR_sqlite3_wal_hook_000f6468)(param_1,PTR_LAB_000f62f4 + -0x77e8,param_2)" (parenthesized_expression "(*(code *)PTR_sqlite3_wal_hook_000f6468)" ( (pointer_expression "*(code *)PTR_sqlite3_wal_hook_000f6468" * (cast_expression "(code *)PTR_sqlite3_wal_hook_000f6468" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) )) (argument_list "(param_1,PTR_LAB_000f62f4 + -0x77e8,param_2)" ( identifier , (binary_expression "PTR_LAB_000f62f4 + -0x77e8" identifier + number_literal) , identifier ))) ;) }))) (return_statement "return 0;" return number_literal ;) })))
(translation_unit (function_definition TYPE (function_declarator IDENT (parameter_list ( (parameter_declaration TYPE IDENT) , (parameter_declaration TYPE IDENT) ))) (compound_statement { (if_statement if (parenthesized_expression ( (binary_expression IDENT < LIT) )) (compound_statement { (expression_statement (call_expression (parenthesized_expression ( (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) IDENT)) )) (argument_list ( IDENT , LIT , LIT ))) ;) }) (else_clause else (compound_statement { (expression_statement (call_expression (parenthesized_expression ( (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) IDENT)) )) (argument_list ( IDENT , (binary_expression IDENT + LIT) , IDENT ))) ;) }))) (return_statement return LIT ;) })))
(function_definition "undefined4 sqlite3_wal_autocheckpoint(undefined4 param_1,int param_2)\n\n{\n  if (param_2 < 1) {\n    (*(code *)PTR_sqlite3_wal_hook_000f6468)(param_1,0,0);\n  }\n  else {\n    (*(code *)PTR_sqlite3_wal_hook_000f6468)(param_1,PTR_LAB_000f62f4 + -0x77e8,param_2);\n  }\n  return 0;\n}" (type_identifier "undefined4") (function_declarator "sqlite3_wal_autocheckpoint(undefined4 param_1,int param_2)" (identifier "sqlite3_wal_autocheckpoint") (parameter_list "(undefined4 param_1,int param_2)" (( "(") (parameter_declaration "undefined4 param_1" (type_identifier "undefined4") (identifier "param_1")) (, ",") (parameter_declaration "int param_2" (primitive_type "int") (identifier "param_2")) () ")"))) (compound_statement "{\n  if (param_2 < 1) {\n    (*(code *)PTR_sqlite3_wal_hook_000f6468)(param_1,0,0);\n  }\n  else {\n    (*(code *)PTR_sqlite3_wal_hook_000f6468)(param_1,PTR_LAB_000f62f4 + -0x77e8,param_2);\n  }\n  return 0;\n}" ({ "{") (if_statement "if (param_2 < 1) {\n    (*(code *)PTR_sqlite3_wal_hook_000f6468)(param_1,0,0);\n  }\n  else {\n    (*(code *)PTR_sqlite3_wal_hook_000f6468)(param_1,PTR_LAB_000f62f4 + -0x77e8,param_2);\n  }" (if "if") (parenthesized_expression "(param_2 < 1)" (( "(") (binary_expression "param_2 < 1" (identifier "param_2") (< "<") (number_literal "1")) () ")")) (compound_statement "{\n    (*(code *)PTR_sqlite3_wal_hook_000f6468)(param_1,0,0);\n  }" ({ "{") (expression_statement "(*(code *)PTR_sqlite3_wal_hook_000f6468)(param_1,0,0);" (call_expression "(*(code *)PTR_sqlite3_wal_hook_000f6468)(param_1,0,0)" (parenthesized_expression "(*(code *)PTR_sqlite3_wal_hook_000f6468)" (( "(") (pointer_expression "*(code *)PTR_sqlite3_wal_hook_000f6468" (* "*") (cast_expression "(code *)PTR_sqlite3_wal_hook_000f6468" (( "(") (type_descriptor "code *" (type_identifier "code") (abstract_pointer_declarator "*" (* "*"))) () ")") (identifier "PTR_sqlite3_wal_hook_000f6468"))) () ")")) (argument_list "(param_1,0,0)" (( "(") (identifier "param_1") (, ",") (number_literal "0") (, ",") (number_literal "0") () ")"))) (; ";")) (} "}")) (else_clause "else {\n    (*(code *)PTR_sqlite3_wal_hook_000f6468)(param_1,PTR_LAB_000f62f4 + -0x77e8,param_2);\n  }" (else "else") (compound_statement "{\n    (*(code *)PTR_sqlite3_wal_hook_000f6468)(param_1,PTR_LAB_000f62f4 + -0x77e8,param_2);\n  }" ({ "{") (expression_statement "(*(code *)PTR_sqlite3_wal_hook_000f6468)(param_1,PTR_LAB_000f62f4 + -0x77e8,param_2);" (call_expression "(*(code *)PTR_sqlite3_wal_hook_000f6468)(param_1,PTR_LAB_000f62f4 + -0x77e8,param_2)" (parenthesized_expression "(*(code *)PTR_sqlite3_wal_hook_000f6468)" (( "(") (pointer_expression "*(code *)PTR_sqlite3_wal_hook_000f6468" (* "*") (cast_expression "(code *)PTR_sqlite3_wal_hook_000f6468" (( "(") (type_descriptor "code *" (type_identifier "code") (abstract_pointer_declarator "*" (* "*"))) () ")") (identifier "PTR_sqlite3_wal_hook_000f6468"))) () ")")) (argument_list "(param_1,PTR_LAB_000f62f4 + -0x77e8,param_2)" (( "(") (identifier "param_1") (, ",") (binary_expression "PTR_LAB_000f62f4 + -0x77e8" (identifier "PTR_LAB_000f62f4") (+ "+") (number_literal "-0x77e8")) (, ",") (identifier "param_2") () ")"))) (; ";")) (} "}")))) (return_statement "return 0;" (return "return") (number_literal "0") (; ";")) (} "}")))

int function_1(type_1 *db,int var_1)

{
  if (var_1 < 1) {
    (*(type_2 *)PTR_sqlite3_wal_hook_000f6468)(db,0,0);
  }
  else {
    (*(type_2 *)PTR_sqlite3_wal_hook_000f6468)(db,var_2 + -0x77e8,var_1);
  }
  return 0;
}


(translation_unit (function_definition type: (type_identifier) declarator: (function_declarator declarator: (identifier) parameters: (parameter_list (parameter_declaration type: (type_identifier) declarator: (identifier)) (parameter_declaration type: (primitive_type) declarator: (identifier)))) body: (compound_statement (if_statement condition: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal))) consequence: (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) (number_literal))))) alternative: (else_clause (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) (binary_expression left: (identifier) right: (number_literal)) (identifier))))))) (return_statement (number_literal)))))

undefined4 MASKED(undefined4 param_1,int param_2)

{
  if (param_2 < 1) {
    (*(code *)PTR_sqlite3_wal_hook_000f6468)(param_1,0,0);
  }
  else {
    (*(code *)PTR_sqlite3_wal_hook_000f6468)(param_1,PTR_LAB_000f62f4 + -0x77e8,param_2);
  }
  return 0;
}

