
/* WARNING: Enum "anon_enum_32": Some values do not have unique names */

state * transitions_to(transitions *shifts,symbol_number sym)

{
  state *psVar1;
  int iVar2;
  transitions *ptVar3;
  
  if (0 < shifts->num) {
    psVar1 = shifts->states[0];
    ptVar3 = shifts + 1;
    if (sym != psVar1->accessing_symbol) {
      iVar2 = 0;
      do {
        iVar2 = iVar2 + 1;
        if (iVar2 == shifts->num) goto LAB_0004fa8c;
        psVar1 = (state *)ptVar3->num;
        ptVar3 = (transitions *)ptVar3->states;
      } while (psVar1->accessing_symbol != sym);
    }
    return psVar1;
  }
LAB_0004fa8c:
  psVar1 = (state *)(*(code *)PTR___assert_fail_0008de30)
                              (PTR_DAT_0008d800 + -0x4dd4,PTR_DAT_0008d800 + -0x4de0,0x3f,
                               PTR_DAT_0008d800 + -0x4ce0);
  return psVar1;
}



void transitions_to(int *param_1,int param_2)

{
  int iVar1;
  int iVar2;
  int *piVar3;
  
  if (0 < *param_1) {
    piVar3 = param_1 + 2;
    if (param_2 != *(int *)(param_1[1] + 4)) {
      iVar2 = 0;
      do {
        iVar2 = iVar2 + 1;
        if (iVar2 == *param_1) goto LAB_0004fa8c;
        iVar1 = *piVar3;
        piVar3 = piVar3 + 1;
      } while (*(int *)(iVar1 + 4) != param_2);
    }
    return;
  }
LAB_0004fa8c:
  (*(code *)PTR___assert_fail_0008de30)
            (PTR_DAT_0008d800 + -0x4dd4,PTR_DAT_0008d800 + -0x4de0,0x3f,PTR_DAT_0008d800 + -0x4ce0);
  return;
}


lui gp,0x4
addiu gp,gp,0x5bb4
addu gp,gp,t9
lw a3,0x0(a0)
blez a3,0x0004fa8c
_nop
lw v0,0x4(a0)
lw v1,0x4(v0)
beq a1,v1,0x0004fa84
_addiu a0,a0,0x8
or v1,zero,zero
addiu v1,v1,0x1
beq v1,a3,0x0004fa8c
_nop
lw v0,0x0(a0)
lw a2,0x4(v0)
bne a2,a1,0x0004fa68
_addiu a0,a0,0x4
jr ra
_nop
lw a3,-0x7df0(gp)
addiu sp,sp,-0x20
lw a1,-0x7df0(gp)
li a2,0x3f
lw a0,-0x7df0(gp)
lw t9,-0x77c0(gp)
addiu a3,a3,-0x4ce0
addiu a1,a1,-0x4de0
sw gp,0x10(sp)
sw ra,0x1c(sp)
jalr t9
_addiu a0,a0,-0x4dd4
(translation_unit "void transitions_to(int *param_1,int param_2)\n\n{\n  int iVar1;\n  int iVar2;\n  int *piVar3;\n  \n  if (0 < *param_1) {\n    piVar3 = param_1 + 2;\n    if (param_2 != *(int *)(param_1[1] + 4)) {\n      iVar2 = 0;\n      do {\n        iVar2 = iVar2 + 1;\n        if (iVar2 == *param_1) goto LAB_0004fa8c;\n        iVar1 = *piVar3;\n        piVar3 = piVar3 + 1;\n      } while (*(int *)(iVar1 + 4) != param_2);\n    }\n    return;\n  }\nLAB_0004fa8c:\n  (*(code *)PTR___assert_fail_0008de30)\n            (PTR_DAT_0008d800 + -0x4dd4,PTR_DAT_0008d800 + -0x4de0,0x3f,PTR_DAT_0008d800 + -0x4ce0);\n  return;\n}\n\n" (function_definition "void transitions_to(int *param_1,int param_2)\n\n{\n  int iVar1;\n  int iVar2;\n  int *piVar3;\n  \n  if (0 < *param_1) {\n    piVar3 = param_1 + 2;\n    if (param_2 != *(int *)(param_1[1] + 4)) {\n      iVar2 = 0;\n      do {\n        iVar2 = iVar2 + 1;\n        if (iVar2 == *param_1) goto LAB_0004fa8c;\n        iVar1 = *piVar3;\n        piVar3 = piVar3 + 1;\n      } while (*(int *)(iVar1 + 4) != param_2);\n    }\n    return;\n  }\nLAB_0004fa8c:\n  (*(code *)PTR___assert_fail_0008de30)\n            (PTR_DAT_0008d800 + -0x4dd4,PTR_DAT_0008d800 + -0x4de0,0x3f,PTR_DAT_0008d800 + -0x4ce0);\n  return;\n}" primitive_type (function_declarator "transitions_to(int *param_1,int param_2)" identifier (parameter_list "(int *param_1,int param_2)" ( (parameter_declaration "int *param_1" primitive_type (pointer_declarator "*param_1" * identifier)) , (parameter_declaration "int param_2" primitive_type identifier) ))) (compound_statement "{\n  int iVar1;\n  int iVar2;\n  int *piVar3;\n  \n  if (0 < *param_1) {\n    piVar3 = param_1 + 2;\n    if (param_2 != *(int *)(param_1[1] + 4)) {\n      iVar2 = 0;\n      do {\n        iVar2 = iVar2 + 1;\n        if (iVar2 == *param_1) goto LAB_0004fa8c;\n        iVar1 = *piVar3;\n        piVar3 = piVar3 + 1;\n      } while (*(int *)(iVar1 + 4) != param_2);\n    }\n    return;\n  }\nLAB_0004fa8c:\n  (*(code *)PTR___assert_fail_0008de30)\n            (PTR_DAT_0008d800 + -0x4dd4,PTR_DAT_0008d800 + -0x4de0,0x3f,PTR_DAT_0008d800 + -0x4ce0);\n  return;\n}" { (declaration "int iVar1;" primitive_type identifier ;) (declaration "int iVar2;" primitive_type identifier ;) (declaration "int *piVar3;" primitive_type (pointer_declarator "*piVar3" * identifier) ;) (if_statement "if (0 < *param_1) {\n    piVar3 = param_1 + 2;\n    if (param_2 != *(int *)(param_1[1] + 4)) {\n      iVar2 = 0;\n      do {\n        iVar2 = iVar2 + 1;\n        if (iVar2 == *param_1) goto LAB_0004fa8c;\n        iVar1 = *piVar3;\n        piVar3 = piVar3 + 1;\n      } while (*(int *)(iVar1 + 4) != param_2);\n    }\n    return;\n  }" if (parenthesized_expression "(0 < *param_1)" ( (binary_expression "0 < *param_1" number_literal < (pointer_expression "*param_1" * identifier)) )) (compound_statement "{\n    piVar3 = param_1 + 2;\n    if (param_2 != *(int *)(param_1[1] + 4)) {\n      iVar2 = 0;\n      do {\n        iVar2 = iVar2 + 1;\n        if (iVar2 == *param_1) goto LAB_0004fa8c;\n        iVar1 = *piVar3;\n        piVar3 = piVar3 + 1;\n      } while (*(int *)(iVar1 + 4) != param_2);\n    }\n    return;\n  }" { (expression_statement "piVar3 = param_1 + 2;" (assignment_expression "piVar3 = param_1 + 2" identifier = (binary_expression "param_1 + 2" identifier + number_literal)) ;) (if_statement "if (param_2 != *(int *)(param_1[1] + 4)) {\n      iVar2 = 0;\n      do {\n        iVar2 = iVar2 + 1;\n        if (iVar2 == *param_1) goto LAB_0004fa8c;\n        iVar1 = *piVar3;\n        piVar3 = piVar3 + 1;\n      } while (*(int *)(iVar1 + 4) != param_2);\n    }" if (parenthesized_expression "(param_2 != *(int *)(param_1[1] + 4))" ( (binary_expression "param_2 != *(int *)(param_1[1] + 4)" identifier != (pointer_expression "*(int *)(param_1[1] + 4)" * (cast_expression "(int *)(param_1[1] + 4)" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_1[1] + 4)" ( (binary_expression "param_1[1] + 4" (subscript_expression "param_1[1]" identifier [ number_literal ]) + number_literal) ))))) )) (compound_statement "{\n      iVar2 = 0;\n      do {\n        iVar2 = iVar2 + 1;\n        if (iVar2 == *param_1) goto LAB_0004fa8c;\n        iVar1 = *piVar3;\n        piVar3 = piVar3 + 1;\n      } while (*(int *)(iVar1 + 4) != param_2);\n    }" { (expression_statement "iVar2 = 0;" (assignment_expression "iVar2 = 0" identifier = number_literal) ;) (do_statement "do {\n        iVar2 = iVar2 + 1;\n        if (iVar2 == *param_1) goto LAB_0004fa8c;\n        iVar1 = *piVar3;\n        piVar3 = piVar3 + 1;\n      } while (*(int *)(iVar1 + 4) != param_2);" do (compound_statement "{\n        iVar2 = iVar2 + 1;\n        if (iVar2 == *param_1) goto LAB_0004fa8c;\n        iVar1 = *piVar3;\n        piVar3 = piVar3 + 1;\n      }" { (expression_statement "iVar2 = iVar2 + 1;" (assignment_expression "iVar2 = iVar2 + 1" identifier = (binary_expression "iVar2 + 1" identifier + number_literal)) ;) (if_statement "if (iVar2 == *param_1) goto LAB_0004fa8c;" if (parenthesized_expression "(iVar2 == *param_1)" ( (binary_expression "iVar2 == *param_1" identifier == (pointer_expression "*param_1" * identifier)) )) (goto_statement "goto LAB_0004fa8c;" goto statement_identifier ;)) (expression_statement "iVar1 = *piVar3;" (assignment_expression "iVar1 = *piVar3" identifier = (pointer_expression "*piVar3" * identifier)) ;) (expression_statement "piVar3 = piVar3 + 1;" (assignment_expression "piVar3 = piVar3 + 1" identifier = (binary_expression "piVar3 + 1" identifier + number_literal)) ;) }) while (parenthesized_expression "(*(int *)(iVar1 + 4) != param_2)" ( (binary_expression "*(int *)(iVar1 + 4) != param_2" (pointer_expression "*(int *)(iVar1 + 4)" * (cast_expression "(int *)(iVar1 + 4)" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(iVar1 + 4)" ( (binary_expression "iVar1 + 4" identifier + number_literal) )))) != identifier) )) ;) })) (return_statement "return;" return ;) })) (labeled_statement "LAB_0004fa8c:\n  (*(code *)PTR___assert_fail_0008de30)\n            (PTR_DAT_0008d800 + -0x4dd4,PTR_DAT_0008d800 + -0x4de0,0x3f,PTR_DAT_0008d800 + -0x4ce0);" statement_identifier : (expression_statement "(*(code *)PTR___assert_fail_0008de30)\n            (PTR_DAT_0008d800 + -0x4dd4,PTR_DAT_0008d800 + -0x4de0,0x3f,PTR_DAT_0008d800 + -0x4ce0);" (call_expression "(*(code *)PTR___assert_fail_0008de30)\n            (PTR_DAT_0008d800 + -0x4dd4,PTR_DAT_0008d800 + -0x4de0,0x3f,PTR_DAT_0008d800 + -0x4ce0)" (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_DAT_0008d800 + -0x4dd4,PTR_DAT_0008d800 + -0x4de0,0x3f,PTR_DAT_0008d800 + -0x4ce0)" ( (binary_expression "PTR_DAT_0008d800 + -0x4dd4" identifier + number_literal) , (binary_expression "PTR_DAT_0008d800 + -0x4de0" identifier + number_literal) , number_literal , (binary_expression "PTR_DAT_0008d800 + -0x4ce0" identifier + number_literal) ))) ;)) (return_statement "return;" return ;) })))
(translation_unit "/* WARNING: Enum "anon_enum_32": Some values do not have unique names */\n\nstate * transitions_to(transitions *shifts,symbol_number sym)\n\n{\n  state *psVar1;\n  int iVar2;\n  transitions *ptVar3;\n  \n  if (0 < shifts->num) {\n    psVar1 = shifts->states[0];\n    ptVar3 = shifts + 1;\n    if (sym != psVar1->accessing_symbol) {\n      iVar2 = 0;\n      do {\n        iVar2 = iVar2 + 1;\n        if (iVar2 == shifts->num) goto LAB_0004fa8c;\n        psVar1 = (state *)ptVar3->num;\n        ptVar3 = (transitions *)ptVar3->states;\n      } while (psVar1->accessing_symbol != sym);\n    }\n    return psVar1;\n  }\nLAB_0004fa8c:\n  psVar1 = (state *)(*(code *)PTR___assert_fail_0008de30)\n                              (PTR_DAT_0008d800 + -0x4dd4,PTR_DAT_0008d800 + -0x4de0,0x3f,\n                               PTR_DAT_0008d800 + -0x4ce0);\n  return psVar1;\n}\n\n" comment (function_definition "state * transitions_to(transitions *shifts,symbol_number sym)\n\n{\n  state *psVar1;\n  int iVar2;\n  transitions *ptVar3;\n  \n  if (0 < shifts->num) {\n    psVar1 = shifts->states[0];\n    ptVar3 = shifts + 1;\n    if (sym != psVar1->accessing_symbol) {\n      iVar2 = 0;\n      do {\n        iVar2 = iVar2 + 1;\n        if (iVar2 == shifts->num) goto LAB_0004fa8c;\n        psVar1 = (state *)ptVar3->num;\n        ptVar3 = (transitions *)ptVar3->states;\n      } while (psVar1->accessing_symbol != sym);\n    }\n    return psVar1;\n  }\nLAB_0004fa8c:\n  psVar1 = (state *)(*(code *)PTR___assert_fail_0008de30)\n                              (PTR_DAT_0008d800 + -0x4dd4,PTR_DAT_0008d800 + -0x4de0,0x3f,\n                               PTR_DAT_0008d800 + -0x4ce0);\n  return psVar1;\n}" type_identifier (pointer_declarator "* transitions_to(transitions *shifts,symbol_number sym)" * (function_declarator "transitions_to(transitions *shifts,symbol_number sym)" identifier (parameter_list "(transitions *shifts,symbol_number sym)" ( (parameter_declaration "transitions *shifts" type_identifier (pointer_declarator "*shifts" * identifier)) , (parameter_declaration "symbol_number sym" type_identifier identifier) )))) (compound_statement "{\n  state *psVar1;\n  int iVar2;\n  transitions *ptVar3;\n  \n  if (0 < shifts->num) {\n    psVar1 = shifts->states[0];\n    ptVar3 = shifts + 1;\n    if (sym != psVar1->accessing_symbol) {\n      iVar2 = 0;\n      do {\n        iVar2 = iVar2 + 1;\n        if (iVar2 == shifts->num) goto LAB_0004fa8c;\n        psVar1 = (state *)ptVar3->num;\n        ptVar3 = (transitions *)ptVar3->states;\n      } while (psVar1->accessing_symbol != sym);\n    }\n    return psVar1;\n  }\nLAB_0004fa8c:\n  psVar1 = (state *)(*(code *)PTR___assert_fail_0008de30)\n                              (PTR_DAT_0008d800 + -0x4dd4,PTR_DAT_0008d800 + -0x4de0,0x3f,\n                               PTR_DAT_0008d800 + -0x4ce0);\n  return psVar1;\n}" { (declaration "state *psVar1;" type_identifier (pointer_declarator "*psVar1" * identifier) ;) (declaration "int iVar2;" primitive_type identifier ;) (declaration "transitions *ptVar3;" type_identifier (pointer_declarator "*ptVar3" * identifier) ;) (if_statement "if (0 < shifts->num) {\n    psVar1 = shifts->states[0];\n    ptVar3 = shifts + 1;\n    if (sym != psVar1->accessing_symbol) {\n      iVar2 = 0;\n      do {\n        iVar2 = iVar2 + 1;\n        if (iVar2 == shifts->num) goto LAB_0004fa8c;\n        psVar1 = (state *)ptVar3->num;\n        ptVar3 = (transitions *)ptVar3->states;\n      } while (psVar1->accessing_symbol != sym);\n    }\n    return psVar1;\n  }" if (parenthesized_expression "(0 < shifts->num)" ( (binary_expression "0 < shifts->num" number_literal < (field_expression "shifts->num" identifier -> field_identifier)) )) (compound_statement "{\n    psVar1 = shifts->states[0];\n    ptVar3 = shifts + 1;\n    if (sym != psVar1->accessing_symbol) {\n      iVar2 = 0;\n      do {\n        iVar2 = iVar2 + 1;\n        if (iVar2 == shifts->num) goto LAB_0004fa8c;\n        psVar1 = (state *)ptVar3->num;\n        ptVar3 = (transitions *)ptVar3->states;\n      } while (psVar1->accessing_symbol != sym);\n    }\n    return psVar1;\n  }" { (expression_statement "psVar1 = shifts->states[0];" (assignment_expression "psVar1 = shifts->states[0]" identifier = (subscript_expression "shifts->states[0]" (field_expression "shifts->states" identifier -> field_identifier) [ number_literal ])) ;) (expression_statement "ptVar3 = shifts + 1;" (assignment_expression "ptVar3 = shifts + 1" identifier = (binary_expression "shifts + 1" identifier + number_literal)) ;) (if_statement "if (sym != psVar1->accessing_symbol) {\n      iVar2 = 0;\n      do {\n        iVar2 = iVar2 + 1;\n        if (iVar2 == shifts->num) goto LAB_0004fa8c;\n        psVar1 = (state *)ptVar3->num;\n        ptVar3 = (transitions *)ptVar3->states;\n      } while (psVar1->accessing_symbol != sym);\n    }" if (parenthesized_expression "(sym != psVar1->accessing_symbol)" ( (binary_expression "sym != psVar1->accessing_symbol" identifier != (field_expression "psVar1->accessing_symbol" identifier -> field_identifier)) )) (compound_statement "{\n      iVar2 = 0;\n      do {\n        iVar2 = iVar2 + 1;\n        if (iVar2 == shifts->num) goto LAB_0004fa8c;\n        psVar1 = (state *)ptVar3->num;\n        ptVar3 = (transitions *)ptVar3->states;\n      } while (psVar1->accessing_symbol != sym);\n    }" { (expression_statement "iVar2 = 0;" (assignment_expression "iVar2 = 0" identifier = number_literal) ;) (do_statement "do {\n        iVar2 = iVar2 + 1;\n        if (iVar2 == shifts->num) goto LAB_0004fa8c;\n        psVar1 = (state *)ptVar3->num;\n        ptVar3 = (transitions *)ptVar3->states;\n      } while (psVar1->accessing_symbol != sym);" do (compound_statement "{\n        iVar2 = iVar2 + 1;\n        if (iVar2 == shifts->num) goto LAB_0004fa8c;\n        psVar1 = (state *)ptVar3->num;\n        ptVar3 = (transitions *)ptVar3->states;\n      }" { (expression_statement "iVar2 = iVar2 + 1;" (assignment_expression "iVar2 = iVar2 + 1" identifier = (binary_expression "iVar2 + 1" identifier + number_literal)) ;) (if_statement "if (iVar2 == shifts->num) goto LAB_0004fa8c;" if (parenthesized_expression "(iVar2 == shifts->num)" ( (binary_expression "iVar2 == shifts->num" identifier == (field_expression "shifts->num" identifier -> field_identifier)) )) (goto_statement "goto LAB_0004fa8c;" goto statement_identifier ;)) (expression_statement "psVar1 = (state *)ptVar3->num;" (assignment_expression "psVar1 = (state *)ptVar3->num" identifier = (cast_expression "(state *)ptVar3->num" ( (type_descriptor "state *" type_identifier (abstract_pointer_declarator "*" *)) ) (field_expression "ptVar3->num" identifier -> field_identifier))) ;) (expression_statement "ptVar3 = (transitions *)ptVar3->states;" (assignment_expression "ptVar3 = (transitions *)ptVar3->states" identifier = (cast_expression "(transitions *)ptVar3->states" ( (type_descriptor "transitions *" type_identifier (abstract_pointer_declarator "*" *)) ) (field_expression "ptVar3->states" identifier -> field_identifier))) ;) }) while (parenthesized_expression "(psVar1->accessing_symbol != sym)" ( (binary_expression "psVar1->accessing_symbol != sym" (field_expression "psVar1->accessing_symbol" identifier -> field_identifier) != identifier) )) ;) })) (return_statement "return psVar1;" return identifier ;) })) (labeled_statement "LAB_0004fa8c:\n  psVar1 = (state *)(*(code *)PTR___assert_fail_0008de30)\n                              (PTR_DAT_0008d800 + -0x4dd4,PTR_DAT_0008d800 + -0x4de0,0x3f,\n                               PTR_DAT_0008d800 + -0x4ce0);" statement_identifier : (expression_statement "psVar1 = (state *)(*(code *)PTR___assert_fail_0008de30)\n                              (PTR_DAT_0008d800 + -0x4dd4,PTR_DAT_0008d800 + -0x4de0,0x3f,\n                               PTR_DAT_0008d800 + -0x4ce0);" (assignment_expression "psVar1 = (state *)(*(code *)PTR___assert_fail_0008de30)\n                              (PTR_DAT_0008d800 + -0x4dd4,PTR_DAT_0008d800 + -0x4de0,0x3f,\n                               PTR_DAT_0008d800 + -0x4ce0)" identifier = (cast_expression "(state *)(*(code *)PTR___assert_fail_0008de30)\n                              (PTR_DAT_0008d800 + -0x4dd4,PTR_DAT_0008d800 + -0x4de0,0x3f,\n                               PTR_DAT_0008d800 + -0x4ce0)" ( (type_descriptor "state *" type_identifier (abstract_pointer_declarator "*" *)) ) (call_expression "(*(code *)PTR___assert_fail_0008de30)\n                              (PTR_DAT_0008d800 + -0x4dd4,PTR_DAT_0008d800 + -0x4de0,0x3f,\n                               PTR_DAT_0008d800 + -0x4ce0)" (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_DAT_0008d800 + -0x4dd4,PTR_DAT_0008d800 + -0x4de0,0x3f,\n                               PTR_DAT_0008d800 + -0x4ce0)" ( (binary_expression "PTR_DAT_0008d800 + -0x4dd4" identifier + number_literal) , (binary_expression "PTR_DAT_0008d800 + -0x4de0" identifier + number_literal) , number_literal , (binary_expression "PTR_DAT_0008d800 + -0x4ce0" identifier + number_literal) ))))) ;)) (return_statement "return psVar1;" return identifier ;) })))
(translation_unit "void transitions_to(int *param_1,int param_2)\n\n{\n  int iVar1;\n  int iVar2;\n  int *piVar3;\n  \n  if (0 < *param_1) {\n    piVar3 = param_1 + 2;\n    if (param_2 != *(int *)(param_1[1] + 4)) {\n      iVar2 = 0;\n      do {\n        iVar2 = iVar2 + 1;\n        if (iVar2 == *param_1) goto LAB_0004fa8c;\n        iVar1 = *piVar3;\n        piVar3 = piVar3 + 1;\n      } while (*(int *)(iVar1 + 4) != param_2);\n    }\n    return;\n  }\nLAB_0004fa8c:\n  (*(code *)PTR___assert_fail_0008de30)\n            (PTR_DAT_0008d800 + -0x4dd4,PTR_DAT_0008d800 + -0x4de0,0x3f,PTR_DAT_0008d800 + -0x4ce0);\n  return;\n}\n\n" (function_definition "void transitions_to(int *param_1,int param_2)\n\n{\n  int iVar1;\n  int iVar2;\n  int *piVar3;\n  \n  if (0 < *param_1) {\n    piVar3 = param_1 + 2;\n    if (param_2 != *(int *)(param_1[1] + 4)) {\n      iVar2 = 0;\n      do {\n        iVar2 = iVar2 + 1;\n        if (iVar2 == *param_1) goto LAB_0004fa8c;\n        iVar1 = *piVar3;\n        piVar3 = piVar3 + 1;\n      } while (*(int *)(iVar1 + 4) != param_2);\n    }\n    return;\n  }\nLAB_0004fa8c:\n  (*(code *)PTR___assert_fail_0008de30)\n            (PTR_DAT_0008d800 + -0x4dd4,PTR_DAT_0008d800 + -0x4de0,0x3f,PTR_DAT_0008d800 + -0x4ce0);\n  return;\n}" primitive_type (function_declarator "transitions_to(int *param_1,int param_2)" identifier (parameter_list "(int *param_1,int param_2)" ( (parameter_declaration "int *param_1" primitive_type (pointer_declarator "*param_1" * identifier)) , (parameter_declaration "int param_2" primitive_type identifier) ))) (compound_statement "{\n  int iVar1;\n  int iVar2;\n  int *piVar3;\n  \n  if (0 < *param_1) {\n    piVar3 = param_1 + 2;\n    if (param_2 != *(int *)(param_1[1] + 4)) {\n      iVar2 = 0;\n      do {\n        iVar2 = iVar2 + 1;\n        if (iVar2 == *param_1) goto LAB_0004fa8c;\n        iVar1 = *piVar3;\n        piVar3 = piVar3 + 1;\n      } while (*(int *)(iVar1 + 4) != param_2);\n    }\n    return;\n  }\nLAB_0004fa8c:\n  (*(code *)PTR___assert_fail_0008de30)\n            (PTR_DAT_0008d800 + -0x4dd4,PTR_DAT_0008d800 + -0x4de0,0x3f,PTR_DAT_0008d800 + -0x4ce0);\n  return;\n}" { (declaration "int iVar1;" primitive_type identifier ;) (declaration "int iVar2;" primitive_type identifier ;) (declaration "int *piVar3;" primitive_type (pointer_declarator "*piVar3" * identifier) ;) (if_statement "if (0 < *param_1) {\n    piVar3 = param_1 + 2;\n    if (param_2 != *(int *)(param_1[1] + 4)) {\n      iVar2 = 0;\n      do {\n        iVar2 = iVar2 + 1;\n        if (iVar2 == *param_1) goto LAB_0004fa8c;\n        iVar1 = *piVar3;\n        piVar3 = piVar3 + 1;\n      } while (*(int *)(iVar1 + 4) != param_2);\n    }\n    return;\n  }" if (parenthesized_expression "(0 < *param_1)" ( (binary_expression "0 < *param_1" number_literal < (pointer_expression "*param_1" * identifier)) )) (compound_statement "{\n    piVar3 = param_1 + 2;\n    if (param_2 != *(int *)(param_1[1] + 4)) {\n      iVar2 = 0;\n      do {\n        iVar2 = iVar2 + 1;\n        if (iVar2 == *param_1) goto LAB_0004fa8c;\n        iVar1 = *piVar3;\n        piVar3 = piVar3 + 1;\n      } while (*(int *)(iVar1 + 4) != param_2);\n    }\n    return;\n  }" { (expression_statement "piVar3 = param_1 + 2;" (assignment_expression "piVar3 = param_1 + 2" identifier = (binary_expression "param_1 + 2" identifier + number_literal)) ;) (if_statement "if (param_2 != *(int *)(param_1[1] + 4)) {\n      iVar2 = 0;\n      do {\n        iVar2 = iVar2 + 1;\n        if (iVar2 == *param_1) goto LAB_0004fa8c;\n        iVar1 = *piVar3;\n        piVar3 = piVar3 + 1;\n      } while (*(int *)(iVar1 + 4) != param_2);\n    }" if (parenthesized_expression "(param_2 != *(int *)(param_1[1] + 4))" ( (binary_expression "param_2 != *(int *)(param_1[1] + 4)" identifier != (pointer_expression "*(int *)(param_1[1] + 4)" * (cast_expression "(int *)(param_1[1] + 4)" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_1[1] + 4)" ( (binary_expression "param_1[1] + 4" (subscript_expression "param_1[1]" identifier [ number_literal ]) + number_literal) ))))) )) (compound_statement "{\n      iVar2 = 0;\n      do {\n        iVar2 = iVar2 + 1;\n        if (iVar2 == *param_1) goto LAB_0004fa8c;\n        iVar1 = *piVar3;\n        piVar3 = piVar3 + 1;\n      } while (*(int *)(iVar1 + 4) != param_2);\n    }" { (expression_statement "iVar2 = 0;" (assignment_expression "iVar2 = 0" identifier = number_literal) ;) (do_statement "do {\n        iVar2 = iVar2 + 1;\n        if (iVar2 == *param_1) goto LAB_0004fa8c;\n        iVar1 = *piVar3;\n        piVar3 = piVar3 + 1;\n      } while (*(int *)(iVar1 + 4) != param_2);" do (compound_statement "{\n        iVar2 = iVar2 + 1;\n        if (iVar2 == *param_1) goto LAB_0004fa8c;\n        iVar1 = *piVar3;\n        piVar3 = piVar3 + 1;\n      }" { (expression_statement "iVar2 = iVar2 + 1;" (assignment_expression "iVar2 = iVar2 + 1" identifier = (binary_expression "iVar2 + 1" identifier + number_literal)) ;) (if_statement "if (iVar2 == *param_1) goto LAB_0004fa8c;" if (parenthesized_expression "(iVar2 == *param_1)" ( (binary_expression "iVar2 == *param_1" identifier == (pointer_expression "*param_1" * identifier)) )) (goto_statement "goto LAB_0004fa8c;" goto statement_identifier ;)) (expression_statement "iVar1 = *piVar3;" (assignment_expression "iVar1 = *piVar3" identifier = (pointer_expression "*piVar3" * identifier)) ;) (expression_statement "piVar3 = piVar3 + 1;" (assignment_expression "piVar3 = piVar3 + 1" identifier = (binary_expression "piVar3 + 1" identifier + number_literal)) ;) }) while (parenthesized_expression "(*(int *)(iVar1 + 4) != param_2)" ( (binary_expression "*(int *)(iVar1 + 4) != param_2" (pointer_expression "*(int *)(iVar1 + 4)" * (cast_expression "(int *)(iVar1 + 4)" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(iVar1 + 4)" ( (binary_expression "iVar1 + 4" identifier + number_literal) )))) != identifier) )) ;) })) (return_statement "return;" return ;) })) (labeled_statement "LAB_0004fa8c:\n  (*(code *)PTR___assert_fail_0008de30)\n            (PTR_DAT_0008d800 + -0x4dd4,PTR_DAT_0008d800 + -0x4de0,0x3f,PTR_DAT_0008d800 + -0x4ce0);" statement_identifier : (expression_statement "(*(code *)PTR___assert_fail_0008de30)\n            (PTR_DAT_0008d800 + -0x4dd4,PTR_DAT_0008d800 + -0x4de0,0x3f,PTR_DAT_0008d800 + -0x4ce0);" (call_expression "(*(code *)PTR___assert_fail_0008de30)\n            (PTR_DAT_0008d800 + -0x4dd4,PTR_DAT_0008d800 + -0x4de0,0x3f,PTR_DAT_0008d800 + -0x4ce0)" (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_DAT_0008d800 + -0x4dd4,PTR_DAT_0008d800 + -0x4de0,0x3f,PTR_DAT_0008d800 + -0x4ce0)" ( (binary_expression "PTR_DAT_0008d800 + -0x4dd4" identifier + number_literal) , (binary_expression "PTR_DAT_0008d800 + -0x4de0" identifier + number_literal) , number_literal , (binary_expression "PTR_DAT_0008d800 + -0x4ce0" identifier + number_literal) ))) ;)) (return_statement "return;" return ;) })))
(translation_unit (function_definition TYPE (function_declarator IDENT (parameter_list ( (parameter_declaration TYPE (pointer_declarator * IDENT)) , (parameter_declaration TYPE IDENT) ))) (compound_statement { (declaration TYPE IDENT ;) (declaration TYPE IDENT ;) (declaration TYPE (pointer_declarator * IDENT) ;) (if_statement if (parenthesized_expression ( (binary_expression LIT < (pointer_expression * IDENT)) )) (compound_statement { (expression_statement (assignment_expression IDENT = (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 (subscript_expression IDENT [ LIT ]) + LIT) ))))) )) (compound_statement { (expression_statement (assignment_expression IDENT = LIT) ;) (do_statement do (compound_statement { (expression_statement (assignment_expression IDENT = (binary_expression IDENT + LIT)) ;) (if_statement if (parenthesized_expression ( (binary_expression IDENT == (pointer_expression * IDENT)) )) (goto_statement goto statement_identifier ;)) (expression_statement (assignment_expression IDENT = (pointer_expression * IDENT)) ;) (expression_statement (assignment_expression IDENT = (binary_expression IDENT + LIT)) ;) }) while (parenthesized_expression ( (binary_expression (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression IDENT + LIT) )))) != IDENT) )) ;) })) (return_statement return ;) })) (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) , (binary_expression IDENT + LIT) , LIT , (binary_expression IDENT + LIT) ))) ;)) (return_statement return ;) })))
(function_definition "void transitions_to(int *param_1,int param_2)\n\n{\n  int iVar1;\n  int iVar2;\n  int *piVar3;\n  \n  if (0 < *param_1) {\n    piVar3 = param_1 + 2;\n    if (param_2 != *(int *)(param_1[1] + 4)) {\n      iVar2 = 0;\n      do {\n        iVar2 = iVar2 + 1;\n        if (iVar2 == *param_1) goto LAB_0004fa8c;\n        iVar1 = *piVar3;\n        piVar3 = piVar3 + 1;\n      } while (*(int *)(iVar1 + 4) != param_2);\n    }\n    return;\n  }\nLAB_0004fa8c:\n  (*(code *)PTR___assert_fail_0008de30)\n            (PTR_DAT_0008d800 + -0x4dd4,PTR_DAT_0008d800 + -0x4de0,0x3f,PTR_DAT_0008d800 + -0x4ce0);\n  return;\n}" (primitive_type "void") (function_declarator "transitions_to(int *param_1,int param_2)" (identifier "transitions_to") (parameter_list "(int *param_1,int param_2)" (( "(") (parameter_declaration "int *param_1" (primitive_type "int") (pointer_declarator "*param_1" (* "*") (identifier "param_1"))) (, ",") (parameter_declaration "int param_2" (primitive_type "int") (identifier "param_2")) () ")"))) (compound_statement "{\n  int iVar1;\n  int iVar2;\n  int *piVar3;\n  \n  if (0 < *param_1) {\n    piVar3 = param_1 + 2;\n    if (param_2 != *(int *)(param_1[1] + 4)) {\n      iVar2 = 0;\n      do {\n        iVar2 = iVar2 + 1;\n        if (iVar2 == *param_1) goto LAB_0004fa8c;\n        iVar1 = *piVar3;\n        piVar3 = piVar3 + 1;\n      } while (*(int *)(iVar1 + 4) != param_2);\n    }\n    return;\n  }\nLAB_0004fa8c:\n  (*(code *)PTR___assert_fail_0008de30)\n            (PTR_DAT_0008d800 + -0x4dd4,PTR_DAT_0008d800 + -0x4de0,0x3f,PTR_DAT_0008d800 + -0x4ce0);\n  return;\n}" ({ "{") (declaration "int iVar1;" (primitive_type "int") (identifier "iVar1") (; ";")) (declaration "int iVar2;" (primitive_type "int") (identifier "iVar2") (; ";")) (declaration "int *piVar3;" (primitive_type "int") (pointer_declarator "*piVar3" (* "*") (identifier "piVar3")) (; ";")) (if_statement "if (0 < *param_1) {\n    piVar3 = param_1 + 2;\n    if (param_2 != *(int *)(param_1[1] + 4)) {\n      iVar2 = 0;\n      do {\n        iVar2 = iVar2 + 1;\n        if (iVar2 == *param_1) goto LAB_0004fa8c;\n        iVar1 = *piVar3;\n        piVar3 = piVar3 + 1;\n      } while (*(int *)(iVar1 + 4) != param_2);\n    }\n    return;\n  }" (if "if") (parenthesized_expression "(0 < *param_1)" (( "(") (binary_expression "0 < *param_1" (number_literal "0") (< "<") (pointer_expression "*param_1" (* "*") (identifier "param_1"))) () ")")) (compound_statement "{\n    piVar3 = param_1 + 2;\n    if (param_2 != *(int *)(param_1[1] + 4)) {\n      iVar2 = 0;\n      do {\n        iVar2 = iVar2 + 1;\n        if (iVar2 == *param_1) goto LAB_0004fa8c;\n        iVar1 = *piVar3;\n        piVar3 = piVar3 + 1;\n      } while (*(int *)(iVar1 + 4) != param_2);\n    }\n    return;\n  }" ({ "{") (expression_statement "piVar3 = param_1 + 2;" (assignment_expression "piVar3 = param_1 + 2" (identifier "piVar3") (= "=") (binary_expression "param_1 + 2" (identifier "param_1") (+ "+") (number_literal "2"))) (; ";")) (if_statement "if (param_2 != *(int *)(param_1[1] + 4)) {\n      iVar2 = 0;\n      do {\n        iVar2 = iVar2 + 1;\n        if (iVar2 == *param_1) goto LAB_0004fa8c;\n        iVar1 = *piVar3;\n        piVar3 = piVar3 + 1;\n      } while (*(int *)(iVar1 + 4) != param_2);\n    }" (if "if") (parenthesized_expression "(param_2 != *(int *)(param_1[1] + 4))" (( "(") (binary_expression "param_2 != *(int *)(param_1[1] + 4)" (identifier "param_2") (!= "!=") (pointer_expression "*(int *)(param_1[1] + 4)" (* "*") (cast_expression "(int *)(param_1[1] + 4)" (( "(") (type_descriptor "int *" (primitive_type "int") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "(param_1[1] + 4)" (( "(") (binary_expression "param_1[1] + 4" (subscript_expression "param_1[1]" (identifier "param_1") ([ "[") (number_literal "1") (] "]")) (+ "+") (number_literal "4")) () ")"))))) () ")")) (compound_statement "{\n      iVar2 = 0;\n      do {\n        iVar2 = iVar2 + 1;\n        if (iVar2 == *param_1) goto LAB_0004fa8c;\n        iVar1 = *piVar3;\n        piVar3 = piVar3 + 1;\n      } while (*(int *)(iVar1 + 4) != param_2);\n    }" ({ "{") (expression_statement "iVar2 = 0;" (assignment_expression "iVar2 = 0" (identifier "iVar2") (= "=") (number_literal "0")) (; ";")) (do_statement "do {\n        iVar2 = iVar2 + 1;\n        if (iVar2 == *param_1) goto LAB_0004fa8c;\n        iVar1 = *piVar3;\n        piVar3 = piVar3 + 1;\n      } while (*(int *)(iVar1 + 4) != param_2);" (do "do") (compound_statement "{\n        iVar2 = iVar2 + 1;\n        if (iVar2 == *param_1) goto LAB_0004fa8c;\n        iVar1 = *piVar3;\n        piVar3 = piVar3 + 1;\n      }" ({ "{") (expression_statement "iVar2 = iVar2 + 1;" (assignment_expression "iVar2 = iVar2 + 1" (identifier "iVar2") (= "=") (binary_expression "iVar2 + 1" (identifier "iVar2") (+ "+") (number_literal "1"))) (; ";")) (if_statement "if (iVar2 == *param_1) goto LAB_0004fa8c;" (if "if") (parenthesized_expression "(iVar2 == *param_1)" (( "(") (binary_expression "iVar2 == *param_1" (identifier "iVar2") (== "==") (pointer_expression "*param_1" (* "*") (identifier "param_1"))) () ")")) (goto_statement "goto LAB_0004fa8c;" (goto "goto") (statement_identifier "LAB_0004fa8c") (; ";"))) (expression_statement "iVar1 = *piVar3;" (assignment_expression "iVar1 = *piVar3" (identifier "iVar1") (= "=") (pointer_expression "*piVar3" (* "*") (identifier "piVar3"))) (; ";")) (expression_statement "piVar3 = piVar3 + 1;" (assignment_expression "piVar3 = piVar3 + 1" (identifier "piVar3") (= "=") (binary_expression "piVar3 + 1" (identifier "piVar3") (+ "+") (number_literal "1"))) (; ";")) (} "}")) (while "while") (parenthesized_expression "(*(int *)(iVar1 + 4) != param_2)" (( "(") (binary_expression "*(int *)(iVar1 + 4) != param_2" (pointer_expression "*(int *)(iVar1 + 4)" (* "*") (cast_expression "(int *)(iVar1 + 4)" (( "(") (type_descriptor "int *" (primitive_type "int") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "(iVar1 + 4)" (( "(") (binary_expression "iVar1 + 4" (identifier "iVar1") (+ "+") (number_literal "4")) () ")")))) (!= "!=") (identifier "param_2")) () ")")) (; ";")) (} "}"))) (return_statement "return;" (return "return") (; ";")) (} "}"))) (labeled_statement "LAB_0004fa8c:\n  (*(code *)PTR___assert_fail_0008de30)\n            (PTR_DAT_0008d800 + -0x4dd4,PTR_DAT_0008d800 + -0x4de0,0x3f,PTR_DAT_0008d800 + -0x4ce0);" (statement_identifier "LAB_0004fa8c") (: ":") (expression_statement "(*(code *)PTR___assert_fail_0008de30)\n            (PTR_DAT_0008d800 + -0x4dd4,PTR_DAT_0008d800 + -0x4de0,0x3f,PTR_DAT_0008d800 + -0x4ce0);" (call_expression "(*(code *)PTR___assert_fail_0008de30)\n            (PTR_DAT_0008d800 + -0x4dd4,PTR_DAT_0008d800 + -0x4de0,0x3f,PTR_DAT_0008d800 + -0x4ce0)" (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_DAT_0008d800 + -0x4dd4,PTR_DAT_0008d800 + -0x4de0,0x3f,PTR_DAT_0008d800 + -0x4ce0)" (( "(") (binary_expression "PTR_DAT_0008d800 + -0x4dd4" (identifier "PTR_DAT_0008d800") (+ "+") (number_literal "-0x4dd4")) (, ",") (binary_expression "PTR_DAT_0008d800 + -0x4de0" (identifier "PTR_DAT_0008d800") (+ "+") (number_literal "-0x4de0")) (, ",") (number_literal "0x3f") (, ",") (binary_expression "PTR_DAT_0008d800 + -0x4ce0" (identifier "PTR_DAT_0008d800") (+ "+") (number_literal "-0x4ce0")) () ")"))) (; ";"))) (return_statement "return;" (return "return") (; ";")) (} "}")))

/* WARNING: Enum "anon_enum_32": Some values do not have unique names */

type_1 * function_1(type_2 *var_1,type_3 var_2)

{
  type_1 *psVar1;
  int var_3;
  type_2 *ptVar3;
  
  if (0 < var_1->num) {
    psVar1 = var_1->states[0];
    ptVar3 = var_1 + 1;
    if (var_2 != psVar1->accessing_symbol) {
      var_3 = 0;
      do {
        var_3 = var_3 + 1;
        if (var_3 == var_1->num) goto LAB_0004fa8c;
        psVar1 = (type_1 *)ptVar3->num;
        ptVar3 = (type_2 *)ptVar3->states;
      } while (psVar1->accessing_symbol != var_2);
    }
    return psVar1;
  }
LAB_0004fa8c:
  psVar1 = (type_1 *)(*(type_4 *)PTR___assert_fail_0008de30)
                              (var_4 + -0x4dd4,var_4 + -0x4de0,0x3f,
                               var_4 + -0x4ce0);
  return psVar1;
}


(translation_unit (function_definition type: (primitive_type) declarator: (function_declarator declarator: (identifier) parameters: (parameter_list (parameter_declaration type: (primitive_type) declarator: (pointer_declarator declarator: (identifier))) (parameter_declaration type: (primitive_type) declarator: (identifier)))) body: (compound_statement (declaration type: (primitive_type) declarator: (identifier)) (declaration type: (primitive_type) declarator: (identifier)) (declaration type: (primitive_type) declarator: (pointer_declarator declarator: (identifier))) (if_statement condition: (parenthesized_expression (binary_expression left: (number_literal) right: (pointer_expression argument: (identifier)))) consequence: (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: (pointer_expression argument: (cast_expression type: (type_descriptor type: (primitive_type) declarator: (abstract_pointer_declarator)) value: (parenthesized_expression (binary_expression left: (subscript_expression argument: (identifier) index: (number_literal)) right: (number_literal))))))) consequence: (compound_statement (expression_statement (assignment_expression left: (identifier) right: (number_literal))) (do_statement body: (compound_statement (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (identifier) right: (number_literal)))) (if_statement condition: (parenthesized_expression (binary_expression left: (identifier) right: (pointer_expression argument: (identifier)))) consequence: (goto_statement label: (statement_identifier))) (expression_statement (assignment_expression left: (identifier) right: (pointer_expression argument: (identifier)))) (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (identifier) right: (number_literal))))) 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)))))) (return_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)) (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)

{
  int iVar1;
  int iVar2;
  int *piVar3;
  
  if (0 < *param_1) {
    piVar3 = param_1 + 2;
    if (param_2 != *(int *)(param_1[1] + 4)) {
      iVar2 = 0;
      do {
        iVar2 = iVar2 + 1;
        if (iVar2 == *param_1) goto LAB_0004fa8c;
        iVar1 = *piVar3;
        piVar3 = piVar3 + 1;
      } while (*(int *)(iVar1 + 4) != param_2);
    }
    return;
  }
LAB_0004fa8c:
  (*(code *)PTR___assert_fail_0008de30)
            (PTR_DAT_0008d800 + -0x4dd4,PTR_DAT_0008d800 + -0x4de0,0x3f,PTR_DAT_0008d800 + -0x4ce0);
  return;
}

