
void sqlite3_progress_handler(sqlite3 *db,int nOps,_func_int_void_ptr *xProgress,void *pArg)

{
  undefined *UNRECOVERED_JUMPTABLE_00;
  
  (*(code *)PTR_sqlite3_mutex_enter_000f5448)(db->mutex);
  UNRECOVERED_JUMPTABLE_00 = PTR_sqlite3_mutex_leave_000f5470;
  if (0 < nOps) {
    db->xProgress = xProgress;
    db->nProgressOps = nOps;
    db->pProgressArg = pArg;
                    /* WARNING: Could not recover jumptable at 0x00023ef0. Too many branches */
                    /* WARNING: Treating indirect jump as call */
    (*(code *)UNRECOVERED_JUMPTABLE_00)(db->mutex);
    return;
  }
  db->xProgress = (_func_int_void_ptr *)0x0;
  db->nProgressOps = 0;
  db->pProgressArg = (void *)0x0;
                    /* WARNING: Could not recover jumptable at 0x00023f20. Too many branches */
                    /* WARNING: Treating indirect jump as call */
  (*(code *)UNRECOVERED_JUMPTABLE_00)(db->mutex);
  return;
}



void sqlite3_progress_handler(int param_1,int param_2,undefined4 param_3,undefined4 param_4)

{
  undefined *UNRECOVERED_JUMPTABLE_00;
  
  (*(code *)PTR_sqlite3_mutex_enter_000f5448)(*(undefined4 *)(param_1 + 0xc));
  UNRECOVERED_JUMPTABLE_00 = PTR_sqlite3_mutex_leave_000f5470;
  if (0 < param_2) {
    *(undefined4 *)(param_1 + 0x158) = param_3;
    *(int *)(param_1 + 0x160) = param_2;
    *(undefined4 *)(param_1 + 0x15c) = param_4;
                    /* WARNING: Could not recover jumptable at 0x00023ef0. Too many branches */
                    /* WARNING: Treating indirect jump as call */
    (*(code *)UNRECOVERED_JUMPTABLE_00)(*(undefined4 *)(param_1 + 0xc));
    return;
  }
  *(undefined4 *)(param_1 + 0x158) = 0;
  *(undefined4 *)(param_1 + 0x160) = 0;
  *(undefined4 *)(param_1 + 0x15c) = 0;
                    /* WARNING: Could not recover jumptable at 0x00023f20. Too many branches */
                    /* WARNING: Treating indirect jump as call */
  (*(code *)UNRECOVERED_JUMPTABLE_00)(*(undefined4 *)(param_1 + 0xc));
  return;
}


lui gp,0xe
addiu gp,gp,-0x6bdc
addu gp,gp,t9
addiu sp,sp,-0x30
lw t9,-0x7e58(gp)
sw s0,0x1c(sp)
or s0,a0,zero
sw gp,0x10(sp)
sw s3,0x28(sp)
or s3,a2,zero
sw s2,0x24(sp)
or s2,a3,zero
sw s1,0x20(sp)
or s1,a1,zero
sw ra,0x2c(sp)
jalr t9
_lw a0,0xc(a0)
blez s1,0x00023ef8
_lw gp,0x10(sp)
lw a0,0xc(s0)
lw ra,0x2c(sp)
lw t9,-0x7e30(gp)
sw s3,0x158(s0)
sw s1,0x160(s0)
sw s2,0x15c(s0)
lw s3,0x28(sp)
lw s2,0x24(sp)
lw s1,0x20(sp)
lw s0,0x1c(sp)
jr t9
_addiu sp,sp,0x30
lw a0,0xc(s0)
lw ra,0x2c(sp)
lw s3,0x28(sp)
lw s2,0x24(sp)
lw s1,0x20(sp)
lw t9,-0x7e30(gp)
sw zero,0x158(s0)
sw zero,0x160(s0)
sw zero,0x15c(s0)
lw s0,0x1c(sp)
jr t9
_addiu sp,sp,0x30
(translation_unit "void sqlite3_progress_handler(int param_1,int param_2,undefined4 param_3,undefined4 param_4)\n\n{\n  undefined *UNRECOVERED_JUMPTABLE_00;\n  \n  (*(code *)PTR_sqlite3_mutex_enter_000f5448)(*(undefined4 *)(param_1 + 0xc));\n  UNRECOVERED_JUMPTABLE_00 = PTR_sqlite3_mutex_leave_000f5470;\n  if (0 < param_2) {\n    *(undefined4 *)(param_1 + 0x158) = param_3;\n    *(int *)(param_1 + 0x160) = param_2;\n    *(undefined4 *)(param_1 + 0x15c) = param_4;\n                    /* WARNING: Could not recover jumptable at 0x00023ef0. Too many branches */\n                    /* WARNING: Treating indirect jump as call */\n    (*(code *)UNRECOVERED_JUMPTABLE_00)(*(undefined4 *)(param_1 + 0xc));\n    return;\n  }\n  *(undefined4 *)(param_1 + 0x158) = 0;\n  *(undefined4 *)(param_1 + 0x160) = 0;\n  *(undefined4 *)(param_1 + 0x15c) = 0;\n                    /* WARNING: Could not recover jumptable at 0x00023f20. Too many branches */\n                    /* WARNING: Treating indirect jump as call */\n  (*(code *)UNRECOVERED_JUMPTABLE_00)(*(undefined4 *)(param_1 + 0xc));\n  return;\n}\n\n" (function_definition "void sqlite3_progress_handler(int param_1,int param_2,undefined4 param_3,undefined4 param_4)\n\n{\n  undefined *UNRECOVERED_JUMPTABLE_00;\n  \n  (*(code *)PTR_sqlite3_mutex_enter_000f5448)(*(undefined4 *)(param_1 + 0xc));\n  UNRECOVERED_JUMPTABLE_00 = PTR_sqlite3_mutex_leave_000f5470;\n  if (0 < param_2) {\n    *(undefined4 *)(param_1 + 0x158) = param_3;\n    *(int *)(param_1 + 0x160) = param_2;\n    *(undefined4 *)(param_1 + 0x15c) = param_4;\n                    /* WARNING: Could not recover jumptable at 0x00023ef0. Too many branches */\n                    /* WARNING: Treating indirect jump as call */\n    (*(code *)UNRECOVERED_JUMPTABLE_00)(*(undefined4 *)(param_1 + 0xc));\n    return;\n  }\n  *(undefined4 *)(param_1 + 0x158) = 0;\n  *(undefined4 *)(param_1 + 0x160) = 0;\n  *(undefined4 *)(param_1 + 0x15c) = 0;\n                    /* WARNING: Could not recover jumptable at 0x00023f20. Too many branches */\n                    /* WARNING: Treating indirect jump as call */\n  (*(code *)UNRECOVERED_JUMPTABLE_00)(*(undefined4 *)(param_1 + 0xc));\n  return;\n}" primitive_type (function_declarator "sqlite3_progress_handler(int param_1,int param_2,undefined4 param_3,undefined4 param_4)" identifier (parameter_list "(int param_1,int param_2,undefined4 param_3,undefined4 param_4)" ( (parameter_declaration "int param_1" primitive_type identifier) , (parameter_declaration "int param_2" primitive_type identifier) , (parameter_declaration "undefined4 param_3" type_identifier identifier) , (parameter_declaration "undefined4 param_4" type_identifier identifier) ))) (compound_statement "{\n  undefined *UNRECOVERED_JUMPTABLE_00;\n  \n  (*(code *)PTR_sqlite3_mutex_enter_000f5448)(*(undefined4 *)(param_1 + 0xc));\n  UNRECOVERED_JUMPTABLE_00 = PTR_sqlite3_mutex_leave_000f5470;\n  if (0 < param_2) {\n    *(undefined4 *)(param_1 + 0x158) = param_3;\n    *(int *)(param_1 + 0x160) = param_2;\n    *(undefined4 *)(param_1 + 0x15c) = param_4;\n                    /* WARNING: Could not recover jumptable at 0x00023ef0. Too many branches */\n                    /* WARNING: Treating indirect jump as call */\n    (*(code *)UNRECOVERED_JUMPTABLE_00)(*(undefined4 *)(param_1 + 0xc));\n    return;\n  }\n  *(undefined4 *)(param_1 + 0x158) = 0;\n  *(undefined4 *)(param_1 + 0x160) = 0;\n  *(undefined4 *)(param_1 + 0x15c) = 0;\n                    /* WARNING: Could not recover jumptable at 0x00023f20. Too many branches */\n                    /* WARNING: Treating indirect jump as call */\n  (*(code *)UNRECOVERED_JUMPTABLE_00)(*(undefined4 *)(param_1 + 0xc));\n  return;\n}" { (declaration "undefined *UNRECOVERED_JUMPTABLE_00;" type_identifier (pointer_declarator "*UNRECOVERED_JUMPTABLE_00" * identifier) ;) (expression_statement "(*(code *)PTR_sqlite3_mutex_enter_000f5448)(*(undefined4 *)(param_1 + 0xc));" (call_expression "(*(code *)PTR_sqlite3_mutex_enter_000f5448)(*(undefined4 *)(param_1 + 0xc))" (parenthesized_expression "(*(code *)PTR_sqlite3_mutex_enter_000f5448)" ( (pointer_expression "*(code *)PTR_sqlite3_mutex_enter_000f5448" * (cast_expression "(code *)PTR_sqlite3_mutex_enter_000f5448" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) )) (argument_list "(*(undefined4 *)(param_1 + 0xc))" ( (pointer_expression "*(undefined4 *)(param_1 + 0xc)" * (cast_expression "(undefined4 *)(param_1 + 0xc)" ( (type_descriptor "undefined4 *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_1 + 0xc)" ( (binary_expression "param_1 + 0xc" identifier + number_literal) )))) ))) ;) (expression_statement "UNRECOVERED_JUMPTABLE_00 = PTR_sqlite3_mutex_leave_000f5470;" (assignment_expression "UNRECOVERED_JUMPTABLE_00 = PTR_sqlite3_mutex_leave_000f5470" identifier = identifier) ;) (if_statement "if (0 < param_2) {\n    *(undefined4 *)(param_1 + 0x158) = param_3;\n    *(int *)(param_1 + 0x160) = param_2;\n    *(undefined4 *)(param_1 + 0x15c) = param_4;\n                    /* WARNING: Could not recover jumptable at 0x00023ef0. Too many branches */\n                    /* WARNING: Treating indirect jump as call */\n    (*(code *)UNRECOVERED_JUMPTABLE_00)(*(undefined4 *)(param_1 + 0xc));\n    return;\n  }" if (parenthesized_expression "(0 < param_2)" ( (binary_expression "0 < param_2" number_literal < identifier) )) (compound_statement "{\n    *(undefined4 *)(param_1 + 0x158) = param_3;\n    *(int *)(param_1 + 0x160) = param_2;\n    *(undefined4 *)(param_1 + 0x15c) = param_4;\n                    /* WARNING: Could not recover jumptable at 0x00023ef0. Too many branches */\n                    /* WARNING: Treating indirect jump as call */\n    (*(code *)UNRECOVERED_JUMPTABLE_00)(*(undefined4 *)(param_1 + 0xc));\n    return;\n  }" { (expression_statement "*(undefined4 *)(param_1 + 0x158) = param_3;" (assignment_expression "*(undefined4 *)(param_1 + 0x158) = param_3" (pointer_expression "*(undefined4 *)(param_1 + 0x158)" * (cast_expression "(undefined4 *)(param_1 + 0x158)" ( (type_descriptor "undefined4 *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_1 + 0x158)" ( (binary_expression "param_1 + 0x158" identifier + number_literal) )))) = identifier) ;) (expression_statement "*(int *)(param_1 + 0x160) = param_2;" (assignment_expression "*(int *)(param_1 + 0x160) = param_2" (pointer_expression "*(int *)(param_1 + 0x160)" * (cast_expression "(int *)(param_1 + 0x160)" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_1 + 0x160)" ( (binary_expression "param_1 + 0x160" identifier + number_literal) )))) = identifier) ;) (expression_statement "*(undefined4 *)(param_1 + 0x15c) = param_4;" (assignment_expression "*(undefined4 *)(param_1 + 0x15c) = param_4" (pointer_expression "*(undefined4 *)(param_1 + 0x15c)" * (cast_expression "(undefined4 *)(param_1 + 0x15c)" ( (type_descriptor "undefined4 *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_1 + 0x15c)" ( (binary_expression "param_1 + 0x15c" identifier + number_literal) )))) = identifier) ;) comment comment (expression_statement "(*(code *)UNRECOVERED_JUMPTABLE_00)(*(undefined4 *)(param_1 + 0xc));" (call_expression "(*(code *)UNRECOVERED_JUMPTABLE_00)(*(undefined4 *)(param_1 + 0xc))" (parenthesized_expression "(*(code *)UNRECOVERED_JUMPTABLE_00)" ( (pointer_expression "*(code *)UNRECOVERED_JUMPTABLE_00" * (cast_expression "(code *)UNRECOVERED_JUMPTABLE_00" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) )) (argument_list "(*(undefined4 *)(param_1 + 0xc))" ( (pointer_expression "*(undefined4 *)(param_1 + 0xc)" * (cast_expression "(undefined4 *)(param_1 + 0xc)" ( (type_descriptor "undefined4 *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_1 + 0xc)" ( (binary_expression "param_1 + 0xc" identifier + number_literal) )))) ))) ;) (return_statement "return;" return ;) })) (expression_statement "*(undefined4 *)(param_1 + 0x158) = 0;" (assignment_expression "*(undefined4 *)(param_1 + 0x158) = 0" (pointer_expression "*(undefined4 *)(param_1 + 0x158)" * (cast_expression "(undefined4 *)(param_1 + 0x158)" ( (type_descriptor "undefined4 *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_1 + 0x158)" ( (binary_expression "param_1 + 0x158" identifier + number_literal) )))) = number_literal) ;) (expression_statement "*(undefined4 *)(param_1 + 0x160) = 0;" (assignment_expression "*(undefined4 *)(param_1 + 0x160) = 0" (pointer_expression "*(undefined4 *)(param_1 + 0x160)" * (cast_expression "(undefined4 *)(param_1 + 0x160)" ( (type_descriptor "undefined4 *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_1 + 0x160)" ( (binary_expression "param_1 + 0x160" identifier + number_literal) )))) = number_literal) ;) (expression_statement "*(undefined4 *)(param_1 + 0x15c) = 0;" (assignment_expression "*(undefined4 *)(param_1 + 0x15c) = 0" (pointer_expression "*(undefined4 *)(param_1 + 0x15c)" * (cast_expression "(undefined4 *)(param_1 + 0x15c)" ( (type_descriptor "undefined4 *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_1 + 0x15c)" ( (binary_expression "param_1 + 0x15c" identifier + number_literal) )))) = number_literal) ;) comment comment (expression_statement "(*(code *)UNRECOVERED_JUMPTABLE_00)(*(undefined4 *)(param_1 + 0xc));" (call_expression "(*(code *)UNRECOVERED_JUMPTABLE_00)(*(undefined4 *)(param_1 + 0xc))" (parenthesized_expression "(*(code *)UNRECOVERED_JUMPTABLE_00)" ( (pointer_expression "*(code *)UNRECOVERED_JUMPTABLE_00" * (cast_expression "(code *)UNRECOVERED_JUMPTABLE_00" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) )) (argument_list "(*(undefined4 *)(param_1 + 0xc))" ( (pointer_expression "*(undefined4 *)(param_1 + 0xc)" * (cast_expression "(undefined4 *)(param_1 + 0xc)" ( (type_descriptor "undefined4 *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_1 + 0xc)" ( (binary_expression "param_1 + 0xc" identifier + number_literal) )))) ))) ;) (return_statement "return;" return ;) })))
(translation_unit "void sqlite3_progress_handler(sqlite3 *db,int nOps,_func_int_void_ptr *xProgress,void *pArg)\n\n{\n  undefined *UNRECOVERED_JUMPTABLE_00;\n  \n  (*(code *)PTR_sqlite3_mutex_enter_000f5448)(db->mutex);\n  UNRECOVERED_JUMPTABLE_00 = PTR_sqlite3_mutex_leave_000f5470;\n  if (0 < nOps) {\n    db->xProgress = xProgress;\n    db->nProgressOps = nOps;\n    db->pProgressArg = pArg;\n                    /* WARNING: Could not recover jumptable at 0x00023ef0. Too many branches */\n                    /* WARNING: Treating indirect jump as call */\n    (*(code *)UNRECOVERED_JUMPTABLE_00)(db->mutex);\n    return;\n  }\n  db->xProgress = (_func_int_void_ptr *)0x0;\n  db->nProgressOps = 0;\n  db->pProgressArg = (void *)0x0;\n                    /* WARNING: Could not recover jumptable at 0x00023f20. Too many branches */\n                    /* WARNING: Treating indirect jump as call */\n  (*(code *)UNRECOVERED_JUMPTABLE_00)(db->mutex);\n  return;\n}\n\n" (function_definition "void sqlite3_progress_handler(sqlite3 *db,int nOps,_func_int_void_ptr *xProgress,void *pArg)\n\n{\n  undefined *UNRECOVERED_JUMPTABLE_00;\n  \n  (*(code *)PTR_sqlite3_mutex_enter_000f5448)(db->mutex);\n  UNRECOVERED_JUMPTABLE_00 = PTR_sqlite3_mutex_leave_000f5470;\n  if (0 < nOps) {\n    db->xProgress = xProgress;\n    db->nProgressOps = nOps;\n    db->pProgressArg = pArg;\n                    /* WARNING: Could not recover jumptable at 0x00023ef0. Too many branches */\n                    /* WARNING: Treating indirect jump as call */\n    (*(code *)UNRECOVERED_JUMPTABLE_00)(db->mutex);\n    return;\n  }\n  db->xProgress = (_func_int_void_ptr *)0x0;\n  db->nProgressOps = 0;\n  db->pProgressArg = (void *)0x0;\n                    /* WARNING: Could not recover jumptable at 0x00023f20. Too many branches */\n                    /* WARNING: Treating indirect jump as call */\n  (*(code *)UNRECOVERED_JUMPTABLE_00)(db->mutex);\n  return;\n}" primitive_type (function_declarator "sqlite3_progress_handler(sqlite3 *db,int nOps,_func_int_void_ptr *xProgress,void *pArg)" identifier (parameter_list "(sqlite3 *db,int nOps,_func_int_void_ptr *xProgress,void *pArg)" ( (parameter_declaration "sqlite3 *db" type_identifier (pointer_declarator "*db" * identifier)) , (parameter_declaration "int nOps" primitive_type identifier) , (parameter_declaration "_func_int_void_ptr *xProgress" type_identifier (pointer_declarator "*xProgress" * identifier)) , (parameter_declaration "void *pArg" primitive_type (pointer_declarator "*pArg" * identifier)) ))) (compound_statement "{\n  undefined *UNRECOVERED_JUMPTABLE_00;\n  \n  (*(code *)PTR_sqlite3_mutex_enter_000f5448)(db->mutex);\n  UNRECOVERED_JUMPTABLE_00 = PTR_sqlite3_mutex_leave_000f5470;\n  if (0 < nOps) {\n    db->xProgress = xProgress;\n    db->nProgressOps = nOps;\n    db->pProgressArg = pArg;\n                    /* WARNING: Could not recover jumptable at 0x00023ef0. Too many branches */\n                    /* WARNING: Treating indirect jump as call */\n    (*(code *)UNRECOVERED_JUMPTABLE_00)(db->mutex);\n    return;\n  }\n  db->xProgress = (_func_int_void_ptr *)0x0;\n  db->nProgressOps = 0;\n  db->pProgressArg = (void *)0x0;\n                    /* WARNING: Could not recover jumptable at 0x00023f20. Too many branches */\n                    /* WARNING: Treating indirect jump as call */\n  (*(code *)UNRECOVERED_JUMPTABLE_00)(db->mutex);\n  return;\n}" { (declaration "undefined *UNRECOVERED_JUMPTABLE_00;" type_identifier (pointer_declarator "*UNRECOVERED_JUMPTABLE_00" * identifier) ;) (expression_statement "(*(code *)PTR_sqlite3_mutex_enter_000f5448)(db->mutex);" (call_expression "(*(code *)PTR_sqlite3_mutex_enter_000f5448)(db->mutex)" (parenthesized_expression "(*(code *)PTR_sqlite3_mutex_enter_000f5448)" ( (pointer_expression "*(code *)PTR_sqlite3_mutex_enter_000f5448" * (cast_expression "(code *)PTR_sqlite3_mutex_enter_000f5448" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) )) (argument_list "(db->mutex)" ( (field_expression "db->mutex" identifier -> field_identifier) ))) ;) (expression_statement "UNRECOVERED_JUMPTABLE_00 = PTR_sqlite3_mutex_leave_000f5470;" (assignment_expression "UNRECOVERED_JUMPTABLE_00 = PTR_sqlite3_mutex_leave_000f5470" identifier = identifier) ;) (if_statement "if (0 < nOps) {\n    db->xProgress = xProgress;\n    db->nProgressOps = nOps;\n    db->pProgressArg = pArg;\n                    /* WARNING: Could not recover jumptable at 0x00023ef0. Too many branches */\n                    /* WARNING: Treating indirect jump as call */\n    (*(code *)UNRECOVERED_JUMPTABLE_00)(db->mutex);\n    return;\n  }" if (parenthesized_expression "(0 < nOps)" ( (binary_expression "0 < nOps" number_literal < identifier) )) (compound_statement "{\n    db->xProgress = xProgress;\n    db->nProgressOps = nOps;\n    db->pProgressArg = pArg;\n                    /* WARNING: Could not recover jumptable at 0x00023ef0. Too many branches */\n                    /* WARNING: Treating indirect jump as call */\n    (*(code *)UNRECOVERED_JUMPTABLE_00)(db->mutex);\n    return;\n  }" { (expression_statement "db->xProgress = xProgress;" (assignment_expression "db->xProgress = xProgress" (field_expression "db->xProgress" identifier -> field_identifier) = identifier) ;) (expression_statement "db->nProgressOps = nOps;" (assignment_expression "db->nProgressOps = nOps" (field_expression "db->nProgressOps" identifier -> field_identifier) = identifier) ;) (expression_statement "db->pProgressArg = pArg;" (assignment_expression "db->pProgressArg = pArg" (field_expression "db->pProgressArg" identifier -> field_identifier) = identifier) ;) comment comment (expression_statement "(*(code *)UNRECOVERED_JUMPTABLE_00)(db->mutex);" (call_expression "(*(code *)UNRECOVERED_JUMPTABLE_00)(db->mutex)" (parenthesized_expression "(*(code *)UNRECOVERED_JUMPTABLE_00)" ( (pointer_expression "*(code *)UNRECOVERED_JUMPTABLE_00" * (cast_expression "(code *)UNRECOVERED_JUMPTABLE_00" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) )) (argument_list "(db->mutex)" ( (field_expression "db->mutex" identifier -> field_identifier) ))) ;) (return_statement "return;" return ;) })) (expression_statement "db->xProgress = (_func_int_void_ptr *)0x0;" (assignment_expression "db->xProgress = (_func_int_void_ptr *)0x0" (field_expression "db->xProgress" identifier -> field_identifier) = (cast_expression "(_func_int_void_ptr *)0x0" ( (type_descriptor "_func_int_void_ptr *" type_identifier (abstract_pointer_declarator "*" *)) ) number_literal)) ;) (expression_statement "db->nProgressOps = 0;" (assignment_expression "db->nProgressOps = 0" (field_expression "db->nProgressOps" identifier -> field_identifier) = number_literal) ;) (expression_statement "db->pProgressArg = (void *)0x0;" (assignment_expression "db->pProgressArg = (void *)0x0" (field_expression "db->pProgressArg" identifier -> field_identifier) = (cast_expression "(void *)0x0" ( (type_descriptor "void *" primitive_type (abstract_pointer_declarator "*" *)) ) number_literal)) ;) comment comment (expression_statement "(*(code *)UNRECOVERED_JUMPTABLE_00)(db->mutex);" (call_expression "(*(code *)UNRECOVERED_JUMPTABLE_00)(db->mutex)" (parenthesized_expression "(*(code *)UNRECOVERED_JUMPTABLE_00)" ( (pointer_expression "*(code *)UNRECOVERED_JUMPTABLE_00" * (cast_expression "(code *)UNRECOVERED_JUMPTABLE_00" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) )) (argument_list "(db->mutex)" ( (field_expression "db->mutex" identifier -> field_identifier) ))) ;) (return_statement "return;" return ;) })))
(translation_unit "void sqlite3_progress_handler(int param_1,int param_2,undefined4 param_3,undefined4 param_4)\n\n{\n  undefined *UNRECOVERED_JUMPTABLE_00;\n  \n  (*(code *)PTR_sqlite3_mutex_enter_000f5448)(*(undefined4 *)(param_1 + 0xc));\n  UNRECOVERED_JUMPTABLE_00 = PTR_sqlite3_mutex_leave_000f5470;\n  if (0 < param_2) {\n    *(undefined4 *)(param_1 + 0x158) = param_3;\n    *(int *)(param_1 + 0x160) = param_2;\n    *(undefined4 *)(param_1 + 0x15c) = param_4;\n                    \n                    \n    (*(code *)UNRECOVERED_JUMPTABLE_00)(*(undefined4 *)(param_1 + 0xc));\n    return;\n  }\n  *(undefined4 *)(param_1 + 0x158) = 0;\n  *(undefined4 *)(param_1 + 0x160) = 0;\n  *(undefined4 *)(param_1 + 0x15c) = 0;\n                    \n                    \n  (*(code *)UNRECOVERED_JUMPTABLE_00)(*(undefined4 *)(param_1 + 0xc));\n  return;\n}\n\n" (function_definition "void sqlite3_progress_handler(int param_1,int param_2,undefined4 param_3,undefined4 param_4)\n\n{\n  undefined *UNRECOVERED_JUMPTABLE_00;\n  \n  (*(code *)PTR_sqlite3_mutex_enter_000f5448)(*(undefined4 *)(param_1 + 0xc));\n  UNRECOVERED_JUMPTABLE_00 = PTR_sqlite3_mutex_leave_000f5470;\n  if (0 < param_2) {\n    *(undefined4 *)(param_1 + 0x158) = param_3;\n    *(int *)(param_1 + 0x160) = param_2;\n    *(undefined4 *)(param_1 + 0x15c) = param_4;\n                    \n                    \n    (*(code *)UNRECOVERED_JUMPTABLE_00)(*(undefined4 *)(param_1 + 0xc));\n    return;\n  }\n  *(undefined4 *)(param_1 + 0x158) = 0;\n  *(undefined4 *)(param_1 + 0x160) = 0;\n  *(undefined4 *)(param_1 + 0x15c) = 0;\n                    \n                    \n  (*(code *)UNRECOVERED_JUMPTABLE_00)(*(undefined4 *)(param_1 + 0xc));\n  return;\n}" primitive_type (function_declarator "sqlite3_progress_handler(int param_1,int param_2,undefined4 param_3,undefined4 param_4)" identifier (parameter_list "(int param_1,int param_2,undefined4 param_3,undefined4 param_4)" ( (parameter_declaration "int param_1" primitive_type identifier) , (parameter_declaration "int param_2" primitive_type identifier) , (parameter_declaration "undefined4 param_3" type_identifier identifier) , (parameter_declaration "undefined4 param_4" type_identifier identifier) ))) (compound_statement "{\n  undefined *UNRECOVERED_JUMPTABLE_00;\n  \n  (*(code *)PTR_sqlite3_mutex_enter_000f5448)(*(undefined4 *)(param_1 + 0xc));\n  UNRECOVERED_JUMPTABLE_00 = PTR_sqlite3_mutex_leave_000f5470;\n  if (0 < param_2) {\n    *(undefined4 *)(param_1 + 0x158) = param_3;\n    *(int *)(param_1 + 0x160) = param_2;\n    *(undefined4 *)(param_1 + 0x15c) = param_4;\n                    \n                    \n    (*(code *)UNRECOVERED_JUMPTABLE_00)(*(undefined4 *)(param_1 + 0xc));\n    return;\n  }\n  *(undefined4 *)(param_1 + 0x158) = 0;\n  *(undefined4 *)(param_1 + 0x160) = 0;\n  *(undefined4 *)(param_1 + 0x15c) = 0;\n                    \n                    \n  (*(code *)UNRECOVERED_JUMPTABLE_00)(*(undefined4 *)(param_1 + 0xc));\n  return;\n}" { (declaration "undefined *UNRECOVERED_JUMPTABLE_00;" type_identifier (pointer_declarator "*UNRECOVERED_JUMPTABLE_00" * identifier) ;) (expression_statement "(*(code *)PTR_sqlite3_mutex_enter_000f5448)(*(undefined4 *)(param_1 + 0xc));" (call_expression "(*(code *)PTR_sqlite3_mutex_enter_000f5448)(*(undefined4 *)(param_1 + 0xc))" (parenthesized_expression "(*(code *)PTR_sqlite3_mutex_enter_000f5448)" ( (pointer_expression "*(code *)PTR_sqlite3_mutex_enter_000f5448" * (cast_expression "(code *)PTR_sqlite3_mutex_enter_000f5448" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) )) (argument_list "(*(undefined4 *)(param_1 + 0xc))" ( (pointer_expression "*(undefined4 *)(param_1 + 0xc)" * (cast_expression "(undefined4 *)(param_1 + 0xc)" ( (type_descriptor "undefined4 *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_1 + 0xc)" ( (binary_expression "param_1 + 0xc" identifier + number_literal) )))) ))) ;) (expression_statement "UNRECOVERED_JUMPTABLE_00 = PTR_sqlite3_mutex_leave_000f5470;" (assignment_expression "UNRECOVERED_JUMPTABLE_00 = PTR_sqlite3_mutex_leave_000f5470" identifier = identifier) ;) (if_statement "if (0 < param_2) {\n    *(undefined4 *)(param_1 + 0x158) = param_3;\n    *(int *)(param_1 + 0x160) = param_2;\n    *(undefined4 *)(param_1 + 0x15c) = param_4;\n                    \n                    \n    (*(code *)UNRECOVERED_JUMPTABLE_00)(*(undefined4 *)(param_1 + 0xc));\n    return;\n  }" if (parenthesized_expression "(0 < param_2)" ( (binary_expression "0 < param_2" number_literal < identifier) )) (compound_statement "{\n    *(undefined4 *)(param_1 + 0x158) = param_3;\n    *(int *)(param_1 + 0x160) = param_2;\n    *(undefined4 *)(param_1 + 0x15c) = param_4;\n                    \n                    \n    (*(code *)UNRECOVERED_JUMPTABLE_00)(*(undefined4 *)(param_1 + 0xc));\n    return;\n  }" { (expression_statement "*(undefined4 *)(param_1 + 0x158) = param_3;" (assignment_expression "*(undefined4 *)(param_1 + 0x158) = param_3" (pointer_expression "*(undefined4 *)(param_1 + 0x158)" * (cast_expression "(undefined4 *)(param_1 + 0x158)" ( (type_descriptor "undefined4 *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_1 + 0x158)" ( (binary_expression "param_1 + 0x158" identifier + number_literal) )))) = identifier) ;) (expression_statement "*(int *)(param_1 + 0x160) = param_2;" (assignment_expression "*(int *)(param_1 + 0x160) = param_2" (pointer_expression "*(int *)(param_1 + 0x160)" * (cast_expression "(int *)(param_1 + 0x160)" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_1 + 0x160)" ( (binary_expression "param_1 + 0x160" identifier + number_literal) )))) = identifier) ;) (expression_statement "*(undefined4 *)(param_1 + 0x15c) = param_4;" (assignment_expression "*(undefined4 *)(param_1 + 0x15c) = param_4" (pointer_expression "*(undefined4 *)(param_1 + 0x15c)" * (cast_expression "(undefined4 *)(param_1 + 0x15c)" ( (type_descriptor "undefined4 *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_1 + 0x15c)" ( (binary_expression "param_1 + 0x15c" identifier + number_literal) )))) = identifier) ;) (expression_statement "(*(code *)UNRECOVERED_JUMPTABLE_00)(*(undefined4 *)(param_1 + 0xc));" (call_expression "(*(code *)UNRECOVERED_JUMPTABLE_00)(*(undefined4 *)(param_1 + 0xc))" (parenthesized_expression "(*(code *)UNRECOVERED_JUMPTABLE_00)" ( (pointer_expression "*(code *)UNRECOVERED_JUMPTABLE_00" * (cast_expression "(code *)UNRECOVERED_JUMPTABLE_00" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) )) (argument_list "(*(undefined4 *)(param_1 + 0xc))" ( (pointer_expression "*(undefined4 *)(param_1 + 0xc)" * (cast_expression "(undefined4 *)(param_1 + 0xc)" ( (type_descriptor "undefined4 *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_1 + 0xc)" ( (binary_expression "param_1 + 0xc" identifier + number_literal) )))) ))) ;) (return_statement "return;" return ;) })) (expression_statement "*(undefined4 *)(param_1 + 0x158) = 0;" (assignment_expression "*(undefined4 *)(param_1 + 0x158) = 0" (pointer_expression "*(undefined4 *)(param_1 + 0x158)" * (cast_expression "(undefined4 *)(param_1 + 0x158)" ( (type_descriptor "undefined4 *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_1 + 0x158)" ( (binary_expression "param_1 + 0x158" identifier + number_literal) )))) = number_literal) ;) (expression_statement "*(undefined4 *)(param_1 + 0x160) = 0;" (assignment_expression "*(undefined4 *)(param_1 + 0x160) = 0" (pointer_expression "*(undefined4 *)(param_1 + 0x160)" * (cast_expression "(undefined4 *)(param_1 + 0x160)" ( (type_descriptor "undefined4 *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_1 + 0x160)" ( (binary_expression "param_1 + 0x160" identifier + number_literal) )))) = number_literal) ;) (expression_statement "*(undefined4 *)(param_1 + 0x15c) = 0;" (assignment_expression "*(undefined4 *)(param_1 + 0x15c) = 0" (pointer_expression "*(undefined4 *)(param_1 + 0x15c)" * (cast_expression "(undefined4 *)(param_1 + 0x15c)" ( (type_descriptor "undefined4 *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_1 + 0x15c)" ( (binary_expression "param_1 + 0x15c" identifier + number_literal) )))) = number_literal) ;) (expression_statement "(*(code *)UNRECOVERED_JUMPTABLE_00)(*(undefined4 *)(param_1 + 0xc));" (call_expression "(*(code *)UNRECOVERED_JUMPTABLE_00)(*(undefined4 *)(param_1 + 0xc))" (parenthesized_expression "(*(code *)UNRECOVERED_JUMPTABLE_00)" ( (pointer_expression "*(code *)UNRECOVERED_JUMPTABLE_00" * (cast_expression "(code *)UNRECOVERED_JUMPTABLE_00" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) )) (argument_list "(*(undefined4 *)(param_1 + 0xc))" ( (pointer_expression "*(undefined4 *)(param_1 + 0xc)" * (cast_expression "(undefined4 *)(param_1 + 0xc)" ( (type_descriptor "undefined4 *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_1 + 0xc)" ( (binary_expression "param_1 + 0xc" identifier + number_literal) )))) ))) ;) (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 IDENT) , (parameter_declaration TYPE IDENT) ))) (compound_statement { (declaration TYPE (pointer_declarator * IDENT) ;) (expression_statement (call_expression (parenthesized_expression ( (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) IDENT)) )) (argument_list ( (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression IDENT + LIT) )))) ))) ;) (expression_statement (assignment_expression IDENT = IDENT) ;) (if_statement if (parenthesized_expression ( (binary_expression LIT < IDENT) )) (compound_statement { (expression_statement (assignment_expression (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression IDENT + LIT) )))) = IDENT) ;) (expression_statement (assignment_expression (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression IDENT + LIT) )))) = IDENT) ;) (expression_statement (assignment_expression (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression IDENT + LIT) )))) = IDENT) ;) (expression_statement (call_expression (parenthesized_expression ( (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) IDENT)) )) (argument_list ( (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression IDENT + LIT) )))) ))) ;) (return_statement return ;) })) (expression_statement (assignment_expression (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression IDENT + LIT) )))) = LIT) ;) (expression_statement (assignment_expression (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression IDENT + LIT) )))) = LIT) ;) (expression_statement (assignment_expression (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression IDENT + LIT) )))) = LIT) ;) (expression_statement (call_expression (parenthesized_expression ( (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) IDENT)) )) (argument_list ( (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression IDENT + LIT) )))) ))) ;) (return_statement return ;) })))
(function_definition "void sqlite3_progress_handler(int param_1,int param_2,undefined4 param_3,undefined4 param_4)\n\n{\n  undefined *UNRECOVERED_JUMPTABLE_00;\n  \n  (*(code *)PTR_sqlite3_mutex_enter_000f5448)(*(undefined4 *)(param_1 + 0xc));\n  UNRECOVERED_JUMPTABLE_00 = PTR_sqlite3_mutex_leave_000f5470;\n  if (0 < param_2) {\n    *(undefined4 *)(param_1 + 0x158) = param_3;\n    *(int *)(param_1 + 0x160) = param_2;\n    *(undefined4 *)(param_1 + 0x15c) = param_4;\n                    \n                    \n    (*(code *)UNRECOVERED_JUMPTABLE_00)(*(undefined4 *)(param_1 + 0xc));\n    return;\n  }\n  *(undefined4 *)(param_1 + 0x158) = 0;\n  *(undefined4 *)(param_1 + 0x160) = 0;\n  *(undefined4 *)(param_1 + 0x15c) = 0;\n                    \n                    \n  (*(code *)UNRECOVERED_JUMPTABLE_00)(*(undefined4 *)(param_1 + 0xc));\n  return;\n}" (primitive_type "void") (function_declarator "sqlite3_progress_handler(int param_1,int param_2,undefined4 param_3,undefined4 param_4)" (identifier "sqlite3_progress_handler") (parameter_list "(int param_1,int param_2,undefined4 param_3,undefined4 param_4)" (( "(") (parameter_declaration "int param_1" (primitive_type "int") (identifier "param_1")) (, ",") (parameter_declaration "int param_2" (primitive_type "int") (identifier "param_2")) (, ",") (parameter_declaration "undefined4 param_3" (type_identifier "undefined4") (identifier "param_3")) (, ",") (parameter_declaration "undefined4 param_4" (type_identifier "undefined4") (identifier "param_4")) () ")"))) (compound_statement "{\n  undefined *UNRECOVERED_JUMPTABLE_00;\n  \n  (*(code *)PTR_sqlite3_mutex_enter_000f5448)(*(undefined4 *)(param_1 + 0xc));\n  UNRECOVERED_JUMPTABLE_00 = PTR_sqlite3_mutex_leave_000f5470;\n  if (0 < param_2) {\n    *(undefined4 *)(param_1 + 0x158) = param_3;\n    *(int *)(param_1 + 0x160) = param_2;\n    *(undefined4 *)(param_1 + 0x15c) = param_4;\n                    \n                    \n    (*(code *)UNRECOVERED_JUMPTABLE_00)(*(undefined4 *)(param_1 + 0xc));\n    return;\n  }\n  *(undefined4 *)(param_1 + 0x158) = 0;\n  *(undefined4 *)(param_1 + 0x160) = 0;\n  *(undefined4 *)(param_1 + 0x15c) = 0;\n                    \n                    \n  (*(code *)UNRECOVERED_JUMPTABLE_00)(*(undefined4 *)(param_1 + 0xc));\n  return;\n}" ({ "{") (declaration "undefined *UNRECOVERED_JUMPTABLE_00;" (type_identifier "undefined") (pointer_declarator "*UNRECOVERED_JUMPTABLE_00" (* "*") (identifier "UNRECOVERED_JUMPTABLE_00")) (; ";")) (expression_statement "(*(code *)PTR_sqlite3_mutex_enter_000f5448)(*(undefined4 *)(param_1 + 0xc));" (call_expression "(*(code *)PTR_sqlite3_mutex_enter_000f5448)(*(undefined4 *)(param_1 + 0xc))" (parenthesized_expression "(*(code *)PTR_sqlite3_mutex_enter_000f5448)" (( "(") (pointer_expression "*(code *)PTR_sqlite3_mutex_enter_000f5448" (* "*") (cast_expression "(code *)PTR_sqlite3_mutex_enter_000f5448" (( "(") (type_descriptor "code *" (type_identifier "code") (abstract_pointer_declarator "*" (* "*"))) () ")") (identifier "PTR_sqlite3_mutex_enter_000f5448"))) () ")")) (argument_list "(*(undefined4 *)(param_1 + 0xc))" (( "(") (pointer_expression "*(undefined4 *)(param_1 + 0xc)" (* "*") (cast_expression "(undefined4 *)(param_1 + 0xc)" (( "(") (type_descriptor "undefined4 *" (type_identifier "undefined4") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "(param_1 + 0xc)" (( "(") (binary_expression "param_1 + 0xc" (identifier "param_1") (+ "+") (number_literal "0xc")) () ")")))) () ")"))) (; ";")) (expression_statement "UNRECOVERED_JUMPTABLE_00 = PTR_sqlite3_mutex_leave_000f5470;" (assignment_expression "UNRECOVERED_JUMPTABLE_00 = PTR_sqlite3_mutex_leave_000f5470" (identifier "UNRECOVERED_JUMPTABLE_00") (= "=") (identifier "PTR_sqlite3_mutex_leave_000f5470")) (; ";")) (if_statement "if (0 < param_2) {\n    *(undefined4 *)(param_1 + 0x158) = param_3;\n    *(int *)(param_1 + 0x160) = param_2;\n    *(undefined4 *)(param_1 + 0x15c) = param_4;\n                    \n                    \n    (*(code *)UNRECOVERED_JUMPTABLE_00)(*(undefined4 *)(param_1 + 0xc));\n    return;\n  }" (if "if") (parenthesized_expression "(0 < param_2)" (( "(") (binary_expression "0 < param_2" (number_literal "0") (< "<") (identifier "param_2")) () ")")) (compound_statement "{\n    *(undefined4 *)(param_1 + 0x158) = param_3;\n    *(int *)(param_1 + 0x160) = param_2;\n    *(undefined4 *)(param_1 + 0x15c) = param_4;\n                    \n                    \n    (*(code *)UNRECOVERED_JUMPTABLE_00)(*(undefined4 *)(param_1 + 0xc));\n    return;\n  }" ({ "{") (expression_statement "*(undefined4 *)(param_1 + 0x158) = param_3;" (assignment_expression "*(undefined4 *)(param_1 + 0x158) = param_3" (pointer_expression "*(undefined4 *)(param_1 + 0x158)" (* "*") (cast_expression "(undefined4 *)(param_1 + 0x158)" (( "(") (type_descriptor "undefined4 *" (type_identifier "undefined4") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "(param_1 + 0x158)" (( "(") (binary_expression "param_1 + 0x158" (identifier "param_1") (+ "+") (number_literal "0x158")) () ")")))) (= "=") (identifier "param_3")) (; ";")) (expression_statement "*(int *)(param_1 + 0x160) = param_2;" (assignment_expression "*(int *)(param_1 + 0x160) = param_2" (pointer_expression "*(int *)(param_1 + 0x160)" (* "*") (cast_expression "(int *)(param_1 + 0x160)" (( "(") (type_descriptor "int *" (primitive_type "int") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "(param_1 + 0x160)" (( "(") (binary_expression "param_1 + 0x160" (identifier "param_1") (+ "+") (number_literal "0x160")) () ")")))) (= "=") (identifier "param_2")) (; ";")) (expression_statement "*(undefined4 *)(param_1 + 0x15c) = param_4;" (assignment_expression "*(undefined4 *)(param_1 + 0x15c) = param_4" (pointer_expression "*(undefined4 *)(param_1 + 0x15c)" (* "*") (cast_expression "(undefined4 *)(param_1 + 0x15c)" (( "(") (type_descriptor "undefined4 *" (type_identifier "undefined4") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "(param_1 + 0x15c)" (( "(") (binary_expression "param_1 + 0x15c" (identifier "param_1") (+ "+") (number_literal "0x15c")) () ")")))) (= "=") (identifier "param_4")) (; ";")) (expression_statement "(*(code *)UNRECOVERED_JUMPTABLE_00)(*(undefined4 *)(param_1 + 0xc));" (call_expression "(*(code *)UNRECOVERED_JUMPTABLE_00)(*(undefined4 *)(param_1 + 0xc))" (parenthesized_expression "(*(code *)UNRECOVERED_JUMPTABLE_00)" (( "(") (pointer_expression "*(code *)UNRECOVERED_JUMPTABLE_00" (* "*") (cast_expression "(code *)UNRECOVERED_JUMPTABLE_00" (( "(") (type_descriptor "code *" (type_identifier "code") (abstract_pointer_declarator "*" (* "*"))) () ")") (identifier "UNRECOVERED_JUMPTABLE_00"))) () ")")) (argument_list "(*(undefined4 *)(param_1 + 0xc))" (( "(") (pointer_expression "*(undefined4 *)(param_1 + 0xc)" (* "*") (cast_expression "(undefined4 *)(param_1 + 0xc)" (( "(") (type_descriptor "undefined4 *" (type_identifier "undefined4") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "(param_1 + 0xc)" (( "(") (binary_expression "param_1 + 0xc" (identifier "param_1") (+ "+") (number_literal "0xc")) () ")")))) () ")"))) (; ";")) (return_statement "return;" (return "return") (; ";")) (} "}"))) (expression_statement "*(undefined4 *)(param_1 + 0x158) = 0;" (assignment_expression "*(undefined4 *)(param_1 + 0x158) = 0" (pointer_expression "*(undefined4 *)(param_1 + 0x158)" (* "*") (cast_expression "(undefined4 *)(param_1 + 0x158)" (( "(") (type_descriptor "undefined4 *" (type_identifier "undefined4") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "(param_1 + 0x158)" (( "(") (binary_expression "param_1 + 0x158" (identifier "param_1") (+ "+") (number_literal "0x158")) () ")")))) (= "=") (number_literal "0")) (; ";")) (expression_statement "*(undefined4 *)(param_1 + 0x160) = 0;" (assignment_expression "*(undefined4 *)(param_1 + 0x160) = 0" (pointer_expression "*(undefined4 *)(param_1 + 0x160)" (* "*") (cast_expression "(undefined4 *)(param_1 + 0x160)" (( "(") (type_descriptor "undefined4 *" (type_identifier "undefined4") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "(param_1 + 0x160)" (( "(") (binary_expression "param_1 + 0x160" (identifier "param_1") (+ "+") (number_literal "0x160")) () ")")))) (= "=") (number_literal "0")) (; ";")) (expression_statement "*(undefined4 *)(param_1 + 0x15c) = 0;" (assignment_expression "*(undefined4 *)(param_1 + 0x15c) = 0" (pointer_expression "*(undefined4 *)(param_1 + 0x15c)" (* "*") (cast_expression "(undefined4 *)(param_1 + 0x15c)" (( "(") (type_descriptor "undefined4 *" (type_identifier "undefined4") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "(param_1 + 0x15c)" (( "(") (binary_expression "param_1 + 0x15c" (identifier "param_1") (+ "+") (number_literal "0x15c")) () ")")))) (= "=") (number_literal "0")) (; ";")) (expression_statement "(*(code *)UNRECOVERED_JUMPTABLE_00)(*(undefined4 *)(param_1 + 0xc));" (call_expression "(*(code *)UNRECOVERED_JUMPTABLE_00)(*(undefined4 *)(param_1 + 0xc))" (parenthesized_expression "(*(code *)UNRECOVERED_JUMPTABLE_00)" (( "(") (pointer_expression "*(code *)UNRECOVERED_JUMPTABLE_00" (* "*") (cast_expression "(code *)UNRECOVERED_JUMPTABLE_00" (( "(") (type_descriptor "code *" (type_identifier "code") (abstract_pointer_declarator "*" (* "*"))) () ")") (identifier "UNRECOVERED_JUMPTABLE_00"))) () ")")) (argument_list "(*(undefined4 *)(param_1 + 0xc))" (( "(") (pointer_expression "*(undefined4 *)(param_1 + 0xc)" (* "*") (cast_expression "(undefined4 *)(param_1 + 0xc)" (( "(") (type_descriptor "undefined4 *" (type_identifier "undefined4") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "(param_1 + 0xc)" (( "(") (binary_expression "param_1 + 0xc" (identifier "param_1") (+ "+") (number_literal "0xc")) () ")")))) () ")"))) (; ";")) (return_statement "return;" (return "return") (; ";")) (} "}")))

void function_1(type_1 *db,int var_1,type_2 *xProgress,void *pArg)

{
  type_3 *UNRECOVERED_JUMPTABLE_00;
  
  (*(type_4 *)PTR_sqlite3_mutex_enter_000f5448)(db->mutex);
  UNRECOVERED_JUMPTABLE_00 = PTR_sqlite3_mutex_leave_000f5470;
  if (0 < var_1) {
    db->xProgress = xProgress;
    db->nProgressOps = var_1;
    db->pProgressArg = pArg;
                    /* WARNING: Could not recover jumptable at 0x00023ef0. Too many branches */
                    /* WARNING: Treating indirect jump as call */
    (*(type_4 *)UNRECOVERED_JUMPTABLE_00)(db->mutex);
    return;
  }
  db->xProgress = (type_2 *)0x0;
  db->nProgressOps = 0;
  db->pProgressArg = (void *)0x0;
                    /* WARNING: Could not recover jumptable at 0x00023f20. Too many branches */
                    /* WARNING: Treating indirect jump as call */
  (*(type_4 *)UNRECOVERED_JUMPTABLE_00)(db->mutex);
  return;
}


(translation_unit (function_definition type: (primitive_type) declarator: (function_declarator declarator: (identifier) parameters: (parameter_list (parameter_declaration type: (primitive_type) declarator: (identifier)) (parameter_declaration type: (primitive_type) declarator: (identifier)) (parameter_declaration type: (type_identifier) declarator: (identifier)) (parameter_declaration type: (type_identifier) declarator: (identifier)))) body: (compound_statement (declaration type: (type_identifier) declarator: (pointer_declarator declarator: (identifier))) (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 (pointer_expression argument: (cast_expression type: (type_descriptor type: (type_identifier) declarator: (abstract_pointer_declarator)) value: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal)))))))) (expression_statement (assignment_expression left: (identifier) right: (identifier))) (if_statement condition: (parenthesized_expression (binary_expression left: (number_literal) right: (identifier))) consequence: (compound_statement (expression_statement (assignment_expression left: (pointer_expression argument: (cast_expression type: (type_descriptor type: (type_identifier) declarator: (abstract_pointer_declarator)) value: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal))))) right: (identifier))) (expression_statement (assignment_expression left: (pointer_expression argument: (cast_expression type: (type_descriptor type: (primitive_type) declarator: (abstract_pointer_declarator)) value: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal))))) right: (identifier))) (expression_statement (assignment_expression left: (pointer_expression argument: (cast_expression type: (type_descriptor type: (type_identifier) declarator: (abstract_pointer_declarator)) value: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal))))) right: (identifier))) (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 (pointer_expression argument: (cast_expression type: (type_descriptor type: (type_identifier) declarator: (abstract_pointer_declarator)) value: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal)))))))) (return_statement))) (expression_statement (assignment_expression left: (pointer_expression argument: (cast_expression type: (type_descriptor type: (type_identifier) declarator: (abstract_pointer_declarator)) value: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal))))) right: (number_literal))) (expression_statement (assignment_expression left: (pointer_expression argument: (cast_expression type: (type_descriptor type: (type_identifier) declarator: (abstract_pointer_declarator)) value: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal))))) right: (number_literal))) (expression_statement (assignment_expression left: (pointer_expression argument: (cast_expression type: (type_descriptor type: (type_identifier) declarator: (abstract_pointer_declarator)) value: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal))))) right: (number_literal))) (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 (pointer_expression argument: (cast_expression type: (type_descriptor type: (type_identifier) declarator: (abstract_pointer_declarator)) value: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal)))))))) (return_statement))))

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

{
  undefined *UNRECOVERED_JUMPTABLE_00;
  
  (*(code *)PTR_sqlite3_mutex_enter_000f5448)(*(undefined4 *)(param_1 + 0xc));
  UNRECOVERED_JUMPTABLE_00 = PTR_sqlite3_mutex_leave_000f5470;
  if (0 < param_2) {
    *(undefined4 *)(param_1 + 0x158) = param_3;
    *(int *)(param_1 + 0x160) = param_2;
    *(undefined4 *)(param_1 + 0x15c) = param_4;
                    /* WARNING: Could not recover jumptable at 0x00023ef0. Too many branches */
                    /* WARNING: Treating indirect jump as call */
    (*(code *)UNRECOVERED_JUMPTABLE_00)(*(undefined4 *)(param_1 + 0xc));
    return;
  }
  *(undefined4 *)(param_1 + 0x158) = 0;
  *(undefined4 *)(param_1 + 0x160) = 0;
  *(undefined4 *)(param_1 + 0x15c) = 0;
                    /* WARNING: Could not recover jumptable at 0x00023f20. Too many branches */
                    /* WARNING: Treating indirect jump as call */
  (*(code *)UNRECOVERED_JUMPTABLE_00)(*(undefined4 *)(param_1 + 0xc));
  return;
}

