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

int sqlite3WalDefaultHook(void *pClientData,sqlite3 *db,char *zDb,int nFrame)

{
  if ((int)pClientData <= nFrame) {
    if (sqlite3Hooks.xBenignBegin != (_func_void *)0x0) {
      (*sqlite3Hooks.xBenignBegin)();
    }
    sqlite3_wal_checkpoint(db,zDb);
    if (sqlite3Hooks.xBenignEnd != (_func_void *)0x0) {
      (*sqlite3Hooks.xBenignEnd)();
    }
  }
  return 0;
}



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

undefined4 FUN_0006eec0(int param_1,undefined4 param_2,undefined4 param_3,int param_4)

{
  if (param_1 <= param_4) {
    if (DAT_000df9fc != (code *)0x0) {
      (*DAT_000df9fc)();
    }
    sqlite3_wal_checkpoint(param_2,param_3);
    if (DAT_000dfa00 != (code *)0x0) {
      (*DAT_000dfa00)();
    }
  }
  return 0;
}


PUSH EBX
CALL 0x0001d810
ADD EBX,0x6f13a
SUB ESP,0x8
MOV EAX,dword ptr [ESP + 0x1c]
CMP dword ptr [ESP + 0x10],EAX
JG 0x0006ef04
MOV EAX,dword ptr [EBX + 0x19fc]
TEST EAX,EAX
JZ 0x0006eee5
CALL EAX
SUB ESP,0x8
PUSH dword ptr [ESP + 0x20]
PUSH dword ptr [ESP + 0x20]
CALL 0x00016a90
MOV EAX,dword ptr [EBX + 0x1a00]
ADD ESP,0x10
TEST EAX,EAX
JZ 0x0006ef04
CALL EAX
ADD ESP,0x8
XOR EAX,EAX
POP EBX
RET
(translation_unit "/* WARNING: Function: __i686.get_pc_thunk.bx replaced with injection: get_pc_thunk_bx */\n\nundefined4 FUN_0006eec0(int param_1,undefined4 param_2,undefined4 param_3,int param_4)\n\n{\n  if (param_1 <= param_4) {\n    if (DAT_000df9fc != (code *)0x0) {\n      (*DAT_000df9fc)();\n    }\n    sqlite3_wal_checkpoint(param_2,param_3);\n    if (DAT_000dfa00 != (code *)0x0) {\n      (*DAT_000dfa00)();\n    }\n  }\n  return 0;\n}\n\n" comment (function_definition "undefined4 FUN_0006eec0(int param_1,undefined4 param_2,undefined4 param_3,int param_4)\n\n{\n  if (param_1 <= param_4) {\n    if (DAT_000df9fc != (code *)0x0) {\n      (*DAT_000df9fc)();\n    }\n    sqlite3_wal_checkpoint(param_2,param_3);\n    if (DAT_000dfa00 != (code *)0x0) {\n      (*DAT_000dfa00)();\n    }\n  }\n  return 0;\n}" type_identifier (function_declarator "FUN_0006eec0(int param_1,undefined4 param_2,undefined4 param_3,int param_4)" identifier (parameter_list "(int param_1,undefined4 param_2,undefined4 param_3,int param_4)" ( (parameter_declaration "int param_1" primitive_type identifier) , (parameter_declaration "undefined4 param_2" type_identifier identifier) , (parameter_declaration "undefined4 param_3" type_identifier identifier) , (parameter_declaration "int param_4" primitive_type identifier) ))) (compound_statement "{\n  if (param_1 <= param_4) {\n    if (DAT_000df9fc != (code *)0x0) {\n      (*DAT_000df9fc)();\n    }\n    sqlite3_wal_checkpoint(param_2,param_3);\n    if (DAT_000dfa00 != (code *)0x0) {\n      (*DAT_000dfa00)();\n    }\n  }\n  return 0;\n}" { (if_statement "if (param_1 <= param_4) {\n    if (DAT_000df9fc != (code *)0x0) {\n      (*DAT_000df9fc)();\n    }\n    sqlite3_wal_checkpoint(param_2,param_3);\n    if (DAT_000dfa00 != (code *)0x0) {\n      (*DAT_000dfa00)();\n    }\n  }" if (parenthesized_expression "(param_1 <= param_4)" ( (binary_expression "param_1 <= param_4" identifier <= identifier) )) (compound_statement "{\n    if (DAT_000df9fc != (code *)0x0) {\n      (*DAT_000df9fc)();\n    }\n    sqlite3_wal_checkpoint(param_2,param_3);\n    if (DAT_000dfa00 != (code *)0x0) {\n      (*DAT_000dfa00)();\n    }\n  }" { (if_statement "if (DAT_000df9fc != (code *)0x0) {\n      (*DAT_000df9fc)();\n    }" if (parenthesized_expression "(DAT_000df9fc != (code *)0x0)" ( (binary_expression "DAT_000df9fc != (code *)0x0" identifier != (cast_expression "(code *)0x0" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) number_literal)) )) (compound_statement "{\n      (*DAT_000df9fc)();\n    }" { (expression_statement "(*DAT_000df9fc)();" (call_expression "(*DAT_000df9fc)()" (parenthesized_expression "(*DAT_000df9fc)" ( (pointer_expression "*DAT_000df9fc" * identifier) )) (argument_list "()" ( ))) ;) })) (expression_statement "sqlite3_wal_checkpoint(param_2,param_3);" (call_expression "sqlite3_wal_checkpoint(param_2,param_3)" identifier (argument_list "(param_2,param_3)" ( identifier , identifier ))) ;) (if_statement "if (DAT_000dfa00 != (code *)0x0) {\n      (*DAT_000dfa00)();\n    }" if (parenthesized_expression "(DAT_000dfa00 != (code *)0x0)" ( (binary_expression "DAT_000dfa00 != (code *)0x0" identifier != (cast_expression "(code *)0x0" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) number_literal)) )) (compound_statement "{\n      (*DAT_000dfa00)();\n    }" { (expression_statement "(*DAT_000dfa00)();" (call_expression "(*DAT_000dfa00)()" (parenthesized_expression "(*DAT_000dfa00)" ( (pointer_expression "*DAT_000dfa00" * identifier) )) (argument_list "()" ( ))) ;) })) })) (return_statement "return 0;" return number_literal ;) })))
(translation_unit "/* WARNING: Function: __x86.get_pc_thunk.bx replaced with injection: get_pc_thunk_bx */\n/* WARNING: Unknown calling convention */\n\nint sqlite3WalDefaultHook(void *pClientData,sqlite3 *db,char *zDb,int nFrame)\n\n{\n  if ((int)pClientData <= nFrame) {\n    if (sqlite3Hooks.xBenignBegin != (_func_void *)0x0) {\n      (*sqlite3Hooks.xBenignBegin)();\n    }\n    sqlite3_wal_checkpoint(db,zDb);\n    if (sqlite3Hooks.xBenignEnd != (_func_void *)0x0) {\n      (*sqlite3Hooks.xBenignEnd)();\n    }\n  }\n  return 0;\n}\n\n" comment comment (function_definition "int sqlite3WalDefaultHook(void *pClientData,sqlite3 *db,char *zDb,int nFrame)\n\n{\n  if ((int)pClientData <= nFrame) {\n    if (sqlite3Hooks.xBenignBegin != (_func_void *)0x0) {\n      (*sqlite3Hooks.xBenignBegin)();\n    }\n    sqlite3_wal_checkpoint(db,zDb);\n    if (sqlite3Hooks.xBenignEnd != (_func_void *)0x0) {\n      (*sqlite3Hooks.xBenignEnd)();\n    }\n  }\n  return 0;\n}" primitive_type (function_declarator "sqlite3WalDefaultHook(void *pClientData,sqlite3 *db,char *zDb,int nFrame)" identifier (parameter_list "(void *pClientData,sqlite3 *db,char *zDb,int nFrame)" ( (parameter_declaration "void *pClientData" primitive_type (pointer_declarator "*pClientData" * identifier)) , (parameter_declaration "sqlite3 *db" type_identifier (pointer_declarator "*db" * identifier)) , (parameter_declaration "char *zDb" primitive_type (pointer_declarator "*zDb" * identifier)) , (parameter_declaration "int nFrame" primitive_type identifier) ))) (compound_statement "{\n  if ((int)pClientData <= nFrame) {\n    if (sqlite3Hooks.xBenignBegin != (_func_void *)0x0) {\n      (*sqlite3Hooks.xBenignBegin)();\n    }\n    sqlite3_wal_checkpoint(db,zDb);\n    if (sqlite3Hooks.xBenignEnd != (_func_void *)0x0) {\n      (*sqlite3Hooks.xBenignEnd)();\n    }\n  }\n  return 0;\n}" { (if_statement "if ((int)pClientData <= nFrame) {\n    if (sqlite3Hooks.xBenignBegin != (_func_void *)0x0) {\n      (*sqlite3Hooks.xBenignBegin)();\n    }\n    sqlite3_wal_checkpoint(db,zDb);\n    if (sqlite3Hooks.xBenignEnd != (_func_void *)0x0) {\n      (*sqlite3Hooks.xBenignEnd)();\n    }\n  }" if (parenthesized_expression "((int)pClientData <= nFrame)" ( (binary_expression "(int)pClientData <= nFrame" (cast_expression "(int)pClientData" ( (type_descriptor "int" primitive_type) ) identifier) <= identifier) )) (compound_statement "{\n    if (sqlite3Hooks.xBenignBegin != (_func_void *)0x0) {\n      (*sqlite3Hooks.xBenignBegin)();\n    }\n    sqlite3_wal_checkpoint(db,zDb);\n    if (sqlite3Hooks.xBenignEnd != (_func_void *)0x0) {\n      (*sqlite3Hooks.xBenignEnd)();\n    }\n  }" { (if_statement "if (sqlite3Hooks.xBenignBegin != (_func_void *)0x0) {\n      (*sqlite3Hooks.xBenignBegin)();\n    }" if (parenthesized_expression "(sqlite3Hooks.xBenignBegin != (_func_void *)0x0)" ( (binary_expression "sqlite3Hooks.xBenignBegin != (_func_void *)0x0" (field_expression "sqlite3Hooks.xBenignBegin" identifier . field_identifier) != (cast_expression "(_func_void *)0x0" ( (type_descriptor "_func_void *" type_identifier (abstract_pointer_declarator "*" *)) ) number_literal)) )) (compound_statement "{\n      (*sqlite3Hooks.xBenignBegin)();\n    }" { (expression_statement "(*sqlite3Hooks.xBenignBegin)();" (call_expression "(*sqlite3Hooks.xBenignBegin)()" (parenthesized_expression "(*sqlite3Hooks.xBenignBegin)" ( (pointer_expression "*sqlite3Hooks.xBenignBegin" * (field_expression "sqlite3Hooks.xBenignBegin" identifier . field_identifier)) )) (argument_list "()" ( ))) ;) })) (expression_statement "sqlite3_wal_checkpoint(db,zDb);" (call_expression "sqlite3_wal_checkpoint(db,zDb)" identifier (argument_list "(db,zDb)" ( identifier , identifier ))) ;) (if_statement "if (sqlite3Hooks.xBenignEnd != (_func_void *)0x0) {\n      (*sqlite3Hooks.xBenignEnd)();\n    }" if (parenthesized_expression "(sqlite3Hooks.xBenignEnd != (_func_void *)0x0)" ( (binary_expression "sqlite3Hooks.xBenignEnd != (_func_void *)0x0" (field_expression "sqlite3Hooks.xBenignEnd" identifier . field_identifier) != (cast_expression "(_func_void *)0x0" ( (type_descriptor "_func_void *" type_identifier (abstract_pointer_declarator "*" *)) ) number_literal)) )) (compound_statement "{\n      (*sqlite3Hooks.xBenignEnd)();\n    }" { (expression_statement "(*sqlite3Hooks.xBenignEnd)();" (call_expression "(*sqlite3Hooks.xBenignEnd)()" (parenthesized_expression "(*sqlite3Hooks.xBenignEnd)" ( (pointer_expression "*sqlite3Hooks.xBenignEnd" * (field_expression "sqlite3Hooks.xBenignEnd" identifier . field_identifier)) )) (argument_list "()" ( ))) ;) })) })) (return_statement "return 0;" return number_literal ;) })))
(translation_unit "undefined4 FUN_0006eec0(int param_1,undefined4 param_2,undefined4 param_3,int param_4)\n\n{\n  if (param_1 <= param_4) {\n    if (DAT_000df9fc != (code *)0x0) {\n      (*DAT_000df9fc)();\n    }\n    sqlite3_wal_checkpoint(param_2,param_3);\n    if (DAT_000dfa00 != (code *)0x0) {\n      (*DAT_000dfa00)();\n    }\n  }\n  return 0;\n}\n\n" (function_definition "undefined4 FUN_0006eec0(int param_1,undefined4 param_2,undefined4 param_3,int param_4)\n\n{\n  if (param_1 <= param_4) {\n    if (DAT_000df9fc != (code *)0x0) {\n      (*DAT_000df9fc)();\n    }\n    sqlite3_wal_checkpoint(param_2,param_3);\n    if (DAT_000dfa00 != (code *)0x0) {\n      (*DAT_000dfa00)();\n    }\n  }\n  return 0;\n}" type_identifier (function_declarator "FUN_0006eec0(int param_1,undefined4 param_2,undefined4 param_3,int param_4)" identifier (parameter_list "(int param_1,undefined4 param_2,undefined4 param_3,int param_4)" ( (parameter_declaration "int param_1" primitive_type identifier) , (parameter_declaration "undefined4 param_2" type_identifier identifier) , (parameter_declaration "undefined4 param_3" type_identifier identifier) , (parameter_declaration "int param_4" primitive_type identifier) ))) (compound_statement "{\n  if (param_1 <= param_4) {\n    if (DAT_000df9fc != (code *)0x0) {\n      (*DAT_000df9fc)();\n    }\n    sqlite3_wal_checkpoint(param_2,param_3);\n    if (DAT_000dfa00 != (code *)0x0) {\n      (*DAT_000dfa00)();\n    }\n  }\n  return 0;\n}" { (if_statement "if (param_1 <= param_4) {\n    if (DAT_000df9fc != (code *)0x0) {\n      (*DAT_000df9fc)();\n    }\n    sqlite3_wal_checkpoint(param_2,param_3);\n    if (DAT_000dfa00 != (code *)0x0) {\n      (*DAT_000dfa00)();\n    }\n  }" if (parenthesized_expression "(param_1 <= param_4)" ( (binary_expression "param_1 <= param_4" identifier <= identifier) )) (compound_statement "{\n    if (DAT_000df9fc != (code *)0x0) {\n      (*DAT_000df9fc)();\n    }\n    sqlite3_wal_checkpoint(param_2,param_3);\n    if (DAT_000dfa00 != (code *)0x0) {\n      (*DAT_000dfa00)();\n    }\n  }" { (if_statement "if (DAT_000df9fc != (code *)0x0) {\n      (*DAT_000df9fc)();\n    }" if (parenthesized_expression "(DAT_000df9fc != (code *)0x0)" ( (binary_expression "DAT_000df9fc != (code *)0x0" identifier != (cast_expression "(code *)0x0" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) number_literal)) )) (compound_statement "{\n      (*DAT_000df9fc)();\n    }" { (expression_statement "(*DAT_000df9fc)();" (call_expression "(*DAT_000df9fc)()" (parenthesized_expression "(*DAT_000df9fc)" ( (pointer_expression "*DAT_000df9fc" * identifier) )) (argument_list "()" ( ))) ;) })) (expression_statement "sqlite3_wal_checkpoint(param_2,param_3);" (call_expression "sqlite3_wal_checkpoint(param_2,param_3)" identifier (argument_list "(param_2,param_3)" ( identifier , identifier ))) ;) (if_statement "if (DAT_000dfa00 != (code *)0x0) {\n      (*DAT_000dfa00)();\n    }" if (parenthesized_expression "(DAT_000dfa00 != (code *)0x0)" ( (binary_expression "DAT_000dfa00 != (code *)0x0" identifier != (cast_expression "(code *)0x0" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) number_literal)) )) (compound_statement "{\n      (*DAT_000dfa00)();\n    }" { (expression_statement "(*DAT_000dfa00)();" (call_expression "(*DAT_000dfa00)()" (parenthesized_expression "(*DAT_000dfa00)" ( (pointer_expression "*DAT_000dfa00" * identifier) )) (argument_list "()" ( ))) ;) })) })) (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) , (parameter_declaration TYPE IDENT) , (parameter_declaration TYPE IDENT) ))) (compound_statement { (if_statement if (parenthesized_expression ( (binary_expression IDENT <= IDENT) )) (compound_statement { (if_statement if (parenthesized_expression ( (binary_expression IDENT != (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) LIT)) )) (compound_statement { (expression_statement (call_expression (parenthesized_expression ( (pointer_expression * IDENT) )) (argument_list ( ))) ;) })) (expression_statement (call_expression IDENT (argument_list ( IDENT , IDENT ))) ;) (if_statement if (parenthesized_expression ( (binary_expression IDENT != (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) LIT)) )) (compound_statement { (expression_statement (call_expression (parenthesized_expression ( (pointer_expression * IDENT) )) (argument_list ( ))) ;) })) })) (return_statement return LIT ;) })))
(function_definition "undefined4 FUN_0006eec0(int param_1,undefined4 param_2,undefined4 param_3,int param_4)\n\n{\n  if (param_1 <= param_4) {\n    if (DAT_000df9fc != (code *)0x0) {\n      (*DAT_000df9fc)();\n    }\n    sqlite3_wal_checkpoint(param_2,param_3);\n    if (DAT_000dfa00 != (code *)0x0) {\n      (*DAT_000dfa00)();\n    }\n  }\n  return 0;\n}" (type_identifier "undefined4") (function_declarator "FUN_0006eec0(int param_1,undefined4 param_2,undefined4 param_3,int param_4)" (identifier "FUN_0006eec0") (parameter_list "(int param_1,undefined4 param_2,undefined4 param_3,int param_4)" (( "(") (parameter_declaration "int param_1" (primitive_type "int") (identifier "param_1")) (, ",") (parameter_declaration "undefined4 param_2" (type_identifier "undefined4") (identifier "param_2")) (, ",") (parameter_declaration "undefined4 param_3" (type_identifier "undefined4") (identifier "param_3")) (, ",") (parameter_declaration "int param_4" (primitive_type "int") (identifier "param_4")) () ")"))) (compound_statement "{\n  if (param_1 <= param_4) {\n    if (DAT_000df9fc != (code *)0x0) {\n      (*DAT_000df9fc)();\n    }\n    sqlite3_wal_checkpoint(param_2,param_3);\n    if (DAT_000dfa00 != (code *)0x0) {\n      (*DAT_000dfa00)();\n    }\n  }\n  return 0;\n}" ({ "{") (if_statement "if (param_1 <= param_4) {\n    if (DAT_000df9fc != (code *)0x0) {\n      (*DAT_000df9fc)();\n    }\n    sqlite3_wal_checkpoint(param_2,param_3);\n    if (DAT_000dfa00 != (code *)0x0) {\n      (*DAT_000dfa00)();\n    }\n  }" (if "if") (parenthesized_expression "(param_1 <= param_4)" (( "(") (binary_expression "param_1 <= param_4" (identifier "param_1") (<= "<=") (identifier "param_4")) () ")")) (compound_statement "{\n    if (DAT_000df9fc != (code *)0x0) {\n      (*DAT_000df9fc)();\n    }\n    sqlite3_wal_checkpoint(param_2,param_3);\n    if (DAT_000dfa00 != (code *)0x0) {\n      (*DAT_000dfa00)();\n    }\n  }" ({ "{") (if_statement "if (DAT_000df9fc != (code *)0x0) {\n      (*DAT_000df9fc)();\n    }" (if "if") (parenthesized_expression "(DAT_000df9fc != (code *)0x0)" (( "(") (binary_expression "DAT_000df9fc != (code *)0x0" (identifier "DAT_000df9fc") (!= "!=") (cast_expression "(code *)0x0" (( "(") (type_descriptor "code *" (type_identifier "code") (abstract_pointer_declarator "*" (* "*"))) () ")") (number_literal "0x0"))) () ")")) (compound_statement "{\n      (*DAT_000df9fc)();\n    }" ({ "{") (expression_statement "(*DAT_000df9fc)();" (call_expression "(*DAT_000df9fc)()" (parenthesized_expression "(*DAT_000df9fc)" (( "(") (pointer_expression "*DAT_000df9fc" (* "*") (identifier "DAT_000df9fc")) () ")")) (argument_list "()" (( "(") () ")"))) (; ";")) (} "}"))) (expression_statement "sqlite3_wal_checkpoint(param_2,param_3);" (call_expression "sqlite3_wal_checkpoint(param_2,param_3)" (identifier "sqlite3_wal_checkpoint") (argument_list "(param_2,param_3)" (( "(") (identifier "param_2") (, ",") (identifier "param_3") () ")"))) (; ";")) (if_statement "if (DAT_000dfa00 != (code *)0x0) {\n      (*DAT_000dfa00)();\n    }" (if "if") (parenthesized_expression "(DAT_000dfa00 != (code *)0x0)" (( "(") (binary_expression "DAT_000dfa00 != (code *)0x0" (identifier "DAT_000dfa00") (!= "!=") (cast_expression "(code *)0x0" (( "(") (type_descriptor "code *" (type_identifier "code") (abstract_pointer_declarator "*" (* "*"))) () ")") (number_literal "0x0"))) () ")")) (compound_statement "{\n      (*DAT_000dfa00)();\n    }" ({ "{") (expression_statement "(*DAT_000dfa00)();" (call_expression "(*DAT_000dfa00)()" (parenthesized_expression "(*DAT_000dfa00)" (( "(") (pointer_expression "*DAT_000dfa00" (* "*") (identifier "DAT_000dfa00")) () ")")) (argument_list "()" (( "(") () ")"))) (; ";")) (} "}"))) (} "}"))) (return_statement "return 0;" (return "return") (number_literal "0") (; ";")) (} "}")))

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

int function_1(void *pClientData,type_1 *db,char *zDb,int var_1)

{
  if ((int)pClientData <= var_1) {
    if (sqlite3Hooks.xBenignBegin != (type_2 *)0x0) {
      (*sqlite3Hooks.xBenignBegin)();
    }
    var_2(db,zDb);
    if (sqlite3Hooks.xBenignEnd != (type_2 *)0x0) {
      (*sqlite3Hooks.xBenignEnd)();
    }
  }
  return 0;
}


(translation_unit (function_definition type: (type_identifier) declarator: (function_declarator declarator: (identifier) parameters: (parameter_list (parameter_declaration type: (primitive_type) declarator: (identifier)) (parameter_declaration type: (type_identifier) declarator: (identifier)) (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: (identifier))) consequence: (compound_statement (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 (call_expression function: (parenthesized_expression (pointer_expression argument: (identifier))) arguments: (argument_list))))) (expression_statement (call_expression function: (identifier) arguments: (argument_list (identifier) (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 (call_expression function: (parenthesized_expression (pointer_expression argument: (identifier))) arguments: (argument_list))))))) (return_statement (number_literal)))))

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

undefined4 MASKED(int param_1,undefined4 param_2,undefined4 param_3,int param_4)

{
  if (param_1 <= param_4) {
    if (DAT_000df9fc != (code *)0x0) {
      (*DAT_000df9fc)();
    }
    sqlite3_wal_checkpoint(param_2,param_3);
    if (DAT_000dfa00 != (code *)0x0) {
      (*DAT_000dfa00)();
    }
  }
  return 0;
}

