
char * dh_validate_f(void *handle,Bignum f)

{
  undefined *puVar1;
  int iVar2;
  Bignum_conflict b;
  
  puVar1 = PTR_One_000ad888;
  iVar2 = bignum_cmp((Bignum_conflict)f,*(Bignum_conflict *)PTR_One_000ad888);
  if (0 < iVar2) {
    b = bigsub(*(Bignum_conflict *)((int)handle + 8),*(Bignum_conflict *)puVar1);
    bignum_cmp((Bignum_conflict)f,b);
                    /* WARNING: Subroutine does not return */
    freebn(b);
  }
  return PTR_DAT_000ad2c8 + 0x53d0;
}



undefined * dh_validate_f(int param_1,undefined4 param_2)

{
  undefined *puVar1;
  int iVar2;
  undefined4 uVar3;
  
  puVar1 = PTR_One_000ad888;
  iVar2 = bignum_cmp(param_2,*(undefined4 *)PTR_One_000ad888);
  if (iVar2 < 1) {
    return PTR_DAT_000ad2c8 + 0x53d0;
  }
  uVar3 = bigsub(*(undefined4 *)(param_1 + 8),*(undefined4 *)puVar1);
  iVar2 = bignum_cmp(param_2,uVar3);
  freebn(uVar3);
  if (-1 < iVar2) {
    return PTR_DAT_000ad2c8 + 0x53f0;
  }
  return (undefined *)0x0;
}


lui gp,0x6
addiu gp,gp,-0x321c
addu gp,gp,t9
addiu sp,sp,-0x28
lw t9,-0x7a2c(gp)
sw s1,0x1c(sp)
sw s2,0x20(sp)
or s2,a0,zero
sw s0,0x18(sp)
or a0,a1,zero
lw s1,-0x7a08(gp)
or s0,a1,zero
sw gp,0x10(sp)
sw ra,0x24(sp)
bal 0x000506e8
_lw a1,0x0(s1)
blez v0,0x00058574
_lw gp,0x10(sp)
lw t9,-0x7a0c(gp)
lw a1,0x0(s1)
bal 0x00051208
_lw a0,0x8(s2)
or a0,s0,zero
lw gp,0x10(sp)
or a1,v0,zero
lw t9,-0x7a2c(gp)
bal 0x000506e8
_or s0,v0,zero
or a0,s0,zero
lw gp,0x10(sp)
lw t9,-0x7b18(gp)
bal 0x0004f9d4
_or s0,v0,zero
bltz s0,0x00058558
_lw gp,0x10(sp)
lw ra,0x24(sp)
lw v0,-0x7fc8(gp)
lw s2,0x20(sp)
lw s1,0x1c(sp)
lw s0,0x18(sp)
addiu v0,v0,0x53f0
jr ra
_addiu sp,sp,0x28
lw ra,0x24(sp)
or v0,zero,zero
lw s2,0x20(sp)
lw s1,0x1c(sp)
lw s0,0x18(sp)
jr ra
_addiu sp,sp,0x28
lw ra,0x24(sp)
lw v0,-0x7fc8(gp)
lw s2,0x20(sp)
lw s1,0x1c(sp)
lw s0,0x18(sp)
addiu v0,v0,0x53d0
jr ra
_addiu sp,sp,0x28
(translation_unit "undefined * dh_validate_f(int param_1,undefined4 param_2)\n\n{\n  undefined *puVar1;\n  int iVar2;\n  undefined4 uVar3;\n  \n  puVar1 = PTR_One_000ad888;\n  iVar2 = bignum_cmp(param_2,*(undefined4 *)PTR_One_000ad888);\n  if (iVar2 < 1) {\n    return PTR_DAT_000ad2c8 + 0x53d0;\n  }\n  uVar3 = bigsub(*(undefined4 *)(param_1 + 8),*(undefined4 *)puVar1);\n  iVar2 = bignum_cmp(param_2,uVar3);\n  freebn(uVar3);\n  if (-1 < iVar2) {\n    return PTR_DAT_000ad2c8 + 0x53f0;\n  }\n  return (undefined *)0x0;\n}\n\n" (function_definition "undefined * dh_validate_f(int param_1,undefined4 param_2)\n\n{\n  undefined *puVar1;\n  int iVar2;\n  undefined4 uVar3;\n  \n  puVar1 = PTR_One_000ad888;\n  iVar2 = bignum_cmp(param_2,*(undefined4 *)PTR_One_000ad888);\n  if (iVar2 < 1) {\n    return PTR_DAT_000ad2c8 + 0x53d0;\n  }\n  uVar3 = bigsub(*(undefined4 *)(param_1 + 8),*(undefined4 *)puVar1);\n  iVar2 = bignum_cmp(param_2,uVar3);\n  freebn(uVar3);\n  if (-1 < iVar2) {\n    return PTR_DAT_000ad2c8 + 0x53f0;\n  }\n  return (undefined *)0x0;\n}" type_identifier (pointer_declarator "* dh_validate_f(int param_1,undefined4 param_2)" * (function_declarator "dh_validate_f(int param_1,undefined4 param_2)" identifier (parameter_list "(int param_1,undefined4 param_2)" ( (parameter_declaration "int param_1" primitive_type identifier) , (parameter_declaration "undefined4 param_2" type_identifier identifier) )))) (compound_statement "{\n  undefined *puVar1;\n  int iVar2;\n  undefined4 uVar3;\n  \n  puVar1 = PTR_One_000ad888;\n  iVar2 = bignum_cmp(param_2,*(undefined4 *)PTR_One_000ad888);\n  if (iVar2 < 1) {\n    return PTR_DAT_000ad2c8 + 0x53d0;\n  }\n  uVar3 = bigsub(*(undefined4 *)(param_1 + 8),*(undefined4 *)puVar1);\n  iVar2 = bignum_cmp(param_2,uVar3);\n  freebn(uVar3);\n  if (-1 < iVar2) {\n    return PTR_DAT_000ad2c8 + 0x53f0;\n  }\n  return (undefined *)0x0;\n}" { (declaration "undefined *puVar1;" type_identifier (pointer_declarator "*puVar1" * identifier) ;) (declaration "int iVar2;" primitive_type identifier ;) (declaration "undefined4 uVar3;" type_identifier identifier ;) (expression_statement "puVar1 = PTR_One_000ad888;" (assignment_expression "puVar1 = PTR_One_000ad888" identifier = identifier) ;) (expression_statement "iVar2 = bignum_cmp(param_2,*(undefined4 *)PTR_One_000ad888);" (assignment_expression "iVar2 = bignum_cmp(param_2,*(undefined4 *)PTR_One_000ad888)" identifier = (call_expression "bignum_cmp(param_2,*(undefined4 *)PTR_One_000ad888)" identifier (argument_list "(param_2,*(undefined4 *)PTR_One_000ad888)" ( identifier , (pointer_expression "*(undefined4 *)PTR_One_000ad888" * (cast_expression "(undefined4 *)PTR_One_000ad888" ( (type_descriptor "undefined4 *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) )))) ;) (if_statement "if (iVar2 < 1) {\n    return PTR_DAT_000ad2c8 + 0x53d0;\n  }" if (parenthesized_expression "(iVar2 < 1)" ( (binary_expression "iVar2 < 1" identifier < number_literal) )) (compound_statement "{\n    return PTR_DAT_000ad2c8 + 0x53d0;\n  }" { (return_statement "return PTR_DAT_000ad2c8 + 0x53d0;" return (binary_expression "PTR_DAT_000ad2c8 + 0x53d0" identifier + number_literal) ;) })) (expression_statement "uVar3 = bigsub(*(undefined4 *)(param_1 + 8),*(undefined4 *)puVar1);" (assignment_expression "uVar3 = bigsub(*(undefined4 *)(param_1 + 8),*(undefined4 *)puVar1)" identifier = (call_expression "bigsub(*(undefined4 *)(param_1 + 8),*(undefined4 *)puVar1)" identifier (argument_list "(*(undefined4 *)(param_1 + 8),*(undefined4 *)puVar1)" ( (pointer_expression "*(undefined4 *)(param_1 + 8)" * (cast_expression "(undefined4 *)(param_1 + 8)" ( (type_descriptor "undefined4 *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_1 + 8)" ( (binary_expression "param_1 + 8" identifier + number_literal) )))) , (pointer_expression "*(undefined4 *)puVar1" * (cast_expression "(undefined4 *)puVar1" ( (type_descriptor "undefined4 *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) )))) ;) (expression_statement "iVar2 = bignum_cmp(param_2,uVar3);" (assignment_expression "iVar2 = bignum_cmp(param_2,uVar3)" identifier = (call_expression "bignum_cmp(param_2,uVar3)" identifier (argument_list "(param_2,uVar3)" ( identifier , identifier )))) ;) (expression_statement "freebn(uVar3);" (call_expression "freebn(uVar3)" identifier (argument_list "(uVar3)" ( identifier ))) ;) (if_statement "if (-1 < iVar2) {\n    return PTR_DAT_000ad2c8 + 0x53f0;\n  }" if (parenthesized_expression "(-1 < iVar2)" ( (binary_expression "-1 < iVar2" number_literal < identifier) )) (compound_statement "{\n    return PTR_DAT_000ad2c8 + 0x53f0;\n  }" { (return_statement "return PTR_DAT_000ad2c8 + 0x53f0;" return (binary_expression "PTR_DAT_000ad2c8 + 0x53f0" identifier + number_literal) ;) })) (return_statement "return (undefined *)0x0;" return (cast_expression "(undefined *)0x0" ( (type_descriptor "undefined *" type_identifier (abstract_pointer_declarator "*" *)) ) number_literal) ;) })))
(translation_unit "char * dh_validate_f(void *handle,Bignum f)\n\n{\n  undefined *puVar1;\n  int iVar2;\n  Bignum_conflict b;\n  \n  puVar1 = PTR_One_000ad888;\n  iVar2 = bignum_cmp((Bignum_conflict)f,*(Bignum_conflict *)PTR_One_000ad888);\n  if (0 < iVar2) {\n    b = bigsub(*(Bignum_conflict *)((int)handle + 8),*(Bignum_conflict *)puVar1);\n    bignum_cmp((Bignum_conflict)f,b);\n                    /* WARNING: Subroutine does not return */\n    freebn(b);\n  }\n  return PTR_DAT_000ad2c8 + 0x53d0;\n}\n\n" (function_definition "char * dh_validate_f(void *handle,Bignum f)\n\n{\n  undefined *puVar1;\n  int iVar2;\n  Bignum_conflict b;\n  \n  puVar1 = PTR_One_000ad888;\n  iVar2 = bignum_cmp((Bignum_conflict)f,*(Bignum_conflict *)PTR_One_000ad888);\n  if (0 < iVar2) {\n    b = bigsub(*(Bignum_conflict *)((int)handle + 8),*(Bignum_conflict *)puVar1);\n    bignum_cmp((Bignum_conflict)f,b);\n                    /* WARNING: Subroutine does not return */\n    freebn(b);\n  }\n  return PTR_DAT_000ad2c8 + 0x53d0;\n}" primitive_type (pointer_declarator "* dh_validate_f(void *handle,Bignum f)" * (function_declarator "dh_validate_f(void *handle,Bignum f)" identifier (parameter_list "(void *handle,Bignum f)" ( (parameter_declaration "void *handle" primitive_type (pointer_declarator "*handle" * identifier)) , (parameter_declaration "Bignum f" type_identifier identifier) )))) (compound_statement "{\n  undefined *puVar1;\n  int iVar2;\n  Bignum_conflict b;\n  \n  puVar1 = PTR_One_000ad888;\n  iVar2 = bignum_cmp((Bignum_conflict)f,*(Bignum_conflict *)PTR_One_000ad888);\n  if (0 < iVar2) {\n    b = bigsub(*(Bignum_conflict *)((int)handle + 8),*(Bignum_conflict *)puVar1);\n    bignum_cmp((Bignum_conflict)f,b);\n                    /* WARNING: Subroutine does not return */\n    freebn(b);\n  }\n  return PTR_DAT_000ad2c8 + 0x53d0;\n}" { (declaration "undefined *puVar1;" type_identifier (pointer_declarator "*puVar1" * identifier) ;) (declaration "int iVar2;" primitive_type identifier ;) (declaration "Bignum_conflict b;" type_identifier identifier ;) (expression_statement "puVar1 = PTR_One_000ad888;" (assignment_expression "puVar1 = PTR_One_000ad888" identifier = identifier) ;) (expression_statement "iVar2 = bignum_cmp((Bignum_conflict)f,*(Bignum_conflict *)PTR_One_000ad888);" (assignment_expression "iVar2 = bignum_cmp((Bignum_conflict)f,*(Bignum_conflict *)PTR_One_000ad888)" identifier = (call_expression "bignum_cmp((Bignum_conflict)f,*(Bignum_conflict *)PTR_One_000ad888)" identifier (argument_list "((Bignum_conflict)f,*(Bignum_conflict *)PTR_One_000ad888)" ( (cast_expression "(Bignum_conflict)f" ( (type_descriptor "Bignum_conflict" type_identifier) ) identifier) , (pointer_expression "*(Bignum_conflict *)PTR_One_000ad888" * (cast_expression "(Bignum_conflict *)PTR_One_000ad888" ( (type_descriptor "Bignum_conflict *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) )))) ;) (if_statement "if (0 < iVar2) {\n    b = bigsub(*(Bignum_conflict *)((int)handle + 8),*(Bignum_conflict *)puVar1);\n    bignum_cmp((Bignum_conflict)f,b);\n                    /* WARNING: Subroutine does not return */\n    freebn(b);\n  }" if (parenthesized_expression "(0 < iVar2)" ( (binary_expression "0 < iVar2" number_literal < identifier) )) (compound_statement "{\n    b = bigsub(*(Bignum_conflict *)((int)handle + 8),*(Bignum_conflict *)puVar1);\n    bignum_cmp((Bignum_conflict)f,b);\n                    /* WARNING: Subroutine does not return */\n    freebn(b);\n  }" { (expression_statement "b = bigsub(*(Bignum_conflict *)((int)handle + 8),*(Bignum_conflict *)puVar1);" (assignment_expression "b = bigsub(*(Bignum_conflict *)((int)handle + 8),*(Bignum_conflict *)puVar1)" identifier = (call_expression "bigsub(*(Bignum_conflict *)((int)handle + 8),*(Bignum_conflict *)puVar1)" identifier (argument_list "(*(Bignum_conflict *)((int)handle + 8),*(Bignum_conflict *)puVar1)" ( (pointer_expression "*(Bignum_conflict *)((int)handle + 8)" * (cast_expression "(Bignum_conflict *)((int)handle + 8)" ( (type_descriptor "Bignum_conflict *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "((int)handle + 8)" ( (binary_expression "(int)handle + 8" (cast_expression "(int)handle" ( (type_descriptor "int" primitive_type) ) identifier) + number_literal) )))) , (pointer_expression "*(Bignum_conflict *)puVar1" * (cast_expression "(Bignum_conflict *)puVar1" ( (type_descriptor "Bignum_conflict *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) )))) ;) (expression_statement "bignum_cmp((Bignum_conflict)f,b);" (call_expression "bignum_cmp((Bignum_conflict)f,b)" identifier (argument_list "((Bignum_conflict)f,b)" ( (cast_expression "(Bignum_conflict)f" ( (type_descriptor "Bignum_conflict" type_identifier) ) identifier) , identifier ))) ;) comment (expression_statement "freebn(b);" (call_expression "freebn(b)" identifier (argument_list "(b)" ( identifier ))) ;) })) (return_statement "return PTR_DAT_000ad2c8 + 0x53d0;" return (binary_expression "PTR_DAT_000ad2c8 + 0x53d0" identifier + number_literal) ;) })))
(translation_unit "undefined * dh_validate_f(int param_1,undefined4 param_2)\n\n{\n  undefined *puVar1;\n  int iVar2;\n  undefined4 uVar3;\n  \n  puVar1 = PTR_One_000ad888;\n  iVar2 = bignum_cmp(param_2,*(undefined4 *)PTR_One_000ad888);\n  if (iVar2 < 1) {\n    return PTR_DAT_000ad2c8 + 0x53d0;\n  }\n  uVar3 = bigsub(*(undefined4 *)(param_1 + 8),*(undefined4 *)puVar1);\n  iVar2 = bignum_cmp(param_2,uVar3);\n  freebn(uVar3);\n  if (-1 < iVar2) {\n    return PTR_DAT_000ad2c8 + 0x53f0;\n  }\n  return (undefined *)0x0;\n}\n\n" (function_definition "undefined * dh_validate_f(int param_1,undefined4 param_2)\n\n{\n  undefined *puVar1;\n  int iVar2;\n  undefined4 uVar3;\n  \n  puVar1 = PTR_One_000ad888;\n  iVar2 = bignum_cmp(param_2,*(undefined4 *)PTR_One_000ad888);\n  if (iVar2 < 1) {\n    return PTR_DAT_000ad2c8 + 0x53d0;\n  }\n  uVar3 = bigsub(*(undefined4 *)(param_1 + 8),*(undefined4 *)puVar1);\n  iVar2 = bignum_cmp(param_2,uVar3);\n  freebn(uVar3);\n  if (-1 < iVar2) {\n    return PTR_DAT_000ad2c8 + 0x53f0;\n  }\n  return (undefined *)0x0;\n}" type_identifier (pointer_declarator "* dh_validate_f(int param_1,undefined4 param_2)" * (function_declarator "dh_validate_f(int param_1,undefined4 param_2)" identifier (parameter_list "(int param_1,undefined4 param_2)" ( (parameter_declaration "int param_1" primitive_type identifier) , (parameter_declaration "undefined4 param_2" type_identifier identifier) )))) (compound_statement "{\n  undefined *puVar1;\n  int iVar2;\n  undefined4 uVar3;\n  \n  puVar1 = PTR_One_000ad888;\n  iVar2 = bignum_cmp(param_2,*(undefined4 *)PTR_One_000ad888);\n  if (iVar2 < 1) {\n    return PTR_DAT_000ad2c8 + 0x53d0;\n  }\n  uVar3 = bigsub(*(undefined4 *)(param_1 + 8),*(undefined4 *)puVar1);\n  iVar2 = bignum_cmp(param_2,uVar3);\n  freebn(uVar3);\n  if (-1 < iVar2) {\n    return PTR_DAT_000ad2c8 + 0x53f0;\n  }\n  return (undefined *)0x0;\n}" { (declaration "undefined *puVar1;" type_identifier (pointer_declarator "*puVar1" * identifier) ;) (declaration "int iVar2;" primitive_type identifier ;) (declaration "undefined4 uVar3;" type_identifier identifier ;) (expression_statement "puVar1 = PTR_One_000ad888;" (assignment_expression "puVar1 = PTR_One_000ad888" identifier = identifier) ;) (expression_statement "iVar2 = bignum_cmp(param_2,*(undefined4 *)PTR_One_000ad888);" (assignment_expression "iVar2 = bignum_cmp(param_2,*(undefined4 *)PTR_One_000ad888)" identifier = (call_expression "bignum_cmp(param_2,*(undefined4 *)PTR_One_000ad888)" identifier (argument_list "(param_2,*(undefined4 *)PTR_One_000ad888)" ( identifier , (pointer_expression "*(undefined4 *)PTR_One_000ad888" * (cast_expression "(undefined4 *)PTR_One_000ad888" ( (type_descriptor "undefined4 *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) )))) ;) (if_statement "if (iVar2 < 1) {\n    return PTR_DAT_000ad2c8 + 0x53d0;\n  }" if (parenthesized_expression "(iVar2 < 1)" ( (binary_expression "iVar2 < 1" identifier < number_literal) )) (compound_statement "{\n    return PTR_DAT_000ad2c8 + 0x53d0;\n  }" { (return_statement "return PTR_DAT_000ad2c8 + 0x53d0;" return (binary_expression "PTR_DAT_000ad2c8 + 0x53d0" identifier + number_literal) ;) })) (expression_statement "uVar3 = bigsub(*(undefined4 *)(param_1 + 8),*(undefined4 *)puVar1);" (assignment_expression "uVar3 = bigsub(*(undefined4 *)(param_1 + 8),*(undefined4 *)puVar1)" identifier = (call_expression "bigsub(*(undefined4 *)(param_1 + 8),*(undefined4 *)puVar1)" identifier (argument_list "(*(undefined4 *)(param_1 + 8),*(undefined4 *)puVar1)" ( (pointer_expression "*(undefined4 *)(param_1 + 8)" * (cast_expression "(undefined4 *)(param_1 + 8)" ( (type_descriptor "undefined4 *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_1 + 8)" ( (binary_expression "param_1 + 8" identifier + number_literal) )))) , (pointer_expression "*(undefined4 *)puVar1" * (cast_expression "(undefined4 *)puVar1" ( (type_descriptor "undefined4 *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) )))) ;) (expression_statement "iVar2 = bignum_cmp(param_2,uVar3);" (assignment_expression "iVar2 = bignum_cmp(param_2,uVar3)" identifier = (call_expression "bignum_cmp(param_2,uVar3)" identifier (argument_list "(param_2,uVar3)" ( identifier , identifier )))) ;) (expression_statement "freebn(uVar3);" (call_expression "freebn(uVar3)" identifier (argument_list "(uVar3)" ( identifier ))) ;) (if_statement "if (-1 < iVar2) {\n    return PTR_DAT_000ad2c8 + 0x53f0;\n  }" if (parenthesized_expression "(-1 < iVar2)" ( (binary_expression "-1 < iVar2" number_literal < identifier) )) (compound_statement "{\n    return PTR_DAT_000ad2c8 + 0x53f0;\n  }" { (return_statement "return PTR_DAT_000ad2c8 + 0x53f0;" return (binary_expression "PTR_DAT_000ad2c8 + 0x53f0" identifier + number_literal) ;) })) (return_statement "return (undefined *)0x0;" return (cast_expression "(undefined *)0x0" ( (type_descriptor "undefined *" type_identifier (abstract_pointer_declarator "*" *)) ) number_literal) ;) })))
(translation_unit (function_definition TYPE (pointer_declarator * (function_declarator IDENT (parameter_list ( (parameter_declaration TYPE IDENT) , (parameter_declaration TYPE IDENT) )))) (compound_statement { (declaration TYPE (pointer_declarator * IDENT) ;) (declaration TYPE IDENT ;) (declaration TYPE IDENT ;) (expression_statement (assignment_expression IDENT = IDENT) ;) (expression_statement (assignment_expression IDENT = (call_expression IDENT (argument_list ( IDENT , (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) IDENT)) )))) ;) (if_statement if (parenthesized_expression ( (binary_expression IDENT < LIT) )) (compound_statement { (return_statement return (binary_expression IDENT + LIT) ;) })) (expression_statement (assignment_expression IDENT = (call_expression IDENT (argument_list ( (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression IDENT + LIT) )))) , (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) IDENT)) )))) ;) (expression_statement (assignment_expression IDENT = (call_expression IDENT (argument_list ( IDENT , IDENT )))) ;) (expression_statement (call_expression IDENT (argument_list ( IDENT ))) ;) (if_statement if (parenthesized_expression ( (binary_expression LIT < IDENT) )) (compound_statement { (return_statement return (binary_expression IDENT + LIT) ;) })) (return_statement return (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) LIT) ;) })))
(function_definition "undefined * dh_validate_f(int param_1,undefined4 param_2)\n\n{\n  undefined *puVar1;\n  int iVar2;\n  undefined4 uVar3;\n  \n  puVar1 = PTR_One_000ad888;\n  iVar2 = bignum_cmp(param_2,*(undefined4 *)PTR_One_000ad888);\n  if (iVar2 < 1) {\n    return PTR_DAT_000ad2c8 + 0x53d0;\n  }\n  uVar3 = bigsub(*(undefined4 *)(param_1 + 8),*(undefined4 *)puVar1);\n  iVar2 = bignum_cmp(param_2,uVar3);\n  freebn(uVar3);\n  if (-1 < iVar2) {\n    return PTR_DAT_000ad2c8 + 0x53f0;\n  }\n  return (undefined *)0x0;\n}" (type_identifier "undefined") (pointer_declarator "* dh_validate_f(int param_1,undefined4 param_2)" (* "*") (function_declarator "dh_validate_f(int param_1,undefined4 param_2)" (identifier "dh_validate_f") (parameter_list "(int param_1,undefined4 param_2)" (( "(") (parameter_declaration "int param_1" (primitive_type "int") (identifier "param_1")) (, ",") (parameter_declaration "undefined4 param_2" (type_identifier "undefined4") (identifier "param_2")) () ")")))) (compound_statement "{\n  undefined *puVar1;\n  int iVar2;\n  undefined4 uVar3;\n  \n  puVar1 = PTR_One_000ad888;\n  iVar2 = bignum_cmp(param_2,*(undefined4 *)PTR_One_000ad888);\n  if (iVar2 < 1) {\n    return PTR_DAT_000ad2c8 + 0x53d0;\n  }\n  uVar3 = bigsub(*(undefined4 *)(param_1 + 8),*(undefined4 *)puVar1);\n  iVar2 = bignum_cmp(param_2,uVar3);\n  freebn(uVar3);\n  if (-1 < iVar2) {\n    return PTR_DAT_000ad2c8 + 0x53f0;\n  }\n  return (undefined *)0x0;\n}" ({ "{") (declaration "undefined *puVar1;" (type_identifier "undefined") (pointer_declarator "*puVar1" (* "*") (identifier "puVar1")) (; ";")) (declaration "int iVar2;" (primitive_type "int") (identifier "iVar2") (; ";")) (declaration "undefined4 uVar3;" (type_identifier "undefined4") (identifier "uVar3") (; ";")) (expression_statement "puVar1 = PTR_One_000ad888;" (assignment_expression "puVar1 = PTR_One_000ad888" (identifier "puVar1") (= "=") (identifier "PTR_One_000ad888")) (; ";")) (expression_statement "iVar2 = bignum_cmp(param_2,*(undefined4 *)PTR_One_000ad888);" (assignment_expression "iVar2 = bignum_cmp(param_2,*(undefined4 *)PTR_One_000ad888)" (identifier "iVar2") (= "=") (call_expression "bignum_cmp(param_2,*(undefined4 *)PTR_One_000ad888)" (identifier "bignum_cmp") (argument_list "(param_2,*(undefined4 *)PTR_One_000ad888)" (( "(") (identifier "param_2") (, ",") (pointer_expression "*(undefined4 *)PTR_One_000ad888" (* "*") (cast_expression "(undefined4 *)PTR_One_000ad888" (( "(") (type_descriptor "undefined4 *" (type_identifier "undefined4") (abstract_pointer_declarator "*" (* "*"))) () ")") (identifier "PTR_One_000ad888"))) () ")")))) (; ";")) (if_statement "if (iVar2 < 1) {\n    return PTR_DAT_000ad2c8 + 0x53d0;\n  }" (if "if") (parenthesized_expression "(iVar2 < 1)" (( "(") (binary_expression "iVar2 < 1" (identifier "iVar2") (< "<") (number_literal "1")) () ")")) (compound_statement "{\n    return PTR_DAT_000ad2c8 + 0x53d0;\n  }" ({ "{") (return_statement "return PTR_DAT_000ad2c8 + 0x53d0;" (return "return") (binary_expression "PTR_DAT_000ad2c8 + 0x53d0" (identifier "PTR_DAT_000ad2c8") (+ "+") (number_literal "0x53d0")) (; ";")) (} "}"))) (expression_statement "uVar3 = bigsub(*(undefined4 *)(param_1 + 8),*(undefined4 *)puVar1);" (assignment_expression "uVar3 = bigsub(*(undefined4 *)(param_1 + 8),*(undefined4 *)puVar1)" (identifier "uVar3") (= "=") (call_expression "bigsub(*(undefined4 *)(param_1 + 8),*(undefined4 *)puVar1)" (identifier "bigsub") (argument_list "(*(undefined4 *)(param_1 + 8),*(undefined4 *)puVar1)" (( "(") (pointer_expression "*(undefined4 *)(param_1 + 8)" (* "*") (cast_expression "(undefined4 *)(param_1 + 8)" (( "(") (type_descriptor "undefined4 *" (type_identifier "undefined4") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "(param_1 + 8)" (( "(") (binary_expression "param_1 + 8" (identifier "param_1") (+ "+") (number_literal "8")) () ")")))) (, ",") (pointer_expression "*(undefined4 *)puVar1" (* "*") (cast_expression "(undefined4 *)puVar1" (( "(") (type_descriptor "undefined4 *" (type_identifier "undefined4") (abstract_pointer_declarator "*" (* "*"))) () ")") (identifier "puVar1"))) () ")")))) (; ";")) (expression_statement "iVar2 = bignum_cmp(param_2,uVar3);" (assignment_expression "iVar2 = bignum_cmp(param_2,uVar3)" (identifier "iVar2") (= "=") (call_expression "bignum_cmp(param_2,uVar3)" (identifier "bignum_cmp") (argument_list "(param_2,uVar3)" (( "(") (identifier "param_2") (, ",") (identifier "uVar3") () ")")))) (; ";")) (expression_statement "freebn(uVar3);" (call_expression "freebn(uVar3)" (identifier "freebn") (argument_list "(uVar3)" (( "(") (identifier "uVar3") () ")"))) (; ";")) (if_statement "if (-1 < iVar2) {\n    return PTR_DAT_000ad2c8 + 0x53f0;\n  }" (if "if") (parenthesized_expression "(-1 < iVar2)" (( "(") (binary_expression "-1 < iVar2" (number_literal "-1") (< "<") (identifier "iVar2")) () ")")) (compound_statement "{\n    return PTR_DAT_000ad2c8 + 0x53f0;\n  }" ({ "{") (return_statement "return PTR_DAT_000ad2c8 + 0x53f0;" (return "return") (binary_expression "PTR_DAT_000ad2c8 + 0x53f0" (identifier "PTR_DAT_000ad2c8") (+ "+") (number_literal "0x53f0")) (; ";")) (} "}"))) (return_statement "return (undefined *)0x0;" (return "return") (cast_expression "(undefined *)0x0" (( "(") (type_descriptor "undefined *" (type_identifier "undefined") (abstract_pointer_declarator "*" (* "*"))) () ")") (number_literal "0x0")) (; ";")) (} "}")))

char * function_1(void *handle,type_1 f)

{
  type_2 *puVar1;
  int var_2;
  type_3 b;
  
  puVar1 = PTR_One_000ad888;
  var_2 = var_1((type_3)f,*(type_3 *)PTR_One_000ad888);
  if (0 < var_2) {
    b = var_3(*(type_3 *)((int)handle + 8),*(type_3 *)puVar1);
    var_1((type_3)f,b);
                    /* WARNING: Subroutine does not return */
    var_4(b);
  }
  return var_5 + 0x53d0;
}


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

undefined * MASKED(int param_1,undefined4 param_2)

{
  undefined *puVar1;
  int iVar2;
  undefined4 uVar3;
  
  puVar1 = PTR_One_000ad888;
  iVar2 = bignum_cmp(param_2,*(undefined4 *)PTR_One_000ad888);
  if (iVar2 < 1) {
    return PTR_DAT_000ad2c8 + 0x53d0;
  }
  uVar3 = bigsub(*(undefined4 *)(param_1 + 8),*(undefined4 *)puVar1);
  iVar2 = bignum_cmp(param_2,uVar3);
  freebn(uVar3);
  if (-1 < iVar2) {
    return PTR_DAT_000ad2c8 + 0x53f0;
  }
  return (undefined *)0x0;
}

