
char * print_decimal(double number)

{
  undefined *puVar1;
  double local_10;
  
  puVar1 = PTR_host_name_addresses_map_000af458;
  if (0.0 <= number) {
    local_10 = number;
    if (*(double *)(PTR_DAT_000af498 + -0x6df0) <= number) goto LAB_0005c598;
  }
  else {
    local_10 = -number;
    if (*(double *)(PTR_DAT_000af498 + -0x6df0) <= local_10) {
LAB_0005c598:
      (*(code *)PTR___snprintf_chk_000afb14)
                (PTR_host_name_addresses_map_000af458 + 0x5090,0x20,1,0x20,
                 PTR_DAT_000af498 + -0x6f88);
      return puVar1 + 0x5090;
    }
  }
  if (*(double *)(PTR_s_hallenge__000af46c + 0x7940) <= local_10) {
    (*(code *)PTR___snprintf_chk_000afb14)
              (PTR_host_name_addresses_map_000af458 + 0x5090,0x20,1,0x20,PTR_DAT_000af498 + -0x6f80)
    ;
    return puVar1 + 0x5090;
  }
  if (local_10 < *(double *)(PTR_s_hallenge__000af46c + 0x6a58)) {
    if (*(double *)(PTR_DAT_000af498 + -0x6de8) <= local_10) {
      (*(code *)PTR___snprintf_chk_000afb14)
                (PTR_host_name_addresses_map_000af458 + 0x5090,0x20,1,0x20,
                 PTR_DAT_000af498 + -0x6f70);
      return puVar1 + 0x5090;
    }
    *(undefined2 *)(PTR_host_name_addresses_map_000af458 + 0x5090) = 0x3000;
    return puVar1 + 0x5090;
  }
  (*(code *)PTR___snprintf_chk_000afb14)
            (PTR_host_name_addresses_map_000af458 + 0x5090,0x20,1,0x20,PTR_DAT_000af498 + -0x6f78);
  return puVar1 + 0x5090;
}



undefined * print_decimal(double param_1)

{
  undefined *puVar1;
  double local_10;
  
  puVar1 = PTR_DAT_000af458;
  if (0.0 <= param_1) {
    local_10 = param_1;
    if (*(double *)(PTR_DAT_000af498 + -0x6df0) <= param_1) goto LAB_0005c598;
  }
  else {
    local_10 = -param_1;
    if (*(double *)(PTR_DAT_000af498 + -0x6df0) <= local_10) {
LAB_0005c598:
      (*(code *)PTR___snprintf_chk_000afb14)
                (PTR_DAT_000af458 + 0x5090,0x20,1,0x20,PTR_DAT_000af498 + -0x6f88);
      return puVar1 + 0x5090;
    }
  }
  if (*(double *)(PTR_s_hallenge__000af46c + 0x7940) <= local_10) {
    (*(code *)PTR___snprintf_chk_000afb14)
              (PTR_DAT_000af458 + 0x5090,0x20,1,0x20,PTR_DAT_000af498 + -0x6f80);
    return puVar1 + 0x5090;
  }
  if (local_10 < *(double *)(PTR_s_hallenge__000af46c + 0x6a58)) {
    if (*(double *)(PTR_DAT_000af498 + -0x6de8) <= local_10) {
      (*(code *)PTR___snprintf_chk_000afb14)
                (PTR_DAT_000af458 + 0x5090,0x20,1,0x20,PTR_DAT_000af498 + -0x6f70);
      return puVar1 + 0x5090;
    }
    *(undefined2 *)(PTR_DAT_000af458 + 0x5090) = 0x3000;
    return puVar1 + 0x5090;
  }
  (*(code *)PTR___snprintf_chk_000afb14)
            (PTR_DAT_000af458 + 0x5090,0x20,1,0x20,PTR_DAT_000af498 + -0x6f78);
  return puVar1 + 0x5090;
}


lui gp,0x6
addiu gp,gp,-0x5020
addu gp,gp,t9
mtc1 zero,f0
addiu sp,sp,-0x38
sdc1 f12,0x38(sp)
sw gp,0x20(sp)
sw ra,0x34(sp)
mthc1 zero,f0
c.le.D f0,f12
bc1f 0x0005c564
_sw s0,0x30(sp)
ldc1 f0,0x38(sp)
lw v0,-0x7f98(gp)
sdc1 f0,0x28(sp)
ldc1 f0,-0x6df0(v0)
ldc1 f2,0x28(sp)
c.le.D f0,f2
bc1t 0x1,0x0005c598
_ldc1 f0,0x38(sp)
lw v0,-0x7fc4(gp)
ldc1 f2,0x28(sp)
ldc1 f0,0x7940(v0)
c.le.D f0,f2
bc1t 0x2,0x0005c520
_lw v0,-0x7fc4(gp)
ldc1 f2,0x28(sp)
ldc1 f0,0x6a58(v0)
c.le.D f0,f2
bc1t 0x3,0x0005c5f4
_lw v0,-0x7f98(gp)
ldc1 f2,0x28(sp)
ldc1 f0,-0x6de8(v0)
c.le.D f0,f2
bc1f 0x4,0x0005c5d8
_lw s0,-0x7fd8(gp)
ldc1 f0,0x38(sp)
li a3,0x20
lw v0,-0x7f98(gp)
li a2,0x1
li a1,0x20
lw t9,-0x791c(gp)
addiu v0,v0,-0x6f70
addiu a0,s0,0x5090
sw v0,0x10(sp)
jalr t9
_sdc1 f0,0x18(sp)
addiu v0,s0,0x5090
lw ra,0x34(sp)
lw s0,0x30(sp)
jr ra
_addiu sp,sp,0x38
ldc1 f0,0x38(sp)
li a3,0x20
lw v0,-0x7f98(gp)
li a2,0x1
lw s0,-0x7fd8(gp)
li a1,0x20
lw t9,-0x791c(gp)
addiu v0,v0,-0x6f80
addiu a0,s0,0x5090
sw v0,0x10(sp)
jalr t9
_sdc1 f0,0x18(sp)
addiu v0,s0,0x5090
lw ra,0x34(sp)
lw s0,0x30(sp)
jr ra
_addiu sp,sp,0x38
lw v1,0x38(sp)
lui v0,0x8000
xor v0,v1,v0
sw v0,0x28(sp)
lw v0,0x3c(sp)
sw v0,0x2c(sp)
lw v0,-0x7f98(gp)
ldc1 f2,0x28(sp)
ldc1 f0,-0x6df0(v0)
c.le.D f0,f2
bc1f 0x1,0x0005c4a8
_lw v0,-0x7fc4(gp)
ldc1 f0,0x38(sp)
li a3,0x20
lw v0,-0x7f98(gp)
li a2,0x1
lw s0,-0x7fd8(gp)
li a1,0x20
lw t9,-0x791c(gp)
addiu v0,v0,-0x6f88
addiu a0,s0,0x5090
sw v0,0x10(sp)
jalr t9
_sdc1 f0,0x18(sp)
addiu v0,s0,0x5090
lw ra,0x34(sp)
lw s0,0x30(sp)
jr ra
_addiu sp,sp,0x38
li v0,0x3000
lw ra,0x34(sp)
sh v0,0x5090(s0)
addiu v0,s0,0x5090
lw s0,0x30(sp)
jr ra
_addiu sp,sp,0x38
ldc1 f0,0x38(sp)
li a3,0x20
lw v0,-0x7f98(gp)
li a2,0x1
lw s0,-0x7fd8(gp)
li a1,0x20
lw t9,-0x791c(gp)
addiu v0,v0,-0x6f78
addiu a0,s0,0x5090
sw v0,0x10(sp)
jalr t9
_sdc1 f0,0x18(sp)
addiu v0,s0,0x5090
lw ra,0x34(sp)
lw s0,0x30(sp)
jr ra
_addiu sp,sp,0x38
(translation_unit "undefined * print_decimal(double param_1)\n\n{\n  undefined *puVar1;\n  double local_10;\n  \n  puVar1 = PTR_DAT_000af458;\n  if (0.0 <= param_1) {\n    local_10 = param_1;\n    if (*(double *)(PTR_DAT_000af498 + -0x6df0) <= param_1) goto LAB_0005c598;\n  }\n  else {\n    local_10 = -param_1;\n    if (*(double *)(PTR_DAT_000af498 + -0x6df0) <= local_10) {\nLAB_0005c598:\n      (*(code *)PTR___snprintf_chk_000afb14)\n                (PTR_DAT_000af458 + 0x5090,0x20,1,0x20,PTR_DAT_000af498 + -0x6f88);\n      return puVar1 + 0x5090;\n    }\n  }\n  if (*(double *)(PTR_s_hallenge__000af46c + 0x7940) <= local_10) {\n    (*(code *)PTR___snprintf_chk_000afb14)\n              (PTR_DAT_000af458 + 0x5090,0x20,1,0x20,PTR_DAT_000af498 + -0x6f80);\n    return puVar1 + 0x5090;\n  }\n  if (local_10 < *(double *)(PTR_s_hallenge__000af46c + 0x6a58)) {\n    if (*(double *)(PTR_DAT_000af498 + -0x6de8) <= local_10) {\n      (*(code *)PTR___snprintf_chk_000afb14)\n                (PTR_DAT_000af458 + 0x5090,0x20,1,0x20,PTR_DAT_000af498 + -0x6f70);\n      return puVar1 + 0x5090;\n    }\n    *(undefined2 *)(PTR_DAT_000af458 + 0x5090) = 0x3000;\n    return puVar1 + 0x5090;\n  }\n  (*(code *)PTR___snprintf_chk_000afb14)\n            (PTR_DAT_000af458 + 0x5090,0x20,1,0x20,PTR_DAT_000af498 + -0x6f78);\n  return puVar1 + 0x5090;\n}\n\n" (function_definition "undefined * print_decimal(double param_1)\n\n{\n  undefined *puVar1;\n  double local_10;\n  \n  puVar1 = PTR_DAT_000af458;\n  if (0.0 <= param_1) {\n    local_10 = param_1;\n    if (*(double *)(PTR_DAT_000af498 + -0x6df0) <= param_1) goto LAB_0005c598;\n  }\n  else {\n    local_10 = -param_1;\n    if (*(double *)(PTR_DAT_000af498 + -0x6df0) <= local_10) {\nLAB_0005c598:\n      (*(code *)PTR___snprintf_chk_000afb14)\n                (PTR_DAT_000af458 + 0x5090,0x20,1,0x20,PTR_DAT_000af498 + -0x6f88);\n      return puVar1 + 0x5090;\n    }\n  }\n  if (*(double *)(PTR_s_hallenge__000af46c + 0x7940) <= local_10) {\n    (*(code *)PTR___snprintf_chk_000afb14)\n              (PTR_DAT_000af458 + 0x5090,0x20,1,0x20,PTR_DAT_000af498 + -0x6f80);\n    return puVar1 + 0x5090;\n  }\n  if (local_10 < *(double *)(PTR_s_hallenge__000af46c + 0x6a58)) {\n    if (*(double *)(PTR_DAT_000af498 + -0x6de8) <= local_10) {\n      (*(code *)PTR___snprintf_chk_000afb14)\n                (PTR_DAT_000af458 + 0x5090,0x20,1,0x20,PTR_DAT_000af498 + -0x6f70);\n      return puVar1 + 0x5090;\n    }\n    *(undefined2 *)(PTR_DAT_000af458 + 0x5090) = 0x3000;\n    return puVar1 + 0x5090;\n  }\n  (*(code *)PTR___snprintf_chk_000afb14)\n            (PTR_DAT_000af458 + 0x5090,0x20,1,0x20,PTR_DAT_000af498 + -0x6f78);\n  return puVar1 + 0x5090;\n}" type_identifier (pointer_declarator "* print_decimal(double param_1)" * (function_declarator "print_decimal(double param_1)" identifier (parameter_list "(double param_1)" ( (parameter_declaration "double param_1" primitive_type identifier) )))) (compound_statement "{\n  undefined *puVar1;\n  double local_10;\n  \n  puVar1 = PTR_DAT_000af458;\n  if (0.0 <= param_1) {\n    local_10 = param_1;\n    if (*(double *)(PTR_DAT_000af498 + -0x6df0) <= param_1) goto LAB_0005c598;\n  }\n  else {\n    local_10 = -param_1;\n    if (*(double *)(PTR_DAT_000af498 + -0x6df0) <= local_10) {\nLAB_0005c598:\n      (*(code *)PTR___snprintf_chk_000afb14)\n                (PTR_DAT_000af458 + 0x5090,0x20,1,0x20,PTR_DAT_000af498 + -0x6f88);\n      return puVar1 + 0x5090;\n    }\n  }\n  if (*(double *)(PTR_s_hallenge__000af46c + 0x7940) <= local_10) {\n    (*(code *)PTR___snprintf_chk_000afb14)\n              (PTR_DAT_000af458 + 0x5090,0x20,1,0x20,PTR_DAT_000af498 + -0x6f80);\n    return puVar1 + 0x5090;\n  }\n  if (local_10 < *(double *)(PTR_s_hallenge__000af46c + 0x6a58)) {\n    if (*(double *)(PTR_DAT_000af498 + -0x6de8) <= local_10) {\n      (*(code *)PTR___snprintf_chk_000afb14)\n                (PTR_DAT_000af458 + 0x5090,0x20,1,0x20,PTR_DAT_000af498 + -0x6f70);\n      return puVar1 + 0x5090;\n    }\n    *(undefined2 *)(PTR_DAT_000af458 + 0x5090) = 0x3000;\n    return puVar1 + 0x5090;\n  }\n  (*(code *)PTR___snprintf_chk_000afb14)\n            (PTR_DAT_000af458 + 0x5090,0x20,1,0x20,PTR_DAT_000af498 + -0x6f78);\n  return puVar1 + 0x5090;\n}" { (declaration "undefined *puVar1;" type_identifier (pointer_declarator "*puVar1" * identifier) ;) (declaration "double local_10;" primitive_type identifier ;) (expression_statement "puVar1 = PTR_DAT_000af458;" (assignment_expression "puVar1 = PTR_DAT_000af458" identifier = identifier) ;) (if_statement "if (0.0 <= param_1) {\n    local_10 = param_1;\n    if (*(double *)(PTR_DAT_000af498 + -0x6df0) <= param_1) goto LAB_0005c598;\n  }\n  else {\n    local_10 = -param_1;\n    if (*(double *)(PTR_DAT_000af498 + -0x6df0) <= local_10) {\nLAB_0005c598:\n      (*(code *)PTR___snprintf_chk_000afb14)\n                (PTR_DAT_000af458 + 0x5090,0x20,1,0x20,PTR_DAT_000af498 + -0x6f88);\n      return puVar1 + 0x5090;\n    }\n  }" if (parenthesized_expression "(0.0 <= param_1)" ( (binary_expression "0.0 <= param_1" number_literal <= identifier) )) (compound_statement "{\n    local_10 = param_1;\n    if (*(double *)(PTR_DAT_000af498 + -0x6df0) <= param_1) goto LAB_0005c598;\n  }" { (expression_statement "local_10 = param_1;" (assignment_expression "local_10 = param_1" identifier = identifier) ;) (if_statement "if (*(double *)(PTR_DAT_000af498 + -0x6df0) <= param_1) goto LAB_0005c598;" if (parenthesized_expression "(*(double *)(PTR_DAT_000af498 + -0x6df0) <= param_1)" ( (binary_expression "*(double *)(PTR_DAT_000af498 + -0x6df0) <= param_1" (pointer_expression "*(double *)(PTR_DAT_000af498 + -0x6df0)" * (cast_expression "(double *)(PTR_DAT_000af498 + -0x6df0)" ( (type_descriptor "double *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(PTR_DAT_000af498 + -0x6df0)" ( (binary_expression "PTR_DAT_000af498 + -0x6df0" identifier + number_literal) )))) <= identifier) )) (goto_statement "goto LAB_0005c598;" goto statement_identifier ;)) }) (else_clause "else {\n    local_10 = -param_1;\n    if (*(double *)(PTR_DAT_000af498 + -0x6df0) <= local_10) {\nLAB_0005c598:\n      (*(code *)PTR___snprintf_chk_000afb14)\n                (PTR_DAT_000af458 + 0x5090,0x20,1,0x20,PTR_DAT_000af498 + -0x6f88);\n      return puVar1 + 0x5090;\n    }\n  }" else (compound_statement "{\n    local_10 = -param_1;\n    if (*(double *)(PTR_DAT_000af498 + -0x6df0) <= local_10) {\nLAB_0005c598:\n      (*(code *)PTR___snprintf_chk_000afb14)\n                (PTR_DAT_000af458 + 0x5090,0x20,1,0x20,PTR_DAT_000af498 + -0x6f88);\n      return puVar1 + 0x5090;\n    }\n  }" { (expression_statement "local_10 = -param_1;" (assignment_expression "local_10 = -param_1" identifier = (unary_expression "-param_1" - identifier)) ;) (if_statement "if (*(double *)(PTR_DAT_000af498 + -0x6df0) <= local_10) {\nLAB_0005c598:\n      (*(code *)PTR___snprintf_chk_000afb14)\n                (PTR_DAT_000af458 + 0x5090,0x20,1,0x20,PTR_DAT_000af498 + -0x6f88);\n      return puVar1 + 0x5090;\n    }" if (parenthesized_expression "(*(double *)(PTR_DAT_000af498 + -0x6df0) <= local_10)" ( (binary_expression "*(double *)(PTR_DAT_000af498 + -0x6df0) <= local_10" (pointer_expression "*(double *)(PTR_DAT_000af498 + -0x6df0)" * (cast_expression "(double *)(PTR_DAT_000af498 + -0x6df0)" ( (type_descriptor "double *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(PTR_DAT_000af498 + -0x6df0)" ( (binary_expression "PTR_DAT_000af498 + -0x6df0" identifier + number_literal) )))) <= identifier) )) (compound_statement "{\nLAB_0005c598:\n      (*(code *)PTR___snprintf_chk_000afb14)\n                (PTR_DAT_000af458 + 0x5090,0x20,1,0x20,PTR_DAT_000af498 + -0x6f88);\n      return puVar1 + 0x5090;\n    }" { (labeled_statement "LAB_0005c598:\n      (*(code *)PTR___snprintf_chk_000afb14)\n                (PTR_DAT_000af458 + 0x5090,0x20,1,0x20,PTR_DAT_000af498 + -0x6f88);" statement_identifier : (expression_statement "(*(code *)PTR___snprintf_chk_000afb14)\n                (PTR_DAT_000af458 + 0x5090,0x20,1,0x20,PTR_DAT_000af498 + -0x6f88);" (call_expression "(*(code *)PTR___snprintf_chk_000afb14)\n                (PTR_DAT_000af458 + 0x5090,0x20,1,0x20,PTR_DAT_000af498 + -0x6f88)" (parenthesized_expression "(*(code *)PTR___snprintf_chk_000afb14)" ( (pointer_expression "*(code *)PTR___snprintf_chk_000afb14" * (cast_expression "(code *)PTR___snprintf_chk_000afb14" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) )) (argument_list "(PTR_DAT_000af458 + 0x5090,0x20,1,0x20,PTR_DAT_000af498 + -0x6f88)" ( (binary_expression "PTR_DAT_000af458 + 0x5090" identifier + number_literal) , number_literal , number_literal , number_literal , (binary_expression "PTR_DAT_000af498 + -0x6f88" identifier + number_literal) ))) ;)) (return_statement "return puVar1 + 0x5090;" return (binary_expression "puVar1 + 0x5090" identifier + number_literal) ;) })) }))) (if_statement "if (*(double *)(PTR_s_hallenge__000af46c + 0x7940) <= local_10) {\n    (*(code *)PTR___snprintf_chk_000afb14)\n              (PTR_DAT_000af458 + 0x5090,0x20,1,0x20,PTR_DAT_000af498 + -0x6f80);\n    return puVar1 + 0x5090;\n  }" if (parenthesized_expression "(*(double *)(PTR_s_hallenge__000af46c + 0x7940) <= local_10)" ( (binary_expression "*(double *)(PTR_s_hallenge__000af46c + 0x7940) <= local_10" (pointer_expression "*(double *)(PTR_s_hallenge__000af46c + 0x7940)" * (cast_expression "(double *)(PTR_s_hallenge__000af46c + 0x7940)" ( (type_descriptor "double *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(PTR_s_hallenge__000af46c + 0x7940)" ( (binary_expression "PTR_s_hallenge__000af46c + 0x7940" identifier + number_literal) )))) <= identifier) )) (compound_statement "{\n    (*(code *)PTR___snprintf_chk_000afb14)\n              (PTR_DAT_000af458 + 0x5090,0x20,1,0x20,PTR_DAT_000af498 + -0x6f80);\n    return puVar1 + 0x5090;\n  }" { (expression_statement "(*(code *)PTR___snprintf_chk_000afb14)\n              (PTR_DAT_000af458 + 0x5090,0x20,1,0x20,PTR_DAT_000af498 + -0x6f80);" (call_expression "(*(code *)PTR___snprintf_chk_000afb14)\n              (PTR_DAT_000af458 + 0x5090,0x20,1,0x20,PTR_DAT_000af498 + -0x6f80)" (parenthesized_expression "(*(code *)PTR___snprintf_chk_000afb14)" ( (pointer_expression "*(code *)PTR___snprintf_chk_000afb14" * (cast_expression "(code *)PTR___snprintf_chk_000afb14" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) )) (argument_list "(PTR_DAT_000af458 + 0x5090,0x20,1,0x20,PTR_DAT_000af498 + -0x6f80)" ( (binary_expression "PTR_DAT_000af458 + 0x5090" identifier + number_literal) , number_literal , number_literal , number_literal , (binary_expression "PTR_DAT_000af498 + -0x6f80" identifier + number_literal) ))) ;) (return_statement "return puVar1 + 0x5090;" return (binary_expression "puVar1 + 0x5090" identifier + number_literal) ;) })) (if_statement "if (local_10 < *(double *)(PTR_s_hallenge__000af46c + 0x6a58)) {\n    if (*(double *)(PTR_DAT_000af498 + -0x6de8) <= local_10) {\n      (*(code *)PTR___snprintf_chk_000afb14)\n                (PTR_DAT_000af458 + 0x5090,0x20,1,0x20,PTR_DAT_000af498 + -0x6f70);\n      return puVar1 + 0x5090;\n    }\n    *(undefined2 *)(PTR_DAT_000af458 + 0x5090) = 0x3000;\n    return puVar1 + 0x5090;\n  }" if (parenthesized_expression "(local_10 < *(double *)(PTR_s_hallenge__000af46c + 0x6a58))" ( (binary_expression "local_10 < *(double *)(PTR_s_hallenge__000af46c + 0x6a58)" identifier < (pointer_expression "*(double *)(PTR_s_hallenge__000af46c + 0x6a58)" * (cast_expression "(double *)(PTR_s_hallenge__000af46c + 0x6a58)" ( (type_descriptor "double *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(PTR_s_hallenge__000af46c + 0x6a58)" ( (binary_expression "PTR_s_hallenge__000af46c + 0x6a58" identifier + number_literal) ))))) )) (compound_statement "{\n    if (*(double *)(PTR_DAT_000af498 + -0x6de8) <= local_10) {\n      (*(code *)PTR___snprintf_chk_000afb14)\n                (PTR_DAT_000af458 + 0x5090,0x20,1,0x20,PTR_DAT_000af498 + -0x6f70);\n      return puVar1 + 0x5090;\n    }\n    *(undefined2 *)(PTR_DAT_000af458 + 0x5090) = 0x3000;\n    return puVar1 + 0x5090;\n  }" { (if_statement "if (*(double *)(PTR_DAT_000af498 + -0x6de8) <= local_10) {\n      (*(code *)PTR___snprintf_chk_000afb14)\n                (PTR_DAT_000af458 + 0x5090,0x20,1,0x20,PTR_DAT_000af498 + -0x6f70);\n      return puVar1 + 0x5090;\n    }" if (parenthesized_expression "(*(double *)(PTR_DAT_000af498 + -0x6de8) <= local_10)" ( (binary_expression "*(double *)(PTR_DAT_000af498 + -0x6de8) <= local_10" (pointer_expression "*(double *)(PTR_DAT_000af498 + -0x6de8)" * (cast_expression "(double *)(PTR_DAT_000af498 + -0x6de8)" ( (type_descriptor "double *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(PTR_DAT_000af498 + -0x6de8)" ( (binary_expression "PTR_DAT_000af498 + -0x6de8" identifier + number_literal) )))) <= identifier) )) (compound_statement "{\n      (*(code *)PTR___snprintf_chk_000afb14)\n                (PTR_DAT_000af458 + 0x5090,0x20,1,0x20,PTR_DAT_000af498 + -0x6f70);\n      return puVar1 + 0x5090;\n    }" { (expression_statement "(*(code *)PTR___snprintf_chk_000afb14)\n                (PTR_DAT_000af458 + 0x5090,0x20,1,0x20,PTR_DAT_000af498 + -0x6f70);" (call_expression "(*(code *)PTR___snprintf_chk_000afb14)\n                (PTR_DAT_000af458 + 0x5090,0x20,1,0x20,PTR_DAT_000af498 + -0x6f70)" (parenthesized_expression "(*(code *)PTR___snprintf_chk_000afb14)" ( (pointer_expression "*(code *)PTR___snprintf_chk_000afb14" * (cast_expression "(code *)PTR___snprintf_chk_000afb14" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) )) (argument_list "(PTR_DAT_000af458 + 0x5090,0x20,1,0x20,PTR_DAT_000af498 + -0x6f70)" ( (binary_expression "PTR_DAT_000af458 + 0x5090" identifier + number_literal) , number_literal , number_literal , number_literal , (binary_expression "PTR_DAT_000af498 + -0x6f70" identifier + number_literal) ))) ;) (return_statement "return puVar1 + 0x5090;" return (binary_expression "puVar1 + 0x5090" identifier + number_literal) ;) })) (expression_statement "*(undefined2 *)(PTR_DAT_000af458 + 0x5090) = 0x3000;" (assignment_expression "*(undefined2 *)(PTR_DAT_000af458 + 0x5090) = 0x3000" (pointer_expression "*(undefined2 *)(PTR_DAT_000af458 + 0x5090)" * (cast_expression "(undefined2 *)(PTR_DAT_000af458 + 0x5090)" ( (type_descriptor "undefined2 *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(PTR_DAT_000af458 + 0x5090)" ( (binary_expression "PTR_DAT_000af458 + 0x5090" identifier + number_literal) )))) = number_literal) ;) (return_statement "return puVar1 + 0x5090;" return (binary_expression "puVar1 + 0x5090" identifier + number_literal) ;) })) (expression_statement "(*(code *)PTR___snprintf_chk_000afb14)\n            (PTR_DAT_000af458 + 0x5090,0x20,1,0x20,PTR_DAT_000af498 + -0x6f78);" (call_expression "(*(code *)PTR___snprintf_chk_000afb14)\n            (PTR_DAT_000af458 + 0x5090,0x20,1,0x20,PTR_DAT_000af498 + -0x6f78)" (parenthesized_expression "(*(code *)PTR___snprintf_chk_000afb14)" ( (pointer_expression "*(code *)PTR___snprintf_chk_000afb14" * (cast_expression "(code *)PTR___snprintf_chk_000afb14" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) )) (argument_list "(PTR_DAT_000af458 + 0x5090,0x20,1,0x20,PTR_DAT_000af498 + -0x6f78)" ( (binary_expression "PTR_DAT_000af458 + 0x5090" identifier + number_literal) , number_literal , number_literal , number_literal , (binary_expression "PTR_DAT_000af498 + -0x6f78" identifier + number_literal) ))) ;) (return_statement "return puVar1 + 0x5090;" return (binary_expression "puVar1 + 0x5090" identifier + number_literal) ;) })))
(translation_unit "char * print_decimal(double number)\n\n{\n  undefined *puVar1;\n  double local_10;\n  \n  puVar1 = PTR_host_name_addresses_map_000af458;\n  if (0.0 <= number) {\n    local_10 = number;\n    if (*(double *)(PTR_DAT_000af498 + -0x6df0) <= number) goto LAB_0005c598;\n  }\n  else {\n    local_10 = -number;\n    if (*(double *)(PTR_DAT_000af498 + -0x6df0) <= local_10) {\nLAB_0005c598:\n      (*(code *)PTR___snprintf_chk_000afb14)\n                (PTR_host_name_addresses_map_000af458 + 0x5090,0x20,1,0x20,\n                 PTR_DAT_000af498 + -0x6f88);\n      return puVar1 + 0x5090;\n    }\n  }\n  if (*(double *)(PTR_s_hallenge__000af46c + 0x7940) <= local_10) {\n    (*(code *)PTR___snprintf_chk_000afb14)\n              (PTR_host_name_addresses_map_000af458 + 0x5090,0x20,1,0x20,PTR_DAT_000af498 + -0x6f80)\n    ;\n    return puVar1 + 0x5090;\n  }\n  if (local_10 < *(double *)(PTR_s_hallenge__000af46c + 0x6a58)) {\n    if (*(double *)(PTR_DAT_000af498 + -0x6de8) <= local_10) {\n      (*(code *)PTR___snprintf_chk_000afb14)\n                (PTR_host_name_addresses_map_000af458 + 0x5090,0x20,1,0x20,\n                 PTR_DAT_000af498 + -0x6f70);\n      return puVar1 + 0x5090;\n    }\n    *(undefined2 *)(PTR_host_name_addresses_map_000af458 + 0x5090) = 0x3000;\n    return puVar1 + 0x5090;\n  }\n  (*(code *)PTR___snprintf_chk_000afb14)\n            (PTR_host_name_addresses_map_000af458 + 0x5090,0x20,1,0x20,PTR_DAT_000af498 + -0x6f78);\n  return puVar1 + 0x5090;\n}\n\n" (function_definition "char * print_decimal(double number)\n\n{\n  undefined *puVar1;\n  double local_10;\n  \n  puVar1 = PTR_host_name_addresses_map_000af458;\n  if (0.0 <= number) {\n    local_10 = number;\n    if (*(double *)(PTR_DAT_000af498 + -0x6df0) <= number) goto LAB_0005c598;\n  }\n  else {\n    local_10 = -number;\n    if (*(double *)(PTR_DAT_000af498 + -0x6df0) <= local_10) {\nLAB_0005c598:\n      (*(code *)PTR___snprintf_chk_000afb14)\n                (PTR_host_name_addresses_map_000af458 + 0x5090,0x20,1,0x20,\n                 PTR_DAT_000af498 + -0x6f88);\n      return puVar1 + 0x5090;\n    }\n  }\n  if (*(double *)(PTR_s_hallenge__000af46c + 0x7940) <= local_10) {\n    (*(code *)PTR___snprintf_chk_000afb14)\n              (PTR_host_name_addresses_map_000af458 + 0x5090,0x20,1,0x20,PTR_DAT_000af498 + -0x6f80)\n    ;\n    return puVar1 + 0x5090;\n  }\n  if (local_10 < *(double *)(PTR_s_hallenge__000af46c + 0x6a58)) {\n    if (*(double *)(PTR_DAT_000af498 + -0x6de8) <= local_10) {\n      (*(code *)PTR___snprintf_chk_000afb14)\n                (PTR_host_name_addresses_map_000af458 + 0x5090,0x20,1,0x20,\n                 PTR_DAT_000af498 + -0x6f70);\n      return puVar1 + 0x5090;\n    }\n    *(undefined2 *)(PTR_host_name_addresses_map_000af458 + 0x5090) = 0x3000;\n    return puVar1 + 0x5090;\n  }\n  (*(code *)PTR___snprintf_chk_000afb14)\n            (PTR_host_name_addresses_map_000af458 + 0x5090,0x20,1,0x20,PTR_DAT_000af498 + -0x6f78);\n  return puVar1 + 0x5090;\n}" primitive_type (pointer_declarator "* print_decimal(double number)" * (function_declarator "print_decimal(double number)" identifier (parameter_list "(double number)" ( (parameter_declaration "double number" primitive_type identifier) )))) (compound_statement "{\n  undefined *puVar1;\n  double local_10;\n  \n  puVar1 = PTR_host_name_addresses_map_000af458;\n  if (0.0 <= number) {\n    local_10 = number;\n    if (*(double *)(PTR_DAT_000af498 + -0x6df0) <= number) goto LAB_0005c598;\n  }\n  else {\n    local_10 = -number;\n    if (*(double *)(PTR_DAT_000af498 + -0x6df0) <= local_10) {\nLAB_0005c598:\n      (*(code *)PTR___snprintf_chk_000afb14)\n                (PTR_host_name_addresses_map_000af458 + 0x5090,0x20,1,0x20,\n                 PTR_DAT_000af498 + -0x6f88);\n      return puVar1 + 0x5090;\n    }\n  }\n  if (*(double *)(PTR_s_hallenge__000af46c + 0x7940) <= local_10) {\n    (*(code *)PTR___snprintf_chk_000afb14)\n              (PTR_host_name_addresses_map_000af458 + 0x5090,0x20,1,0x20,PTR_DAT_000af498 + -0x6f80)\n    ;\n    return puVar1 + 0x5090;\n  }\n  if (local_10 < *(double *)(PTR_s_hallenge__000af46c + 0x6a58)) {\n    if (*(double *)(PTR_DAT_000af498 + -0x6de8) <= local_10) {\n      (*(code *)PTR___snprintf_chk_000afb14)\n                (PTR_host_name_addresses_map_000af458 + 0x5090,0x20,1,0x20,\n                 PTR_DAT_000af498 + -0x6f70);\n      return puVar1 + 0x5090;\n    }\n    *(undefined2 *)(PTR_host_name_addresses_map_000af458 + 0x5090) = 0x3000;\n    return puVar1 + 0x5090;\n  }\n  (*(code *)PTR___snprintf_chk_000afb14)\n            (PTR_host_name_addresses_map_000af458 + 0x5090,0x20,1,0x20,PTR_DAT_000af498 + -0x6f78);\n  return puVar1 + 0x5090;\n}" { (declaration "undefined *puVar1;" type_identifier (pointer_declarator "*puVar1" * identifier) ;) (declaration "double local_10;" primitive_type identifier ;) (expression_statement "puVar1 = PTR_host_name_addresses_map_000af458;" (assignment_expression "puVar1 = PTR_host_name_addresses_map_000af458" identifier = identifier) ;) (if_statement "if (0.0 <= number) {\n    local_10 = number;\n    if (*(double *)(PTR_DAT_000af498 + -0x6df0) <= number) goto LAB_0005c598;\n  }\n  else {\n    local_10 = -number;\n    if (*(double *)(PTR_DAT_000af498 + -0x6df0) <= local_10) {\nLAB_0005c598:\n      (*(code *)PTR___snprintf_chk_000afb14)\n                (PTR_host_name_addresses_map_000af458 + 0x5090,0x20,1,0x20,\n                 PTR_DAT_000af498 + -0x6f88);\n      return puVar1 + 0x5090;\n    }\n  }" if (parenthesized_expression "(0.0 <= number)" ( (binary_expression "0.0 <= number" number_literal <= identifier) )) (compound_statement "{\n    local_10 = number;\n    if (*(double *)(PTR_DAT_000af498 + -0x6df0) <= number) goto LAB_0005c598;\n  }" { (expression_statement "local_10 = number;" (assignment_expression "local_10 = number" identifier = identifier) ;) (if_statement "if (*(double *)(PTR_DAT_000af498 + -0x6df0) <= number) goto LAB_0005c598;" if (parenthesized_expression "(*(double *)(PTR_DAT_000af498 + -0x6df0) <= number)" ( (binary_expression "*(double *)(PTR_DAT_000af498 + -0x6df0) <= number" (pointer_expression "*(double *)(PTR_DAT_000af498 + -0x6df0)" * (cast_expression "(double *)(PTR_DAT_000af498 + -0x6df0)" ( (type_descriptor "double *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(PTR_DAT_000af498 + -0x6df0)" ( (binary_expression "PTR_DAT_000af498 + -0x6df0" identifier + number_literal) )))) <= identifier) )) (goto_statement "goto LAB_0005c598;" goto statement_identifier ;)) }) (else_clause "else {\n    local_10 = -number;\n    if (*(double *)(PTR_DAT_000af498 + -0x6df0) <= local_10) {\nLAB_0005c598:\n      (*(code *)PTR___snprintf_chk_000afb14)\n                (PTR_host_name_addresses_map_000af458 + 0x5090,0x20,1,0x20,\n                 PTR_DAT_000af498 + -0x6f88);\n      return puVar1 + 0x5090;\n    }\n  }" else (compound_statement "{\n    local_10 = -number;\n    if (*(double *)(PTR_DAT_000af498 + -0x6df0) <= local_10) {\nLAB_0005c598:\n      (*(code *)PTR___snprintf_chk_000afb14)\n                (PTR_host_name_addresses_map_000af458 + 0x5090,0x20,1,0x20,\n                 PTR_DAT_000af498 + -0x6f88);\n      return puVar1 + 0x5090;\n    }\n  }" { (expression_statement "local_10 = -number;" (assignment_expression "local_10 = -number" identifier = (unary_expression "-number" - identifier)) ;) (if_statement "if (*(double *)(PTR_DAT_000af498 + -0x6df0) <= local_10) {\nLAB_0005c598:\n      (*(code *)PTR___snprintf_chk_000afb14)\n                (PTR_host_name_addresses_map_000af458 + 0x5090,0x20,1,0x20,\n                 PTR_DAT_000af498 + -0x6f88);\n      return puVar1 + 0x5090;\n    }" if (parenthesized_expression "(*(double *)(PTR_DAT_000af498 + -0x6df0) <= local_10)" ( (binary_expression "*(double *)(PTR_DAT_000af498 + -0x6df0) <= local_10" (pointer_expression "*(double *)(PTR_DAT_000af498 + -0x6df0)" * (cast_expression "(double *)(PTR_DAT_000af498 + -0x6df0)" ( (type_descriptor "double *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(PTR_DAT_000af498 + -0x6df0)" ( (binary_expression "PTR_DAT_000af498 + -0x6df0" identifier + number_literal) )))) <= identifier) )) (compound_statement "{\nLAB_0005c598:\n      (*(code *)PTR___snprintf_chk_000afb14)\n                (PTR_host_name_addresses_map_000af458 + 0x5090,0x20,1,0x20,\n                 PTR_DAT_000af498 + -0x6f88);\n      return puVar1 + 0x5090;\n    }" { (labeled_statement "LAB_0005c598:\n      (*(code *)PTR___snprintf_chk_000afb14)\n                (PTR_host_name_addresses_map_000af458 + 0x5090,0x20,1,0x20,\n                 PTR_DAT_000af498 + -0x6f88);" statement_identifier : (expression_statement "(*(code *)PTR___snprintf_chk_000afb14)\n                (PTR_host_name_addresses_map_000af458 + 0x5090,0x20,1,0x20,\n                 PTR_DAT_000af498 + -0x6f88);" (call_expression "(*(code *)PTR___snprintf_chk_000afb14)\n                (PTR_host_name_addresses_map_000af458 + 0x5090,0x20,1,0x20,\n                 PTR_DAT_000af498 + -0x6f88)" (parenthesized_expression "(*(code *)PTR___snprintf_chk_000afb14)" ( (pointer_expression "*(code *)PTR___snprintf_chk_000afb14" * (cast_expression "(code *)PTR___snprintf_chk_000afb14" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) )) (argument_list "(PTR_host_name_addresses_map_000af458 + 0x5090,0x20,1,0x20,\n                 PTR_DAT_000af498 + -0x6f88)" ( (binary_expression "PTR_host_name_addresses_map_000af458 + 0x5090" identifier + number_literal) , number_literal , number_literal , number_literal , (binary_expression "PTR_DAT_000af498 + -0x6f88" identifier + number_literal) ))) ;)) (return_statement "return puVar1 + 0x5090;" return (binary_expression "puVar1 + 0x5090" identifier + number_literal) ;) })) }))) (if_statement "if (*(double *)(PTR_s_hallenge__000af46c + 0x7940) <= local_10) {\n    (*(code *)PTR___snprintf_chk_000afb14)\n              (PTR_host_name_addresses_map_000af458 + 0x5090,0x20,1,0x20,PTR_DAT_000af498 + -0x6f80)\n    ;\n    return puVar1 + 0x5090;\n  }" if (parenthesized_expression "(*(double *)(PTR_s_hallenge__000af46c + 0x7940) <= local_10)" ( (binary_expression "*(double *)(PTR_s_hallenge__000af46c + 0x7940) <= local_10" (pointer_expression "*(double *)(PTR_s_hallenge__000af46c + 0x7940)" * (cast_expression "(double *)(PTR_s_hallenge__000af46c + 0x7940)" ( (type_descriptor "double *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(PTR_s_hallenge__000af46c + 0x7940)" ( (binary_expression "PTR_s_hallenge__000af46c + 0x7940" identifier + number_literal) )))) <= identifier) )) (compound_statement "{\n    (*(code *)PTR___snprintf_chk_000afb14)\n              (PTR_host_name_addresses_map_000af458 + 0x5090,0x20,1,0x20,PTR_DAT_000af498 + -0x6f80)\n    ;\n    return puVar1 + 0x5090;\n  }" { (expression_statement "(*(code *)PTR___snprintf_chk_000afb14)\n              (PTR_host_name_addresses_map_000af458 + 0x5090,0x20,1,0x20,PTR_DAT_000af498 + -0x6f80)\n    ;" (call_expression "(*(code *)PTR___snprintf_chk_000afb14)\n              (PTR_host_name_addresses_map_000af458 + 0x5090,0x20,1,0x20,PTR_DAT_000af498 + -0x6f80)" (parenthesized_expression "(*(code *)PTR___snprintf_chk_000afb14)" ( (pointer_expression "*(code *)PTR___snprintf_chk_000afb14" * (cast_expression "(code *)PTR___snprintf_chk_000afb14" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) )) (argument_list "(PTR_host_name_addresses_map_000af458 + 0x5090,0x20,1,0x20,PTR_DAT_000af498 + -0x6f80)" ( (binary_expression "PTR_host_name_addresses_map_000af458 + 0x5090" identifier + number_literal) , number_literal , number_literal , number_literal , (binary_expression "PTR_DAT_000af498 + -0x6f80" identifier + number_literal) ))) ;) (return_statement "return puVar1 + 0x5090;" return (binary_expression "puVar1 + 0x5090" identifier + number_literal) ;) })) (if_statement "if (local_10 < *(double *)(PTR_s_hallenge__000af46c + 0x6a58)) {\n    if (*(double *)(PTR_DAT_000af498 + -0x6de8) <= local_10) {\n      (*(code *)PTR___snprintf_chk_000afb14)\n                (PTR_host_name_addresses_map_000af458 + 0x5090,0x20,1,0x20,\n                 PTR_DAT_000af498 + -0x6f70);\n      return puVar1 + 0x5090;\n    }\n    *(undefined2 *)(PTR_host_name_addresses_map_000af458 + 0x5090) = 0x3000;\n    return puVar1 + 0x5090;\n  }" if (parenthesized_expression "(local_10 < *(double *)(PTR_s_hallenge__000af46c + 0x6a58))" ( (binary_expression "local_10 < *(double *)(PTR_s_hallenge__000af46c + 0x6a58)" identifier < (pointer_expression "*(double *)(PTR_s_hallenge__000af46c + 0x6a58)" * (cast_expression "(double *)(PTR_s_hallenge__000af46c + 0x6a58)" ( (type_descriptor "double *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(PTR_s_hallenge__000af46c + 0x6a58)" ( (binary_expression "PTR_s_hallenge__000af46c + 0x6a58" identifier + number_literal) ))))) )) (compound_statement "{\n    if (*(double *)(PTR_DAT_000af498 + -0x6de8) <= local_10) {\n      (*(code *)PTR___snprintf_chk_000afb14)\n                (PTR_host_name_addresses_map_000af458 + 0x5090,0x20,1,0x20,\n                 PTR_DAT_000af498 + -0x6f70);\n      return puVar1 + 0x5090;\n    }\n    *(undefined2 *)(PTR_host_name_addresses_map_000af458 + 0x5090) = 0x3000;\n    return puVar1 + 0x5090;\n  }" { (if_statement "if (*(double *)(PTR_DAT_000af498 + -0x6de8) <= local_10) {\n      (*(code *)PTR___snprintf_chk_000afb14)\n                (PTR_host_name_addresses_map_000af458 + 0x5090,0x20,1,0x20,\n                 PTR_DAT_000af498 + -0x6f70);\n      return puVar1 + 0x5090;\n    }" if (parenthesized_expression "(*(double *)(PTR_DAT_000af498 + -0x6de8) <= local_10)" ( (binary_expression "*(double *)(PTR_DAT_000af498 + -0x6de8) <= local_10" (pointer_expression "*(double *)(PTR_DAT_000af498 + -0x6de8)" * (cast_expression "(double *)(PTR_DAT_000af498 + -0x6de8)" ( (type_descriptor "double *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(PTR_DAT_000af498 + -0x6de8)" ( (binary_expression "PTR_DAT_000af498 + -0x6de8" identifier + number_literal) )))) <= identifier) )) (compound_statement "{\n      (*(code *)PTR___snprintf_chk_000afb14)\n                (PTR_host_name_addresses_map_000af458 + 0x5090,0x20,1,0x20,\n                 PTR_DAT_000af498 + -0x6f70);\n      return puVar1 + 0x5090;\n    }" { (expression_statement "(*(code *)PTR___snprintf_chk_000afb14)\n                (PTR_host_name_addresses_map_000af458 + 0x5090,0x20,1,0x20,\n                 PTR_DAT_000af498 + -0x6f70);" (call_expression "(*(code *)PTR___snprintf_chk_000afb14)\n                (PTR_host_name_addresses_map_000af458 + 0x5090,0x20,1,0x20,\n                 PTR_DAT_000af498 + -0x6f70)" (parenthesized_expression "(*(code *)PTR___snprintf_chk_000afb14)" ( (pointer_expression "*(code *)PTR___snprintf_chk_000afb14" * (cast_expression "(code *)PTR___snprintf_chk_000afb14" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) )) (argument_list "(PTR_host_name_addresses_map_000af458 + 0x5090,0x20,1,0x20,\n                 PTR_DAT_000af498 + -0x6f70)" ( (binary_expression "PTR_host_name_addresses_map_000af458 + 0x5090" identifier + number_literal) , number_literal , number_literal , number_literal , (binary_expression "PTR_DAT_000af498 + -0x6f70" identifier + number_literal) ))) ;) (return_statement "return puVar1 + 0x5090;" return (binary_expression "puVar1 + 0x5090" identifier + number_literal) ;) })) (expression_statement "*(undefined2 *)(PTR_host_name_addresses_map_000af458 + 0x5090) = 0x3000;" (assignment_expression "*(undefined2 *)(PTR_host_name_addresses_map_000af458 + 0x5090) = 0x3000" (pointer_expression "*(undefined2 *)(PTR_host_name_addresses_map_000af458 + 0x5090)" * (cast_expression "(undefined2 *)(PTR_host_name_addresses_map_000af458 + 0x5090)" ( (type_descriptor "undefined2 *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(PTR_host_name_addresses_map_000af458 + 0x5090)" ( (binary_expression "PTR_host_name_addresses_map_000af458 + 0x5090" identifier + number_literal) )))) = number_literal) ;) (return_statement "return puVar1 + 0x5090;" return (binary_expression "puVar1 + 0x5090" identifier + number_literal) ;) })) (expression_statement "(*(code *)PTR___snprintf_chk_000afb14)\n            (PTR_host_name_addresses_map_000af458 + 0x5090,0x20,1,0x20,PTR_DAT_000af498 + -0x6f78);" (call_expression "(*(code *)PTR___snprintf_chk_000afb14)\n            (PTR_host_name_addresses_map_000af458 + 0x5090,0x20,1,0x20,PTR_DAT_000af498 + -0x6f78)" (parenthesized_expression "(*(code *)PTR___snprintf_chk_000afb14)" ( (pointer_expression "*(code *)PTR___snprintf_chk_000afb14" * (cast_expression "(code *)PTR___snprintf_chk_000afb14" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) )) (argument_list "(PTR_host_name_addresses_map_000af458 + 0x5090,0x20,1,0x20,PTR_DAT_000af498 + -0x6f78)" ( (binary_expression "PTR_host_name_addresses_map_000af458 + 0x5090" identifier + number_literal) , number_literal , number_literal , number_literal , (binary_expression "PTR_DAT_000af498 + -0x6f78" identifier + number_literal) ))) ;) (return_statement "return puVar1 + 0x5090;" return (binary_expression "puVar1 + 0x5090" identifier + number_literal) ;) })))
(translation_unit "undefined * print_decimal(double param_1)\n\n{\n  undefined *puVar1;\n  double local_10;\n  \n  puVar1 = PTR_DAT_000af458;\n  if (0.0 <= param_1) {\n    local_10 = param_1;\n    if (*(double *)(PTR_DAT_000af498 + -0x6df0) <= param_1) goto LAB_0005c598;\n  }\n  else {\n    local_10 = -param_1;\n    if (*(double *)(PTR_DAT_000af498 + -0x6df0) <= local_10) {\nLAB_0005c598:\n      (*(code *)PTR___snprintf_chk_000afb14)\n                (PTR_DAT_000af458 + 0x5090,0x20,1,0x20,PTR_DAT_000af498 + -0x6f88);\n      return puVar1 + 0x5090;\n    }\n  }\n  if (*(double *)(PTR_s_hallenge__000af46c + 0x7940) <= local_10) {\n    (*(code *)PTR___snprintf_chk_000afb14)\n              (PTR_DAT_000af458 + 0x5090,0x20,1,0x20,PTR_DAT_000af498 + -0x6f80);\n    return puVar1 + 0x5090;\n  }\n  if (local_10 < *(double *)(PTR_s_hallenge__000af46c + 0x6a58)) {\n    if (*(double *)(PTR_DAT_000af498 + -0x6de8) <= local_10) {\n      (*(code *)PTR___snprintf_chk_000afb14)\n                (PTR_DAT_000af458 + 0x5090,0x20,1,0x20,PTR_DAT_000af498 + -0x6f70);\n      return puVar1 + 0x5090;\n    }\n    *(undefined2 *)(PTR_DAT_000af458 + 0x5090) = 0x3000;\n    return puVar1 + 0x5090;\n  }\n  (*(code *)PTR___snprintf_chk_000afb14)\n            (PTR_DAT_000af458 + 0x5090,0x20,1,0x20,PTR_DAT_000af498 + -0x6f78);\n  return puVar1 + 0x5090;\n}\n\n" (function_definition "undefined * print_decimal(double param_1)\n\n{\n  undefined *puVar1;\n  double local_10;\n  \n  puVar1 = PTR_DAT_000af458;\n  if (0.0 <= param_1) {\n    local_10 = param_1;\n    if (*(double *)(PTR_DAT_000af498 + -0x6df0) <= param_1) goto LAB_0005c598;\n  }\n  else {\n    local_10 = -param_1;\n    if (*(double *)(PTR_DAT_000af498 + -0x6df0) <= local_10) {\nLAB_0005c598:\n      (*(code *)PTR___snprintf_chk_000afb14)\n                (PTR_DAT_000af458 + 0x5090,0x20,1,0x20,PTR_DAT_000af498 + -0x6f88);\n      return puVar1 + 0x5090;\n    }\n  }\n  if (*(double *)(PTR_s_hallenge__000af46c + 0x7940) <= local_10) {\n    (*(code *)PTR___snprintf_chk_000afb14)\n              (PTR_DAT_000af458 + 0x5090,0x20,1,0x20,PTR_DAT_000af498 + -0x6f80);\n    return puVar1 + 0x5090;\n  }\n  if (local_10 < *(double *)(PTR_s_hallenge__000af46c + 0x6a58)) {\n    if (*(double *)(PTR_DAT_000af498 + -0x6de8) <= local_10) {\n      (*(code *)PTR___snprintf_chk_000afb14)\n                (PTR_DAT_000af458 + 0x5090,0x20,1,0x20,PTR_DAT_000af498 + -0x6f70);\n      return puVar1 + 0x5090;\n    }\n    *(undefined2 *)(PTR_DAT_000af458 + 0x5090) = 0x3000;\n    return puVar1 + 0x5090;\n  }\n  (*(code *)PTR___snprintf_chk_000afb14)\n            (PTR_DAT_000af458 + 0x5090,0x20,1,0x20,PTR_DAT_000af498 + -0x6f78);\n  return puVar1 + 0x5090;\n}" type_identifier (pointer_declarator "* print_decimal(double param_1)" * (function_declarator "print_decimal(double param_1)" identifier (parameter_list "(double param_1)" ( (parameter_declaration "double param_1" primitive_type identifier) )))) (compound_statement "{\n  undefined *puVar1;\n  double local_10;\n  \n  puVar1 = PTR_DAT_000af458;\n  if (0.0 <= param_1) {\n    local_10 = param_1;\n    if (*(double *)(PTR_DAT_000af498 + -0x6df0) <= param_1) goto LAB_0005c598;\n  }\n  else {\n    local_10 = -param_1;\n    if (*(double *)(PTR_DAT_000af498 + -0x6df0) <= local_10) {\nLAB_0005c598:\n      (*(code *)PTR___snprintf_chk_000afb14)\n                (PTR_DAT_000af458 + 0x5090,0x20,1,0x20,PTR_DAT_000af498 + -0x6f88);\n      return puVar1 + 0x5090;\n    }\n  }\n  if (*(double *)(PTR_s_hallenge__000af46c + 0x7940) <= local_10) {\n    (*(code *)PTR___snprintf_chk_000afb14)\n              (PTR_DAT_000af458 + 0x5090,0x20,1,0x20,PTR_DAT_000af498 + -0x6f80);\n    return puVar1 + 0x5090;\n  }\n  if (local_10 < *(double *)(PTR_s_hallenge__000af46c + 0x6a58)) {\n    if (*(double *)(PTR_DAT_000af498 + -0x6de8) <= local_10) {\n      (*(code *)PTR___snprintf_chk_000afb14)\n                (PTR_DAT_000af458 + 0x5090,0x20,1,0x20,PTR_DAT_000af498 + -0x6f70);\n      return puVar1 + 0x5090;\n    }\n    *(undefined2 *)(PTR_DAT_000af458 + 0x5090) = 0x3000;\n    return puVar1 + 0x5090;\n  }\n  (*(code *)PTR___snprintf_chk_000afb14)\n            (PTR_DAT_000af458 + 0x5090,0x20,1,0x20,PTR_DAT_000af498 + -0x6f78);\n  return puVar1 + 0x5090;\n}" { (declaration "undefined *puVar1;" type_identifier (pointer_declarator "*puVar1" * identifier) ;) (declaration "double local_10;" primitive_type identifier ;) (expression_statement "puVar1 = PTR_DAT_000af458;" (assignment_expression "puVar1 = PTR_DAT_000af458" identifier = identifier) ;) (if_statement "if (0.0 <= param_1) {\n    local_10 = param_1;\n    if (*(double *)(PTR_DAT_000af498 + -0x6df0) <= param_1) goto LAB_0005c598;\n  }\n  else {\n    local_10 = -param_1;\n    if (*(double *)(PTR_DAT_000af498 + -0x6df0) <= local_10) {\nLAB_0005c598:\n      (*(code *)PTR___snprintf_chk_000afb14)\n                (PTR_DAT_000af458 + 0x5090,0x20,1,0x20,PTR_DAT_000af498 + -0x6f88);\n      return puVar1 + 0x5090;\n    }\n  }" if (parenthesized_expression "(0.0 <= param_1)" ( (binary_expression "0.0 <= param_1" number_literal <= identifier) )) (compound_statement "{\n    local_10 = param_1;\n    if (*(double *)(PTR_DAT_000af498 + -0x6df0) <= param_1) goto LAB_0005c598;\n  }" { (expression_statement "local_10 = param_1;" (assignment_expression "local_10 = param_1" identifier = identifier) ;) (if_statement "if (*(double *)(PTR_DAT_000af498 + -0x6df0) <= param_1) goto LAB_0005c598;" if (parenthesized_expression "(*(double *)(PTR_DAT_000af498 + -0x6df0) <= param_1)" ( (binary_expression "*(double *)(PTR_DAT_000af498 + -0x6df0) <= param_1" (pointer_expression "*(double *)(PTR_DAT_000af498 + -0x6df0)" * (cast_expression "(double *)(PTR_DAT_000af498 + -0x6df0)" ( (type_descriptor "double *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(PTR_DAT_000af498 + -0x6df0)" ( (binary_expression "PTR_DAT_000af498 + -0x6df0" identifier + number_literal) )))) <= identifier) )) (goto_statement "goto LAB_0005c598;" goto statement_identifier ;)) }) (else_clause "else {\n    local_10 = -param_1;\n    if (*(double *)(PTR_DAT_000af498 + -0x6df0) <= local_10) {\nLAB_0005c598:\n      (*(code *)PTR___snprintf_chk_000afb14)\n                (PTR_DAT_000af458 + 0x5090,0x20,1,0x20,PTR_DAT_000af498 + -0x6f88);\n      return puVar1 + 0x5090;\n    }\n  }" else (compound_statement "{\n    local_10 = -param_1;\n    if (*(double *)(PTR_DAT_000af498 + -0x6df0) <= local_10) {\nLAB_0005c598:\n      (*(code *)PTR___snprintf_chk_000afb14)\n                (PTR_DAT_000af458 + 0x5090,0x20,1,0x20,PTR_DAT_000af498 + -0x6f88);\n      return puVar1 + 0x5090;\n    }\n  }" { (expression_statement "local_10 = -param_1;" (assignment_expression "local_10 = -param_1" identifier = (unary_expression "-param_1" - identifier)) ;) (if_statement "if (*(double *)(PTR_DAT_000af498 + -0x6df0) <= local_10) {\nLAB_0005c598:\n      (*(code *)PTR___snprintf_chk_000afb14)\n                (PTR_DAT_000af458 + 0x5090,0x20,1,0x20,PTR_DAT_000af498 + -0x6f88);\n      return puVar1 + 0x5090;\n    }" if (parenthesized_expression "(*(double *)(PTR_DAT_000af498 + -0x6df0) <= local_10)" ( (binary_expression "*(double *)(PTR_DAT_000af498 + -0x6df0) <= local_10" (pointer_expression "*(double *)(PTR_DAT_000af498 + -0x6df0)" * (cast_expression "(double *)(PTR_DAT_000af498 + -0x6df0)" ( (type_descriptor "double *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(PTR_DAT_000af498 + -0x6df0)" ( (binary_expression "PTR_DAT_000af498 + -0x6df0" identifier + number_literal) )))) <= identifier) )) (compound_statement "{\nLAB_0005c598:\n      (*(code *)PTR___snprintf_chk_000afb14)\n                (PTR_DAT_000af458 + 0x5090,0x20,1,0x20,PTR_DAT_000af498 + -0x6f88);\n      return puVar1 + 0x5090;\n    }" { (labeled_statement "LAB_0005c598:\n      (*(code *)PTR___snprintf_chk_000afb14)\n                (PTR_DAT_000af458 + 0x5090,0x20,1,0x20,PTR_DAT_000af498 + -0x6f88);" statement_identifier : (expression_statement "(*(code *)PTR___snprintf_chk_000afb14)\n                (PTR_DAT_000af458 + 0x5090,0x20,1,0x20,PTR_DAT_000af498 + -0x6f88);" (call_expression "(*(code *)PTR___snprintf_chk_000afb14)\n                (PTR_DAT_000af458 + 0x5090,0x20,1,0x20,PTR_DAT_000af498 + -0x6f88)" (parenthesized_expression "(*(code *)PTR___snprintf_chk_000afb14)" ( (pointer_expression "*(code *)PTR___snprintf_chk_000afb14" * (cast_expression "(code *)PTR___snprintf_chk_000afb14" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) )) (argument_list "(PTR_DAT_000af458 + 0x5090,0x20,1,0x20,PTR_DAT_000af498 + -0x6f88)" ( (binary_expression "PTR_DAT_000af458 + 0x5090" identifier + number_literal) , number_literal , number_literal , number_literal , (binary_expression "PTR_DAT_000af498 + -0x6f88" identifier + number_literal) ))) ;)) (return_statement "return puVar1 + 0x5090;" return (binary_expression "puVar1 + 0x5090" identifier + number_literal) ;) })) }))) (if_statement "if (*(double *)(PTR_s_hallenge__000af46c + 0x7940) <= local_10) {\n    (*(code *)PTR___snprintf_chk_000afb14)\n              (PTR_DAT_000af458 + 0x5090,0x20,1,0x20,PTR_DAT_000af498 + -0x6f80);\n    return puVar1 + 0x5090;\n  }" if (parenthesized_expression "(*(double *)(PTR_s_hallenge__000af46c + 0x7940) <= local_10)" ( (binary_expression "*(double *)(PTR_s_hallenge__000af46c + 0x7940) <= local_10" (pointer_expression "*(double *)(PTR_s_hallenge__000af46c + 0x7940)" * (cast_expression "(double *)(PTR_s_hallenge__000af46c + 0x7940)" ( (type_descriptor "double *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(PTR_s_hallenge__000af46c + 0x7940)" ( (binary_expression "PTR_s_hallenge__000af46c + 0x7940" identifier + number_literal) )))) <= identifier) )) (compound_statement "{\n    (*(code *)PTR___snprintf_chk_000afb14)\n              (PTR_DAT_000af458 + 0x5090,0x20,1,0x20,PTR_DAT_000af498 + -0x6f80);\n    return puVar1 + 0x5090;\n  }" { (expression_statement "(*(code *)PTR___snprintf_chk_000afb14)\n              (PTR_DAT_000af458 + 0x5090,0x20,1,0x20,PTR_DAT_000af498 + -0x6f80);" (call_expression "(*(code *)PTR___snprintf_chk_000afb14)\n              (PTR_DAT_000af458 + 0x5090,0x20,1,0x20,PTR_DAT_000af498 + -0x6f80)" (parenthesized_expression "(*(code *)PTR___snprintf_chk_000afb14)" ( (pointer_expression "*(code *)PTR___snprintf_chk_000afb14" * (cast_expression "(code *)PTR___snprintf_chk_000afb14" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) )) (argument_list "(PTR_DAT_000af458 + 0x5090,0x20,1,0x20,PTR_DAT_000af498 + -0x6f80)" ( (binary_expression "PTR_DAT_000af458 + 0x5090" identifier + number_literal) , number_literal , number_literal , number_literal , (binary_expression "PTR_DAT_000af498 + -0x6f80" identifier + number_literal) ))) ;) (return_statement "return puVar1 + 0x5090;" return (binary_expression "puVar1 + 0x5090" identifier + number_literal) ;) })) (if_statement "if (local_10 < *(double *)(PTR_s_hallenge__000af46c + 0x6a58)) {\n    if (*(double *)(PTR_DAT_000af498 + -0x6de8) <= local_10) {\n      (*(code *)PTR___snprintf_chk_000afb14)\n                (PTR_DAT_000af458 + 0x5090,0x20,1,0x20,PTR_DAT_000af498 + -0x6f70);\n      return puVar1 + 0x5090;\n    }\n    *(undefined2 *)(PTR_DAT_000af458 + 0x5090) = 0x3000;\n    return puVar1 + 0x5090;\n  }" if (parenthesized_expression "(local_10 < *(double *)(PTR_s_hallenge__000af46c + 0x6a58))" ( (binary_expression "local_10 < *(double *)(PTR_s_hallenge__000af46c + 0x6a58)" identifier < (pointer_expression "*(double *)(PTR_s_hallenge__000af46c + 0x6a58)" * (cast_expression "(double *)(PTR_s_hallenge__000af46c + 0x6a58)" ( (type_descriptor "double *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(PTR_s_hallenge__000af46c + 0x6a58)" ( (binary_expression "PTR_s_hallenge__000af46c + 0x6a58" identifier + number_literal) ))))) )) (compound_statement "{\n    if (*(double *)(PTR_DAT_000af498 + -0x6de8) <= local_10) {\n      (*(code *)PTR___snprintf_chk_000afb14)\n                (PTR_DAT_000af458 + 0x5090,0x20,1,0x20,PTR_DAT_000af498 + -0x6f70);\n      return puVar1 + 0x5090;\n    }\n    *(undefined2 *)(PTR_DAT_000af458 + 0x5090) = 0x3000;\n    return puVar1 + 0x5090;\n  }" { (if_statement "if (*(double *)(PTR_DAT_000af498 + -0x6de8) <= local_10) {\n      (*(code *)PTR___snprintf_chk_000afb14)\n                (PTR_DAT_000af458 + 0x5090,0x20,1,0x20,PTR_DAT_000af498 + -0x6f70);\n      return puVar1 + 0x5090;\n    }" if (parenthesized_expression "(*(double *)(PTR_DAT_000af498 + -0x6de8) <= local_10)" ( (binary_expression "*(double *)(PTR_DAT_000af498 + -0x6de8) <= local_10" (pointer_expression "*(double *)(PTR_DAT_000af498 + -0x6de8)" * (cast_expression "(double *)(PTR_DAT_000af498 + -0x6de8)" ( (type_descriptor "double *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(PTR_DAT_000af498 + -0x6de8)" ( (binary_expression "PTR_DAT_000af498 + -0x6de8" identifier + number_literal) )))) <= identifier) )) (compound_statement "{\n      (*(code *)PTR___snprintf_chk_000afb14)\n                (PTR_DAT_000af458 + 0x5090,0x20,1,0x20,PTR_DAT_000af498 + -0x6f70);\n      return puVar1 + 0x5090;\n    }" { (expression_statement "(*(code *)PTR___snprintf_chk_000afb14)\n                (PTR_DAT_000af458 + 0x5090,0x20,1,0x20,PTR_DAT_000af498 + -0x6f70);" (call_expression "(*(code *)PTR___snprintf_chk_000afb14)\n                (PTR_DAT_000af458 + 0x5090,0x20,1,0x20,PTR_DAT_000af498 + -0x6f70)" (parenthesized_expression "(*(code *)PTR___snprintf_chk_000afb14)" ( (pointer_expression "*(code *)PTR___snprintf_chk_000afb14" * (cast_expression "(code *)PTR___snprintf_chk_000afb14" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) )) (argument_list "(PTR_DAT_000af458 + 0x5090,0x20,1,0x20,PTR_DAT_000af498 + -0x6f70)" ( (binary_expression "PTR_DAT_000af458 + 0x5090" identifier + number_literal) , number_literal , number_literal , number_literal , (binary_expression "PTR_DAT_000af498 + -0x6f70" identifier + number_literal) ))) ;) (return_statement "return puVar1 + 0x5090;" return (binary_expression "puVar1 + 0x5090" identifier + number_literal) ;) })) (expression_statement "*(undefined2 *)(PTR_DAT_000af458 + 0x5090) = 0x3000;" (assignment_expression "*(undefined2 *)(PTR_DAT_000af458 + 0x5090) = 0x3000" (pointer_expression "*(undefined2 *)(PTR_DAT_000af458 + 0x5090)" * (cast_expression "(undefined2 *)(PTR_DAT_000af458 + 0x5090)" ( (type_descriptor "undefined2 *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(PTR_DAT_000af458 + 0x5090)" ( (binary_expression "PTR_DAT_000af458 + 0x5090" identifier + number_literal) )))) = number_literal) ;) (return_statement "return puVar1 + 0x5090;" return (binary_expression "puVar1 + 0x5090" identifier + number_literal) ;) })) (expression_statement "(*(code *)PTR___snprintf_chk_000afb14)\n            (PTR_DAT_000af458 + 0x5090,0x20,1,0x20,PTR_DAT_000af498 + -0x6f78);" (call_expression "(*(code *)PTR___snprintf_chk_000afb14)\n            (PTR_DAT_000af458 + 0x5090,0x20,1,0x20,PTR_DAT_000af498 + -0x6f78)" (parenthesized_expression "(*(code *)PTR___snprintf_chk_000afb14)" ( (pointer_expression "*(code *)PTR___snprintf_chk_000afb14" * (cast_expression "(code *)PTR___snprintf_chk_000afb14" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) )) (argument_list "(PTR_DAT_000af458 + 0x5090,0x20,1,0x20,PTR_DAT_000af498 + -0x6f78)" ( (binary_expression "PTR_DAT_000af458 + 0x5090" identifier + number_literal) , number_literal , number_literal , number_literal , (binary_expression "PTR_DAT_000af498 + -0x6f78" identifier + number_literal) ))) ;) (return_statement "return puVar1 + 0x5090;" return (binary_expression "puVar1 + 0x5090" identifier + number_literal) ;) })))
(translation_unit (function_definition TYPE (pointer_declarator * (function_declarator IDENT (parameter_list ( (parameter_declaration TYPE IDENT) )))) (compound_statement { (declaration TYPE (pointer_declarator * IDENT) ;) (declaration TYPE IDENT ;) (expression_statement (assignment_expression IDENT = IDENT) ;) (if_statement if (parenthesized_expression ( (binary_expression LIT <= IDENT) )) (compound_statement { (expression_statement (assignment_expression IDENT = IDENT) ;) (if_statement if (parenthesized_expression ( (binary_expression (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression IDENT + LIT) )))) <= IDENT) )) (goto_statement goto statement_identifier ;)) }) (else_clause else (compound_statement { (expression_statement (assignment_expression IDENT = (unary_expression - IDENT)) ;) (if_statement if (parenthesized_expression ( (binary_expression (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression IDENT + LIT) )))) <= IDENT) )) (compound_statement { (labeled_statement statement_identifier : (expression_statement (call_expression (parenthesized_expression ( (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) IDENT)) )) (argument_list ( (binary_expression IDENT + LIT) , LIT , LIT , LIT , (binary_expression IDENT + LIT) ))) ;)) (return_statement return (binary_expression IDENT + LIT) ;) })) }))) (if_statement if (parenthesized_expression ( (binary_expression (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression IDENT + LIT) )))) <= IDENT) )) (compound_statement { (expression_statement (call_expression (parenthesized_expression ( (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) IDENT)) )) (argument_list ( (binary_expression IDENT + LIT) , LIT , LIT , LIT , (binary_expression IDENT + LIT) ))) ;) (return_statement return (binary_expression IDENT + LIT) ;) })) (if_statement if (parenthesized_expression ( (binary_expression IDENT < (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression IDENT + LIT) ))))) )) (compound_statement { (if_statement if (parenthesized_expression ( (binary_expression (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression IDENT + LIT) )))) <= IDENT) )) (compound_statement { (expression_statement (call_expression (parenthesized_expression ( (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) IDENT)) )) (argument_list ( (binary_expression IDENT + LIT) , LIT , LIT , LIT , (binary_expression IDENT + LIT) ))) ;) (return_statement return (binary_expression IDENT + LIT) ;) })) (expression_statement (assignment_expression (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression IDENT + LIT) )))) = LIT) ;) (return_statement return (binary_expression IDENT + LIT) ;) })) (expression_statement (call_expression (parenthesized_expression ( (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) IDENT)) )) (argument_list ( (binary_expression IDENT + LIT) , LIT , LIT , LIT , (binary_expression IDENT + LIT) ))) ;) (return_statement return (binary_expression IDENT + LIT) ;) })))
(function_definition "undefined * print_decimal(double param_1)\n\n{\n  undefined *puVar1;\n  double local_10;\n  \n  puVar1 = PTR_DAT_000af458;\n  if (0.0 <= param_1) {\n    local_10 = param_1;\n    if (*(double *)(PTR_DAT_000af498 + -0x6df0) <= param_1) goto LAB_0005c598;\n  }\n  else {\n    local_10 = -param_1;\n    if (*(double *)(PTR_DAT_000af498 + -0x6df0) <= local_10) {\nLAB_0005c598:\n      (*(code *)PTR___snprintf_chk_000afb14)\n                (PTR_DAT_000af458 + 0x5090,0x20,1,0x20,PTR_DAT_000af498 + -0x6f88);\n      return puVar1 + 0x5090;\n    }\n  }\n  if (*(double *)(PTR_s_hallenge__000af46c + 0x7940) <= local_10) {\n    (*(code *)PTR___snprintf_chk_000afb14)\n              (PTR_DAT_000af458 + 0x5090,0x20,1,0x20,PTR_DAT_000af498 + -0x6f80);\n    return puVar1 + 0x5090;\n  }\n  if (local_10 < *(double *)(PTR_s_hallenge__000af46c + 0x6a58)) {\n    if (*(double *)(PTR_DAT_000af498 + -0x6de8) <= local_10) {\n      (*(code *)PTR___snprintf_chk_000afb14)\n                (PTR_DAT_000af458 + 0x5090,0x20,1,0x20,PTR_DAT_000af498 + -0x6f70);\n      return puVar1 + 0x5090;\n    }\n    *(undefined2 *)(PTR_DAT_000af458 + 0x5090) = 0x3000;\n    return puVar1 + 0x5090;\n  }\n  (*(code *)PTR___snprintf_chk_000afb14)\n            (PTR_DAT_000af458 + 0x5090,0x20,1,0x20,PTR_DAT_000af498 + -0x6f78);\n  return puVar1 + 0x5090;\n}" (type_identifier "undefined") (pointer_declarator "* print_decimal(double param_1)" (* "*") (function_declarator "print_decimal(double param_1)" (identifier "print_decimal") (parameter_list "(double param_1)" (( "(") (parameter_declaration "double param_1" (primitive_type "double") (identifier "param_1")) () ")")))) (compound_statement "{\n  undefined *puVar1;\n  double local_10;\n  \n  puVar1 = PTR_DAT_000af458;\n  if (0.0 <= param_1) {\n    local_10 = param_1;\n    if (*(double *)(PTR_DAT_000af498 + -0x6df0) <= param_1) goto LAB_0005c598;\n  }\n  else {\n    local_10 = -param_1;\n    if (*(double *)(PTR_DAT_000af498 + -0x6df0) <= local_10) {\nLAB_0005c598:\n      (*(code *)PTR___snprintf_chk_000afb14)\n                (PTR_DAT_000af458 + 0x5090,0x20,1,0x20,PTR_DAT_000af498 + -0x6f88);\n      return puVar1 + 0x5090;\n    }\n  }\n  if (*(double *)(PTR_s_hallenge__000af46c + 0x7940) <= local_10) {\n    (*(code *)PTR___snprintf_chk_000afb14)\n              (PTR_DAT_000af458 + 0x5090,0x20,1,0x20,PTR_DAT_000af498 + -0x6f80);\n    return puVar1 + 0x5090;\n  }\n  if (local_10 < *(double *)(PTR_s_hallenge__000af46c + 0x6a58)) {\n    if (*(double *)(PTR_DAT_000af498 + -0x6de8) <= local_10) {\n      (*(code *)PTR___snprintf_chk_000afb14)\n                (PTR_DAT_000af458 + 0x5090,0x20,1,0x20,PTR_DAT_000af498 + -0x6f70);\n      return puVar1 + 0x5090;\n    }\n    *(undefined2 *)(PTR_DAT_000af458 + 0x5090) = 0x3000;\n    return puVar1 + 0x5090;\n  }\n  (*(code *)PTR___snprintf_chk_000afb14)\n            (PTR_DAT_000af458 + 0x5090,0x20,1,0x20,PTR_DAT_000af498 + -0x6f78);\n  return puVar1 + 0x5090;\n}" ({ "{") (declaration "undefined *puVar1;" (type_identifier "undefined") (pointer_declarator "*puVar1" (* "*") (identifier "puVar1")) (; ";")) (declaration "double local_10;" (primitive_type "double") (identifier "local_10") (; ";")) (expression_statement "puVar1 = PTR_DAT_000af458;" (assignment_expression "puVar1 = PTR_DAT_000af458" (identifier "puVar1") (= "=") (identifier "PTR_DAT_000af458")) (; ";")) (if_statement "if (0.0 <= param_1) {\n    local_10 = param_1;\n    if (*(double *)(PTR_DAT_000af498 + -0x6df0) <= param_1) goto LAB_0005c598;\n  }\n  else {\n    local_10 = -param_1;\n    if (*(double *)(PTR_DAT_000af498 + -0x6df0) <= local_10) {\nLAB_0005c598:\n      (*(code *)PTR___snprintf_chk_000afb14)\n                (PTR_DAT_000af458 + 0x5090,0x20,1,0x20,PTR_DAT_000af498 + -0x6f88);\n      return puVar1 + 0x5090;\n    }\n  }" (if "if") (parenthesized_expression "(0.0 <= param_1)" (( "(") (binary_expression "0.0 <= param_1" (number_literal "0.0") (<= "<=") (identifier "param_1")) () ")")) (compound_statement "{\n    local_10 = param_1;\n    if (*(double *)(PTR_DAT_000af498 + -0x6df0) <= param_1) goto LAB_0005c598;\n  }" ({ "{") (expression_statement "local_10 = param_1;" (assignment_expression "local_10 = param_1" (identifier "local_10") (= "=") (identifier "param_1")) (; ";")) (if_statement "if (*(double *)(PTR_DAT_000af498 + -0x6df0) <= param_1) goto LAB_0005c598;" (if "if") (parenthesized_expression "(*(double *)(PTR_DAT_000af498 + -0x6df0) <= param_1)" (( "(") (binary_expression "*(double *)(PTR_DAT_000af498 + -0x6df0) <= param_1" (pointer_expression "*(double *)(PTR_DAT_000af498 + -0x6df0)" (* "*") (cast_expression "(double *)(PTR_DAT_000af498 + -0x6df0)" (( "(") (type_descriptor "double *" (primitive_type "double") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "(PTR_DAT_000af498 + -0x6df0)" (( "(") (binary_expression "PTR_DAT_000af498 + -0x6df0" (identifier "PTR_DAT_000af498") (+ "+") (number_literal "-0x6df0")) () ")")))) (<= "<=") (identifier "param_1")) () ")")) (goto_statement "goto LAB_0005c598;" (goto "goto") (statement_identifier "LAB_0005c598") (; ";"))) (} "}")) (else_clause "else {\n    local_10 = -param_1;\n    if (*(double *)(PTR_DAT_000af498 + -0x6df0) <= local_10) {\nLAB_0005c598:\n      (*(code *)PTR___snprintf_chk_000afb14)\n                (PTR_DAT_000af458 + 0x5090,0x20,1,0x20,PTR_DAT_000af498 + -0x6f88);\n      return puVar1 + 0x5090;\n    }\n  }" (else "else") (compound_statement "{\n    local_10 = -param_1;\n    if (*(double *)(PTR_DAT_000af498 + -0x6df0) <= local_10) {\nLAB_0005c598:\n      (*(code *)PTR___snprintf_chk_000afb14)\n                (PTR_DAT_000af458 + 0x5090,0x20,1,0x20,PTR_DAT_000af498 + -0x6f88);\n      return puVar1 + 0x5090;\n    }\n  }" ({ "{") (expression_statement "local_10 = -param_1;" (assignment_expression "local_10 = -param_1" (identifier "local_10") (= "=") (unary_expression "-param_1" (- "-") (identifier "param_1"))) (; ";")) (if_statement "if (*(double *)(PTR_DAT_000af498 + -0x6df0) <= local_10) {\nLAB_0005c598:\n      (*(code *)PTR___snprintf_chk_000afb14)\n                (PTR_DAT_000af458 + 0x5090,0x20,1,0x20,PTR_DAT_000af498 + -0x6f88);\n      return puVar1 + 0x5090;\n    }" (if "if") (parenthesized_expression "(*(double *)(PTR_DAT_000af498 + -0x6df0) <= local_10)" (( "(") (binary_expression "*(double *)(PTR_DAT_000af498 + -0x6df0) <= local_10" (pointer_expression "*(double *)(PTR_DAT_000af498 + -0x6df0)" (* "*") (cast_expression "(double *)(PTR_DAT_000af498 + -0x6df0)" (( "(") (type_descriptor "double *" (primitive_type "double") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "(PTR_DAT_000af498 + -0x6df0)" (( "(") (binary_expression "PTR_DAT_000af498 + -0x6df0" (identifier "PTR_DAT_000af498") (+ "+") (number_literal "-0x6df0")) () ")")))) (<= "<=") (identifier "local_10")) () ")")) (compound_statement "{\nLAB_0005c598:\n      (*(code *)PTR___snprintf_chk_000afb14)\n                (PTR_DAT_000af458 + 0x5090,0x20,1,0x20,PTR_DAT_000af498 + -0x6f88);\n      return puVar1 + 0x5090;\n    }" ({ "{") (labeled_statement "LAB_0005c598:\n      (*(code *)PTR___snprintf_chk_000afb14)\n                (PTR_DAT_000af458 + 0x5090,0x20,1,0x20,PTR_DAT_000af498 + -0x6f88);" (statement_identifier "LAB_0005c598") (: ":") (expression_statement "(*(code *)PTR___snprintf_chk_000afb14)\n                (PTR_DAT_000af458 + 0x5090,0x20,1,0x20,PTR_DAT_000af498 + -0x6f88);" (call_expression "(*(code *)PTR___snprintf_chk_000afb14)\n                (PTR_DAT_000af458 + 0x5090,0x20,1,0x20,PTR_DAT_000af498 + -0x6f88)" (parenthesized_expression "(*(code *)PTR___snprintf_chk_000afb14)" (( "(") (pointer_expression "*(code *)PTR___snprintf_chk_000afb14" (* "*") (cast_expression "(code *)PTR___snprintf_chk_000afb14" (( "(") (type_descriptor "code *" (type_identifier "code") (abstract_pointer_declarator "*" (* "*"))) () ")") (identifier "PTR___snprintf_chk_000afb14"))) () ")")) (argument_list "(PTR_DAT_000af458 + 0x5090,0x20,1,0x20,PTR_DAT_000af498 + -0x6f88)" (( "(") (binary_expression "PTR_DAT_000af458 + 0x5090" (identifier "PTR_DAT_000af458") (+ "+") (number_literal "0x5090")) (, ",") (number_literal "0x20") (, ",") (number_literal "1") (, ",") (number_literal "0x20") (, ",") (binary_expression "PTR_DAT_000af498 + -0x6f88" (identifier "PTR_DAT_000af498") (+ "+") (number_literal "-0x6f88")) () ")"))) (; ";"))) (return_statement "return puVar1 + 0x5090;" (return "return") (binary_expression "puVar1 + 0x5090" (identifier "puVar1") (+ "+") (number_literal "0x5090")) (; ";")) (} "}"))) (} "}")))) (if_statement "if (*(double *)(PTR_s_hallenge__000af46c + 0x7940) <= local_10) {\n    (*(code *)PTR___snprintf_chk_000afb14)\n              (PTR_DAT_000af458 + 0x5090,0x20,1,0x20,PTR_DAT_000af498 + -0x6f80);\n    return puVar1 + 0x5090;\n  }" (if "if") (parenthesized_expression "(*(double *)(PTR_s_hallenge__000af46c + 0x7940) <= local_10)" (( "(") (binary_expression "*(double *)(PTR_s_hallenge__000af46c + 0x7940) <= local_10" (pointer_expression "*(double *)(PTR_s_hallenge__000af46c + 0x7940)" (* "*") (cast_expression "(double *)(PTR_s_hallenge__000af46c + 0x7940)" (( "(") (type_descriptor "double *" (primitive_type "double") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "(PTR_s_hallenge__000af46c + 0x7940)" (( "(") (binary_expression "PTR_s_hallenge__000af46c + 0x7940" (identifier "PTR_s_hallenge__000af46c") (+ "+") (number_literal "0x7940")) () ")")))) (<= "<=") (identifier "local_10")) () ")")) (compound_statement "{\n    (*(code *)PTR___snprintf_chk_000afb14)\n              (PTR_DAT_000af458 + 0x5090,0x20,1,0x20,PTR_DAT_000af498 + -0x6f80);\n    return puVar1 + 0x5090;\n  }" ({ "{") (expression_statement "(*(code *)PTR___snprintf_chk_000afb14)\n              (PTR_DAT_000af458 + 0x5090,0x20,1,0x20,PTR_DAT_000af498 + -0x6f80);" (call_expression "(*(code *)PTR___snprintf_chk_000afb14)\n              (PTR_DAT_000af458 + 0x5090,0x20,1,0x20,PTR_DAT_000af498 + -0x6f80)" (parenthesized_expression "(*(code *)PTR___snprintf_chk_000afb14)" (( "(") (pointer_expression "*(code *)PTR___snprintf_chk_000afb14" (* "*") (cast_expression "(code *)PTR___snprintf_chk_000afb14" (( "(") (type_descriptor "code *" (type_identifier "code") (abstract_pointer_declarator "*" (* "*"))) () ")") (identifier "PTR___snprintf_chk_000afb14"))) () ")")) (argument_list "(PTR_DAT_000af458 + 0x5090,0x20,1,0x20,PTR_DAT_000af498 + -0x6f80)" (( "(") (binary_expression "PTR_DAT_000af458 + 0x5090" (identifier "PTR_DAT_000af458") (+ "+") (number_literal "0x5090")) (, ",") (number_literal "0x20") (, ",") (number_literal "1") (, ",") (number_literal "0x20") (, ",") (binary_expression "PTR_DAT_000af498 + -0x6f80" (identifier "PTR_DAT_000af498") (+ "+") (number_literal "-0x6f80")) () ")"))) (; ";")) (return_statement "return puVar1 + 0x5090;" (return "return") (binary_expression "puVar1 + 0x5090" (identifier "puVar1") (+ "+") (number_literal "0x5090")) (; ";")) (} "}"))) (if_statement "if (local_10 < *(double *)(PTR_s_hallenge__000af46c + 0x6a58)) {\n    if (*(double *)(PTR_DAT_000af498 + -0x6de8) <= local_10) {\n      (*(code *)PTR___snprintf_chk_000afb14)\n                (PTR_DAT_000af458 + 0x5090,0x20,1,0x20,PTR_DAT_000af498 + -0x6f70);\n      return puVar1 + 0x5090;\n    }\n    *(undefined2 *)(PTR_DAT_000af458 + 0x5090) = 0x3000;\n    return puVar1 + 0x5090;\n  }" (if "if") (parenthesized_expression "(local_10 < *(double *)(PTR_s_hallenge__000af46c + 0x6a58))" (( "(") (binary_expression "local_10 < *(double *)(PTR_s_hallenge__000af46c + 0x6a58)" (identifier "local_10") (< "<") (pointer_expression "*(double *)(PTR_s_hallenge__000af46c + 0x6a58)" (* "*") (cast_expression "(double *)(PTR_s_hallenge__000af46c + 0x6a58)" (( "(") (type_descriptor "double *" (primitive_type "double") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "(PTR_s_hallenge__000af46c + 0x6a58)" (( "(") (binary_expression "PTR_s_hallenge__000af46c + 0x6a58" (identifier "PTR_s_hallenge__000af46c") (+ "+") (number_literal "0x6a58")) () ")"))))) () ")")) (compound_statement "{\n    if (*(double *)(PTR_DAT_000af498 + -0x6de8) <= local_10) {\n      (*(code *)PTR___snprintf_chk_000afb14)\n                (PTR_DAT_000af458 + 0x5090,0x20,1,0x20,PTR_DAT_000af498 + -0x6f70);\n      return puVar1 + 0x5090;\n    }\n    *(undefined2 *)(PTR_DAT_000af458 + 0x5090) = 0x3000;\n    return puVar1 + 0x5090;\n  }" ({ "{") (if_statement "if (*(double *)(PTR_DAT_000af498 + -0x6de8) <= local_10) {\n      (*(code *)PTR___snprintf_chk_000afb14)\n                (PTR_DAT_000af458 + 0x5090,0x20,1,0x20,PTR_DAT_000af498 + -0x6f70);\n      return puVar1 + 0x5090;\n    }" (if "if") (parenthesized_expression "(*(double *)(PTR_DAT_000af498 + -0x6de8) <= local_10)" (( "(") (binary_expression "*(double *)(PTR_DAT_000af498 + -0x6de8) <= local_10" (pointer_expression "*(double *)(PTR_DAT_000af498 + -0x6de8)" (* "*") (cast_expression "(double *)(PTR_DAT_000af498 + -0x6de8)" (( "(") (type_descriptor "double *" (primitive_type "double") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "(PTR_DAT_000af498 + -0x6de8)" (( "(") (binary_expression "PTR_DAT_000af498 + -0x6de8" (identifier "PTR_DAT_000af498") (+ "+") (number_literal "-0x6de8")) () ")")))) (<= "<=") (identifier "local_10")) () ")")) (compound_statement "{\n      (*(code *)PTR___snprintf_chk_000afb14)\n                (PTR_DAT_000af458 + 0x5090,0x20,1,0x20,PTR_DAT_000af498 + -0x6f70);\n      return puVar1 + 0x5090;\n    }" ({ "{") (expression_statement "(*(code *)PTR___snprintf_chk_000afb14)\n                (PTR_DAT_000af458 + 0x5090,0x20,1,0x20,PTR_DAT_000af498 + -0x6f70);" (call_expression "(*(code *)PTR___snprintf_chk_000afb14)\n                (PTR_DAT_000af458 + 0x5090,0x20,1,0x20,PTR_DAT_000af498 + -0x6f70)" (parenthesized_expression "(*(code *)PTR___snprintf_chk_000afb14)" (( "(") (pointer_expression "*(code *)PTR___snprintf_chk_000afb14" (* "*") (cast_expression "(code *)PTR___snprintf_chk_000afb14" (( "(") (type_descriptor "code *" (type_identifier "code") (abstract_pointer_declarator "*" (* "*"))) () ")") (identifier "PTR___snprintf_chk_000afb14"))) () ")")) (argument_list "(PTR_DAT_000af458 + 0x5090,0x20,1,0x20,PTR_DAT_000af498 + -0x6f70)" (( "(") (binary_expression "PTR_DAT_000af458 + 0x5090" (identifier "PTR_DAT_000af458") (+ "+") (number_literal "0x5090")) (, ",") (number_literal "0x20") (, ",") (number_literal "1") (, ",") (number_literal "0x20") (, ",") (binary_expression "PTR_DAT_000af498 + -0x6f70" (identifier "PTR_DAT_000af498") (+ "+") (number_literal "-0x6f70")) () ")"))) (; ";")) (return_statement "return puVar1 + 0x5090;" (return "return") (binary_expression "puVar1 + 0x5090" (identifier "puVar1") (+ "+") (number_literal "0x5090")) (; ";")) (} "}"))) (expression_statement "*(undefined2 *)(PTR_DAT_000af458 + 0x5090) = 0x3000;" (assignment_expression "*(undefined2 *)(PTR_DAT_000af458 + 0x5090) = 0x3000" (pointer_expression "*(undefined2 *)(PTR_DAT_000af458 + 0x5090)" (* "*") (cast_expression "(undefined2 *)(PTR_DAT_000af458 + 0x5090)" (( "(") (type_descriptor "undefined2 *" (type_identifier "undefined2") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "(PTR_DAT_000af458 + 0x5090)" (( "(") (binary_expression "PTR_DAT_000af458 + 0x5090" (identifier "PTR_DAT_000af458") (+ "+") (number_literal "0x5090")) () ")")))) (= "=") (number_literal "0x3000")) (; ";")) (return_statement "return puVar1 + 0x5090;" (return "return") (binary_expression "puVar1 + 0x5090" (identifier "puVar1") (+ "+") (number_literal "0x5090")) (; ";")) (} "}"))) (expression_statement "(*(code *)PTR___snprintf_chk_000afb14)\n            (PTR_DAT_000af458 + 0x5090,0x20,1,0x20,PTR_DAT_000af498 + -0x6f78);" (call_expression "(*(code *)PTR___snprintf_chk_000afb14)\n            (PTR_DAT_000af458 + 0x5090,0x20,1,0x20,PTR_DAT_000af498 + -0x6f78)" (parenthesized_expression "(*(code *)PTR___snprintf_chk_000afb14)" (( "(") (pointer_expression "*(code *)PTR___snprintf_chk_000afb14" (* "*") (cast_expression "(code *)PTR___snprintf_chk_000afb14" (( "(") (type_descriptor "code *" (type_identifier "code") (abstract_pointer_declarator "*" (* "*"))) () ")") (identifier "PTR___snprintf_chk_000afb14"))) () ")")) (argument_list "(PTR_DAT_000af458 + 0x5090,0x20,1,0x20,PTR_DAT_000af498 + -0x6f78)" (( "(") (binary_expression "PTR_DAT_000af458 + 0x5090" (identifier "PTR_DAT_000af458") (+ "+") (number_literal "0x5090")) (, ",") (number_literal "0x20") (, ",") (number_literal "1") (, ",") (number_literal "0x20") (, ",") (binary_expression "PTR_DAT_000af498 + -0x6f78" (identifier "PTR_DAT_000af498") (+ "+") (number_literal "-0x6f78")) () ")"))) (; ";")) (return_statement "return puVar1 + 0x5090;" (return "return") (binary_expression "puVar1 + 0x5090" (identifier "puVar1") (+ "+") (number_literal "0x5090")) (; ";")) (} "}")))
(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))))) body: (compound_statement (declaration type: (type_identifier) declarator: (pointer_declarator declarator: (identifier))) (declaration type: (primitive_type) declarator: (identifier)) (expression_statement (assignment_expression left: (identifier) right: (identifier))) (if_statement condition: (parenthesized_expression (binary_expression left: (number_literal) right: (identifier))) consequence: (compound_statement (expression_statement (assignment_expression left: (identifier) right: (identifier))) (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: (identifier))) consequence: (goto_statement label: (statement_identifier)))) alternative: (else_clause (compound_statement (expression_statement (assignment_expression left: (identifier) right: (unary_expression argument: (identifier)))) (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: (identifier))) consequence: (compound_statement (labeled_statement label: (statement_identifier) (expression_statement (call_expression function: (parenthesized_expression (pointer_expression argument: (cast_expression type: (type_descriptor type: (type_identifier) declarator: (abstract_pointer_declarator)) value: (identifier)))) arguments: (argument_list (binary_expression left: (identifier) right: (number_literal)) (number_literal) (number_literal) (number_literal) (binary_expression left: (identifier) right: (number_literal)))))) (return_statement (binary_expression left: (identifier) right: (number_literal)))))))) (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: (identifier))) consequence: (compound_statement (expression_statement (call_expression function: (parenthesized_expression (pointer_expression argument: (cast_expression type: (type_descriptor type: (type_identifier) declarator: (abstract_pointer_declarator)) value: (identifier)))) arguments: (argument_list (binary_expression left: (identifier) right: (number_literal)) (number_literal) (number_literal) (number_literal) (binary_expression left: (identifier) right: (number_literal))))) (return_statement (binary_expression left: (identifier) right: (number_literal))))) (if_statement condition: (parenthesized_expression (binary_expression left: (identifier) right: (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))))))) consequence: (compound_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: (identifier))) consequence: (compound_statement (expression_statement (call_expression function: (parenthesized_expression (pointer_expression argument: (cast_expression type: (type_descriptor type: (type_identifier) declarator: (abstract_pointer_declarator)) value: (identifier)))) arguments: (argument_list (binary_expression left: (identifier) right: (number_literal)) (number_literal) (number_literal) (number_literal) (binary_expression left: (identifier) right: (number_literal))))) (return_statement (binary_expression left: (identifier) right: (number_literal))))) (expression_statement (assignment_expression left: (pointer_expression argument: (cast_expression type: (type_descriptor type: (type_identifier) declarator: (abstract_pointer_declarator)) value: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal))))) right: (number_literal))) (return_statement (binary_expression left: (identifier) right: (number_literal))))) (expression_statement (call_expression function: (parenthesized_expression (pointer_expression argument: (cast_expression type: (type_descriptor type: (type_identifier) declarator: (abstract_pointer_declarator)) value: (identifier)))) arguments: (argument_list (binary_expression left: (identifier) right: (number_literal)) (number_literal) (number_literal) (number_literal) (binary_expression left: (identifier) right: (number_literal))))) (return_statement (binary_expression left: (identifier) right: (number_literal))))))

undefined * MASKED(double param_1)

{
  undefined *puVar1;
  double local_10;
  
  puVar1 = PTR_DAT_000af458;
  if (0.0 <= param_1) {
    local_10 = param_1;
    if (*(double *)(PTR_DAT_000af498 + -0x6df0) <= param_1) goto LAB_0005c598;
  }
  else {
    local_10 = -param_1;
    if (*(double *)(PTR_DAT_000af498 + -0x6df0) <= local_10) {
LAB_0005c598:
      (*(code *)PTR___snprintf_chk_000afb14)
                (PTR_DAT_000af458 + 0x5090,0x20,1,0x20,PTR_DAT_000af498 + -0x6f88);
      return puVar1 + 0x5090;
    }
  }
  if (*(double *)(PTR_s_hallenge__000af46c + 0x7940) <= local_10) {
    (*(code *)PTR___snprintf_chk_000afb14)
              (PTR_DAT_000af458 + 0x5090,0x20,1,0x20,PTR_DAT_000af498 + -0x6f80);
    return puVar1 + 0x5090;
  }
  if (local_10 < *(double *)(PTR_s_hallenge__000af46c + 0x6a58)) {
    if (*(double *)(PTR_DAT_000af498 + -0x6de8) <= local_10) {
      (*(code *)PTR___snprintf_chk_000afb14)
                (PTR_DAT_000af458 + 0x5090,0x20,1,0x20,PTR_DAT_000af498 + -0x6f70);
      return puVar1 + 0x5090;
    }
    *(undefined2 *)(PTR_DAT_000af458 + 0x5090) = 0x3000;
    return puVar1 + 0x5090;
  }
  (*(code *)PTR___snprintf_chk_000afb14)
            (PTR_DAT_000af458 + 0x5090,0x20,1,0x20,PTR_DAT_000af498 + -0x6f78);
  return puVar1 + 0x5090;
}

