
goto_number map_goto(state_number s0,symbol_number sym)

{
  uint *puVar1;
  uint uVar2;
  goto_number gVar3;
  int iVar4;
  uint uVar5;
  uint uVar6;
  
  puVar1 = (uint *)(*(int *)PTR_goto_map_0008d970 + (sym - *(int *)PTR_ntokens_0008d77c) * 4);
  uVar6 = *puVar1;
  uVar5 = puVar1[1] - 1;
  if (uVar6 <= uVar5) {
    uVar2 = uVar6 + uVar5 >> 1;
    iVar4 = *(int *)(*(int *)PTR_from_state_0008d974 + uVar2 * 4);
    while( true ) {
      if (s0 == iVar4) {
        return uVar2;
      }
      if (iVar4 < s0) {
        uVar6 = uVar2 + 1;
      }
      else {
        uVar5 = uVar2 - 1;
      }
      if (uVar5 < uVar6) break;
      uVar2 = uVar5 + uVar6 >> 1;
      iVar4 = *(int *)(*(int *)PTR_from_state_0008d974 + uVar2 * 4);
    }
  }
  gVar3 = (*(code *)PTR___assert_fail_0008de30)
                    (PTR_LAB_0008d628 + 0x3c14,PTR_LAB_0008d628 + 0x3bb8,0x84,
                     PTR_LAB_0008d628 + 0x3cec);
  return gVar3;
}



void map_goto(int param_1,int param_2)

{
  uint *puVar1;
  uint uVar2;
  int iVar3;
  uint uVar4;
  uint uVar5;
  
  puVar1 = (uint *)(*(int *)PTR_goto_map_0008d970 + (param_2 - *(int *)PTR_ntokens_0008d77c) * 4);
  uVar5 = *puVar1;
  uVar4 = puVar1[1] - 1;
  if (uVar5 <= uVar4) {
    uVar2 = uVar5 + uVar4 >> 1;
    iVar3 = *(int *)(*(int *)PTR_from_state_0008d974 + uVar2 * 4);
    while( true ) {
      if (param_1 == iVar3) {
        return;
      }
      if (iVar3 < param_1) {
        uVar5 = uVar2 + 1;
      }
      else {
        uVar4 = uVar2 - 1;
      }
      if (uVar4 < uVar5) break;
      uVar2 = uVar4 + uVar5 >> 1;
      iVar3 = *(int *)(*(int *)PTR_from_state_0008d974 + uVar2 * 4);
    }
  }
  (*(code *)PTR___assert_fail_0008de30)
            (PTR_LAB_0008d628 + 0x3c14,PTR_LAB_0008d628 + 0x3bb8,0x84,PTR_LAB_0008d628 + 0x3cec);
  return;
}


lui gp,0x7
addiu gp,gp,0xb04
addu gp,gp,t9
lw v0,-0x7e74(gp)
addiu sp,sp,-0x20
lw v1,-0x7c80(gp)
sw gp,0x10(sp)
lw v0,0x0(v0)
lw v1,0x0(v1)
sw ra,0x1c(sp)
subu v0,a1,v0
sll v0,v0,0x2
addu v0,v1,v0
lw a1,0x4(v0)
lw a2,0x0(v0)
addiu a1,a1,-0x1
sltu v0,a1,a2
bne v0,zero,0x00024ba4
_lw v1,-0x7c7c(gp)
addu v0,a2,a1
srl v0,v0,0x1
lw a3,0x0(v1)
sll v1,v0,0x2
addu v1,a3,v1
lw v1,0x0(v1)
bne a0,v1,0x00024b88
_lw ra,0x1c(sp)
b 0x00024b9c
_nop
addiu a2,v0,0x1
sltu v0,a1,a2
bne v0,zero,0x00024ba4
_addu v0,a1,a2
srl v0,v0,0x1
sll v1,v0,0x2
addu v1,a3,v1
lw v1,0x0(v1)
beq v1,a0,0x00024b9c
_lw ra,0x1c(sp)
slt v1,v1,a0
bne v1,zero,0x00024b60
_nop
b 0x00024b64
_addiu a1,v0,-0x1
jr ra
_addiu sp,sp,0x20
lw a3,-0x7fc8(gp)
li a2,0x84
lw a1,-0x7fc8(gp)
lw a0,-0x7fc8(gp)
lw t9,-0x77c0(gp)
addiu a3,a3,0x3cec
addiu a1,a1,0x3bb8
jalr t9
_addiu a0,a0,0x3c14
(translation_unit "void map_goto(int param_1,int param_2)\n\n{\n  uint *puVar1;\n  uint uVar2;\n  int iVar3;\n  uint uVar4;\n  uint uVar5;\n  \n  puVar1 = (uint *)(*(int *)PTR_goto_map_0008d970 + (param_2 - *(int *)PTR_ntokens_0008d77c) * 4);\n  uVar5 = *puVar1;\n  uVar4 = puVar1[1] - 1;\n  if (uVar5 <= uVar4) {\n    uVar2 = uVar5 + uVar4 >> 1;\n    iVar3 = *(int *)(*(int *)PTR_from_state_0008d974 + uVar2 * 4);\n    while( true ) {\n      if (param_1 == iVar3) {\n        return;\n      }\n      if (iVar3 < param_1) {\n        uVar5 = uVar2 + 1;\n      }\n      else {\n        uVar4 = uVar2 - 1;\n      }\n      if (uVar4 < uVar5) break;\n      uVar2 = uVar4 + uVar5 >> 1;\n      iVar3 = *(int *)(*(int *)PTR_from_state_0008d974 + uVar2 * 4);\n    }\n  }\n  (*(code *)PTR___assert_fail_0008de30)\n            (PTR_LAB_0008d628 + 0x3c14,PTR_LAB_0008d628 + 0x3bb8,0x84,PTR_LAB_0008d628 + 0x3cec);\n  return;\n}\n\n" (function_definition "void map_goto(int param_1,int param_2)\n\n{\n  uint *puVar1;\n  uint uVar2;\n  int iVar3;\n  uint uVar4;\n  uint uVar5;\n  \n  puVar1 = (uint *)(*(int *)PTR_goto_map_0008d970 + (param_2 - *(int *)PTR_ntokens_0008d77c) * 4);\n  uVar5 = *puVar1;\n  uVar4 = puVar1[1] - 1;\n  if (uVar5 <= uVar4) {\n    uVar2 = uVar5 + uVar4 >> 1;\n    iVar3 = *(int *)(*(int *)PTR_from_state_0008d974 + uVar2 * 4);\n    while( true ) {\n      if (param_1 == iVar3) {\n        return;\n      }\n      if (iVar3 < param_1) {\n        uVar5 = uVar2 + 1;\n      }\n      else {\n        uVar4 = uVar2 - 1;\n      }\n      if (uVar4 < uVar5) break;\n      uVar2 = uVar4 + uVar5 >> 1;\n      iVar3 = *(int *)(*(int *)PTR_from_state_0008d974 + uVar2 * 4);\n    }\n  }\n  (*(code *)PTR___assert_fail_0008de30)\n            (PTR_LAB_0008d628 + 0x3c14,PTR_LAB_0008d628 + 0x3bb8,0x84,PTR_LAB_0008d628 + 0x3cec);\n  return;\n}" primitive_type (function_declarator "map_goto(int param_1,int param_2)" identifier (parameter_list "(int param_1,int param_2)" ( (parameter_declaration "int param_1" primitive_type identifier) , (parameter_declaration "int param_2" primitive_type identifier) ))) (compound_statement "{\n  uint *puVar1;\n  uint uVar2;\n  int iVar3;\n  uint uVar4;\n  uint uVar5;\n  \n  puVar1 = (uint *)(*(int *)PTR_goto_map_0008d970 + (param_2 - *(int *)PTR_ntokens_0008d77c) * 4);\n  uVar5 = *puVar1;\n  uVar4 = puVar1[1] - 1;\n  if (uVar5 <= uVar4) {\n    uVar2 = uVar5 + uVar4 >> 1;\n    iVar3 = *(int *)(*(int *)PTR_from_state_0008d974 + uVar2 * 4);\n    while( true ) {\n      if (param_1 == iVar3) {\n        return;\n      }\n      if (iVar3 < param_1) {\n        uVar5 = uVar2 + 1;\n      }\n      else {\n        uVar4 = uVar2 - 1;\n      }\n      if (uVar4 < uVar5) break;\n      uVar2 = uVar4 + uVar5 >> 1;\n      iVar3 = *(int *)(*(int *)PTR_from_state_0008d974 + uVar2 * 4);\n    }\n  }\n  (*(code *)PTR___assert_fail_0008de30)\n            (PTR_LAB_0008d628 + 0x3c14,PTR_LAB_0008d628 + 0x3bb8,0x84,PTR_LAB_0008d628 + 0x3cec);\n  return;\n}" { (declaration "uint *puVar1;" type_identifier (pointer_declarator "*puVar1" * identifier) ;) (declaration "uint uVar2;" type_identifier identifier ;) (declaration "int iVar3;" primitive_type identifier ;) (declaration "uint uVar4;" type_identifier identifier ;) (declaration "uint uVar5;" type_identifier identifier ;) (expression_statement "puVar1 = (uint *)(*(int *)PTR_goto_map_0008d970 + (param_2 - *(int *)PTR_ntokens_0008d77c) * 4);" (assignment_expression "puVar1 = (uint *)(*(int *)PTR_goto_map_0008d970 + (param_2 - *(int *)PTR_ntokens_0008d77c) * 4)" identifier = (cast_expression "(uint *)(*(int *)PTR_goto_map_0008d970 + (param_2 - *(int *)PTR_ntokens_0008d77c) * 4)" ( (type_descriptor "uint *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(*(int *)PTR_goto_map_0008d970 + (param_2 - *(int *)PTR_ntokens_0008d77c) * 4)" ( (binary_expression "*(int *)PTR_goto_map_0008d970 + (param_2 - *(int *)PTR_ntokens_0008d77c) * 4" (pointer_expression "*(int *)PTR_goto_map_0008d970" * (cast_expression "(int *)PTR_goto_map_0008d970" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) identifier)) + (binary_expression "(param_2 - *(int *)PTR_ntokens_0008d77c) * 4" (parenthesized_expression "(param_2 - *(int *)PTR_ntokens_0008d77c)" ( (binary_expression "param_2 - *(int *)PTR_ntokens_0008d77c" identifier - (pointer_expression "*(int *)PTR_ntokens_0008d77c" * (cast_expression "(int *)PTR_ntokens_0008d77c" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) identifier))) )) * number_literal)) )))) ;) (expression_statement "uVar5 = *puVar1;" (assignment_expression "uVar5 = *puVar1" identifier = (pointer_expression "*puVar1" * identifier)) ;) (expression_statement "uVar4 = puVar1[1] - 1;" (assignment_expression "uVar4 = puVar1[1] - 1" identifier = (binary_expression "puVar1[1] - 1" (subscript_expression "puVar1[1]" identifier [ number_literal ]) - number_literal)) ;) (if_statement "if (uVar5 <= uVar4) {\n    uVar2 = uVar5 + uVar4 >> 1;\n    iVar3 = *(int *)(*(int *)PTR_from_state_0008d974 + uVar2 * 4);\n    while( true ) {\n      if (param_1 == iVar3) {\n        return;\n      }\n      if (iVar3 < param_1) {\n        uVar5 = uVar2 + 1;\n      }\n      else {\n        uVar4 = uVar2 - 1;\n      }\n      if (uVar4 < uVar5) break;\n      uVar2 = uVar4 + uVar5 >> 1;\n      iVar3 = *(int *)(*(int *)PTR_from_state_0008d974 + uVar2 * 4);\n    }\n  }" if (parenthesized_expression "(uVar5 <= uVar4)" ( (binary_expression "uVar5 <= uVar4" identifier <= identifier) )) (compound_statement "{\n    uVar2 = uVar5 + uVar4 >> 1;\n    iVar3 = *(int *)(*(int *)PTR_from_state_0008d974 + uVar2 * 4);\n    while( true ) {\n      if (param_1 == iVar3) {\n        return;\n      }\n      if (iVar3 < param_1) {\n        uVar5 = uVar2 + 1;\n      }\n      else {\n        uVar4 = uVar2 - 1;\n      }\n      if (uVar4 < uVar5) break;\n      uVar2 = uVar4 + uVar5 >> 1;\n      iVar3 = *(int *)(*(int *)PTR_from_state_0008d974 + uVar2 * 4);\n    }\n  }" { (expression_statement "uVar2 = uVar5 + uVar4 >> 1;" (assignment_expression "uVar2 = uVar5 + uVar4 >> 1" identifier = (binary_expression "uVar5 + uVar4 >> 1" (binary_expression "uVar5 + uVar4" identifier + identifier) >> number_literal)) ;) (expression_statement "iVar3 = *(int *)(*(int *)PTR_from_state_0008d974 + uVar2 * 4);" (assignment_expression "iVar3 = *(int *)(*(int *)PTR_from_state_0008d974 + uVar2 * 4)" identifier = (pointer_expression "*(int *)(*(int *)PTR_from_state_0008d974 + uVar2 * 4)" * (cast_expression "(int *)(*(int *)PTR_from_state_0008d974 + uVar2 * 4)" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(*(int *)PTR_from_state_0008d974 + uVar2 * 4)" ( (binary_expression "*(int *)PTR_from_state_0008d974 + uVar2 * 4" (pointer_expression "*(int *)PTR_from_state_0008d974" * (cast_expression "(int *)PTR_from_state_0008d974" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) identifier)) + (binary_expression "uVar2 * 4" identifier * number_literal)) ))))) ;) (while_statement "while( true ) {\n      if (param_1 == iVar3) {\n        return;\n      }\n      if (iVar3 < param_1) {\n        uVar5 = uVar2 + 1;\n      }\n      else {\n        uVar4 = uVar2 - 1;\n      }\n      if (uVar4 < uVar5) break;\n      uVar2 = uVar4 + uVar5 >> 1;\n      iVar3 = *(int *)(*(int *)PTR_from_state_0008d974 + uVar2 * 4);\n    }" while (parenthesized_expression "( true )" ( true )) (compound_statement "{\n      if (param_1 == iVar3) {\n        return;\n      }\n      if (iVar3 < param_1) {\n        uVar5 = uVar2 + 1;\n      }\n      else {\n        uVar4 = uVar2 - 1;\n      }\n      if (uVar4 < uVar5) break;\n      uVar2 = uVar4 + uVar5 >> 1;\n      iVar3 = *(int *)(*(int *)PTR_from_state_0008d974 + uVar2 * 4);\n    }" { (if_statement "if (param_1 == iVar3) {\n        return;\n      }" if (parenthesized_expression "(param_1 == iVar3)" ( (binary_expression "param_1 == iVar3" identifier == identifier) )) (compound_statement "{\n        return;\n      }" { (return_statement "return;" return ;) })) (if_statement "if (iVar3 < param_1) {\n        uVar5 = uVar2 + 1;\n      }\n      else {\n        uVar4 = uVar2 - 1;\n      }" if (parenthesized_expression "(iVar3 < param_1)" ( (binary_expression "iVar3 < param_1" identifier < identifier) )) (compound_statement "{\n        uVar5 = uVar2 + 1;\n      }" { (expression_statement "uVar5 = uVar2 + 1;" (assignment_expression "uVar5 = uVar2 + 1" identifier = (binary_expression "uVar2 + 1" identifier + number_literal)) ;) }) (else_clause "else {\n        uVar4 = uVar2 - 1;\n      }" else (compound_statement "{\n        uVar4 = uVar2 - 1;\n      }" { (expression_statement "uVar4 = uVar2 - 1;" (assignment_expression "uVar4 = uVar2 - 1" identifier = (binary_expression "uVar2 - 1" identifier - number_literal)) ;) }))) (if_statement "if (uVar4 < uVar5) break;" if (parenthesized_expression "(uVar4 < uVar5)" ( (binary_expression "uVar4 < uVar5" identifier < identifier) )) (break_statement "break;" break ;)) (expression_statement "uVar2 = uVar4 + uVar5 >> 1;" (assignment_expression "uVar2 = uVar4 + uVar5 >> 1" identifier = (binary_expression "uVar4 + uVar5 >> 1" (binary_expression "uVar4 + uVar5" identifier + identifier) >> number_literal)) ;) (expression_statement "iVar3 = *(int *)(*(int *)PTR_from_state_0008d974 + uVar2 * 4);" (assignment_expression "iVar3 = *(int *)(*(int *)PTR_from_state_0008d974 + uVar2 * 4)" identifier = (pointer_expression "*(int *)(*(int *)PTR_from_state_0008d974 + uVar2 * 4)" * (cast_expression "(int *)(*(int *)PTR_from_state_0008d974 + uVar2 * 4)" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(*(int *)PTR_from_state_0008d974 + uVar2 * 4)" ( (binary_expression "*(int *)PTR_from_state_0008d974 + uVar2 * 4" (pointer_expression "*(int *)PTR_from_state_0008d974" * (cast_expression "(int *)PTR_from_state_0008d974" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) identifier)) + (binary_expression "uVar2 * 4" identifier * number_literal)) ))))) ;) })) })) (expression_statement "(*(code *)PTR___assert_fail_0008de30)\n            (PTR_LAB_0008d628 + 0x3c14,PTR_LAB_0008d628 + 0x3bb8,0x84,PTR_LAB_0008d628 + 0x3cec);" (call_expression "(*(code *)PTR___assert_fail_0008de30)\n            (PTR_LAB_0008d628 + 0x3c14,PTR_LAB_0008d628 + 0x3bb8,0x84,PTR_LAB_0008d628 + 0x3cec)" (parenthesized_expression "(*(code *)PTR___assert_fail_0008de30)" ( (pointer_expression "*(code *)PTR___assert_fail_0008de30" * (cast_expression "(code *)PTR___assert_fail_0008de30" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) )) (argument_list "(PTR_LAB_0008d628 + 0x3c14,PTR_LAB_0008d628 + 0x3bb8,0x84,PTR_LAB_0008d628 + 0x3cec)" ( (binary_expression "PTR_LAB_0008d628 + 0x3c14" identifier + number_literal) , (binary_expression "PTR_LAB_0008d628 + 0x3bb8" identifier + number_literal) , number_literal , (binary_expression "PTR_LAB_0008d628 + 0x3cec" identifier + number_literal) ))) ;) (return_statement "return;" return ;) })))
(translation_unit "goto_number map_goto(state_number s0,symbol_number sym)\n\n{\n  uint *puVar1;\n  uint uVar2;\n  goto_number gVar3;\n  int iVar4;\n  uint uVar5;\n  uint uVar6;\n  \n  puVar1 = (uint *)(*(int *)PTR_goto_map_0008d970 + (sym - *(int *)PTR_ntokens_0008d77c) * 4);\n  uVar6 = *puVar1;\n  uVar5 = puVar1[1] - 1;\n  if (uVar6 <= uVar5) {\n    uVar2 = uVar6 + uVar5 >> 1;\n    iVar4 = *(int *)(*(int *)PTR_from_state_0008d974 + uVar2 * 4);\n    while( true ) {\n      if (s0 == iVar4) {\n        return uVar2;\n      }\n      if (iVar4 < s0) {\n        uVar6 = uVar2 + 1;\n      }\n      else {\n        uVar5 = uVar2 - 1;\n      }\n      if (uVar5 < uVar6) break;\n      uVar2 = uVar5 + uVar6 >> 1;\n      iVar4 = *(int *)(*(int *)PTR_from_state_0008d974 + uVar2 * 4);\n    }\n  }\n  gVar3 = (*(code *)PTR___assert_fail_0008de30)\n                    (PTR_LAB_0008d628 + 0x3c14,PTR_LAB_0008d628 + 0x3bb8,0x84,\n                     PTR_LAB_0008d628 + 0x3cec);\n  return gVar3;\n}\n\n" (function_definition "goto_number map_goto(state_number s0,symbol_number sym)\n\n{\n  uint *puVar1;\n  uint uVar2;\n  goto_number gVar3;\n  int iVar4;\n  uint uVar5;\n  uint uVar6;\n  \n  puVar1 = (uint *)(*(int *)PTR_goto_map_0008d970 + (sym - *(int *)PTR_ntokens_0008d77c) * 4);\n  uVar6 = *puVar1;\n  uVar5 = puVar1[1] - 1;\n  if (uVar6 <= uVar5) {\n    uVar2 = uVar6 + uVar5 >> 1;\n    iVar4 = *(int *)(*(int *)PTR_from_state_0008d974 + uVar2 * 4);\n    while( true ) {\n      if (s0 == iVar4) {\n        return uVar2;\n      }\n      if (iVar4 < s0) {\n        uVar6 = uVar2 + 1;\n      }\n      else {\n        uVar5 = uVar2 - 1;\n      }\n      if (uVar5 < uVar6) break;\n      uVar2 = uVar5 + uVar6 >> 1;\n      iVar4 = *(int *)(*(int *)PTR_from_state_0008d974 + uVar2 * 4);\n    }\n  }\n  gVar3 = (*(code *)PTR___assert_fail_0008de30)\n                    (PTR_LAB_0008d628 + 0x3c14,PTR_LAB_0008d628 + 0x3bb8,0x84,\n                     PTR_LAB_0008d628 + 0x3cec);\n  return gVar3;\n}" type_identifier (function_declarator "map_goto(state_number s0,symbol_number sym)" identifier (parameter_list "(state_number s0,symbol_number sym)" ( (parameter_declaration "state_number s0" type_identifier identifier) , (parameter_declaration "symbol_number sym" type_identifier identifier) ))) (compound_statement "{\n  uint *puVar1;\n  uint uVar2;\n  goto_number gVar3;\n  int iVar4;\n  uint uVar5;\n  uint uVar6;\n  \n  puVar1 = (uint *)(*(int *)PTR_goto_map_0008d970 + (sym - *(int *)PTR_ntokens_0008d77c) * 4);\n  uVar6 = *puVar1;\n  uVar5 = puVar1[1] - 1;\n  if (uVar6 <= uVar5) {\n    uVar2 = uVar6 + uVar5 >> 1;\n    iVar4 = *(int *)(*(int *)PTR_from_state_0008d974 + uVar2 * 4);\n    while( true ) {\n      if (s0 == iVar4) {\n        return uVar2;\n      }\n      if (iVar4 < s0) {\n        uVar6 = uVar2 + 1;\n      }\n      else {\n        uVar5 = uVar2 - 1;\n      }\n      if (uVar5 < uVar6) break;\n      uVar2 = uVar5 + uVar6 >> 1;\n      iVar4 = *(int *)(*(int *)PTR_from_state_0008d974 + uVar2 * 4);\n    }\n  }\n  gVar3 = (*(code *)PTR___assert_fail_0008de30)\n                    (PTR_LAB_0008d628 + 0x3c14,PTR_LAB_0008d628 + 0x3bb8,0x84,\n                     PTR_LAB_0008d628 + 0x3cec);\n  return gVar3;\n}" { (declaration "uint *puVar1;" type_identifier (pointer_declarator "*puVar1" * identifier) ;) (declaration "uint uVar2;" type_identifier identifier ;) (declaration "goto_number gVar3;" type_identifier identifier ;) (declaration "int iVar4;" primitive_type identifier ;) (declaration "uint uVar5;" type_identifier identifier ;) (declaration "uint uVar6;" type_identifier identifier ;) (expression_statement "puVar1 = (uint *)(*(int *)PTR_goto_map_0008d970 + (sym - *(int *)PTR_ntokens_0008d77c) * 4);" (assignment_expression "puVar1 = (uint *)(*(int *)PTR_goto_map_0008d970 + (sym - *(int *)PTR_ntokens_0008d77c) * 4)" identifier = (cast_expression "(uint *)(*(int *)PTR_goto_map_0008d970 + (sym - *(int *)PTR_ntokens_0008d77c) * 4)" ( (type_descriptor "uint *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(*(int *)PTR_goto_map_0008d970 + (sym - *(int *)PTR_ntokens_0008d77c) * 4)" ( (binary_expression "*(int *)PTR_goto_map_0008d970 + (sym - *(int *)PTR_ntokens_0008d77c) * 4" (pointer_expression "*(int *)PTR_goto_map_0008d970" * (cast_expression "(int *)PTR_goto_map_0008d970" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) identifier)) + (binary_expression "(sym - *(int *)PTR_ntokens_0008d77c) * 4" (parenthesized_expression "(sym - *(int *)PTR_ntokens_0008d77c)" ( (binary_expression "sym - *(int *)PTR_ntokens_0008d77c" identifier - (pointer_expression "*(int *)PTR_ntokens_0008d77c" * (cast_expression "(int *)PTR_ntokens_0008d77c" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) identifier))) )) * number_literal)) )))) ;) (expression_statement "uVar6 = *puVar1;" (assignment_expression "uVar6 = *puVar1" identifier = (pointer_expression "*puVar1" * identifier)) ;) (expression_statement "uVar5 = puVar1[1] - 1;" (assignment_expression "uVar5 = puVar1[1] - 1" identifier = (binary_expression "puVar1[1] - 1" (subscript_expression "puVar1[1]" identifier [ number_literal ]) - number_literal)) ;) (if_statement "if (uVar6 <= uVar5) {\n    uVar2 = uVar6 + uVar5 >> 1;\n    iVar4 = *(int *)(*(int *)PTR_from_state_0008d974 + uVar2 * 4);\n    while( true ) {\n      if (s0 == iVar4) {\n        return uVar2;\n      }\n      if (iVar4 < s0) {\n        uVar6 = uVar2 + 1;\n      }\n      else {\n        uVar5 = uVar2 - 1;\n      }\n      if (uVar5 < uVar6) break;\n      uVar2 = uVar5 + uVar6 >> 1;\n      iVar4 = *(int *)(*(int *)PTR_from_state_0008d974 + uVar2 * 4);\n    }\n  }" if (parenthesized_expression "(uVar6 <= uVar5)" ( (binary_expression "uVar6 <= uVar5" identifier <= identifier) )) (compound_statement "{\n    uVar2 = uVar6 + uVar5 >> 1;\n    iVar4 = *(int *)(*(int *)PTR_from_state_0008d974 + uVar2 * 4);\n    while( true ) {\n      if (s0 == iVar4) {\n        return uVar2;\n      }\n      if (iVar4 < s0) {\n        uVar6 = uVar2 + 1;\n      }\n      else {\n        uVar5 = uVar2 - 1;\n      }\n      if (uVar5 < uVar6) break;\n      uVar2 = uVar5 + uVar6 >> 1;\n      iVar4 = *(int *)(*(int *)PTR_from_state_0008d974 + uVar2 * 4);\n    }\n  }" { (expression_statement "uVar2 = uVar6 + uVar5 >> 1;" (assignment_expression "uVar2 = uVar6 + uVar5 >> 1" identifier = (binary_expression "uVar6 + uVar5 >> 1" (binary_expression "uVar6 + uVar5" identifier + identifier) >> number_literal)) ;) (expression_statement "iVar4 = *(int *)(*(int *)PTR_from_state_0008d974 + uVar2 * 4);" (assignment_expression "iVar4 = *(int *)(*(int *)PTR_from_state_0008d974 + uVar2 * 4)" identifier = (pointer_expression "*(int *)(*(int *)PTR_from_state_0008d974 + uVar2 * 4)" * (cast_expression "(int *)(*(int *)PTR_from_state_0008d974 + uVar2 * 4)" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(*(int *)PTR_from_state_0008d974 + uVar2 * 4)" ( (binary_expression "*(int *)PTR_from_state_0008d974 + uVar2 * 4" (pointer_expression "*(int *)PTR_from_state_0008d974" * (cast_expression "(int *)PTR_from_state_0008d974" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) identifier)) + (binary_expression "uVar2 * 4" identifier * number_literal)) ))))) ;) (while_statement "while( true ) {\n      if (s0 == iVar4) {\n        return uVar2;\n      }\n      if (iVar4 < s0) {\n        uVar6 = uVar2 + 1;\n      }\n      else {\n        uVar5 = uVar2 - 1;\n      }\n      if (uVar5 < uVar6) break;\n      uVar2 = uVar5 + uVar6 >> 1;\n      iVar4 = *(int *)(*(int *)PTR_from_state_0008d974 + uVar2 * 4);\n    }" while (parenthesized_expression "( true )" ( true )) (compound_statement "{\n      if (s0 == iVar4) {\n        return uVar2;\n      }\n      if (iVar4 < s0) {\n        uVar6 = uVar2 + 1;\n      }\n      else {\n        uVar5 = uVar2 - 1;\n      }\n      if (uVar5 < uVar6) break;\n      uVar2 = uVar5 + uVar6 >> 1;\n      iVar4 = *(int *)(*(int *)PTR_from_state_0008d974 + uVar2 * 4);\n    }" { (if_statement "if (s0 == iVar4) {\n        return uVar2;\n      }" if (parenthesized_expression "(s0 == iVar4)" ( (binary_expression "s0 == iVar4" identifier == identifier) )) (compound_statement "{\n        return uVar2;\n      }" { (return_statement "return uVar2;" return identifier ;) })) (if_statement "if (iVar4 < s0) {\n        uVar6 = uVar2 + 1;\n      }\n      else {\n        uVar5 = uVar2 - 1;\n      }" if (parenthesized_expression "(iVar4 < s0)" ( (binary_expression "iVar4 < s0" identifier < identifier) )) (compound_statement "{\n        uVar6 = uVar2 + 1;\n      }" { (expression_statement "uVar6 = uVar2 + 1;" (assignment_expression "uVar6 = uVar2 + 1" identifier = (binary_expression "uVar2 + 1" identifier + number_literal)) ;) }) (else_clause "else {\n        uVar5 = uVar2 - 1;\n      }" else (compound_statement "{\n        uVar5 = uVar2 - 1;\n      }" { (expression_statement "uVar5 = uVar2 - 1;" (assignment_expression "uVar5 = uVar2 - 1" identifier = (binary_expression "uVar2 - 1" identifier - number_literal)) ;) }))) (if_statement "if (uVar5 < uVar6) break;" if (parenthesized_expression "(uVar5 < uVar6)" ( (binary_expression "uVar5 < uVar6" identifier < identifier) )) (break_statement "break;" break ;)) (expression_statement "uVar2 = uVar5 + uVar6 >> 1;" (assignment_expression "uVar2 = uVar5 + uVar6 >> 1" identifier = (binary_expression "uVar5 + uVar6 >> 1" (binary_expression "uVar5 + uVar6" identifier + identifier) >> number_literal)) ;) (expression_statement "iVar4 = *(int *)(*(int *)PTR_from_state_0008d974 + uVar2 * 4);" (assignment_expression "iVar4 = *(int *)(*(int *)PTR_from_state_0008d974 + uVar2 * 4)" identifier = (pointer_expression "*(int *)(*(int *)PTR_from_state_0008d974 + uVar2 * 4)" * (cast_expression "(int *)(*(int *)PTR_from_state_0008d974 + uVar2 * 4)" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(*(int *)PTR_from_state_0008d974 + uVar2 * 4)" ( (binary_expression "*(int *)PTR_from_state_0008d974 + uVar2 * 4" (pointer_expression "*(int *)PTR_from_state_0008d974" * (cast_expression "(int *)PTR_from_state_0008d974" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) identifier)) + (binary_expression "uVar2 * 4" identifier * number_literal)) ))))) ;) })) })) (expression_statement "gVar3 = (*(code *)PTR___assert_fail_0008de30)\n                    (PTR_LAB_0008d628 + 0x3c14,PTR_LAB_0008d628 + 0x3bb8,0x84,\n                     PTR_LAB_0008d628 + 0x3cec);" (assignment_expression "gVar3 = (*(code *)PTR___assert_fail_0008de30)\n                    (PTR_LAB_0008d628 + 0x3c14,PTR_LAB_0008d628 + 0x3bb8,0x84,\n                     PTR_LAB_0008d628 + 0x3cec)" identifier = (call_expression "(*(code *)PTR___assert_fail_0008de30)\n                    (PTR_LAB_0008d628 + 0x3c14,PTR_LAB_0008d628 + 0x3bb8,0x84,\n                     PTR_LAB_0008d628 + 0x3cec)" (parenthesized_expression "(*(code *)PTR___assert_fail_0008de30)" ( (pointer_expression "*(code *)PTR___assert_fail_0008de30" * (cast_expression "(code *)PTR___assert_fail_0008de30" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) )) (argument_list "(PTR_LAB_0008d628 + 0x3c14,PTR_LAB_0008d628 + 0x3bb8,0x84,\n                     PTR_LAB_0008d628 + 0x3cec)" ( (binary_expression "PTR_LAB_0008d628 + 0x3c14" identifier + number_literal) , (binary_expression "PTR_LAB_0008d628 + 0x3bb8" identifier + number_literal) , number_literal , (binary_expression "PTR_LAB_0008d628 + 0x3cec" identifier + number_literal) )))) ;) (return_statement "return gVar3;" return identifier ;) })))
(translation_unit "void map_goto(int param_1,int param_2)\n\n{\n  uint *puVar1;\n  uint uVar2;\n  int iVar3;\n  uint uVar4;\n  uint uVar5;\n  \n  puVar1 = (uint *)(*(int *)PTR_goto_map_0008d970 + (param_2 - *(int *)PTR_ntokens_0008d77c) * 4);\n  uVar5 = *puVar1;\n  uVar4 = puVar1[1] - 1;\n  if (uVar5 <= uVar4) {\n    uVar2 = uVar5 + uVar4 >> 1;\n    iVar3 = *(int *)(*(int *)PTR_from_state_0008d974 + uVar2 * 4);\n    while( true ) {\n      if (param_1 == iVar3) {\n        return;\n      }\n      if (iVar3 < param_1) {\n        uVar5 = uVar2 + 1;\n      }\n      else {\n        uVar4 = uVar2 - 1;\n      }\n      if (uVar4 < uVar5) break;\n      uVar2 = uVar4 + uVar5 >> 1;\n      iVar3 = *(int *)(*(int *)PTR_from_state_0008d974 + uVar2 * 4);\n    }\n  }\n  (*(code *)PTR___assert_fail_0008de30)\n            (PTR_LAB_0008d628 + 0x3c14,PTR_LAB_0008d628 + 0x3bb8,0x84,PTR_LAB_0008d628 + 0x3cec);\n  return;\n}\n\n" (function_definition "void map_goto(int param_1,int param_2)\n\n{\n  uint *puVar1;\n  uint uVar2;\n  int iVar3;\n  uint uVar4;\n  uint uVar5;\n  \n  puVar1 = (uint *)(*(int *)PTR_goto_map_0008d970 + (param_2 - *(int *)PTR_ntokens_0008d77c) * 4);\n  uVar5 = *puVar1;\n  uVar4 = puVar1[1] - 1;\n  if (uVar5 <= uVar4) {\n    uVar2 = uVar5 + uVar4 >> 1;\n    iVar3 = *(int *)(*(int *)PTR_from_state_0008d974 + uVar2 * 4);\n    while( true ) {\n      if (param_1 == iVar3) {\n        return;\n      }\n      if (iVar3 < param_1) {\n        uVar5 = uVar2 + 1;\n      }\n      else {\n        uVar4 = uVar2 - 1;\n      }\n      if (uVar4 < uVar5) break;\n      uVar2 = uVar4 + uVar5 >> 1;\n      iVar3 = *(int *)(*(int *)PTR_from_state_0008d974 + uVar2 * 4);\n    }\n  }\n  (*(code *)PTR___assert_fail_0008de30)\n            (PTR_LAB_0008d628 + 0x3c14,PTR_LAB_0008d628 + 0x3bb8,0x84,PTR_LAB_0008d628 + 0x3cec);\n  return;\n}" primitive_type (function_declarator "map_goto(int param_1,int param_2)" identifier (parameter_list "(int param_1,int param_2)" ( (parameter_declaration "int param_1" primitive_type identifier) , (parameter_declaration "int param_2" primitive_type identifier) ))) (compound_statement "{\n  uint *puVar1;\n  uint uVar2;\n  int iVar3;\n  uint uVar4;\n  uint uVar5;\n  \n  puVar1 = (uint *)(*(int *)PTR_goto_map_0008d970 + (param_2 - *(int *)PTR_ntokens_0008d77c) * 4);\n  uVar5 = *puVar1;\n  uVar4 = puVar1[1] - 1;\n  if (uVar5 <= uVar4) {\n    uVar2 = uVar5 + uVar4 >> 1;\n    iVar3 = *(int *)(*(int *)PTR_from_state_0008d974 + uVar2 * 4);\n    while( true ) {\n      if (param_1 == iVar3) {\n        return;\n      }\n      if (iVar3 < param_1) {\n        uVar5 = uVar2 + 1;\n      }\n      else {\n        uVar4 = uVar2 - 1;\n      }\n      if (uVar4 < uVar5) break;\n      uVar2 = uVar4 + uVar5 >> 1;\n      iVar3 = *(int *)(*(int *)PTR_from_state_0008d974 + uVar2 * 4);\n    }\n  }\n  (*(code *)PTR___assert_fail_0008de30)\n            (PTR_LAB_0008d628 + 0x3c14,PTR_LAB_0008d628 + 0x3bb8,0x84,PTR_LAB_0008d628 + 0x3cec);\n  return;\n}" { (declaration "uint *puVar1;" type_identifier (pointer_declarator "*puVar1" * identifier) ;) (declaration "uint uVar2;" type_identifier identifier ;) (declaration "int iVar3;" primitive_type identifier ;) (declaration "uint uVar4;" type_identifier identifier ;) (declaration "uint uVar5;" type_identifier identifier ;) (expression_statement "puVar1 = (uint *)(*(int *)PTR_goto_map_0008d970 + (param_2 - *(int *)PTR_ntokens_0008d77c) * 4);" (assignment_expression "puVar1 = (uint *)(*(int *)PTR_goto_map_0008d970 + (param_2 - *(int *)PTR_ntokens_0008d77c) * 4)" identifier = (cast_expression "(uint *)(*(int *)PTR_goto_map_0008d970 + (param_2 - *(int *)PTR_ntokens_0008d77c) * 4)" ( (type_descriptor "uint *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(*(int *)PTR_goto_map_0008d970 + (param_2 - *(int *)PTR_ntokens_0008d77c) * 4)" ( (binary_expression "*(int *)PTR_goto_map_0008d970 + (param_2 - *(int *)PTR_ntokens_0008d77c) * 4" (pointer_expression "*(int *)PTR_goto_map_0008d970" * (cast_expression "(int *)PTR_goto_map_0008d970" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) identifier)) + (binary_expression "(param_2 - *(int *)PTR_ntokens_0008d77c) * 4" (parenthesized_expression "(param_2 - *(int *)PTR_ntokens_0008d77c)" ( (binary_expression "param_2 - *(int *)PTR_ntokens_0008d77c" identifier - (pointer_expression "*(int *)PTR_ntokens_0008d77c" * (cast_expression "(int *)PTR_ntokens_0008d77c" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) identifier))) )) * number_literal)) )))) ;) (expression_statement "uVar5 = *puVar1;" (assignment_expression "uVar5 = *puVar1" identifier = (pointer_expression "*puVar1" * identifier)) ;) (expression_statement "uVar4 = puVar1[1] - 1;" (assignment_expression "uVar4 = puVar1[1] - 1" identifier = (binary_expression "puVar1[1] - 1" (subscript_expression "puVar1[1]" identifier [ number_literal ]) - number_literal)) ;) (if_statement "if (uVar5 <= uVar4) {\n    uVar2 = uVar5 + uVar4 >> 1;\n    iVar3 = *(int *)(*(int *)PTR_from_state_0008d974 + uVar2 * 4);\n    while( true ) {\n      if (param_1 == iVar3) {\n        return;\n      }\n      if (iVar3 < param_1) {\n        uVar5 = uVar2 + 1;\n      }\n      else {\n        uVar4 = uVar2 - 1;\n      }\n      if (uVar4 < uVar5) break;\n      uVar2 = uVar4 + uVar5 >> 1;\n      iVar3 = *(int *)(*(int *)PTR_from_state_0008d974 + uVar2 * 4);\n    }\n  }" if (parenthesized_expression "(uVar5 <= uVar4)" ( (binary_expression "uVar5 <= uVar4" identifier <= identifier) )) (compound_statement "{\n    uVar2 = uVar5 + uVar4 >> 1;\n    iVar3 = *(int *)(*(int *)PTR_from_state_0008d974 + uVar2 * 4);\n    while( true ) {\n      if (param_1 == iVar3) {\n        return;\n      }\n      if (iVar3 < param_1) {\n        uVar5 = uVar2 + 1;\n      }\n      else {\n        uVar4 = uVar2 - 1;\n      }\n      if (uVar4 < uVar5) break;\n      uVar2 = uVar4 + uVar5 >> 1;\n      iVar3 = *(int *)(*(int *)PTR_from_state_0008d974 + uVar2 * 4);\n    }\n  }" { (expression_statement "uVar2 = uVar5 + uVar4 >> 1;" (assignment_expression "uVar2 = uVar5 + uVar4 >> 1" identifier = (binary_expression "uVar5 + uVar4 >> 1" (binary_expression "uVar5 + uVar4" identifier + identifier) >> number_literal)) ;) (expression_statement "iVar3 = *(int *)(*(int *)PTR_from_state_0008d974 + uVar2 * 4);" (assignment_expression "iVar3 = *(int *)(*(int *)PTR_from_state_0008d974 + uVar2 * 4)" identifier = (pointer_expression "*(int *)(*(int *)PTR_from_state_0008d974 + uVar2 * 4)" * (cast_expression "(int *)(*(int *)PTR_from_state_0008d974 + uVar2 * 4)" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(*(int *)PTR_from_state_0008d974 + uVar2 * 4)" ( (binary_expression "*(int *)PTR_from_state_0008d974 + uVar2 * 4" (pointer_expression "*(int *)PTR_from_state_0008d974" * (cast_expression "(int *)PTR_from_state_0008d974" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) identifier)) + (binary_expression "uVar2 * 4" identifier * number_literal)) ))))) ;) (while_statement "while( true ) {\n      if (param_1 == iVar3) {\n        return;\n      }\n      if (iVar3 < param_1) {\n        uVar5 = uVar2 + 1;\n      }\n      else {\n        uVar4 = uVar2 - 1;\n      }\n      if (uVar4 < uVar5) break;\n      uVar2 = uVar4 + uVar5 >> 1;\n      iVar3 = *(int *)(*(int *)PTR_from_state_0008d974 + uVar2 * 4);\n    }" while (parenthesized_expression "( true )" ( true )) (compound_statement "{\n      if (param_1 == iVar3) {\n        return;\n      }\n      if (iVar3 < param_1) {\n        uVar5 = uVar2 + 1;\n      }\n      else {\n        uVar4 = uVar2 - 1;\n      }\n      if (uVar4 < uVar5) break;\n      uVar2 = uVar4 + uVar5 >> 1;\n      iVar3 = *(int *)(*(int *)PTR_from_state_0008d974 + uVar2 * 4);\n    }" { (if_statement "if (param_1 == iVar3) {\n        return;\n      }" if (parenthesized_expression "(param_1 == iVar3)" ( (binary_expression "param_1 == iVar3" identifier == identifier) )) (compound_statement "{\n        return;\n      }" { (return_statement "return;" return ;) })) (if_statement "if (iVar3 < param_1) {\n        uVar5 = uVar2 + 1;\n      }\n      else {\n        uVar4 = uVar2 - 1;\n      }" if (parenthesized_expression "(iVar3 < param_1)" ( (binary_expression "iVar3 < param_1" identifier < identifier) )) (compound_statement "{\n        uVar5 = uVar2 + 1;\n      }" { (expression_statement "uVar5 = uVar2 + 1;" (assignment_expression "uVar5 = uVar2 + 1" identifier = (binary_expression "uVar2 + 1" identifier + number_literal)) ;) }) (else_clause "else {\n        uVar4 = uVar2 - 1;\n      }" else (compound_statement "{\n        uVar4 = uVar2 - 1;\n      }" { (expression_statement "uVar4 = uVar2 - 1;" (assignment_expression "uVar4 = uVar2 - 1" identifier = (binary_expression "uVar2 - 1" identifier - number_literal)) ;) }))) (if_statement "if (uVar4 < uVar5) break;" if (parenthesized_expression "(uVar4 < uVar5)" ( (binary_expression "uVar4 < uVar5" identifier < identifier) )) (break_statement "break;" break ;)) (expression_statement "uVar2 = uVar4 + uVar5 >> 1;" (assignment_expression "uVar2 = uVar4 + uVar5 >> 1" identifier = (binary_expression "uVar4 + uVar5 >> 1" (binary_expression "uVar4 + uVar5" identifier + identifier) >> number_literal)) ;) (expression_statement "iVar3 = *(int *)(*(int *)PTR_from_state_0008d974 + uVar2 * 4);" (assignment_expression "iVar3 = *(int *)(*(int *)PTR_from_state_0008d974 + uVar2 * 4)" identifier = (pointer_expression "*(int *)(*(int *)PTR_from_state_0008d974 + uVar2 * 4)" * (cast_expression "(int *)(*(int *)PTR_from_state_0008d974 + uVar2 * 4)" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(*(int *)PTR_from_state_0008d974 + uVar2 * 4)" ( (binary_expression "*(int *)PTR_from_state_0008d974 + uVar2 * 4" (pointer_expression "*(int *)PTR_from_state_0008d974" * (cast_expression "(int *)PTR_from_state_0008d974" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) identifier)) + (binary_expression "uVar2 * 4" identifier * number_literal)) ))))) ;) })) })) (expression_statement "(*(code *)PTR___assert_fail_0008de30)\n            (PTR_LAB_0008d628 + 0x3c14,PTR_LAB_0008d628 + 0x3bb8,0x84,PTR_LAB_0008d628 + 0x3cec);" (call_expression "(*(code *)PTR___assert_fail_0008de30)\n            (PTR_LAB_0008d628 + 0x3c14,PTR_LAB_0008d628 + 0x3bb8,0x84,PTR_LAB_0008d628 + 0x3cec)" (parenthesized_expression "(*(code *)PTR___assert_fail_0008de30)" ( (pointer_expression "*(code *)PTR___assert_fail_0008de30" * (cast_expression "(code *)PTR___assert_fail_0008de30" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) )) (argument_list "(PTR_LAB_0008d628 + 0x3c14,PTR_LAB_0008d628 + 0x3bb8,0x84,PTR_LAB_0008d628 + 0x3cec)" ( (binary_expression "PTR_LAB_0008d628 + 0x3c14" identifier + number_literal) , (binary_expression "PTR_LAB_0008d628 + 0x3bb8" identifier + number_literal) , number_literal , (binary_expression "PTR_LAB_0008d628 + 0x3cec" identifier + number_literal) ))) ;) (return_statement "return;" return ;) })))
(translation_unit (function_definition TYPE (function_declarator IDENT (parameter_list ( (parameter_declaration TYPE IDENT) , (parameter_declaration TYPE IDENT) ))) (compound_statement { (declaration TYPE (pointer_declarator * IDENT) ;) (declaration TYPE IDENT ;) (declaration TYPE IDENT ;) (declaration TYPE IDENT ;) (declaration TYPE IDENT ;) (expression_statement (assignment_expression IDENT = (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) IDENT)) + (binary_expression (parenthesized_expression ( (binary_expression IDENT - (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) IDENT))) )) * LIT)) )))) ;) (expression_statement (assignment_expression IDENT = (pointer_expression * IDENT)) ;) (expression_statement (assignment_expression IDENT = (binary_expression (subscript_expression IDENT [ LIT ]) - LIT)) ;) (if_statement if (parenthesized_expression ( (binary_expression IDENT <= IDENT) )) (compound_statement { (expression_statement (assignment_expression IDENT = (binary_expression (binary_expression IDENT + IDENT) >> LIT)) ;) (expression_statement (assignment_expression IDENT = (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) IDENT)) + (binary_expression IDENT * LIT)) ))))) ;) (while_statement while (parenthesized_expression ( BOOL )) (compound_statement { (if_statement if (parenthesized_expression ( (binary_expression IDENT == IDENT) )) (compound_statement { (return_statement return ;) })) (if_statement if (parenthesized_expression ( (binary_expression IDENT < IDENT) )) (compound_statement { (expression_statement (assignment_expression IDENT = (binary_expression IDENT + LIT)) ;) }) (else_clause else (compound_statement { (expression_statement (assignment_expression IDENT = (binary_expression IDENT - LIT)) ;) }))) (if_statement if (parenthesized_expression ( (binary_expression IDENT < IDENT) )) (break_statement break ;)) (expression_statement (assignment_expression IDENT = (binary_expression (binary_expression IDENT + IDENT) >> LIT)) ;) (expression_statement (assignment_expression IDENT = (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) IDENT)) + (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) , (binary_expression IDENT + LIT) , LIT , (binary_expression IDENT + LIT) ))) ;) (return_statement return ;) })))
(function_definition "void map_goto(int param_1,int param_2)\n\n{\n  uint *puVar1;\n  uint uVar2;\n  int iVar3;\n  uint uVar4;\n  uint uVar5;\n  \n  puVar1 = (uint *)(*(int *)PTR_goto_map_0008d970 + (param_2 - *(int *)PTR_ntokens_0008d77c) * 4);\n  uVar5 = *puVar1;\n  uVar4 = puVar1[1] - 1;\n  if (uVar5 <= uVar4) {\n    uVar2 = uVar5 + uVar4 >> 1;\n    iVar3 = *(int *)(*(int *)PTR_from_state_0008d974 + uVar2 * 4);\n    while( true ) {\n      if (param_1 == iVar3) {\n        return;\n      }\n      if (iVar3 < param_1) {\n        uVar5 = uVar2 + 1;\n      }\n      else {\n        uVar4 = uVar2 - 1;\n      }\n      if (uVar4 < uVar5) break;\n      uVar2 = uVar4 + uVar5 >> 1;\n      iVar3 = *(int *)(*(int *)PTR_from_state_0008d974 + uVar2 * 4);\n    }\n  }\n  (*(code *)PTR___assert_fail_0008de30)\n            (PTR_LAB_0008d628 + 0x3c14,PTR_LAB_0008d628 + 0x3bb8,0x84,PTR_LAB_0008d628 + 0x3cec);\n  return;\n}" (primitive_type "void") (function_declarator "map_goto(int param_1,int param_2)" (identifier "map_goto") (parameter_list "(int param_1,int param_2)" (( "(") (parameter_declaration "int param_1" (primitive_type "int") (identifier "param_1")) (, ",") (parameter_declaration "int param_2" (primitive_type "int") (identifier "param_2")) () ")"))) (compound_statement "{\n  uint *puVar1;\n  uint uVar2;\n  int iVar3;\n  uint uVar4;\n  uint uVar5;\n  \n  puVar1 = (uint *)(*(int *)PTR_goto_map_0008d970 + (param_2 - *(int *)PTR_ntokens_0008d77c) * 4);\n  uVar5 = *puVar1;\n  uVar4 = puVar1[1] - 1;\n  if (uVar5 <= uVar4) {\n    uVar2 = uVar5 + uVar4 >> 1;\n    iVar3 = *(int *)(*(int *)PTR_from_state_0008d974 + uVar2 * 4);\n    while( true ) {\n      if (param_1 == iVar3) {\n        return;\n      }\n      if (iVar3 < param_1) {\n        uVar5 = uVar2 + 1;\n      }\n      else {\n        uVar4 = uVar2 - 1;\n      }\n      if (uVar4 < uVar5) break;\n      uVar2 = uVar4 + uVar5 >> 1;\n      iVar3 = *(int *)(*(int *)PTR_from_state_0008d974 + uVar2 * 4);\n    }\n  }\n  (*(code *)PTR___assert_fail_0008de30)\n            (PTR_LAB_0008d628 + 0x3c14,PTR_LAB_0008d628 + 0x3bb8,0x84,PTR_LAB_0008d628 + 0x3cec);\n  return;\n}" ({ "{") (declaration "uint *puVar1;" (type_identifier "uint") (pointer_declarator "*puVar1" (* "*") (identifier "puVar1")) (; ";")) (declaration "uint uVar2;" (type_identifier "uint") (identifier "uVar2") (; ";")) (declaration "int iVar3;" (primitive_type "int") (identifier "iVar3") (; ";")) (declaration "uint uVar4;" (type_identifier "uint") (identifier "uVar4") (; ";")) (declaration "uint uVar5;" (type_identifier "uint") (identifier "uVar5") (; ";")) (expression_statement "puVar1 = (uint *)(*(int *)PTR_goto_map_0008d970 + (param_2 - *(int *)PTR_ntokens_0008d77c) * 4);" (assignment_expression "puVar1 = (uint *)(*(int *)PTR_goto_map_0008d970 + (param_2 - *(int *)PTR_ntokens_0008d77c) * 4)" (identifier "puVar1") (= "=") (cast_expression "(uint *)(*(int *)PTR_goto_map_0008d970 + (param_2 - *(int *)PTR_ntokens_0008d77c) * 4)" (( "(") (type_descriptor "uint *" (type_identifier "uint") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "(*(int *)PTR_goto_map_0008d970 + (param_2 - *(int *)PTR_ntokens_0008d77c) * 4)" (( "(") (binary_expression "*(int *)PTR_goto_map_0008d970 + (param_2 - *(int *)PTR_ntokens_0008d77c) * 4" (pointer_expression "*(int *)PTR_goto_map_0008d970" (* "*") (cast_expression "(int *)PTR_goto_map_0008d970" (( "(") (type_descriptor "int *" (primitive_type "int") (abstract_pointer_declarator "*" (* "*"))) () ")") (identifier "PTR_goto_map_0008d970"))) (+ "+") (binary_expression "(param_2 - *(int *)PTR_ntokens_0008d77c) * 4" (parenthesized_expression "(param_2 - *(int *)PTR_ntokens_0008d77c)" (( "(") (binary_expression "param_2 - *(int *)PTR_ntokens_0008d77c" (identifier "param_2") (- "-") (pointer_expression "*(int *)PTR_ntokens_0008d77c" (* "*") (cast_expression "(int *)PTR_ntokens_0008d77c" (( "(") (type_descriptor "int *" (primitive_type "int") (abstract_pointer_declarator "*" (* "*"))) () ")") (identifier "PTR_ntokens_0008d77c")))) () ")")) (* "*") (number_literal "4"))) () ")")))) (; ";")) (expression_statement "uVar5 = *puVar1;" (assignment_expression "uVar5 = *puVar1" (identifier "uVar5") (= "=") (pointer_expression "*puVar1" (* "*") (identifier "puVar1"))) (; ";")) (expression_statement "uVar4 = puVar1[1] - 1;" (assignment_expression "uVar4 = puVar1[1] - 1" (identifier "uVar4") (= "=") (binary_expression "puVar1[1] - 1" (subscript_expression "puVar1[1]" (identifier "puVar1") ([ "[") (number_literal "1") (] "]")) (- "-") (number_literal "1"))) (; ";")) (if_statement "if (uVar5 <= uVar4) {\n    uVar2 = uVar5 + uVar4 >> 1;\n    iVar3 = *(int *)(*(int *)PTR_from_state_0008d974 + uVar2 * 4);\n    while( true ) {\n      if (param_1 == iVar3) {\n        return;\n      }\n      if (iVar3 < param_1) {\n        uVar5 = uVar2 + 1;\n      }\n      else {\n        uVar4 = uVar2 - 1;\n      }\n      if (uVar4 < uVar5) break;\n      uVar2 = uVar4 + uVar5 >> 1;\n      iVar3 = *(int *)(*(int *)PTR_from_state_0008d974 + uVar2 * 4);\n    }\n  }" (if "if") (parenthesized_expression "(uVar5 <= uVar4)" (( "(") (binary_expression "uVar5 <= uVar4" (identifier "uVar5") (<= "<=") (identifier "uVar4")) () ")")) (compound_statement "{\n    uVar2 = uVar5 + uVar4 >> 1;\n    iVar3 = *(int *)(*(int *)PTR_from_state_0008d974 + uVar2 * 4);\n    while( true ) {\n      if (param_1 == iVar3) {\n        return;\n      }\n      if (iVar3 < param_1) {\n        uVar5 = uVar2 + 1;\n      }\n      else {\n        uVar4 = uVar2 - 1;\n      }\n      if (uVar4 < uVar5) break;\n      uVar2 = uVar4 + uVar5 >> 1;\n      iVar3 = *(int *)(*(int *)PTR_from_state_0008d974 + uVar2 * 4);\n    }\n  }" ({ "{") (expression_statement "uVar2 = uVar5 + uVar4 >> 1;" (assignment_expression "uVar2 = uVar5 + uVar4 >> 1" (identifier "uVar2") (= "=") (binary_expression "uVar5 + uVar4 >> 1" (binary_expression "uVar5 + uVar4" (identifier "uVar5") (+ "+") (identifier "uVar4")) (>> ">>") (number_literal "1"))) (; ";")) (expression_statement "iVar3 = *(int *)(*(int *)PTR_from_state_0008d974 + uVar2 * 4);" (assignment_expression "iVar3 = *(int *)(*(int *)PTR_from_state_0008d974 + uVar2 * 4)" (identifier "iVar3") (= "=") (pointer_expression "*(int *)(*(int *)PTR_from_state_0008d974 + uVar2 * 4)" (* "*") (cast_expression "(int *)(*(int *)PTR_from_state_0008d974 + uVar2 * 4)" (( "(") (type_descriptor "int *" (primitive_type "int") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "(*(int *)PTR_from_state_0008d974 + uVar2 * 4)" (( "(") (binary_expression "*(int *)PTR_from_state_0008d974 + uVar2 * 4" (pointer_expression "*(int *)PTR_from_state_0008d974" (* "*") (cast_expression "(int *)PTR_from_state_0008d974" (( "(") (type_descriptor "int *" (primitive_type "int") (abstract_pointer_declarator "*" (* "*"))) () ")") (identifier "PTR_from_state_0008d974"))) (+ "+") (binary_expression "uVar2 * 4" (identifier "uVar2") (* "*") (number_literal "4"))) () ")"))))) (; ";")) (while_statement "while( true ) {\n      if (param_1 == iVar3) {\n        return;\n      }\n      if (iVar3 < param_1) {\n        uVar5 = uVar2 + 1;\n      }\n      else {\n        uVar4 = uVar2 - 1;\n      }\n      if (uVar4 < uVar5) break;\n      uVar2 = uVar4 + uVar5 >> 1;\n      iVar3 = *(int *)(*(int *)PTR_from_state_0008d974 + uVar2 * 4);\n    }" (while "while") (parenthesized_expression "( true )" (( "(") (true "true") () ")")) (compound_statement "{\n      if (param_1 == iVar3) {\n        return;\n      }\n      if (iVar3 < param_1) {\n        uVar5 = uVar2 + 1;\n      }\n      else {\n        uVar4 = uVar2 - 1;\n      }\n      if (uVar4 < uVar5) break;\n      uVar2 = uVar4 + uVar5 >> 1;\n      iVar3 = *(int *)(*(int *)PTR_from_state_0008d974 + uVar2 * 4);\n    }" ({ "{") (if_statement "if (param_1 == iVar3) {\n        return;\n      }" (if "if") (parenthesized_expression "(param_1 == iVar3)" (( "(") (binary_expression "param_1 == iVar3" (identifier "param_1") (== "==") (identifier "iVar3")) () ")")) (compound_statement "{\n        return;\n      }" ({ "{") (return_statement "return;" (return "return") (; ";")) (} "}"))) (if_statement "if (iVar3 < param_1) {\n        uVar5 = uVar2 + 1;\n      }\n      else {\n        uVar4 = uVar2 - 1;\n      }" (if "if") (parenthesized_expression "(iVar3 < param_1)" (( "(") (binary_expression "iVar3 < param_1" (identifier "iVar3") (< "<") (identifier "param_1")) () ")")) (compound_statement "{\n        uVar5 = uVar2 + 1;\n      }" ({ "{") (expression_statement "uVar5 = uVar2 + 1;" (assignment_expression "uVar5 = uVar2 + 1" (identifier "uVar5") (= "=") (binary_expression "uVar2 + 1" (identifier "uVar2") (+ "+") (number_literal "1"))) (; ";")) (} "}")) (else_clause "else {\n        uVar4 = uVar2 - 1;\n      }" (else "else") (compound_statement "{\n        uVar4 = uVar2 - 1;\n      }" ({ "{") (expression_statement "uVar4 = uVar2 - 1;" (assignment_expression "uVar4 = uVar2 - 1" (identifier "uVar4") (= "=") (binary_expression "uVar2 - 1" (identifier "uVar2") (- "-") (number_literal "1"))) (; ";")) (} "}")))) (if_statement "if (uVar4 < uVar5) break;" (if "if") (parenthesized_expression "(uVar4 < uVar5)" (( "(") (binary_expression "uVar4 < uVar5" (identifier "uVar4") (< "<") (identifier "uVar5")) () ")")) (break_statement "break;" (break "break") (; ";"))) (expression_statement "uVar2 = uVar4 + uVar5 >> 1;" (assignment_expression "uVar2 = uVar4 + uVar5 >> 1" (identifier "uVar2") (= "=") (binary_expression "uVar4 + uVar5 >> 1" (binary_expression "uVar4 + uVar5" (identifier "uVar4") (+ "+") (identifier "uVar5")) (>> ">>") (number_literal "1"))) (; ";")) (expression_statement "iVar3 = *(int *)(*(int *)PTR_from_state_0008d974 + uVar2 * 4);" (assignment_expression "iVar3 = *(int *)(*(int *)PTR_from_state_0008d974 + uVar2 * 4)" (identifier "iVar3") (= "=") (pointer_expression "*(int *)(*(int *)PTR_from_state_0008d974 + uVar2 * 4)" (* "*") (cast_expression "(int *)(*(int *)PTR_from_state_0008d974 + uVar2 * 4)" (( "(") (type_descriptor "int *" (primitive_type "int") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "(*(int *)PTR_from_state_0008d974 + uVar2 * 4)" (( "(") (binary_expression "*(int *)PTR_from_state_0008d974 + uVar2 * 4" (pointer_expression "*(int *)PTR_from_state_0008d974" (* "*") (cast_expression "(int *)PTR_from_state_0008d974" (( "(") (type_descriptor "int *" (primitive_type "int") (abstract_pointer_declarator "*" (* "*"))) () ")") (identifier "PTR_from_state_0008d974"))) (+ "+") (binary_expression "uVar2 * 4" (identifier "uVar2") (* "*") (number_literal "4"))) () ")"))))) (; ";")) (} "}"))) (} "}"))) (expression_statement "(*(code *)PTR___assert_fail_0008de30)\n            (PTR_LAB_0008d628 + 0x3c14,PTR_LAB_0008d628 + 0x3bb8,0x84,PTR_LAB_0008d628 + 0x3cec);" (call_expression "(*(code *)PTR___assert_fail_0008de30)\n            (PTR_LAB_0008d628 + 0x3c14,PTR_LAB_0008d628 + 0x3bb8,0x84,PTR_LAB_0008d628 + 0x3cec)" (parenthesized_expression "(*(code *)PTR___assert_fail_0008de30)" (( "(") (pointer_expression "*(code *)PTR___assert_fail_0008de30" (* "*") (cast_expression "(code *)PTR___assert_fail_0008de30" (( "(") (type_descriptor "code *" (type_identifier "code") (abstract_pointer_declarator "*" (* "*"))) () ")") (identifier "PTR___assert_fail_0008de30"))) () ")")) (argument_list "(PTR_LAB_0008d628 + 0x3c14,PTR_LAB_0008d628 + 0x3bb8,0x84,PTR_LAB_0008d628 + 0x3cec)" (( "(") (binary_expression "PTR_LAB_0008d628 + 0x3c14" (identifier "PTR_LAB_0008d628") (+ "+") (number_literal "0x3c14")) (, ",") (binary_expression "PTR_LAB_0008d628 + 0x3bb8" (identifier "PTR_LAB_0008d628") (+ "+") (number_literal "0x3bb8")) (, ",") (number_literal "0x84") (, ",") (binary_expression "PTR_LAB_0008d628 + 0x3cec" (identifier "PTR_LAB_0008d628") (+ "+") (number_literal "0x3cec")) () ")"))) (; ";")) (return_statement "return;" (return "return") (; ";")) (} "}")))
(translation_unit (function_definition type: (primitive_type) declarator: (function_declarator declarator: (identifier) parameters: (parameter_list (parameter_declaration type: (primitive_type) declarator: (identifier)) (parameter_declaration type: (primitive_type) declarator: (identifier)))) body: (compound_statement (declaration type: (type_identifier) declarator: (pointer_declarator declarator: (identifier))) (declaration type: (type_identifier) declarator: (identifier)) (declaration type: (primitive_type) declarator: (identifier)) (declaration type: (type_identifier) declarator: (identifier)) (declaration type: (type_identifier) declarator: (identifier)) (expression_statement (assignment_expression left: (identifier) right: (cast_expression type: (type_descriptor type: (type_identifier) declarator: (abstract_pointer_declarator)) value: (parenthesized_expression (binary_expression left: (pointer_expression argument: (cast_expression type: (type_descriptor type: (primitive_type) declarator: (abstract_pointer_declarator)) value: (identifier))) right: (binary_expression left: (parenthesized_expression (binary_expression left: (identifier) right: (pointer_expression argument: (cast_expression type: (type_descriptor type: (primitive_type) declarator: (abstract_pointer_declarator)) value: (identifier))))) right: (number_literal))))))) (expression_statement (assignment_expression left: (identifier) right: (pointer_expression argument: (identifier)))) (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (subscript_expression argument: (identifier) index: (number_literal)) right: (number_literal)))) (if_statement condition: (parenthesized_expression (binary_expression left: (identifier) right: (identifier))) consequence: (compound_statement (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (binary_expression left: (identifier) right: (identifier)) right: (number_literal)))) (expression_statement (assignment_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: (pointer_expression argument: (cast_expression type: (type_descriptor type: (primitive_type) declarator: (abstract_pointer_declarator)) value: (identifier))) right: (binary_expression left: (identifier) right: (number_literal)))))))) (while_statement condition: (parenthesized_expression (true)) body: (compound_statement (if_statement condition: (parenthesized_expression (binary_expression left: (identifier) right: (identifier))) consequence: (compound_statement (return_statement))) (if_statement condition: (parenthesized_expression (binary_expression left: (identifier) right: (identifier))) consequence: (compound_statement (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (identifier) right: (number_literal))))) alternative: (else_clause (compound_statement (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (identifier) right: (number_literal))))))) (if_statement condition: (parenthesized_expression (binary_expression left: (identifier) right: (identifier))) consequence: (break_statement)) (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (binary_expression left: (identifier) right: (identifier)) right: (number_literal)))) (expression_statement (assignment_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: (pointer_expression argument: (cast_expression type: (type_descriptor type: (primitive_type) declarator: (abstract_pointer_declarator)) value: (identifier))) right: (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)) (binary_expression left: (identifier) right: (number_literal)) (number_literal) (binary_expression left: (identifier) right: (number_literal))))) (return_statement))))

void MASKED(int param_1,int param_2)

{
  uint *puVar1;
  uint uVar2;
  int iVar3;
  uint uVar4;
  uint uVar5;
  
  puVar1 = (uint *)(*(int *)PTR_goto_map_0008d970 + (param_2 - *(int *)PTR_ntokens_0008d77c) * 4);
  uVar5 = *puVar1;
  uVar4 = puVar1[1] - 1;
  if (uVar5 <= uVar4) {
    uVar2 = uVar5 + uVar4 >> 1;
    iVar3 = *(int *)(*(int *)PTR_from_state_0008d974 + uVar2 * 4);
    while( true ) {
      if (param_1 == iVar3) {
        return;
      }
      if (iVar3 < param_1) {
        uVar5 = uVar2 + 1;
      }
      else {
        uVar4 = uVar2 - 1;
      }
      if (uVar4 < uVar5) break;
      uVar2 = uVar4 + uVar5 >> 1;
      iVar3 = *(int *)(*(int *)PTR_from_state_0008d974 + uVar2 * 4);
    }
  }
  (*(code *)PTR___assert_fail_0008de30)
            (PTR_LAB_0008d628 + 0x3c14,PTR_LAB_0008d628 + 0x3bb8,0x84,PTR_LAB_0008d628 + 0x3cec);
  return;
}

