
void sqlite3_free(void *p)

{
  if (p == (void *)0x0) {
    return;
  }
  if (*(int *)(PTR_DAT_0015b5d8 + -0x5dd8) == 0) {
                    /* WARNING: Could not recover jumptable at 0x0002a848. Too many branches */
                    /* WARNING: Treating indirect jump as call */
    (**(code **)(PTR_DAT_0015b5d8 + -0x5da8))();
    return;
  }
                    /* WARNING: Subroutine does not return */
  sqlite3_mutex_enter(*(sqlite3_mutex **)(PTR_DAT_0015b5d8 + -0x4148));
}



void sqlite3_free(int param_1)

{
  int *piVar1;
  undefined *puVar2;
  undefined *puVar3;
  int iVar4;
  code *pcVar5;
  
  puVar2 = PTR_DAT_0015b5d8;
  if (param_1 == 0) {
    return;
  }
  if (*(int *)(PTR_DAT_0015b5d8 + -0x5dd8) == 0) {
                    /* WARNING: Could not recover jumptable at 0x0002a848. Too many branches */
                    /* WARNING: Treating indirect jump as call */
    (**(code **)(PTR_DAT_0015b5d8 + -0x5da8))();
    return;
  }
  sqlite3_mutex_enter(*(undefined4 *)(PTR_DAT_0015b5d8 + -0x4148));
  iVar4 = (**(code **)(puVar2 + -0x5da0))(param_1);
  puVar3 = PTR_DAT_0015b5d8;
  pcVar5 = *(code **)(puVar2 + -0x5da8);
  piVar1 = (int *)(PTR_DAT_0015b5d8 + -0x4100);
  *(int *)(PTR_DAT_0015b5d8 + -0x4124) = *(int *)(PTR_DAT_0015b5d8 + -0x4124) - iVar4;
  *(int *)(puVar3 + -0x4100) = *piVar1 + -1;
  (*pcVar5)(param_1);
  sqlite3_mutex_leave(*(undefined4 *)(puVar2 + -0x4148));
  return;
}


lui gp,0x14
addiu gp,gp,-0x7244
addu gp,gp,t9
beq a0,zero,0x0002a8c8
_nop
lw v0,-0x7fd8(gp)
addiu sp,sp,-0x28
sw gp,0x10(sp)
sw ra,0x24(sp)
sw s2,0x20(sp)
sw s1,0x1c(sp)
sw s0,0x18(sp)
lw a1,-0x5dd8(v0)
bne a1,zero,0x0002a850
_nop
addiu v0,v0,-0x5dd8
lw ra,0x24(sp)
lw s2,0x20(sp)
lw s1,0x1c(sp)
lw s0,0x18(sp)
lw t9,0x30(v0)
jr t9
_addiu sp,sp,0x28
lw s2,-0x7fd8(gp)
addiu s0,v0,-0x5dd8
lw t9,-0x7f00(gp)
or s1,a0,zero
bal 0x0001c608
_lw a0,-0x4148(s2)
lw t9,0x38(s0)
jalr t9
_or a0,s1,zero
or a0,s1,zero
lw gp,0x10(sp)
lw t9,0x30(s0)
lw a1,-0x7fd8(gp)
addiu a3,a1,-0x4124
lw a2,-0x4124(a1)
lw v1,0x24(a3)
subu v0,a2,v0
addiu v1,v1,-0x1
sw v0,-0x4124(a1)
jalr t9
_sw v1,0x24(a3)
lw gp,0x10(sp)
lw ra,0x24(sp)
lw s1,0x1c(sp)
lw s0,0x18(sp)
lw a0,-0x4148(s2)
lw t9,-0x7efc(gp)
lw s2,0x20(sp)
b 0x0001c630
_addiu sp,sp,0x28
jr ra
_nop
(translation_unit "void sqlite3_free(int param_1)\n\n{\n  int *piVar1;\n  undefined *puVar2;\n  undefined *puVar3;\n  int iVar4;\n  code *pcVar5;\n  \n  puVar2 = PTR_DAT_0015b5d8;\n  if (param_1 == 0) {\n    return;\n  }\n  if (*(int *)(PTR_DAT_0015b5d8 + -0x5dd8) == 0) {\n                    /* WARNING: Could not recover jumptable at 0x0002a848. Too many branches */\n                    /* WARNING: Treating indirect jump as call */\n    (**(code **)(PTR_DAT_0015b5d8 + -0x5da8))();\n    return;\n  }\n  sqlite3_mutex_enter(*(undefined4 *)(PTR_DAT_0015b5d8 + -0x4148));\n  iVar4 = (**(code **)(puVar2 + -0x5da0))(param_1);\n  puVar3 = PTR_DAT_0015b5d8;\n  pcVar5 = *(code **)(puVar2 + -0x5da8);\n  piVar1 = (int *)(PTR_DAT_0015b5d8 + -0x4100);\n  *(int *)(PTR_DAT_0015b5d8 + -0x4124) = *(int *)(PTR_DAT_0015b5d8 + -0x4124) - iVar4;\n  *(int *)(puVar3 + -0x4100) = *piVar1 + -1;\n  (*pcVar5)(param_1);\n  sqlite3_mutex_leave(*(undefined4 *)(puVar2 + -0x4148));\n  return;\n}\n\n" (function_definition "void sqlite3_free(int param_1)\n\n{\n  int *piVar1;\n  undefined *puVar2;\n  undefined *puVar3;\n  int iVar4;\n  code *pcVar5;\n  \n  puVar2 = PTR_DAT_0015b5d8;\n  if (param_1 == 0) {\n    return;\n  }\n  if (*(int *)(PTR_DAT_0015b5d8 + -0x5dd8) == 0) {\n                    /* WARNING: Could not recover jumptable at 0x0002a848. Too many branches */\n                    /* WARNING: Treating indirect jump as call */\n    (**(code **)(PTR_DAT_0015b5d8 + -0x5da8))();\n    return;\n  }\n  sqlite3_mutex_enter(*(undefined4 *)(PTR_DAT_0015b5d8 + -0x4148));\n  iVar4 = (**(code **)(puVar2 + -0x5da0))(param_1);\n  puVar3 = PTR_DAT_0015b5d8;\n  pcVar5 = *(code **)(puVar2 + -0x5da8);\n  piVar1 = (int *)(PTR_DAT_0015b5d8 + -0x4100);\n  *(int *)(PTR_DAT_0015b5d8 + -0x4124) = *(int *)(PTR_DAT_0015b5d8 + -0x4124) - iVar4;\n  *(int *)(puVar3 + -0x4100) = *piVar1 + -1;\n  (*pcVar5)(param_1);\n  sqlite3_mutex_leave(*(undefined4 *)(puVar2 + -0x4148));\n  return;\n}" primitive_type (function_declarator "sqlite3_free(int param_1)" identifier (parameter_list "(int param_1)" ( (parameter_declaration "int param_1" primitive_type identifier) ))) (compound_statement "{\n  int *piVar1;\n  undefined *puVar2;\n  undefined *puVar3;\n  int iVar4;\n  code *pcVar5;\n  \n  puVar2 = PTR_DAT_0015b5d8;\n  if (param_1 == 0) {\n    return;\n  }\n  if (*(int *)(PTR_DAT_0015b5d8 + -0x5dd8) == 0) {\n                    /* WARNING: Could not recover jumptable at 0x0002a848. Too many branches */\n                    /* WARNING: Treating indirect jump as call */\n    (**(code **)(PTR_DAT_0015b5d8 + -0x5da8))();\n    return;\n  }\n  sqlite3_mutex_enter(*(undefined4 *)(PTR_DAT_0015b5d8 + -0x4148));\n  iVar4 = (**(code **)(puVar2 + -0x5da0))(param_1);\n  puVar3 = PTR_DAT_0015b5d8;\n  pcVar5 = *(code **)(puVar2 + -0x5da8);\n  piVar1 = (int *)(PTR_DAT_0015b5d8 + -0x4100);\n  *(int *)(PTR_DAT_0015b5d8 + -0x4124) = *(int *)(PTR_DAT_0015b5d8 + -0x4124) - iVar4;\n  *(int *)(puVar3 + -0x4100) = *piVar1 + -1;\n  (*pcVar5)(param_1);\n  sqlite3_mutex_leave(*(undefined4 *)(puVar2 + -0x4148));\n  return;\n}" { (declaration "int *piVar1;" primitive_type (pointer_declarator "*piVar1" * identifier) ;) (declaration "undefined *puVar2;" type_identifier (pointer_declarator "*puVar2" * identifier) ;) (declaration "undefined *puVar3;" type_identifier (pointer_declarator "*puVar3" * identifier) ;) (declaration "int iVar4;" primitive_type identifier ;) (declaration "code *pcVar5;" type_identifier (pointer_declarator "*pcVar5" * identifier) ;) (expression_statement "puVar2 = PTR_DAT_0015b5d8;" (assignment_expression "puVar2 = PTR_DAT_0015b5d8" identifier = identifier) ;) (if_statement "if (param_1 == 0) {\n    return;\n  }" if (parenthesized_expression "(param_1 == 0)" ( (binary_expression "param_1 == 0" identifier == number_literal) )) (compound_statement "{\n    return;\n  }" { (return_statement "return;" return ;) })) (if_statement "if (*(int *)(PTR_DAT_0015b5d8 + -0x5dd8) == 0) {\n                    /* WARNING: Could not recover jumptable at 0x0002a848. Too many branches */\n                    /* WARNING: Treating indirect jump as call */\n    (**(code **)(PTR_DAT_0015b5d8 + -0x5da8))();\n    return;\n  }" if (parenthesized_expression "(*(int *)(PTR_DAT_0015b5d8 + -0x5dd8) == 0)" ( (binary_expression "*(int *)(PTR_DAT_0015b5d8 + -0x5dd8) == 0" (pointer_expression "*(int *)(PTR_DAT_0015b5d8 + -0x5dd8)" * (cast_expression "(int *)(PTR_DAT_0015b5d8 + -0x5dd8)" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(PTR_DAT_0015b5d8 + -0x5dd8)" ( (binary_expression "PTR_DAT_0015b5d8 + -0x5dd8" identifier + number_literal) )))) == number_literal) )) (compound_statement "{\n                    /* WARNING: Could not recover jumptable at 0x0002a848. Too many branches */\n                    /* WARNING: Treating indirect jump as call */\n    (**(code **)(PTR_DAT_0015b5d8 + -0x5da8))();\n    return;\n  }" { comment comment (expression_statement "(**(code **)(PTR_DAT_0015b5d8 + -0x5da8))();" (call_expression "(**(code **)(PTR_DAT_0015b5d8 + -0x5da8))()" (parenthesized_expression "(**(code **)(PTR_DAT_0015b5d8 + -0x5da8))" ( (pointer_expression "**(code **)(PTR_DAT_0015b5d8 + -0x5da8)" * (pointer_expression "*(code **)(PTR_DAT_0015b5d8 + -0x5da8)" * (cast_expression "(code **)(PTR_DAT_0015b5d8 + -0x5da8)" ( (type_descriptor "code **" type_identifier (abstract_pointer_declarator "**" * (abstract_pointer_declarator "*" *))) ) (parenthesized_expression "(PTR_DAT_0015b5d8 + -0x5da8)" ( (binary_expression "PTR_DAT_0015b5d8 + -0x5da8" identifier + number_literal) ))))) )) (argument_list "()" ( ))) ;) (return_statement "return;" return ;) })) (expression_statement "sqlite3_mutex_enter(*(undefined4 *)(PTR_DAT_0015b5d8 + -0x4148));" (call_expression "sqlite3_mutex_enter(*(undefined4 *)(PTR_DAT_0015b5d8 + -0x4148))" identifier (argument_list "(*(undefined4 *)(PTR_DAT_0015b5d8 + -0x4148))" ( (pointer_expression "*(undefined4 *)(PTR_DAT_0015b5d8 + -0x4148)" * (cast_expression "(undefined4 *)(PTR_DAT_0015b5d8 + -0x4148)" ( (type_descriptor "undefined4 *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(PTR_DAT_0015b5d8 + -0x4148)" ( (binary_expression "PTR_DAT_0015b5d8 + -0x4148" identifier + number_literal) )))) ))) ;) (expression_statement "iVar4 = (**(code **)(puVar2 + -0x5da0))(param_1);" (assignment_expression "iVar4 = (**(code **)(puVar2 + -0x5da0))(param_1)" identifier = (call_expression "(**(code **)(puVar2 + -0x5da0))(param_1)" (parenthesized_expression "(**(code **)(puVar2 + -0x5da0))" ( (pointer_expression "**(code **)(puVar2 + -0x5da0)" * (pointer_expression "*(code **)(puVar2 + -0x5da0)" * (cast_expression "(code **)(puVar2 + -0x5da0)" ( (type_descriptor "code **" type_identifier (abstract_pointer_declarator "**" * (abstract_pointer_declarator "*" *))) ) (parenthesized_expression "(puVar2 + -0x5da0)" ( (binary_expression "puVar2 + -0x5da0" identifier + number_literal) ))))) )) (argument_list "(param_1)" ( identifier )))) ;) (expression_statement "puVar3 = PTR_DAT_0015b5d8;" (assignment_expression "puVar3 = PTR_DAT_0015b5d8" identifier = identifier) ;) (expression_statement "pcVar5 = *(code **)(puVar2 + -0x5da8);" (assignment_expression "pcVar5 = *(code **)(puVar2 + -0x5da8)" identifier = (pointer_expression "*(code **)(puVar2 + -0x5da8)" * (cast_expression "(code **)(puVar2 + -0x5da8)" ( (type_descriptor "code **" type_identifier (abstract_pointer_declarator "**" * (abstract_pointer_declarator "*" *))) ) (parenthesized_expression "(puVar2 + -0x5da8)" ( (binary_expression "puVar2 + -0x5da8" identifier + number_literal) ))))) ;) (expression_statement "piVar1 = (int *)(PTR_DAT_0015b5d8 + -0x4100);" (assignment_expression "piVar1 = (int *)(PTR_DAT_0015b5d8 + -0x4100)" identifier = (cast_expression "(int *)(PTR_DAT_0015b5d8 + -0x4100)" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(PTR_DAT_0015b5d8 + -0x4100)" ( (binary_expression "PTR_DAT_0015b5d8 + -0x4100" identifier + number_literal) )))) ;) (expression_statement "*(int *)(PTR_DAT_0015b5d8 + -0x4124) = *(int *)(PTR_DAT_0015b5d8 + -0x4124) - iVar4;" (assignment_expression "*(int *)(PTR_DAT_0015b5d8 + -0x4124) = *(int *)(PTR_DAT_0015b5d8 + -0x4124) - iVar4" (pointer_expression "*(int *)(PTR_DAT_0015b5d8 + -0x4124)" * (cast_expression "(int *)(PTR_DAT_0015b5d8 + -0x4124)" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(PTR_DAT_0015b5d8 + -0x4124)" ( (binary_expression "PTR_DAT_0015b5d8 + -0x4124" identifier + number_literal) )))) = (binary_expression "*(int *)(PTR_DAT_0015b5d8 + -0x4124) - iVar4" (pointer_expression "*(int *)(PTR_DAT_0015b5d8 + -0x4124)" * (cast_expression "(int *)(PTR_DAT_0015b5d8 + -0x4124)" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(PTR_DAT_0015b5d8 + -0x4124)" ( (binary_expression "PTR_DAT_0015b5d8 + -0x4124" identifier + number_literal) )))) - identifier)) ;) (expression_statement "*(int *)(puVar3 + -0x4100) = *piVar1 + -1;" (assignment_expression "*(int *)(puVar3 + -0x4100) = *piVar1 + -1" (pointer_expression "*(int *)(puVar3 + -0x4100)" * (cast_expression "(int *)(puVar3 + -0x4100)" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(puVar3 + -0x4100)" ( (binary_expression "puVar3 + -0x4100" identifier + number_literal) )))) = (binary_expression "*piVar1 + -1" (pointer_expression "*piVar1" * identifier) + number_literal)) ;) (expression_statement "(*pcVar5)(param_1);" (call_expression "(*pcVar5)(param_1)" (parenthesized_expression "(*pcVar5)" ( (pointer_expression "*pcVar5" * identifier) )) (argument_list "(param_1)" ( identifier ))) ;) (expression_statement "sqlite3_mutex_leave(*(undefined4 *)(puVar2 + -0x4148));" (call_expression "sqlite3_mutex_leave(*(undefined4 *)(puVar2 + -0x4148))" identifier (argument_list "(*(undefined4 *)(puVar2 + -0x4148))" ( (pointer_expression "*(undefined4 *)(puVar2 + -0x4148)" * (cast_expression "(undefined4 *)(puVar2 + -0x4148)" ( (type_descriptor "undefined4 *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(puVar2 + -0x4148)" ( (binary_expression "puVar2 + -0x4148" identifier + number_literal) )))) ))) ;) (return_statement "return;" return ;) })))
(translation_unit "void sqlite3_free(void *p)\n\n{\n  if (p == (void *)0x0) {\n    return;\n  }\n  if (*(int *)(PTR_DAT_0015b5d8 + -0x5dd8) == 0) {\n                    /* WARNING: Could not recover jumptable at 0x0002a848. Too many branches */\n                    /* WARNING: Treating indirect jump as call */\n    (**(code **)(PTR_DAT_0015b5d8 + -0x5da8))();\n    return;\n  }\n                    /* WARNING: Subroutine does not return */\n  sqlite3_mutex_enter(*(sqlite3_mutex **)(PTR_DAT_0015b5d8 + -0x4148));\n}\n\n" (function_definition "void sqlite3_free(void *p)\n\n{\n  if (p == (void *)0x0) {\n    return;\n  }\n  if (*(int *)(PTR_DAT_0015b5d8 + -0x5dd8) == 0) {\n                    /* WARNING: Could not recover jumptable at 0x0002a848. Too many branches */\n                    /* WARNING: Treating indirect jump as call */\n    (**(code **)(PTR_DAT_0015b5d8 + -0x5da8))();\n    return;\n  }\n                    /* WARNING: Subroutine does not return */\n  sqlite3_mutex_enter(*(sqlite3_mutex **)(PTR_DAT_0015b5d8 + -0x4148));\n}" primitive_type (function_declarator "sqlite3_free(void *p)" identifier (parameter_list "(void *p)" ( (parameter_declaration "void *p" primitive_type (pointer_declarator "*p" * identifier)) ))) (compound_statement "{\n  if (p == (void *)0x0) {\n    return;\n  }\n  if (*(int *)(PTR_DAT_0015b5d8 + -0x5dd8) == 0) {\n                    /* WARNING: Could not recover jumptable at 0x0002a848. Too many branches */\n                    /* WARNING: Treating indirect jump as call */\n    (**(code **)(PTR_DAT_0015b5d8 + -0x5da8))();\n    return;\n  }\n                    /* WARNING: Subroutine does not return */\n  sqlite3_mutex_enter(*(sqlite3_mutex **)(PTR_DAT_0015b5d8 + -0x4148));\n}" { (if_statement "if (p == (void *)0x0) {\n    return;\n  }" if (parenthesized_expression "(p == (void *)0x0)" ( (binary_expression "p == (void *)0x0" identifier == (cast_expression "(void *)0x0" ( (type_descriptor "void *" primitive_type (abstract_pointer_declarator "*" *)) ) number_literal)) )) (compound_statement "{\n    return;\n  }" { (return_statement "return;" return ;) })) (if_statement "if (*(int *)(PTR_DAT_0015b5d8 + -0x5dd8) == 0) {\n                    /* WARNING: Could not recover jumptable at 0x0002a848. Too many branches */\n                    /* WARNING: Treating indirect jump as call */\n    (**(code **)(PTR_DAT_0015b5d8 + -0x5da8))();\n    return;\n  }" if (parenthesized_expression "(*(int *)(PTR_DAT_0015b5d8 + -0x5dd8) == 0)" ( (binary_expression "*(int *)(PTR_DAT_0015b5d8 + -0x5dd8) == 0" (pointer_expression "*(int *)(PTR_DAT_0015b5d8 + -0x5dd8)" * (cast_expression "(int *)(PTR_DAT_0015b5d8 + -0x5dd8)" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(PTR_DAT_0015b5d8 + -0x5dd8)" ( (binary_expression "PTR_DAT_0015b5d8 + -0x5dd8" identifier + number_literal) )))) == number_literal) )) (compound_statement "{\n                    /* WARNING: Could not recover jumptable at 0x0002a848. Too many branches */\n                    /* WARNING: Treating indirect jump as call */\n    (**(code **)(PTR_DAT_0015b5d8 + -0x5da8))();\n    return;\n  }" { comment comment (expression_statement "(**(code **)(PTR_DAT_0015b5d8 + -0x5da8))();" (call_expression "(**(code **)(PTR_DAT_0015b5d8 + -0x5da8))()" (parenthesized_expression "(**(code **)(PTR_DAT_0015b5d8 + -0x5da8))" ( (pointer_expression "**(code **)(PTR_DAT_0015b5d8 + -0x5da8)" * (pointer_expression "*(code **)(PTR_DAT_0015b5d8 + -0x5da8)" * (cast_expression "(code **)(PTR_DAT_0015b5d8 + -0x5da8)" ( (type_descriptor "code **" type_identifier (abstract_pointer_declarator "**" * (abstract_pointer_declarator "*" *))) ) (parenthesized_expression "(PTR_DAT_0015b5d8 + -0x5da8)" ( (binary_expression "PTR_DAT_0015b5d8 + -0x5da8" identifier + number_literal) ))))) )) (argument_list "()" ( ))) ;) (return_statement "return;" return ;) })) comment (expression_statement "sqlite3_mutex_enter(*(sqlite3_mutex **)(PTR_DAT_0015b5d8 + -0x4148));" (call_expression "sqlite3_mutex_enter(*(sqlite3_mutex **)(PTR_DAT_0015b5d8 + -0x4148))" identifier (argument_list "(*(sqlite3_mutex **)(PTR_DAT_0015b5d8 + -0x4148))" ( (pointer_expression "*(sqlite3_mutex **)(PTR_DAT_0015b5d8 + -0x4148)" * (cast_expression "(sqlite3_mutex **)(PTR_DAT_0015b5d8 + -0x4148)" ( (type_descriptor "sqlite3_mutex **" type_identifier (abstract_pointer_declarator "**" * (abstract_pointer_declarator "*" *))) ) (parenthesized_expression "(PTR_DAT_0015b5d8 + -0x4148)" ( (binary_expression "PTR_DAT_0015b5d8 + -0x4148" identifier + number_literal) )))) ))) ;) })))
(translation_unit "void sqlite3_free(int param_1)\n\n{\n  int *piVar1;\n  undefined *puVar2;\n  undefined *puVar3;\n  int iVar4;\n  code *pcVar5;\n  \n  puVar2 = PTR_DAT_0015b5d8;\n  if (param_1 == 0) {\n    return;\n  }\n  if (*(int *)(PTR_DAT_0015b5d8 + -0x5dd8) == 0) {\n                    \n                    \n    (**(code **)(PTR_DAT_0015b5d8 + -0x5da8))();\n    return;\n  }\n  sqlite3_mutex_enter(*(undefined4 *)(PTR_DAT_0015b5d8 + -0x4148));\n  iVar4 = (**(code **)(puVar2 + -0x5da0))(param_1);\n  puVar3 = PTR_DAT_0015b5d8;\n  pcVar5 = *(code **)(puVar2 + -0x5da8);\n  piVar1 = (int *)(PTR_DAT_0015b5d8 + -0x4100);\n  *(int *)(PTR_DAT_0015b5d8 + -0x4124) = *(int *)(PTR_DAT_0015b5d8 + -0x4124) - iVar4;\n  *(int *)(puVar3 + -0x4100) = *piVar1 + -1;\n  (*pcVar5)(param_1);\n  sqlite3_mutex_leave(*(undefined4 *)(puVar2 + -0x4148));\n  return;\n}\n\n" (function_definition "void sqlite3_free(int param_1)\n\n{\n  int *piVar1;\n  undefined *puVar2;\n  undefined *puVar3;\n  int iVar4;\n  code *pcVar5;\n  \n  puVar2 = PTR_DAT_0015b5d8;\n  if (param_1 == 0) {\n    return;\n  }\n  if (*(int *)(PTR_DAT_0015b5d8 + -0x5dd8) == 0) {\n                    \n                    \n    (**(code **)(PTR_DAT_0015b5d8 + -0x5da8))();\n    return;\n  }\n  sqlite3_mutex_enter(*(undefined4 *)(PTR_DAT_0015b5d8 + -0x4148));\n  iVar4 = (**(code **)(puVar2 + -0x5da0))(param_1);\n  puVar3 = PTR_DAT_0015b5d8;\n  pcVar5 = *(code **)(puVar2 + -0x5da8);\n  piVar1 = (int *)(PTR_DAT_0015b5d8 + -0x4100);\n  *(int *)(PTR_DAT_0015b5d8 + -0x4124) = *(int *)(PTR_DAT_0015b5d8 + -0x4124) - iVar4;\n  *(int *)(puVar3 + -0x4100) = *piVar1 + -1;\n  (*pcVar5)(param_1);\n  sqlite3_mutex_leave(*(undefined4 *)(puVar2 + -0x4148));\n  return;\n}" primitive_type (function_declarator "sqlite3_free(int param_1)" identifier (parameter_list "(int param_1)" ( (parameter_declaration "int param_1" primitive_type identifier) ))) (compound_statement "{\n  int *piVar1;\n  undefined *puVar2;\n  undefined *puVar3;\n  int iVar4;\n  code *pcVar5;\n  \n  puVar2 = PTR_DAT_0015b5d8;\n  if (param_1 == 0) {\n    return;\n  }\n  if (*(int *)(PTR_DAT_0015b5d8 + -0x5dd8) == 0) {\n                    \n                    \n    (**(code **)(PTR_DAT_0015b5d8 + -0x5da8))();\n    return;\n  }\n  sqlite3_mutex_enter(*(undefined4 *)(PTR_DAT_0015b5d8 + -0x4148));\n  iVar4 = (**(code **)(puVar2 + -0x5da0))(param_1);\n  puVar3 = PTR_DAT_0015b5d8;\n  pcVar5 = *(code **)(puVar2 + -0x5da8);\n  piVar1 = (int *)(PTR_DAT_0015b5d8 + -0x4100);\n  *(int *)(PTR_DAT_0015b5d8 + -0x4124) = *(int *)(PTR_DAT_0015b5d8 + -0x4124) - iVar4;\n  *(int *)(puVar3 + -0x4100) = *piVar1 + -1;\n  (*pcVar5)(param_1);\n  sqlite3_mutex_leave(*(undefined4 *)(puVar2 + -0x4148));\n  return;\n}" { (declaration "int *piVar1;" primitive_type (pointer_declarator "*piVar1" * identifier) ;) (declaration "undefined *puVar2;" type_identifier (pointer_declarator "*puVar2" * identifier) ;) (declaration "undefined *puVar3;" type_identifier (pointer_declarator "*puVar3" * identifier) ;) (declaration "int iVar4;" primitive_type identifier ;) (declaration "code *pcVar5;" type_identifier (pointer_declarator "*pcVar5" * identifier) ;) (expression_statement "puVar2 = PTR_DAT_0015b5d8;" (assignment_expression "puVar2 = PTR_DAT_0015b5d8" identifier = identifier) ;) (if_statement "if (param_1 == 0) {\n    return;\n  }" if (parenthesized_expression "(param_1 == 0)" ( (binary_expression "param_1 == 0" identifier == number_literal) )) (compound_statement "{\n    return;\n  }" { (return_statement "return;" return ;) })) (if_statement "if (*(int *)(PTR_DAT_0015b5d8 + -0x5dd8) == 0) {\n                    \n                    \n    (**(code **)(PTR_DAT_0015b5d8 + -0x5da8))();\n    return;\n  }" if (parenthesized_expression "(*(int *)(PTR_DAT_0015b5d8 + -0x5dd8) == 0)" ( (binary_expression "*(int *)(PTR_DAT_0015b5d8 + -0x5dd8) == 0" (pointer_expression "*(int *)(PTR_DAT_0015b5d8 + -0x5dd8)" * (cast_expression "(int *)(PTR_DAT_0015b5d8 + -0x5dd8)" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(PTR_DAT_0015b5d8 + -0x5dd8)" ( (binary_expression "PTR_DAT_0015b5d8 + -0x5dd8" identifier + number_literal) )))) == number_literal) )) (compound_statement "{\n                    \n                    \n    (**(code **)(PTR_DAT_0015b5d8 + -0x5da8))();\n    return;\n  }" { (expression_statement "(**(code **)(PTR_DAT_0015b5d8 + -0x5da8))();" (call_expression "(**(code **)(PTR_DAT_0015b5d8 + -0x5da8))()" (parenthesized_expression "(**(code **)(PTR_DAT_0015b5d8 + -0x5da8))" ( (pointer_expression "**(code **)(PTR_DAT_0015b5d8 + -0x5da8)" * (pointer_expression "*(code **)(PTR_DAT_0015b5d8 + -0x5da8)" * (cast_expression "(code **)(PTR_DAT_0015b5d8 + -0x5da8)" ( (type_descriptor "code **" type_identifier (abstract_pointer_declarator "**" * (abstract_pointer_declarator "*" *))) ) (parenthesized_expression "(PTR_DAT_0015b5d8 + -0x5da8)" ( (binary_expression "PTR_DAT_0015b5d8 + -0x5da8" identifier + number_literal) ))))) )) (argument_list "()" ( ))) ;) (return_statement "return;" return ;) })) (expression_statement "sqlite3_mutex_enter(*(undefined4 *)(PTR_DAT_0015b5d8 + -0x4148));" (call_expression "sqlite3_mutex_enter(*(undefined4 *)(PTR_DAT_0015b5d8 + -0x4148))" identifier (argument_list "(*(undefined4 *)(PTR_DAT_0015b5d8 + -0x4148))" ( (pointer_expression "*(undefined4 *)(PTR_DAT_0015b5d8 + -0x4148)" * (cast_expression "(undefined4 *)(PTR_DAT_0015b5d8 + -0x4148)" ( (type_descriptor "undefined4 *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(PTR_DAT_0015b5d8 + -0x4148)" ( (binary_expression "PTR_DAT_0015b5d8 + -0x4148" identifier + number_literal) )))) ))) ;) (expression_statement "iVar4 = (**(code **)(puVar2 + -0x5da0))(param_1);" (assignment_expression "iVar4 = (**(code **)(puVar2 + -0x5da0))(param_1)" identifier = (call_expression "(**(code **)(puVar2 + -0x5da0))(param_1)" (parenthesized_expression "(**(code **)(puVar2 + -0x5da0))" ( (pointer_expression "**(code **)(puVar2 + -0x5da0)" * (pointer_expression "*(code **)(puVar2 + -0x5da0)" * (cast_expression "(code **)(puVar2 + -0x5da0)" ( (type_descriptor "code **" type_identifier (abstract_pointer_declarator "**" * (abstract_pointer_declarator "*" *))) ) (parenthesized_expression "(puVar2 + -0x5da0)" ( (binary_expression "puVar2 + -0x5da0" identifier + number_literal) ))))) )) (argument_list "(param_1)" ( identifier )))) ;) (expression_statement "puVar3 = PTR_DAT_0015b5d8;" (assignment_expression "puVar3 = PTR_DAT_0015b5d8" identifier = identifier) ;) (expression_statement "pcVar5 = *(code **)(puVar2 + -0x5da8);" (assignment_expression "pcVar5 = *(code **)(puVar2 + -0x5da8)" identifier = (pointer_expression "*(code **)(puVar2 + -0x5da8)" * (cast_expression "(code **)(puVar2 + -0x5da8)" ( (type_descriptor "code **" type_identifier (abstract_pointer_declarator "**" * (abstract_pointer_declarator "*" *))) ) (parenthesized_expression "(puVar2 + -0x5da8)" ( (binary_expression "puVar2 + -0x5da8" identifier + number_literal) ))))) ;) (expression_statement "piVar1 = (int *)(PTR_DAT_0015b5d8 + -0x4100);" (assignment_expression "piVar1 = (int *)(PTR_DAT_0015b5d8 + -0x4100)" identifier = (cast_expression "(int *)(PTR_DAT_0015b5d8 + -0x4100)" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(PTR_DAT_0015b5d8 + -0x4100)" ( (binary_expression "PTR_DAT_0015b5d8 + -0x4100" identifier + number_literal) )))) ;) (expression_statement "*(int *)(PTR_DAT_0015b5d8 + -0x4124) = *(int *)(PTR_DAT_0015b5d8 + -0x4124) - iVar4;" (assignment_expression "*(int *)(PTR_DAT_0015b5d8 + -0x4124) = *(int *)(PTR_DAT_0015b5d8 + -0x4124) - iVar4" (pointer_expression "*(int *)(PTR_DAT_0015b5d8 + -0x4124)" * (cast_expression "(int *)(PTR_DAT_0015b5d8 + -0x4124)" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(PTR_DAT_0015b5d8 + -0x4124)" ( (binary_expression "PTR_DAT_0015b5d8 + -0x4124" identifier + number_literal) )))) = (binary_expression "*(int *)(PTR_DAT_0015b5d8 + -0x4124) - iVar4" (pointer_expression "*(int *)(PTR_DAT_0015b5d8 + -0x4124)" * (cast_expression "(int *)(PTR_DAT_0015b5d8 + -0x4124)" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(PTR_DAT_0015b5d8 + -0x4124)" ( (binary_expression "PTR_DAT_0015b5d8 + -0x4124" identifier + number_literal) )))) - identifier)) ;) (expression_statement "*(int *)(puVar3 + -0x4100) = *piVar1 + -1;" (assignment_expression "*(int *)(puVar3 + -0x4100) = *piVar1 + -1" (pointer_expression "*(int *)(puVar3 + -0x4100)" * (cast_expression "(int *)(puVar3 + -0x4100)" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(puVar3 + -0x4100)" ( (binary_expression "puVar3 + -0x4100" identifier + number_literal) )))) = (binary_expression "*piVar1 + -1" (pointer_expression "*piVar1" * identifier) + number_literal)) ;) (expression_statement "(*pcVar5)(param_1);" (call_expression "(*pcVar5)(param_1)" (parenthesized_expression "(*pcVar5)" ( (pointer_expression "*pcVar5" * identifier) )) (argument_list "(param_1)" ( identifier ))) ;) (expression_statement "sqlite3_mutex_leave(*(undefined4 *)(puVar2 + -0x4148));" (call_expression "sqlite3_mutex_leave(*(undefined4 *)(puVar2 + -0x4148))" identifier (argument_list "(*(undefined4 *)(puVar2 + -0x4148))" ( (pointer_expression "*(undefined4 *)(puVar2 + -0x4148)" * (cast_expression "(undefined4 *)(puVar2 + -0x4148)" ( (type_descriptor "undefined4 *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(puVar2 + -0x4148)" ( (binary_expression "puVar2 + -0x4148" identifier + number_literal) )))) ))) ;) (return_statement "return;" return ;) })))
(translation_unit (function_definition TYPE (function_declarator IDENT (parameter_list ( (parameter_declaration TYPE IDENT) ))) (compound_statement { (declaration TYPE (pointer_declarator * IDENT) ;) (declaration TYPE (pointer_declarator * IDENT) ;) (declaration TYPE (pointer_declarator * IDENT) ;) (declaration TYPE IDENT ;) (declaration TYPE (pointer_declarator * IDENT) ;) (expression_statement (assignment_expression IDENT = IDENT) ;) (if_statement if (parenthesized_expression ( (binary_expression IDENT == LIT) )) (compound_statement { (return_statement return ;) })) (if_statement if (parenthesized_expression ( (binary_expression (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression IDENT + LIT) )))) == LIT) )) (compound_statement { (expression_statement (call_expression (parenthesized_expression ( (pointer_expression * (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator * (abstract_pointer_declarator *))) ) (parenthesized_expression ( (binary_expression IDENT + LIT) ))))) )) (argument_list ( ))) ;) (return_statement return ;) })) (expression_statement (call_expression IDENT (argument_list ( (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression IDENT + LIT) )))) ))) ;) (expression_statement (assignment_expression IDENT = (call_expression (parenthesized_expression ( (pointer_expression * (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator * (abstract_pointer_declarator *))) ) (parenthesized_expression ( (binary_expression IDENT + LIT) ))))) )) (argument_list ( IDENT )))) ;) (expression_statement (assignment_expression IDENT = IDENT) ;) (expression_statement (assignment_expression IDENT = (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator * (abstract_pointer_declarator *))) ) (parenthesized_expression ( (binary_expression IDENT + LIT) ))))) ;) (expression_statement (assignment_expression IDENT = (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression IDENT + LIT) )))) ;) (expression_statement (assignment_expression (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression IDENT + LIT) )))) = (binary_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) )))) = (binary_expression (pointer_expression * IDENT) + LIT)) ;) (expression_statement (call_expression (parenthesized_expression ( (pointer_expression * IDENT) )) (argument_list ( IDENT ))) ;) (expression_statement (call_expression 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_free(int param_1)\n\n{\n  int *piVar1;\n  undefined *puVar2;\n  undefined *puVar3;\n  int iVar4;\n  code *pcVar5;\n  \n  puVar2 = PTR_DAT_0015b5d8;\n  if (param_1 == 0) {\n    return;\n  }\n  if (*(int *)(PTR_DAT_0015b5d8 + -0x5dd8) == 0) {\n                    \n                    \n    (**(code **)(PTR_DAT_0015b5d8 + -0x5da8))();\n    return;\n  }\n  sqlite3_mutex_enter(*(undefined4 *)(PTR_DAT_0015b5d8 + -0x4148));\n  iVar4 = (**(code **)(puVar2 + -0x5da0))(param_1);\n  puVar3 = PTR_DAT_0015b5d8;\n  pcVar5 = *(code **)(puVar2 + -0x5da8);\n  piVar1 = (int *)(PTR_DAT_0015b5d8 + -0x4100);\n  *(int *)(PTR_DAT_0015b5d8 + -0x4124) = *(int *)(PTR_DAT_0015b5d8 + -0x4124) - iVar4;\n  *(int *)(puVar3 + -0x4100) = *piVar1 + -1;\n  (*pcVar5)(param_1);\n  sqlite3_mutex_leave(*(undefined4 *)(puVar2 + -0x4148));\n  return;\n}" (primitive_type "void") (function_declarator "sqlite3_free(int param_1)" (identifier "sqlite3_free") (parameter_list "(int param_1)" (( "(") (parameter_declaration "int param_1" (primitive_type "int") (identifier "param_1")) () ")"))) (compound_statement "{\n  int *piVar1;\n  undefined *puVar2;\n  undefined *puVar3;\n  int iVar4;\n  code *pcVar5;\n  \n  puVar2 = PTR_DAT_0015b5d8;\n  if (param_1 == 0) {\n    return;\n  }\n  if (*(int *)(PTR_DAT_0015b5d8 + -0x5dd8) == 0) {\n                    \n                    \n    (**(code **)(PTR_DAT_0015b5d8 + -0x5da8))();\n    return;\n  }\n  sqlite3_mutex_enter(*(undefined4 *)(PTR_DAT_0015b5d8 + -0x4148));\n  iVar4 = (**(code **)(puVar2 + -0x5da0))(param_1);\n  puVar3 = PTR_DAT_0015b5d8;\n  pcVar5 = *(code **)(puVar2 + -0x5da8);\n  piVar1 = (int *)(PTR_DAT_0015b5d8 + -0x4100);\n  *(int *)(PTR_DAT_0015b5d8 + -0x4124) = *(int *)(PTR_DAT_0015b5d8 + -0x4124) - iVar4;\n  *(int *)(puVar3 + -0x4100) = *piVar1 + -1;\n  (*pcVar5)(param_1);\n  sqlite3_mutex_leave(*(undefined4 *)(puVar2 + -0x4148));\n  return;\n}" ({ "{") (declaration "int *piVar1;" (primitive_type "int") (pointer_declarator "*piVar1" (* "*") (identifier "piVar1")) (; ";")) (declaration "undefined *puVar2;" (type_identifier "undefined") (pointer_declarator "*puVar2" (* "*") (identifier "puVar2")) (; ";")) (declaration "undefined *puVar3;" (type_identifier "undefined") (pointer_declarator "*puVar3" (* "*") (identifier "puVar3")) (; ";")) (declaration "int iVar4;" (primitive_type "int") (identifier "iVar4") (; ";")) (declaration "code *pcVar5;" (type_identifier "code") (pointer_declarator "*pcVar5" (* "*") (identifier "pcVar5")) (; ";")) (expression_statement "puVar2 = PTR_DAT_0015b5d8;" (assignment_expression "puVar2 = PTR_DAT_0015b5d8" (identifier "puVar2") (= "=") (identifier "PTR_DAT_0015b5d8")) (; ";")) (if_statement "if (param_1 == 0) {\n    return;\n  }" (if "if") (parenthesized_expression "(param_1 == 0)" (( "(") (binary_expression "param_1 == 0" (identifier "param_1") (== "==") (number_literal "0")) () ")")) (compound_statement "{\n    return;\n  }" ({ "{") (return_statement "return;" (return "return") (; ";")) (} "}"))) (if_statement "if (*(int *)(PTR_DAT_0015b5d8 + -0x5dd8) == 0) {\n                    \n                    \n    (**(code **)(PTR_DAT_0015b5d8 + -0x5da8))();\n    return;\n  }" (if "if") (parenthesized_expression "(*(int *)(PTR_DAT_0015b5d8 + -0x5dd8) == 0)" (( "(") (binary_expression "*(int *)(PTR_DAT_0015b5d8 + -0x5dd8) == 0" (pointer_expression "*(int *)(PTR_DAT_0015b5d8 + -0x5dd8)" (* "*") (cast_expression "(int *)(PTR_DAT_0015b5d8 + -0x5dd8)" (( "(") (type_descriptor "int *" (primitive_type "int") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "(PTR_DAT_0015b5d8 + -0x5dd8)" (( "(") (binary_expression "PTR_DAT_0015b5d8 + -0x5dd8" (identifier "PTR_DAT_0015b5d8") (+ "+") (number_literal "-0x5dd8")) () ")")))) (== "==") (number_literal "0")) () ")")) (compound_statement "{\n                    \n                    \n    (**(code **)(PTR_DAT_0015b5d8 + -0x5da8))();\n    return;\n  }" ({ "{") (expression_statement "(**(code **)(PTR_DAT_0015b5d8 + -0x5da8))();" (call_expression "(**(code **)(PTR_DAT_0015b5d8 + -0x5da8))()" (parenthesized_expression "(**(code **)(PTR_DAT_0015b5d8 + -0x5da8))" (( "(") (pointer_expression "**(code **)(PTR_DAT_0015b5d8 + -0x5da8)" (* "*") (pointer_expression "*(code **)(PTR_DAT_0015b5d8 + -0x5da8)" (* "*") (cast_expression "(code **)(PTR_DAT_0015b5d8 + -0x5da8)" (( "(") (type_descriptor "code **" (type_identifier "code") (abstract_pointer_declarator "**" (* "*") (abstract_pointer_declarator "*" (* "*")))) () ")") (parenthesized_expression "(PTR_DAT_0015b5d8 + -0x5da8)" (( "(") (binary_expression "PTR_DAT_0015b5d8 + -0x5da8" (identifier "PTR_DAT_0015b5d8") (+ "+") (number_literal "-0x5da8")) () ")"))))) () ")")) (argument_list "()" (( "(") () ")"))) (; ";")) (return_statement "return;" (return "return") (; ";")) (} "}"))) (expression_statement "sqlite3_mutex_enter(*(undefined4 *)(PTR_DAT_0015b5d8 + -0x4148));" (call_expression "sqlite3_mutex_enter(*(undefined4 *)(PTR_DAT_0015b5d8 + -0x4148))" (identifier "sqlite3_mutex_enter") (argument_list "(*(undefined4 *)(PTR_DAT_0015b5d8 + -0x4148))" (( "(") (pointer_expression "*(undefined4 *)(PTR_DAT_0015b5d8 + -0x4148)" (* "*") (cast_expression "(undefined4 *)(PTR_DAT_0015b5d8 + -0x4148)" (( "(") (type_descriptor "undefined4 *" (type_identifier "undefined4") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "(PTR_DAT_0015b5d8 + -0x4148)" (( "(") (binary_expression "PTR_DAT_0015b5d8 + -0x4148" (identifier "PTR_DAT_0015b5d8") (+ "+") (number_literal "-0x4148")) () ")")))) () ")"))) (; ";")) (expression_statement "iVar4 = (**(code **)(puVar2 + -0x5da0))(param_1);" (assignment_expression "iVar4 = (**(code **)(puVar2 + -0x5da0))(param_1)" (identifier "iVar4") (= "=") (call_expression "(**(code **)(puVar2 + -0x5da0))(param_1)" (parenthesized_expression "(**(code **)(puVar2 + -0x5da0))" (( "(") (pointer_expression "**(code **)(puVar2 + -0x5da0)" (* "*") (pointer_expression "*(code **)(puVar2 + -0x5da0)" (* "*") (cast_expression "(code **)(puVar2 + -0x5da0)" (( "(") (type_descriptor "code **" (type_identifier "code") (abstract_pointer_declarator "**" (* "*") (abstract_pointer_declarator "*" (* "*")))) () ")") (parenthesized_expression "(puVar2 + -0x5da0)" (( "(") (binary_expression "puVar2 + -0x5da0" (identifier "puVar2") (+ "+") (number_literal "-0x5da0")) () ")"))))) () ")")) (argument_list "(param_1)" (( "(") (identifier "param_1") () ")")))) (; ";")) (expression_statement "puVar3 = PTR_DAT_0015b5d8;" (assignment_expression "puVar3 = PTR_DAT_0015b5d8" (identifier "puVar3") (= "=") (identifier "PTR_DAT_0015b5d8")) (; ";")) (expression_statement "pcVar5 = *(code **)(puVar2 + -0x5da8);" (assignment_expression "pcVar5 = *(code **)(puVar2 + -0x5da8)" (identifier "pcVar5") (= "=") (pointer_expression "*(code **)(puVar2 + -0x5da8)" (* "*") (cast_expression "(code **)(puVar2 + -0x5da8)" (( "(") (type_descriptor "code **" (type_identifier "code") (abstract_pointer_declarator "**" (* "*") (abstract_pointer_declarator "*" (* "*")))) () ")") (parenthesized_expression "(puVar2 + -0x5da8)" (( "(") (binary_expression "puVar2 + -0x5da8" (identifier "puVar2") (+ "+") (number_literal "-0x5da8")) () ")"))))) (; ";")) (expression_statement "piVar1 = (int *)(PTR_DAT_0015b5d8 + -0x4100);" (assignment_expression "piVar1 = (int *)(PTR_DAT_0015b5d8 + -0x4100)" (identifier "piVar1") (= "=") (cast_expression "(int *)(PTR_DAT_0015b5d8 + -0x4100)" (( "(") (type_descriptor "int *" (primitive_type "int") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "(PTR_DAT_0015b5d8 + -0x4100)" (( "(") (binary_expression "PTR_DAT_0015b5d8 + -0x4100" (identifier "PTR_DAT_0015b5d8") (+ "+") (number_literal "-0x4100")) () ")")))) (; ";")) (expression_statement "*(int *)(PTR_DAT_0015b5d8 + -0x4124) = *(int *)(PTR_DAT_0015b5d8 + -0x4124) - iVar4;" (assignment_expression "*(int *)(PTR_DAT_0015b5d8 + -0x4124) = *(int *)(PTR_DAT_0015b5d8 + -0x4124) - iVar4" (pointer_expression "*(int *)(PTR_DAT_0015b5d8 + -0x4124)" (* "*") (cast_expression "(int *)(PTR_DAT_0015b5d8 + -0x4124)" (( "(") (type_descriptor "int *" (primitive_type "int") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "(PTR_DAT_0015b5d8 + -0x4124)" (( "(") (binary_expression "PTR_DAT_0015b5d8 + -0x4124" (identifier "PTR_DAT_0015b5d8") (+ "+") (number_literal "-0x4124")) () ")")))) (= "=") (binary_expression "*(int *)(PTR_DAT_0015b5d8 + -0x4124) - iVar4" (pointer_expression "*(int *)(PTR_DAT_0015b5d8 + -0x4124)" (* "*") (cast_expression "(int *)(PTR_DAT_0015b5d8 + -0x4124)" (( "(") (type_descriptor "int *" (primitive_type "int") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "(PTR_DAT_0015b5d8 + -0x4124)" (( "(") (binary_expression "PTR_DAT_0015b5d8 + -0x4124" (identifier "PTR_DAT_0015b5d8") (+ "+") (number_literal "-0x4124")) () ")")))) (- "-") (identifier "iVar4"))) (; ";")) (expression_statement "*(int *)(puVar3 + -0x4100) = *piVar1 + -1;" (assignment_expression "*(int *)(puVar3 + -0x4100) = *piVar1 + -1" (pointer_expression "*(int *)(puVar3 + -0x4100)" (* "*") (cast_expression "(int *)(puVar3 + -0x4100)" (( "(") (type_descriptor "int *" (primitive_type "int") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "(puVar3 + -0x4100)" (( "(") (binary_expression "puVar3 + -0x4100" (identifier "puVar3") (+ "+") (number_literal "-0x4100")) () ")")))) (= "=") (binary_expression "*piVar1 + -1" (pointer_expression "*piVar1" (* "*") (identifier "piVar1")) (+ "+") (number_literal "-1"))) (; ";")) (expression_statement "(*pcVar5)(param_1);" (call_expression "(*pcVar5)(param_1)" (parenthesized_expression "(*pcVar5)" (( "(") (pointer_expression "*pcVar5" (* "*") (identifier "pcVar5")) () ")")) (argument_list "(param_1)" (( "(") (identifier "param_1") () ")"))) (; ";")) (expression_statement "sqlite3_mutex_leave(*(undefined4 *)(puVar2 + -0x4148));" (call_expression "sqlite3_mutex_leave(*(undefined4 *)(puVar2 + -0x4148))" (identifier "sqlite3_mutex_leave") (argument_list "(*(undefined4 *)(puVar2 + -0x4148))" (( "(") (pointer_expression "*(undefined4 *)(puVar2 + -0x4148)" (* "*") (cast_expression "(undefined4 *)(puVar2 + -0x4148)" (( "(") (type_descriptor "undefined4 *" (type_identifier "undefined4") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "(puVar2 + -0x4148)" (( "(") (binary_expression "puVar2 + -0x4148" (identifier "puVar2") (+ "+") (number_literal "-0x4148")) () ")")))) () ")"))) (; ";")) (return_statement "return;" (return "return") (; ";")) (} "}")))
(translation_unit (function_definition type: (primitive_type) declarator: (function_declarator declarator: (identifier) parameters: (parameter_list (parameter_declaration type: (primitive_type) declarator: (identifier)))) body: (compound_statement (declaration type: (primitive_type) declarator: (pointer_declarator declarator: (identifier))) (declaration type: (type_identifier) declarator: (pointer_declarator declarator: (identifier))) (declaration type: (type_identifier) declarator: (pointer_declarator declarator: (identifier))) (declaration type: (primitive_type) declarator: (identifier)) (declaration type: (type_identifier) declarator: (pointer_declarator declarator: (identifier))) (expression_statement (assignment_expression left: (identifier) right: (identifier))) (if_statement condition: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal))) consequence: (compound_statement (return_statement))) (if_statement condition: (parenthesized_expression (binary_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: (number_literal))) consequence: (compound_statement (expression_statement (call_expression function: (parenthesized_expression (pointer_expression argument: (pointer_expression argument: (cast_expression type: (type_descriptor type: (type_identifier) declarator: (abstract_pointer_declarator declarator: (abstract_pointer_declarator))) value: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal))))))) arguments: (argument_list))) (return_statement))) (expression_statement (call_expression function: (identifier) arguments: (argument_list (pointer_expression argument: (cast_expression type: (type_descriptor type: (type_identifier) declarator: (abstract_pointer_declarator)) value: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal)))))))) (expression_statement (assignment_expression left: (identifier) right: (call_expression function: (parenthesized_expression (pointer_expression argument: (pointer_expression argument: (cast_expression type: (type_descriptor type: (type_identifier) declarator: (abstract_pointer_declarator declarator: (abstract_pointer_declarator))) value: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal))))))) arguments: (argument_list (identifier))))) (expression_statement (assignment_expression left: (identifier) right: (identifier))) (expression_statement (assignment_expression left: (identifier) right: (pointer_expression argument: (cast_expression type: (type_descriptor type: (type_identifier) declarator: (abstract_pointer_declarator declarator: (abstract_pointer_declarator))) value: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal))))))) (expression_statement (assignment_expression left: (identifier) right: (cast_expression type: (type_descriptor type: (primitive_type) declarator: (abstract_pointer_declarator)) value: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal)))))) (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: (binary_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: (primitive_type) declarator: (abstract_pointer_declarator)) value: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal))))) right: (binary_expression left: (pointer_expression argument: (identifier)) right: (number_literal)))) (expression_statement (call_expression function: (parenthesized_expression (pointer_expression argument: (identifier))) arguments: (argument_list (identifier)))) (expression_statement (call_expression function: (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 *piVar1;
  undefined *puVar2;
  undefined *puVar3;
  int iVar4;
  code *pcVar5;
  
  puVar2 = PTR_DAT_0015b5d8;
  if (param_1 == 0) {
    return;
  }
  if (*(int *)(PTR_DAT_0015b5d8 + -0x5dd8) == 0) {
                    /* WARNING: Could not recover jumptable at 0x0002a848. Too many branches */
                    /* WARNING: Treating indirect jump as call */
    (**(code **)(PTR_DAT_0015b5d8 + -0x5da8))();
    return;
  }
  sqlite3_mutex_enter(*(undefined4 *)(PTR_DAT_0015b5d8 + -0x4148));
  iVar4 = (**(code **)(puVar2 + -0x5da0))(param_1);
  puVar3 = PTR_DAT_0015b5d8;
  pcVar5 = *(code **)(puVar2 + -0x5da8);
  piVar1 = (int *)(PTR_DAT_0015b5d8 + -0x4100);
  *(int *)(PTR_DAT_0015b5d8 + -0x4124) = *(int *)(PTR_DAT_0015b5d8 + -0x4124) - iVar4;
  *(int *)(puVar3 + -0x4100) = *piVar1 + -1;
  (*pcVar5)(param_1);
  sqlite3_mutex_leave(*(undefined4 *)(puVar2 + -0x4148));
  return;
}

