
_Bool bc_args_exceed_testing_limit(char **argv)

{
  int iVar1;
  bool bVar2;
  size_t quantity;
  size_t quantity_00;
  
  quantity = 0;
  if (*argv == (char *)0x0) {
    quantity_00 = 0;
  }
  else {
    quantity_00 = 0;
    do {
      quantity = quantity + 1;
      iVar1 = (*(code *)PTR_strlen_00079b1c)();
      argv = argv + 1;
      quantity_00 = quantity_00 + iVar1;
    } while (*argv != (char *)0x0);
  }
  iVar1 = exceeds(PTR_s_nt0_000795b8 + 0x392c,quantity);
  if (iVar1 == 0) {
    iVar1 = exceeds(PTR_s_nt0_000795b8 + 0x3954,quantity_00);
    bVar2 = iVar1 != 0;
  }
  else {
    bVar2 = true;
  }
  return bVar2;
}



bool bc_args_exceed_testing_limit(int *param_1)

{
  int iVar1;
  bool bVar2;
  int iVar3;
  int iVar4;
  
  iVar3 = 0;
  if (*param_1 == 0) {
    iVar4 = 0;
  }
  else {
    iVar4 = 0;
    do {
      iVar3 = iVar3 + 1;
      iVar1 = (*(code *)PTR_strlen_00079b1c)();
      param_1 = param_1 + 1;
      iVar4 = iVar4 + iVar1;
    } while (*param_1 != 0);
  }
  iVar3 = FUN_00028848(PTR_s_nt0_000795b8 + 0x392c,iVar3);
  if (iVar3 == 0) {
    iVar3 = FUN_00028848(PTR_s_nt0_000795b8 + 0x3954,iVar4);
    bVar2 = iVar3 != 0;
  }
  else {
    bVar2 = true;
  }
  return bVar2;
}


lui gp,0x5
addiu gp,gp,0x7fb0
addu gp,gp,t9
addiu sp,sp,-0x28
sw ra,0x24(sp)
sw s2,0x20(sp)
sw s1,0x1c(sp)
sw s0,0x18(sp)
sw gp,0x10(sp)
or s0,a0,zero
lw a0,0x0(a0)
beq a0,zero,0x00029670
_or s1,zero,zero
or s2,zero,zero
addiu s1,s1,0x1
lw t9,-0x7a64(gp)
jalr t9
_nop
lw gp,0x10(sp)
addiu s0,s0,0x4
lw a0,0x0(s0)
bne a0,zero,0x00029608
_addu s2,s2,v0
or a1,s1,zero
lw a0,-0x7fc8(gp)
addiu a0,a0,0x392c
lw t9,-0x7d38(gp)
addiu t9,t9,-0x77b8
bal 0x00028848
_nop
lw gp,0x10(sp)
beq v0,zero,0x00029678
_or a1,s2,zero
li v0,0x1
lw ra,0x24(sp)
lw s2,0x20(sp)
lw s1,0x1c(sp)
lw s0,0x18(sp)
jr ra
_addiu sp,sp,0x28
b 0x0002962c
_or s2,zero,zero
lw a0,-0x7fc8(gp)
addiu a0,a0,0x3954
lw t9,-0x7d38(gp)
addiu t9,t9,-0x77b8
bal 0x00028848
_nop
lw gp,0x10(sp)
b 0x00029658
_sltu v0,zero,v0
(translation_unit "bool bc_args_exceed_testing_limit(int *param_1)\n\n{\n  int iVar1;\n  bool bVar2;\n  int iVar3;\n  int iVar4;\n  \n  iVar3 = 0;\n  if (*param_1 == 0) {\n    iVar4 = 0;\n  }\n  else {\n    iVar4 = 0;\n    do {\n      iVar3 = iVar3 + 1;\n      iVar1 = (*(code *)PTR_strlen_00079b1c)();\n      param_1 = param_1 + 1;\n      iVar4 = iVar4 + iVar1;\n    } while (*param_1 != 0);\n  }\n  iVar3 = FUN_00028848(PTR_s_nt0_000795b8 + 0x392c,iVar3);\n  if (iVar3 == 0) {\n    iVar3 = FUN_00028848(PTR_s_nt0_000795b8 + 0x3954,iVar4);\n    bVar2 = iVar3 != 0;\n  }\n  else {\n    bVar2 = true;\n  }\n  return bVar2;\n}\n\n" (function_definition "bool bc_args_exceed_testing_limit(int *param_1)\n\n{\n  int iVar1;\n  bool bVar2;\n  int iVar3;\n  int iVar4;\n  \n  iVar3 = 0;\n  if (*param_1 == 0) {\n    iVar4 = 0;\n  }\n  else {\n    iVar4 = 0;\n    do {\n      iVar3 = iVar3 + 1;\n      iVar1 = (*(code *)PTR_strlen_00079b1c)();\n      param_1 = param_1 + 1;\n      iVar4 = iVar4 + iVar1;\n    } while (*param_1 != 0);\n  }\n  iVar3 = FUN_00028848(PTR_s_nt0_000795b8 + 0x392c,iVar3);\n  if (iVar3 == 0) {\n    iVar3 = FUN_00028848(PTR_s_nt0_000795b8 + 0x3954,iVar4);\n    bVar2 = iVar3 != 0;\n  }\n  else {\n    bVar2 = true;\n  }\n  return bVar2;\n}" primitive_type (function_declarator "bc_args_exceed_testing_limit(int *param_1)" identifier (parameter_list "(int *param_1)" ( (parameter_declaration "int *param_1" primitive_type (pointer_declarator "*param_1" * identifier)) ))) (compound_statement "{\n  int iVar1;\n  bool bVar2;\n  int iVar3;\n  int iVar4;\n  \n  iVar3 = 0;\n  if (*param_1 == 0) {\n    iVar4 = 0;\n  }\n  else {\n    iVar4 = 0;\n    do {\n      iVar3 = iVar3 + 1;\n      iVar1 = (*(code *)PTR_strlen_00079b1c)();\n      param_1 = param_1 + 1;\n      iVar4 = iVar4 + iVar1;\n    } while (*param_1 != 0);\n  }\n  iVar3 = FUN_00028848(PTR_s_nt0_000795b8 + 0x392c,iVar3);\n  if (iVar3 == 0) {\n    iVar3 = FUN_00028848(PTR_s_nt0_000795b8 + 0x3954,iVar4);\n    bVar2 = iVar3 != 0;\n  }\n  else {\n    bVar2 = true;\n  }\n  return bVar2;\n}" { (declaration "int iVar1;" primitive_type identifier ;) (declaration "bool bVar2;" primitive_type identifier ;) (declaration "int iVar3;" primitive_type identifier ;) (declaration "int iVar4;" primitive_type identifier ;) (expression_statement "iVar3 = 0;" (assignment_expression "iVar3 = 0" identifier = number_literal) ;) (if_statement "if (*param_1 == 0) {\n    iVar4 = 0;\n  }\n  else {\n    iVar4 = 0;\n    do {\n      iVar3 = iVar3 + 1;\n      iVar1 = (*(code *)PTR_strlen_00079b1c)();\n      param_1 = param_1 + 1;\n      iVar4 = iVar4 + iVar1;\n    } while (*param_1 != 0);\n  }" if (parenthesized_expression "(*param_1 == 0)" ( (binary_expression "*param_1 == 0" (pointer_expression "*param_1" * identifier) == number_literal) )) (compound_statement "{\n    iVar4 = 0;\n  }" { (expression_statement "iVar4 = 0;" (assignment_expression "iVar4 = 0" identifier = number_literal) ;) }) (else_clause "else {\n    iVar4 = 0;\n    do {\n      iVar3 = iVar3 + 1;\n      iVar1 = (*(code *)PTR_strlen_00079b1c)();\n      param_1 = param_1 + 1;\n      iVar4 = iVar4 + iVar1;\n    } while (*param_1 != 0);\n  }" else (compound_statement "{\n    iVar4 = 0;\n    do {\n      iVar3 = iVar3 + 1;\n      iVar1 = (*(code *)PTR_strlen_00079b1c)();\n      param_1 = param_1 + 1;\n      iVar4 = iVar4 + iVar1;\n    } while (*param_1 != 0);\n  }" { (expression_statement "iVar4 = 0;" (assignment_expression "iVar4 = 0" identifier = number_literal) ;) (do_statement "do {\n      iVar3 = iVar3 + 1;\n      iVar1 = (*(code *)PTR_strlen_00079b1c)();\n      param_1 = param_1 + 1;\n      iVar4 = iVar4 + iVar1;\n    } while (*param_1 != 0);" do (compound_statement "{\n      iVar3 = iVar3 + 1;\n      iVar1 = (*(code *)PTR_strlen_00079b1c)();\n      param_1 = param_1 + 1;\n      iVar4 = iVar4 + iVar1;\n    }" { (expression_statement "iVar3 = iVar3 + 1;" (assignment_expression "iVar3 = iVar3 + 1" identifier = (binary_expression "iVar3 + 1" identifier + number_literal)) ;) (expression_statement "iVar1 = (*(code *)PTR_strlen_00079b1c)();" (assignment_expression "iVar1 = (*(code *)PTR_strlen_00079b1c)()" identifier = (call_expression "(*(code *)PTR_strlen_00079b1c)()" (parenthesized_expression "(*(code *)PTR_strlen_00079b1c)" ( (pointer_expression "*(code *)PTR_strlen_00079b1c" * (cast_expression "(code *)PTR_strlen_00079b1c" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) )) (argument_list "()" ( )))) ;) (expression_statement "param_1 = param_1 + 1;" (assignment_expression "param_1 = param_1 + 1" identifier = (binary_expression "param_1 + 1" identifier + number_literal)) ;) (expression_statement "iVar4 = iVar4 + iVar1;" (assignment_expression "iVar4 = iVar4 + iVar1" identifier = (binary_expression "iVar4 + iVar1" identifier + identifier)) ;) }) while (parenthesized_expression "(*param_1 != 0)" ( (binary_expression "*param_1 != 0" (pointer_expression "*param_1" * identifier) != number_literal) )) ;) }))) (expression_statement "iVar3 = FUN_00028848(PTR_s_nt0_000795b8 + 0x392c,iVar3);" (assignment_expression "iVar3 = FUN_00028848(PTR_s_nt0_000795b8 + 0x392c,iVar3)" identifier = (call_expression "FUN_00028848(PTR_s_nt0_000795b8 + 0x392c,iVar3)" identifier (argument_list "(PTR_s_nt0_000795b8 + 0x392c,iVar3)" ( (binary_expression "PTR_s_nt0_000795b8 + 0x392c" identifier + number_literal) , identifier )))) ;) (if_statement "if (iVar3 == 0) {\n    iVar3 = FUN_00028848(PTR_s_nt0_000795b8 + 0x3954,iVar4);\n    bVar2 = iVar3 != 0;\n  }\n  else {\n    bVar2 = true;\n  }" if (parenthesized_expression "(iVar3 == 0)" ( (binary_expression "iVar3 == 0" identifier == number_literal) )) (compound_statement "{\n    iVar3 = FUN_00028848(PTR_s_nt0_000795b8 + 0x3954,iVar4);\n    bVar2 = iVar3 != 0;\n  }" { (expression_statement "iVar3 = FUN_00028848(PTR_s_nt0_000795b8 + 0x3954,iVar4);" (assignment_expression "iVar3 = FUN_00028848(PTR_s_nt0_000795b8 + 0x3954,iVar4)" identifier = (call_expression "FUN_00028848(PTR_s_nt0_000795b8 + 0x3954,iVar4)" identifier (argument_list "(PTR_s_nt0_000795b8 + 0x3954,iVar4)" ( (binary_expression "PTR_s_nt0_000795b8 + 0x3954" identifier + number_literal) , identifier )))) ;) (expression_statement "bVar2 = iVar3 != 0;" (assignment_expression "bVar2 = iVar3 != 0" identifier = (binary_expression "iVar3 != 0" identifier != number_literal)) ;) }) (else_clause "else {\n    bVar2 = true;\n  }" else (compound_statement "{\n    bVar2 = true;\n  }" { (expression_statement "bVar2 = true;" (assignment_expression "bVar2 = true" identifier = true) ;) }))) (return_statement "return bVar2;" return identifier ;) })))
(translation_unit "_Bool bc_args_exceed_testing_limit(char **argv)\n\n{\n  int iVar1;\n  bool bVar2;\n  size_t quantity;\n  size_t quantity_00;\n  \n  quantity = 0;\n  if (*argv == (char *)0x0) {\n    quantity_00 = 0;\n  }\n  else {\n    quantity_00 = 0;\n    do {\n      quantity = quantity + 1;\n      iVar1 = (*(code *)PTR_strlen_00079b1c)();\n      argv = argv + 1;\n      quantity_00 = quantity_00 + iVar1;\n    } while (*argv != (char *)0x0);\n  }\n  iVar1 = exceeds(PTR_s_nt0_000795b8 + 0x392c,quantity);\n  if (iVar1 == 0) {\n    iVar1 = exceeds(PTR_s_nt0_000795b8 + 0x3954,quantity_00);\n    bVar2 = iVar1 != 0;\n  }\n  else {\n    bVar2 = true;\n  }\n  return bVar2;\n}\n\n" (function_definition "_Bool bc_args_exceed_testing_limit(char **argv)\n\n{\n  int iVar1;\n  bool bVar2;\n  size_t quantity;\n  size_t quantity_00;\n  \n  quantity = 0;\n  if (*argv == (char *)0x0) {\n    quantity_00 = 0;\n  }\n  else {\n    quantity_00 = 0;\n    do {\n      quantity = quantity + 1;\n      iVar1 = (*(code *)PTR_strlen_00079b1c)();\n      argv = argv + 1;\n      quantity_00 = quantity_00 + iVar1;\n    } while (*argv != (char *)0x0);\n  }\n  iVar1 = exceeds(PTR_s_nt0_000795b8 + 0x392c,quantity);\n  if (iVar1 == 0) {\n    iVar1 = exceeds(PTR_s_nt0_000795b8 + 0x3954,quantity_00);\n    bVar2 = iVar1 != 0;\n  }\n  else {\n    bVar2 = true;\n  }\n  return bVar2;\n}" type_identifier (function_declarator "bc_args_exceed_testing_limit(char **argv)" identifier (parameter_list "(char **argv)" ( (parameter_declaration "char **argv" primitive_type (pointer_declarator "**argv" * (pointer_declarator "*argv" * identifier))) ))) (compound_statement "{\n  int iVar1;\n  bool bVar2;\n  size_t quantity;\n  size_t quantity_00;\n  \n  quantity = 0;\n  if (*argv == (char *)0x0) {\n    quantity_00 = 0;\n  }\n  else {\n    quantity_00 = 0;\n    do {\n      quantity = quantity + 1;\n      iVar1 = (*(code *)PTR_strlen_00079b1c)();\n      argv = argv + 1;\n      quantity_00 = quantity_00 + iVar1;\n    } while (*argv != (char *)0x0);\n  }\n  iVar1 = exceeds(PTR_s_nt0_000795b8 + 0x392c,quantity);\n  if (iVar1 == 0) {\n    iVar1 = exceeds(PTR_s_nt0_000795b8 + 0x3954,quantity_00);\n    bVar2 = iVar1 != 0;\n  }\n  else {\n    bVar2 = true;\n  }\n  return bVar2;\n}" { (declaration "int iVar1;" primitive_type identifier ;) (declaration "bool bVar2;" primitive_type identifier ;) (declaration "size_t quantity;" primitive_type identifier ;) (declaration "size_t quantity_00;" primitive_type identifier ;) (expression_statement "quantity = 0;" (assignment_expression "quantity = 0" identifier = number_literal) ;) (if_statement "if (*argv == (char *)0x0) {\n    quantity_00 = 0;\n  }\n  else {\n    quantity_00 = 0;\n    do {\n      quantity = quantity + 1;\n      iVar1 = (*(code *)PTR_strlen_00079b1c)();\n      argv = argv + 1;\n      quantity_00 = quantity_00 + iVar1;\n    } while (*argv != (char *)0x0);\n  }" if (parenthesized_expression "(*argv == (char *)0x0)" ( (binary_expression "*argv == (char *)0x0" (pointer_expression "*argv" * identifier) == (cast_expression "(char *)0x0" ( (type_descriptor "char *" primitive_type (abstract_pointer_declarator "*" *)) ) number_literal)) )) (compound_statement "{\n    quantity_00 = 0;\n  }" { (expression_statement "quantity_00 = 0;" (assignment_expression "quantity_00 = 0" identifier = number_literal) ;) }) (else_clause "else {\n    quantity_00 = 0;\n    do {\n      quantity = quantity + 1;\n      iVar1 = (*(code *)PTR_strlen_00079b1c)();\n      argv = argv + 1;\n      quantity_00 = quantity_00 + iVar1;\n    } while (*argv != (char *)0x0);\n  }" else (compound_statement "{\n    quantity_00 = 0;\n    do {\n      quantity = quantity + 1;\n      iVar1 = (*(code *)PTR_strlen_00079b1c)();\n      argv = argv + 1;\n      quantity_00 = quantity_00 + iVar1;\n    } while (*argv != (char *)0x0);\n  }" { (expression_statement "quantity_00 = 0;" (assignment_expression "quantity_00 = 0" identifier = number_literal) ;) (do_statement "do {\n      quantity = quantity + 1;\n      iVar1 = (*(code *)PTR_strlen_00079b1c)();\n      argv = argv + 1;\n      quantity_00 = quantity_00 + iVar1;\n    } while (*argv != (char *)0x0);" do (compound_statement "{\n      quantity = quantity + 1;\n      iVar1 = (*(code *)PTR_strlen_00079b1c)();\n      argv = argv + 1;\n      quantity_00 = quantity_00 + iVar1;\n    }" { (expression_statement "quantity = quantity + 1;" (assignment_expression "quantity = quantity + 1" identifier = (binary_expression "quantity + 1" identifier + number_literal)) ;) (expression_statement "iVar1 = (*(code *)PTR_strlen_00079b1c)();" (assignment_expression "iVar1 = (*(code *)PTR_strlen_00079b1c)()" identifier = (call_expression "(*(code *)PTR_strlen_00079b1c)()" (parenthesized_expression "(*(code *)PTR_strlen_00079b1c)" ( (pointer_expression "*(code *)PTR_strlen_00079b1c" * (cast_expression "(code *)PTR_strlen_00079b1c" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) )) (argument_list "()" ( )))) ;) (expression_statement "argv = argv + 1;" (assignment_expression "argv = argv + 1" identifier = (binary_expression "argv + 1" identifier + number_literal)) ;) (expression_statement "quantity_00 = quantity_00 + iVar1;" (assignment_expression "quantity_00 = quantity_00 + iVar1" identifier = (binary_expression "quantity_00 + iVar1" identifier + identifier)) ;) }) while (parenthesized_expression "(*argv != (char *)0x0)" ( (binary_expression "*argv != (char *)0x0" (pointer_expression "*argv" * identifier) != (cast_expression "(char *)0x0" ( (type_descriptor "char *" primitive_type (abstract_pointer_declarator "*" *)) ) number_literal)) )) ;) }))) (expression_statement "iVar1 = exceeds(PTR_s_nt0_000795b8 + 0x392c,quantity);" (assignment_expression "iVar1 = exceeds(PTR_s_nt0_000795b8 + 0x392c,quantity)" identifier = (call_expression "exceeds(PTR_s_nt0_000795b8 + 0x392c,quantity)" identifier (argument_list "(PTR_s_nt0_000795b8 + 0x392c,quantity)" ( (binary_expression "PTR_s_nt0_000795b8 + 0x392c" identifier + number_literal) , identifier )))) ;) (if_statement "if (iVar1 == 0) {\n    iVar1 = exceeds(PTR_s_nt0_000795b8 + 0x3954,quantity_00);\n    bVar2 = iVar1 != 0;\n  }\n  else {\n    bVar2 = true;\n  }" if (parenthesized_expression "(iVar1 == 0)" ( (binary_expression "iVar1 == 0" identifier == number_literal) )) (compound_statement "{\n    iVar1 = exceeds(PTR_s_nt0_000795b8 + 0x3954,quantity_00);\n    bVar2 = iVar1 != 0;\n  }" { (expression_statement "iVar1 = exceeds(PTR_s_nt0_000795b8 + 0x3954,quantity_00);" (assignment_expression "iVar1 = exceeds(PTR_s_nt0_000795b8 + 0x3954,quantity_00)" identifier = (call_expression "exceeds(PTR_s_nt0_000795b8 + 0x3954,quantity_00)" identifier (argument_list "(PTR_s_nt0_000795b8 + 0x3954,quantity_00)" ( (binary_expression "PTR_s_nt0_000795b8 + 0x3954" identifier + number_literal) , identifier )))) ;) (expression_statement "bVar2 = iVar1 != 0;" (assignment_expression "bVar2 = iVar1 != 0" identifier = (binary_expression "iVar1 != 0" identifier != number_literal)) ;) }) (else_clause "else {\n    bVar2 = true;\n  }" else (compound_statement "{\n    bVar2 = true;\n  }" { (expression_statement "bVar2 = true;" (assignment_expression "bVar2 = true" identifier = true) ;) }))) (return_statement "return bVar2;" return identifier ;) })))
(translation_unit "bool bc_args_exceed_testing_limit(int *param_1)\n\n{\n  int iVar1;\n  bool bVar2;\n  int iVar3;\n  int iVar4;\n  \n  iVar3 = 0;\n  if (*param_1 == 0) {\n    iVar4 = 0;\n  }\n  else {\n    iVar4 = 0;\n    do {\n      iVar3 = iVar3 + 1;\n      iVar1 = (*(code *)PTR_strlen_00079b1c)();\n      param_1 = param_1 + 1;\n      iVar4 = iVar4 + iVar1;\n    } while (*param_1 != 0);\n  }\n  iVar3 = FUN_00028848(PTR_s_nt0_000795b8 + 0x392c,iVar3);\n  if (iVar3 == 0) {\n    iVar3 = FUN_00028848(PTR_s_nt0_000795b8 + 0x3954,iVar4);\n    bVar2 = iVar3 != 0;\n  }\n  else {\n    bVar2 = true;\n  }\n  return bVar2;\n}\n\n" (function_definition "bool bc_args_exceed_testing_limit(int *param_1)\n\n{\n  int iVar1;\n  bool bVar2;\n  int iVar3;\n  int iVar4;\n  \n  iVar3 = 0;\n  if (*param_1 == 0) {\n    iVar4 = 0;\n  }\n  else {\n    iVar4 = 0;\n    do {\n      iVar3 = iVar3 + 1;\n      iVar1 = (*(code *)PTR_strlen_00079b1c)();\n      param_1 = param_1 + 1;\n      iVar4 = iVar4 + iVar1;\n    } while (*param_1 != 0);\n  }\n  iVar3 = FUN_00028848(PTR_s_nt0_000795b8 + 0x392c,iVar3);\n  if (iVar3 == 0) {\n    iVar3 = FUN_00028848(PTR_s_nt0_000795b8 + 0x3954,iVar4);\n    bVar2 = iVar3 != 0;\n  }\n  else {\n    bVar2 = true;\n  }\n  return bVar2;\n}" primitive_type (function_declarator "bc_args_exceed_testing_limit(int *param_1)" identifier (parameter_list "(int *param_1)" ( (parameter_declaration "int *param_1" primitive_type (pointer_declarator "*param_1" * identifier)) ))) (compound_statement "{\n  int iVar1;\n  bool bVar2;\n  int iVar3;\n  int iVar4;\n  \n  iVar3 = 0;\n  if (*param_1 == 0) {\n    iVar4 = 0;\n  }\n  else {\n    iVar4 = 0;\n    do {\n      iVar3 = iVar3 + 1;\n      iVar1 = (*(code *)PTR_strlen_00079b1c)();\n      param_1 = param_1 + 1;\n      iVar4 = iVar4 + iVar1;\n    } while (*param_1 != 0);\n  }\n  iVar3 = FUN_00028848(PTR_s_nt0_000795b8 + 0x392c,iVar3);\n  if (iVar3 == 0) {\n    iVar3 = FUN_00028848(PTR_s_nt0_000795b8 + 0x3954,iVar4);\n    bVar2 = iVar3 != 0;\n  }\n  else {\n    bVar2 = true;\n  }\n  return bVar2;\n}" { (declaration "int iVar1;" primitive_type identifier ;) (declaration "bool bVar2;" primitive_type identifier ;) (declaration "int iVar3;" primitive_type identifier ;) (declaration "int iVar4;" primitive_type identifier ;) (expression_statement "iVar3 = 0;" (assignment_expression "iVar3 = 0" identifier = number_literal) ;) (if_statement "if (*param_1 == 0) {\n    iVar4 = 0;\n  }\n  else {\n    iVar4 = 0;\n    do {\n      iVar3 = iVar3 + 1;\n      iVar1 = (*(code *)PTR_strlen_00079b1c)();\n      param_1 = param_1 + 1;\n      iVar4 = iVar4 + iVar1;\n    } while (*param_1 != 0);\n  }" if (parenthesized_expression "(*param_1 == 0)" ( (binary_expression "*param_1 == 0" (pointer_expression "*param_1" * identifier) == number_literal) )) (compound_statement "{\n    iVar4 = 0;\n  }" { (expression_statement "iVar4 = 0;" (assignment_expression "iVar4 = 0" identifier = number_literal) ;) }) (else_clause "else {\n    iVar4 = 0;\n    do {\n      iVar3 = iVar3 + 1;\n      iVar1 = (*(code *)PTR_strlen_00079b1c)();\n      param_1 = param_1 + 1;\n      iVar4 = iVar4 + iVar1;\n    } while (*param_1 != 0);\n  }" else (compound_statement "{\n    iVar4 = 0;\n    do {\n      iVar3 = iVar3 + 1;\n      iVar1 = (*(code *)PTR_strlen_00079b1c)();\n      param_1 = param_1 + 1;\n      iVar4 = iVar4 + iVar1;\n    } while (*param_1 != 0);\n  }" { (expression_statement "iVar4 = 0;" (assignment_expression "iVar4 = 0" identifier = number_literal) ;) (do_statement "do {\n      iVar3 = iVar3 + 1;\n      iVar1 = (*(code *)PTR_strlen_00079b1c)();\n      param_1 = param_1 + 1;\n      iVar4 = iVar4 + iVar1;\n    } while (*param_1 != 0);" do (compound_statement "{\n      iVar3 = iVar3 + 1;\n      iVar1 = (*(code *)PTR_strlen_00079b1c)();\n      param_1 = param_1 + 1;\n      iVar4 = iVar4 + iVar1;\n    }" { (expression_statement "iVar3 = iVar3 + 1;" (assignment_expression "iVar3 = iVar3 + 1" identifier = (binary_expression "iVar3 + 1" identifier + number_literal)) ;) (expression_statement "iVar1 = (*(code *)PTR_strlen_00079b1c)();" (assignment_expression "iVar1 = (*(code *)PTR_strlen_00079b1c)()" identifier = (call_expression "(*(code *)PTR_strlen_00079b1c)()" (parenthesized_expression "(*(code *)PTR_strlen_00079b1c)" ( (pointer_expression "*(code *)PTR_strlen_00079b1c" * (cast_expression "(code *)PTR_strlen_00079b1c" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) )) (argument_list "()" ( )))) ;) (expression_statement "param_1 = param_1 + 1;" (assignment_expression "param_1 = param_1 + 1" identifier = (binary_expression "param_1 + 1" identifier + number_literal)) ;) (expression_statement "iVar4 = iVar4 + iVar1;" (assignment_expression "iVar4 = iVar4 + iVar1" identifier = (binary_expression "iVar4 + iVar1" identifier + identifier)) ;) }) while (parenthesized_expression "(*param_1 != 0)" ( (binary_expression "*param_1 != 0" (pointer_expression "*param_1" * identifier) != number_literal) )) ;) }))) (expression_statement "iVar3 = FUN_00028848(PTR_s_nt0_000795b8 + 0x392c,iVar3);" (assignment_expression "iVar3 = FUN_00028848(PTR_s_nt0_000795b8 + 0x392c,iVar3)" identifier = (call_expression "FUN_00028848(PTR_s_nt0_000795b8 + 0x392c,iVar3)" identifier (argument_list "(PTR_s_nt0_000795b8 + 0x392c,iVar3)" ( (binary_expression "PTR_s_nt0_000795b8 + 0x392c" identifier + number_literal) , identifier )))) ;) (if_statement "if (iVar3 == 0) {\n    iVar3 = FUN_00028848(PTR_s_nt0_000795b8 + 0x3954,iVar4);\n    bVar2 = iVar3 != 0;\n  }\n  else {\n    bVar2 = true;\n  }" if (parenthesized_expression "(iVar3 == 0)" ( (binary_expression "iVar3 == 0" identifier == number_literal) )) (compound_statement "{\n    iVar3 = FUN_00028848(PTR_s_nt0_000795b8 + 0x3954,iVar4);\n    bVar2 = iVar3 != 0;\n  }" { (expression_statement "iVar3 = FUN_00028848(PTR_s_nt0_000795b8 + 0x3954,iVar4);" (assignment_expression "iVar3 = FUN_00028848(PTR_s_nt0_000795b8 + 0x3954,iVar4)" identifier = (call_expression "FUN_00028848(PTR_s_nt0_000795b8 + 0x3954,iVar4)" identifier (argument_list "(PTR_s_nt0_000795b8 + 0x3954,iVar4)" ( (binary_expression "PTR_s_nt0_000795b8 + 0x3954" identifier + number_literal) , identifier )))) ;) (expression_statement "bVar2 = iVar3 != 0;" (assignment_expression "bVar2 = iVar3 != 0" identifier = (binary_expression "iVar3 != 0" identifier != number_literal)) ;) }) (else_clause "else {\n    bVar2 = true;\n  }" else (compound_statement "{\n    bVar2 = true;\n  }" { (expression_statement "bVar2 = true;" (assignment_expression "bVar2 = true" identifier = true) ;) }))) (return_statement "return bVar2;" return identifier ;) })))
(translation_unit (function_definition TYPE (function_declarator IDENT (parameter_list ( (parameter_declaration TYPE (pointer_declarator * IDENT)) ))) (compound_statement { (declaration TYPE IDENT ;) (declaration TYPE IDENT ;) (declaration TYPE IDENT ;) (declaration TYPE IDENT ;) (expression_statement (assignment_expression IDENT = LIT) ;) (if_statement if (parenthesized_expression ( (binary_expression (pointer_expression * IDENT) == LIT) )) (compound_statement { (expression_statement (assignment_expression IDENT = LIT) ;) }) (else_clause else (compound_statement { (expression_statement (assignment_expression IDENT = LIT) ;) (do_statement do (compound_statement { (expression_statement (assignment_expression IDENT = (binary_expression IDENT + LIT)) ;) (expression_statement (assignment_expression IDENT = (call_expression (parenthesized_expression ( (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) IDENT)) )) (argument_list ( )))) ;) (expression_statement (assignment_expression IDENT = (binary_expression IDENT + LIT)) ;) (expression_statement (assignment_expression IDENT = (binary_expression IDENT + IDENT)) ;) }) while (parenthesized_expression ( (binary_expression (pointer_expression * IDENT) != LIT) )) ;) }))) (expression_statement (assignment_expression IDENT = (call_expression IDENT (argument_list ( (binary_expression IDENT + LIT) , IDENT )))) ;) (if_statement if (parenthesized_expression ( (binary_expression IDENT == LIT) )) (compound_statement { (expression_statement (assignment_expression IDENT = (call_expression IDENT (argument_list ( (binary_expression IDENT + LIT) , IDENT )))) ;) (expression_statement (assignment_expression IDENT = (binary_expression IDENT != LIT)) ;) }) (else_clause else (compound_statement { (expression_statement (assignment_expression IDENT = BOOL) ;) }))) (return_statement return IDENT ;) })))
(function_definition "bool bc_args_exceed_testing_limit(int *param_1)\n\n{\n  int iVar1;\n  bool bVar2;\n  int iVar3;\n  int iVar4;\n  \n  iVar3 = 0;\n  if (*param_1 == 0) {\n    iVar4 = 0;\n  }\n  else {\n    iVar4 = 0;\n    do {\n      iVar3 = iVar3 + 1;\n      iVar1 = (*(code *)PTR_strlen_00079b1c)();\n      param_1 = param_1 + 1;\n      iVar4 = iVar4 + iVar1;\n    } while (*param_1 != 0);\n  }\n  iVar3 = FUN_00028848(PTR_s_nt0_000795b8 + 0x392c,iVar3);\n  if (iVar3 == 0) {\n    iVar3 = FUN_00028848(PTR_s_nt0_000795b8 + 0x3954,iVar4);\n    bVar2 = iVar3 != 0;\n  }\n  else {\n    bVar2 = true;\n  }\n  return bVar2;\n}" (primitive_type "bool") (function_declarator "bc_args_exceed_testing_limit(int *param_1)" (identifier "bc_args_exceed_testing_limit") (parameter_list "(int *param_1)" (( "(") (parameter_declaration "int *param_1" (primitive_type "int") (pointer_declarator "*param_1" (* "*") (identifier "param_1"))) () ")"))) (compound_statement "{\n  int iVar1;\n  bool bVar2;\n  int iVar3;\n  int iVar4;\n  \n  iVar3 = 0;\n  if (*param_1 == 0) {\n    iVar4 = 0;\n  }\n  else {\n    iVar4 = 0;\n    do {\n      iVar3 = iVar3 + 1;\n      iVar1 = (*(code *)PTR_strlen_00079b1c)();\n      param_1 = param_1 + 1;\n      iVar4 = iVar4 + iVar1;\n    } while (*param_1 != 0);\n  }\n  iVar3 = FUN_00028848(PTR_s_nt0_000795b8 + 0x392c,iVar3);\n  if (iVar3 == 0) {\n    iVar3 = FUN_00028848(PTR_s_nt0_000795b8 + 0x3954,iVar4);\n    bVar2 = iVar3 != 0;\n  }\n  else {\n    bVar2 = true;\n  }\n  return bVar2;\n}" ({ "{") (declaration "int iVar1;" (primitive_type "int") (identifier "iVar1") (; ";")) (declaration "bool bVar2;" (primitive_type "bool") (identifier "bVar2") (; ";")) (declaration "int iVar3;" (primitive_type "int") (identifier "iVar3") (; ";")) (declaration "int iVar4;" (primitive_type "int") (identifier "iVar4") (; ";")) (expression_statement "iVar3 = 0;" (assignment_expression "iVar3 = 0" (identifier "iVar3") (= "=") (number_literal "0")) (; ";")) (if_statement "if (*param_1 == 0) {\n    iVar4 = 0;\n  }\n  else {\n    iVar4 = 0;\n    do {\n      iVar3 = iVar3 + 1;\n      iVar1 = (*(code *)PTR_strlen_00079b1c)();\n      param_1 = param_1 + 1;\n      iVar4 = iVar4 + iVar1;\n    } while (*param_1 != 0);\n  }" (if "if") (parenthesized_expression "(*param_1 == 0)" (( "(") (binary_expression "*param_1 == 0" (pointer_expression "*param_1" (* "*") (identifier "param_1")) (== "==") (number_literal "0")) () ")")) (compound_statement "{\n    iVar4 = 0;\n  }" ({ "{") (expression_statement "iVar4 = 0;" (assignment_expression "iVar4 = 0" (identifier "iVar4") (= "=") (number_literal "0")) (; ";")) (} "}")) (else_clause "else {\n    iVar4 = 0;\n    do {\n      iVar3 = iVar3 + 1;\n      iVar1 = (*(code *)PTR_strlen_00079b1c)();\n      param_1 = param_1 + 1;\n      iVar4 = iVar4 + iVar1;\n    } while (*param_1 != 0);\n  }" (else "else") (compound_statement "{\n    iVar4 = 0;\n    do {\n      iVar3 = iVar3 + 1;\n      iVar1 = (*(code *)PTR_strlen_00079b1c)();\n      param_1 = param_1 + 1;\n      iVar4 = iVar4 + iVar1;\n    } while (*param_1 != 0);\n  }" ({ "{") (expression_statement "iVar4 = 0;" (assignment_expression "iVar4 = 0" (identifier "iVar4") (= "=") (number_literal "0")) (; ";")) (do_statement "do {\n      iVar3 = iVar3 + 1;\n      iVar1 = (*(code *)PTR_strlen_00079b1c)();\n      param_1 = param_1 + 1;\n      iVar4 = iVar4 + iVar1;\n    } while (*param_1 != 0);" (do "do") (compound_statement "{\n      iVar3 = iVar3 + 1;\n      iVar1 = (*(code *)PTR_strlen_00079b1c)();\n      param_1 = param_1 + 1;\n      iVar4 = iVar4 + iVar1;\n    }" ({ "{") (expression_statement "iVar3 = iVar3 + 1;" (assignment_expression "iVar3 = iVar3 + 1" (identifier "iVar3") (= "=") (binary_expression "iVar3 + 1" (identifier "iVar3") (+ "+") (number_literal "1"))) (; ";")) (expression_statement "iVar1 = (*(code *)PTR_strlen_00079b1c)();" (assignment_expression "iVar1 = (*(code *)PTR_strlen_00079b1c)()" (identifier "iVar1") (= "=") (call_expression "(*(code *)PTR_strlen_00079b1c)()" (parenthesized_expression "(*(code *)PTR_strlen_00079b1c)" (( "(") (pointer_expression "*(code *)PTR_strlen_00079b1c" (* "*") (cast_expression "(code *)PTR_strlen_00079b1c" (( "(") (type_descriptor "code *" (type_identifier "code") (abstract_pointer_declarator "*" (* "*"))) () ")") (identifier "PTR_strlen_00079b1c"))) () ")")) (argument_list "()" (( "(") () ")")))) (; ";")) (expression_statement "param_1 = param_1 + 1;" (assignment_expression "param_1 = param_1 + 1" (identifier "param_1") (= "=") (binary_expression "param_1 + 1" (identifier "param_1") (+ "+") (number_literal "1"))) (; ";")) (expression_statement "iVar4 = iVar4 + iVar1;" (assignment_expression "iVar4 = iVar4 + iVar1" (identifier "iVar4") (= "=") (binary_expression "iVar4 + iVar1" (identifier "iVar4") (+ "+") (identifier "iVar1"))) (; ";")) (} "}")) (while "while") (parenthesized_expression "(*param_1 != 0)" (( "(") (binary_expression "*param_1 != 0" (pointer_expression "*param_1" (* "*") (identifier "param_1")) (!= "!=") (number_literal "0")) () ")")) (; ";")) (} "}")))) (expression_statement "iVar3 = FUN_00028848(PTR_s_nt0_000795b8 + 0x392c,iVar3);" (assignment_expression "iVar3 = FUN_00028848(PTR_s_nt0_000795b8 + 0x392c,iVar3)" (identifier "iVar3") (= "=") (call_expression "FUN_00028848(PTR_s_nt0_000795b8 + 0x392c,iVar3)" (identifier "FUN_00028848") (argument_list "(PTR_s_nt0_000795b8 + 0x392c,iVar3)" (( "(") (binary_expression "PTR_s_nt0_000795b8 + 0x392c" (identifier "PTR_s_nt0_000795b8") (+ "+") (number_literal "0x392c")) (, ",") (identifier "iVar3") () ")")))) (; ";")) (if_statement "if (iVar3 == 0) {\n    iVar3 = FUN_00028848(PTR_s_nt0_000795b8 + 0x3954,iVar4);\n    bVar2 = iVar3 != 0;\n  }\n  else {\n    bVar2 = true;\n  }" (if "if") (parenthesized_expression "(iVar3 == 0)" (( "(") (binary_expression "iVar3 == 0" (identifier "iVar3") (== "==") (number_literal "0")) () ")")) (compound_statement "{\n    iVar3 = FUN_00028848(PTR_s_nt0_000795b8 + 0x3954,iVar4);\n    bVar2 = iVar3 != 0;\n  }" ({ "{") (expression_statement "iVar3 = FUN_00028848(PTR_s_nt0_000795b8 + 0x3954,iVar4);" (assignment_expression "iVar3 = FUN_00028848(PTR_s_nt0_000795b8 + 0x3954,iVar4)" (identifier "iVar3") (= "=") (call_expression "FUN_00028848(PTR_s_nt0_000795b8 + 0x3954,iVar4)" (identifier "FUN_00028848") (argument_list "(PTR_s_nt0_000795b8 + 0x3954,iVar4)" (( "(") (binary_expression "PTR_s_nt0_000795b8 + 0x3954" (identifier "PTR_s_nt0_000795b8") (+ "+") (number_literal "0x3954")) (, ",") (identifier "iVar4") () ")")))) (; ";")) (expression_statement "bVar2 = iVar3 != 0;" (assignment_expression "bVar2 = iVar3 != 0" (identifier "bVar2") (= "=") (binary_expression "iVar3 != 0" (identifier "iVar3") (!= "!=") (number_literal "0"))) (; ";")) (} "}")) (else_clause "else {\n    bVar2 = true;\n  }" (else "else") (compound_statement "{\n    bVar2 = true;\n  }" ({ "{") (expression_statement "bVar2 = true;" (assignment_expression "bVar2 = true" (identifier "bVar2") (= "=") (true "true")) (; ";")) (} "}")))) (return_statement "return bVar2;" (return "return") (identifier "bVar2") (; ";")) (} "}")))
(translation_unit (function_definition type: (primitive_type) declarator: (function_declarator declarator: (identifier) parameters: (parameter_list (parameter_declaration type: (primitive_type) declarator: (pointer_declarator declarator: (identifier))))) body: (compound_statement (declaration type: (primitive_type) declarator: (identifier)) (declaration type: (primitive_type) declarator: (identifier)) (declaration type: (primitive_type) declarator: (identifier)) (declaration type: (primitive_type) declarator: (identifier)) (expression_statement (assignment_expression left: (identifier) right: (number_literal))) (if_statement condition: (parenthesized_expression (binary_expression left: (pointer_expression argument: (identifier)) right: (number_literal))) consequence: (compound_statement (expression_statement (assignment_expression left: (identifier) right: (number_literal)))) alternative: (else_clause (compound_statement (expression_statement (assignment_expression left: (identifier) right: (number_literal))) (do_statement body: (compound_statement (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (identifier) right: (number_literal)))) (expression_statement (assignment_expression left: (identifier) right: (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)))) (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (identifier) right: (number_literal)))) (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (identifier) right: (identifier))))) condition: (parenthesized_expression (binary_expression left: (pointer_expression argument: (identifier)) right: (number_literal))))))) (expression_statement (assignment_expression left: (identifier) right: (call_expression function: (identifier) arguments: (argument_list (binary_expression left: (identifier) right: (number_literal)) (identifier))))) (if_statement condition: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal))) consequence: (compound_statement (expression_statement (assignment_expression left: (identifier) right: (call_expression function: (identifier) arguments: (argument_list (binary_expression left: (identifier) right: (number_literal)) (identifier))))) (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (identifier) right: (number_literal))))) alternative: (else_clause (compound_statement (expression_statement (assignment_expression left: (identifier) right: (true)))))) (return_statement (identifier)))))

bool MASKED(int *param_1)

{
  int iVar1;
  bool bVar2;
  int iVar3;
  int iVar4;
  
  iVar3 = 0;
  if (*param_1 == 0) {
    iVar4 = 0;
  }
  else {
    iVar4 = 0;
    do {
      iVar3 = iVar3 + 1;
      iVar1 = (*(code *)PTR_strlen_00079b1c)();
      param_1 = param_1 + 1;
      iVar4 = iVar4 + iVar1;
    } while (*param_1 != 0);
  }
  iVar3 = FUN_00028848(PTR_s_nt0_000795b8 + 0x392c,iVar3);
  if (iVar3 == 0) {
    iVar3 = FUN_00028848(PTR_s_nt0_000795b8 + 0x3954,iVar4);
    bVar2 = iVar3 != 0;
  }
  else {
    bVar2 = true;
  }
  return bVar2;
}

