
bfd_boolean validate_build_id_style(char *style)

{
  uint uVar1;
  long lVar2;
  byte *pbVar3;
  byte *pbVar4;
  undefined1 in_CF;
  bool bVar5;
  bool bVar6;
  undefined1 in_ZF;
  bool bVar7;
  
  lVar2 = 4;
  uVar1 = 1;
  pbVar3 = (byte *)style;
  pbVar4 = &DAT_00156404;
  do {
    if (lVar2 == 0) break;
    lVar2 = lVar2 + -1;
    in_CF = *pbVar3 < *pbVar4;
    in_ZF = *pbVar3 == *pbVar4;
    pbVar3 = pbVar3 + 1;
    pbVar4 = pbVar4 + 1;
  } while ((bool)in_ZF);
  bVar5 = false;
  bVar7 = (!(bool)in_CF && !(bool)in_ZF) == (bool)in_CF;
  if (!bVar7) {
    lVar2 = 5;
    pbVar3 = (byte *)style;
    pbVar4 = &DAT_00156408;
    do {
      if (lVar2 == 0) break;
      lVar2 = lVar2 + -1;
      bVar5 = *pbVar3 < *pbVar4;
      bVar7 = *pbVar3 == *pbVar4;
      pbVar3 = pbVar3 + 1;
      pbVar4 = pbVar4 + 1;
    } while (bVar7);
    bVar6 = false;
    bVar5 = (!bVar5 && !bVar7) == bVar5;
    if (!bVar5) {
      lVar2 = 5;
      pbVar3 = (byte *)style;
      pbVar4 = &DAT_0015640d;
      do {
        if (lVar2 == 0) break;
        lVar2 = lVar2 + -1;
        bVar6 = *pbVar3 < *pbVar4;
        bVar5 = *pbVar3 == *pbVar4;
        pbVar3 = pbVar3 + 1;
        pbVar4 = pbVar4 + 1;
      } while (bVar5);
      bVar7 = false;
      bVar5 = (!bVar6 && !bVar5) == bVar6;
      if (!bVar5) {
        lVar2 = 2;
        pbVar3 = (byte *)0x152fae;
        do {
          if (lVar2 == 0) break;
          lVar2 = lVar2 + -1;
          bVar7 = (byte)*style < *pbVar3;
          bVar5 = *style == *pbVar3;
          style = (char *)((byte *)style + 1);
          pbVar3 = pbVar3 + 1;
        } while (bVar5);
        uVar1 = (uint)((!bVar7 && !bVar5) == bVar7);
      }
    }
  }
  return uVar1;
}



bool FUN_00129d00(byte *param_1)

{
  long lVar1;
  byte *pbVar2;
  byte *pbVar3;
  undefined1 in_CF;
  bool bVar4;
  bool bVar5;
  undefined1 in_ZF;
  bool bVar6;
  bool bVar7;
  
  lVar1 = 4;
  bVar7 = true;
  pbVar2 = param_1;
  pbVar3 = &DAT_00156404;
  do {
    if (lVar1 == 0) break;
    lVar1 = lVar1 + -1;
    in_CF = *pbVar2 < *pbVar3;
    in_ZF = *pbVar2 == *pbVar3;
    pbVar2 = pbVar2 + 1;
    pbVar3 = pbVar3 + 1;
  } while ((bool)in_ZF);
  bVar4 = false;
  bVar6 = (!(bool)in_CF && !(bool)in_ZF) == (bool)in_CF;
  if (!bVar6) {
    lVar1 = 5;
    pbVar2 = param_1;
    pbVar3 = &DAT_00156408;
    do {
      if (lVar1 == 0) break;
      lVar1 = lVar1 + -1;
      bVar4 = *pbVar2 < *pbVar3;
      bVar6 = *pbVar2 == *pbVar3;
      pbVar2 = pbVar2 + 1;
      pbVar3 = pbVar3 + 1;
    } while (bVar6);
    bVar5 = false;
    bVar4 = (!bVar4 && !bVar6) == bVar4;
    if (!bVar4) {
      lVar1 = 5;
      pbVar2 = param_1;
      pbVar3 = &DAT_0015640d;
      do {
        if (lVar1 == 0) break;
        lVar1 = lVar1 + -1;
        bVar5 = *pbVar2 < *pbVar3;
        bVar4 = *pbVar2 == *pbVar3;
        pbVar2 = pbVar2 + 1;
        pbVar3 = pbVar3 + 1;
      } while (bVar4);
      bVar6 = false;
      bVar4 = (!bVar5 && !bVar4) == bVar5;
      if (!bVar4) {
        lVar1 = 2;
        pbVar2 = (byte *)0x152fae;
        do {
          if (lVar1 == 0) break;
          lVar1 = lVar1 + -1;
          bVar6 = *param_1 < *pbVar2;
          bVar4 = *param_1 == *pbVar2;
          param_1 = param_1 + 1;
          pbVar2 = pbVar2 + 1;
        } while (bVar4);
        bVar7 = (!bVar6 && !bVar4) == bVar6;
      }
    }
  }
  return bVar7;
}


MOV R8,RDI
MOV ECX,0x4
LEA RDI,[0x156404]
MOV EAX,0x1
MOV RSI,R8
CMPSB.REPE RDI,RSI
SETA DL
SBB DL,0x0
TEST DL,DL
JZ 0x00129d77
MOV ECX,0x5
LEA RDI,[0x156408]
MOV RSI,R8
CMPSB.REPE RDI,RSI
SETA DL
SBB DL,0x0
TEST DL,DL
JZ 0x00129d77
MOV ECX,0x5
LEA RDI,[0x15640d]
MOV RSI,R8
CMPSB.REPE RDI,RSI
SETA DL
SBB DL,0x0
TEST DL,DL
JZ 0x00129d77
MOV ECX,0x2
LEA RDI,[0x152fae]
MOV RSI,R8
CMPSB.REPE RDI,RSI
SETA AL
SBB AL,0x0
TEST AL,AL
SETZ AL
MOVZX EAX,AL
RET
(translation_unit "bool FUN_00129d00(byte *param_1)\n\n{\n  long lVar1;\n  byte *pbVar2;\n  byte *pbVar3;\n  undefined1 in_CF;\n  bool bVar4;\n  bool bVar5;\n  undefined1 in_ZF;\n  bool bVar6;\n  bool bVar7;\n  \n  lVar1 = 4;\n  bVar7 = true;\n  pbVar2 = param_1;\n  pbVar3 = &DAT_00156404;\n  do {\n    if (lVar1 == 0) break;\n    lVar1 = lVar1 + -1;\n    in_CF = *pbVar2 < *pbVar3;\n    in_ZF = *pbVar2 == *pbVar3;\n    pbVar2 = pbVar2 + 1;\n    pbVar3 = pbVar3 + 1;\n  } while ((bool)in_ZF);\n  bVar4 = false;\n  bVar6 = (!(bool)in_CF && !(bool)in_ZF) == (bool)in_CF;\n  if (!bVar6) {\n    lVar1 = 5;\n    pbVar2 = param_1;\n    pbVar3 = &DAT_00156408;\n    do {\n      if (lVar1 == 0) break;\n      lVar1 = lVar1 + -1;\n      bVar4 = *pbVar2 < *pbVar3;\n      bVar6 = *pbVar2 == *pbVar3;\n      pbVar2 = pbVar2 + 1;\n      pbVar3 = pbVar3 + 1;\n    } while (bVar6);\n    bVar5 = false;\n    bVar4 = (!bVar4 && !bVar6) == bVar4;\n    if (!bVar4) {\n      lVar1 = 5;\n      pbVar2 = param_1;\n      pbVar3 = &DAT_0015640d;\n      do {\n        if (lVar1 == 0) break;\n        lVar1 = lVar1 + -1;\n        bVar5 = *pbVar2 < *pbVar3;\n        bVar4 = *pbVar2 == *pbVar3;\n        pbVar2 = pbVar2 + 1;\n        pbVar3 = pbVar3 + 1;\n      } while (bVar4);\n      bVar6 = false;\n      bVar4 = (!bVar5 && !bVar4) == bVar5;\n      if (!bVar4) {\n        lVar1 = 2;\n        pbVar2 = (byte *)0x152fae;\n        do {\n          if (lVar1 == 0) break;\n          lVar1 = lVar1 + -1;\n          bVar6 = *param_1 < *pbVar2;\n          bVar4 = *param_1 == *pbVar2;\n          param_1 = param_1 + 1;\n          pbVar2 = pbVar2 + 1;\n        } while (bVar4);\n        bVar7 = (!bVar6 && !bVar4) == bVar6;\n      }\n    }\n  }\n  return bVar7;\n}\n\n" (function_definition "bool FUN_00129d00(byte *param_1)\n\n{\n  long lVar1;\n  byte *pbVar2;\n  byte *pbVar3;\n  undefined1 in_CF;\n  bool bVar4;\n  bool bVar5;\n  undefined1 in_ZF;\n  bool bVar6;\n  bool bVar7;\n  \n  lVar1 = 4;\n  bVar7 = true;\n  pbVar2 = param_1;\n  pbVar3 = &DAT_00156404;\n  do {\n    if (lVar1 == 0) break;\n    lVar1 = lVar1 + -1;\n    in_CF = *pbVar2 < *pbVar3;\n    in_ZF = *pbVar2 == *pbVar3;\n    pbVar2 = pbVar2 + 1;\n    pbVar3 = pbVar3 + 1;\n  } while ((bool)in_ZF);\n  bVar4 = false;\n  bVar6 = (!(bool)in_CF && !(bool)in_ZF) == (bool)in_CF;\n  if (!bVar6) {\n    lVar1 = 5;\n    pbVar2 = param_1;\n    pbVar3 = &DAT_00156408;\n    do {\n      if (lVar1 == 0) break;\n      lVar1 = lVar1 + -1;\n      bVar4 = *pbVar2 < *pbVar3;\n      bVar6 = *pbVar2 == *pbVar3;\n      pbVar2 = pbVar2 + 1;\n      pbVar3 = pbVar3 + 1;\n    } while (bVar6);\n    bVar5 = false;\n    bVar4 = (!bVar4 && !bVar6) == bVar4;\n    if (!bVar4) {\n      lVar1 = 5;\n      pbVar2 = param_1;\n      pbVar3 = &DAT_0015640d;\n      do {\n        if (lVar1 == 0) break;\n        lVar1 = lVar1 + -1;\n        bVar5 = *pbVar2 < *pbVar3;\n        bVar4 = *pbVar2 == *pbVar3;\n        pbVar2 = pbVar2 + 1;\n        pbVar3 = pbVar3 + 1;\n      } while (bVar4);\n      bVar6 = false;\n      bVar4 = (!bVar5 && !bVar4) == bVar5;\n      if (!bVar4) {\n        lVar1 = 2;\n        pbVar2 = (byte *)0x152fae;\n        do {\n          if (lVar1 == 0) break;\n          lVar1 = lVar1 + -1;\n          bVar6 = *param_1 < *pbVar2;\n          bVar4 = *param_1 == *pbVar2;\n          param_1 = param_1 + 1;\n          pbVar2 = pbVar2 + 1;\n        } while (bVar4);\n        bVar7 = (!bVar6 && !bVar4) == bVar6;\n      }\n    }\n  }\n  return bVar7;\n}" primitive_type (function_declarator "FUN_00129d00(byte *param_1)" identifier (parameter_list "(byte *param_1)" ( (parameter_declaration "byte *param_1" type_identifier (pointer_declarator "*param_1" * identifier)) ))) (compound_statement "{\n  long lVar1;\n  byte *pbVar2;\n  byte *pbVar3;\n  undefined1 in_CF;\n  bool bVar4;\n  bool bVar5;\n  undefined1 in_ZF;\n  bool bVar6;\n  bool bVar7;\n  \n  lVar1 = 4;\n  bVar7 = true;\n  pbVar2 = param_1;\n  pbVar3 = &DAT_00156404;\n  do {\n    if (lVar1 == 0) break;\n    lVar1 = lVar1 + -1;\n    in_CF = *pbVar2 < *pbVar3;\n    in_ZF = *pbVar2 == *pbVar3;\n    pbVar2 = pbVar2 + 1;\n    pbVar3 = pbVar3 + 1;\n  } while ((bool)in_ZF);\n  bVar4 = false;\n  bVar6 = (!(bool)in_CF && !(bool)in_ZF) == (bool)in_CF;\n  if (!bVar6) {\n    lVar1 = 5;\n    pbVar2 = param_1;\n    pbVar3 = &DAT_00156408;\n    do {\n      if (lVar1 == 0) break;\n      lVar1 = lVar1 + -1;\n      bVar4 = *pbVar2 < *pbVar3;\n      bVar6 = *pbVar2 == *pbVar3;\n      pbVar2 = pbVar2 + 1;\n      pbVar3 = pbVar3 + 1;\n    } while (bVar6);\n    bVar5 = false;\n    bVar4 = (!bVar4 && !bVar6) == bVar4;\n    if (!bVar4) {\n      lVar1 = 5;\n      pbVar2 = param_1;\n      pbVar3 = &DAT_0015640d;\n      do {\n        if (lVar1 == 0) break;\n        lVar1 = lVar1 + -1;\n        bVar5 = *pbVar2 < *pbVar3;\n        bVar4 = *pbVar2 == *pbVar3;\n        pbVar2 = pbVar2 + 1;\n        pbVar3 = pbVar3 + 1;\n      } while (bVar4);\n      bVar6 = false;\n      bVar4 = (!bVar5 && !bVar4) == bVar5;\n      if (!bVar4) {\n        lVar1 = 2;\n        pbVar2 = (byte *)0x152fae;\n        do {\n          if (lVar1 == 0) break;\n          lVar1 = lVar1 + -1;\n          bVar6 = *param_1 < *pbVar2;\n          bVar4 = *param_1 == *pbVar2;\n          param_1 = param_1 + 1;\n          pbVar2 = pbVar2 + 1;\n        } while (bVar4);\n        bVar7 = (!bVar6 && !bVar4) == bVar6;\n      }\n    }\n  }\n  return bVar7;\n}" { (declaration "long lVar1;" (sized_type_specifier "long" long) identifier ;) (declaration "byte *pbVar2;" type_identifier (pointer_declarator "*pbVar2" * identifier) ;) (declaration "byte *pbVar3;" type_identifier (pointer_declarator "*pbVar3" * identifier) ;) (declaration "undefined1 in_CF;" type_identifier identifier ;) (declaration "bool bVar4;" primitive_type identifier ;) (declaration "bool bVar5;" primitive_type identifier ;) (declaration "undefined1 in_ZF;" type_identifier identifier ;) (declaration "bool bVar6;" primitive_type identifier ;) (declaration "bool bVar7;" primitive_type identifier ;) (expression_statement "lVar1 = 4;" (assignment_expression "lVar1 = 4" identifier = number_literal) ;) (expression_statement "bVar7 = true;" (assignment_expression "bVar7 = true" identifier = true) ;) (expression_statement "pbVar2 = param_1;" (assignment_expression "pbVar2 = param_1" identifier = identifier) ;) (expression_statement "pbVar3 = &DAT_00156404;" (assignment_expression "pbVar3 = &DAT_00156404" identifier = (pointer_expression "&DAT_00156404" & identifier)) ;) (do_statement "do {\n    if (lVar1 == 0) break;\n    lVar1 = lVar1 + -1;\n    in_CF = *pbVar2 < *pbVar3;\n    in_ZF = *pbVar2 == *pbVar3;\n    pbVar2 = pbVar2 + 1;\n    pbVar3 = pbVar3 + 1;\n  } while ((bool)in_ZF);" do (compound_statement "{\n    if (lVar1 == 0) break;\n    lVar1 = lVar1 + -1;\n    in_CF = *pbVar2 < *pbVar3;\n    in_ZF = *pbVar2 == *pbVar3;\n    pbVar2 = pbVar2 + 1;\n    pbVar3 = pbVar3 + 1;\n  }" { (if_statement "if (lVar1 == 0) break;" if (parenthesized_expression "(lVar1 == 0)" ( (binary_expression "lVar1 == 0" identifier == number_literal) )) (break_statement "break;" break ;)) (expression_statement "lVar1 = lVar1 + -1;" (assignment_expression "lVar1 = lVar1 + -1" identifier = (binary_expression "lVar1 + -1" identifier + number_literal)) ;) (expression_statement "in_CF = *pbVar2 < *pbVar3;" (assignment_expression "in_CF = *pbVar2 < *pbVar3" identifier = (binary_expression "*pbVar2 < *pbVar3" (pointer_expression "*pbVar2" * identifier) < (pointer_expression "*pbVar3" * identifier))) ;) (expression_statement "in_ZF = *pbVar2 == *pbVar3;" (assignment_expression "in_ZF = *pbVar2 == *pbVar3" identifier = (binary_expression "*pbVar2 == *pbVar3" (pointer_expression "*pbVar2" * identifier) == (pointer_expression "*pbVar3" * identifier))) ;) (expression_statement "pbVar2 = pbVar2 + 1;" (assignment_expression "pbVar2 = pbVar2 + 1" identifier = (binary_expression "pbVar2 + 1" identifier + number_literal)) ;) (expression_statement "pbVar3 = pbVar3 + 1;" (assignment_expression "pbVar3 = pbVar3 + 1" identifier = (binary_expression "pbVar3 + 1" identifier + number_literal)) ;) }) while (parenthesized_expression "((bool)in_ZF)" ( (cast_expression "(bool)in_ZF" ( (type_descriptor "bool" primitive_type) ) identifier) )) ;) (expression_statement "bVar4 = false;" (assignment_expression "bVar4 = false" identifier = false) ;) (expression_statement "bVar6 = (!(bool)in_CF && !(bool)in_ZF) == (bool)in_CF;" (assignment_expression "bVar6 = (!(bool)in_CF && !(bool)in_ZF) == (bool)in_CF" identifier = (binary_expression "(!(bool)in_CF && !(bool)in_ZF) == (bool)in_CF" (parenthesized_expression "(!(bool)in_CF && !(bool)in_ZF)" ( (binary_expression "!(bool)in_CF && !(bool)in_ZF" (unary_expression "!(bool)in_CF" ! (cast_expression "(bool)in_CF" ( (type_descriptor "bool" primitive_type) ) identifier)) && (unary_expression "!(bool)in_ZF" ! (cast_expression "(bool)in_ZF" ( (type_descriptor "bool" primitive_type) ) identifier))) )) == (cast_expression "(bool)in_CF" ( (type_descriptor "bool" primitive_type) ) identifier))) ;) (if_statement "if (!bVar6) {\n    lVar1 = 5;\n    pbVar2 = param_1;\n    pbVar3 = &DAT_00156408;\n    do {\n      if (lVar1 == 0) break;\n      lVar1 = lVar1 + -1;\n      bVar4 = *pbVar2 < *pbVar3;\n      bVar6 = *pbVar2 == *pbVar3;\n      pbVar2 = pbVar2 + 1;\n      pbVar3 = pbVar3 + 1;\n    } while (bVar6);\n    bVar5 = false;\n    bVar4 = (!bVar4 && !bVar6) == bVar4;\n    if (!bVar4) {\n      lVar1 = 5;\n      pbVar2 = param_1;\n      pbVar3 = &DAT_0015640d;\n      do {\n        if (lVar1 == 0) break;\n        lVar1 = lVar1 + -1;\n        bVar5 = *pbVar2 < *pbVar3;\n        bVar4 = *pbVar2 == *pbVar3;\n        pbVar2 = pbVar2 + 1;\n        pbVar3 = pbVar3 + 1;\n      } while (bVar4);\n      bVar6 = false;\n      bVar4 = (!bVar5 && !bVar4) == bVar5;\n      if (!bVar4) {\n        lVar1 = 2;\n        pbVar2 = (byte *)0x152fae;\n        do {\n          if (lVar1 == 0) break;\n          lVar1 = lVar1 + -1;\n          bVar6 = *param_1 < *pbVar2;\n          bVar4 = *param_1 == *pbVar2;\n          param_1 = param_1 + 1;\n          pbVar2 = pbVar2 + 1;\n        } while (bVar4);\n        bVar7 = (!bVar6 && !bVar4) == bVar6;\n      }\n    }\n  }" if (parenthesized_expression "(!bVar6)" ( (unary_expression "!bVar6" ! identifier) )) (compound_statement "{\n    lVar1 = 5;\n    pbVar2 = param_1;\n    pbVar3 = &DAT_00156408;\n    do {\n      if (lVar1 == 0) break;\n      lVar1 = lVar1 + -1;\n      bVar4 = *pbVar2 < *pbVar3;\n      bVar6 = *pbVar2 == *pbVar3;\n      pbVar2 = pbVar2 + 1;\n      pbVar3 = pbVar3 + 1;\n    } while (bVar6);\n    bVar5 = false;\n    bVar4 = (!bVar4 && !bVar6) == bVar4;\n    if (!bVar4) {\n      lVar1 = 5;\n      pbVar2 = param_1;\n      pbVar3 = &DAT_0015640d;\n      do {\n        if (lVar1 == 0) break;\n        lVar1 = lVar1 + -1;\n        bVar5 = *pbVar2 < *pbVar3;\n        bVar4 = *pbVar2 == *pbVar3;\n        pbVar2 = pbVar2 + 1;\n        pbVar3 = pbVar3 + 1;\n      } while (bVar4);\n      bVar6 = false;\n      bVar4 = (!bVar5 && !bVar4) == bVar5;\n      if (!bVar4) {\n        lVar1 = 2;\n        pbVar2 = (byte *)0x152fae;\n        do {\n          if (lVar1 == 0) break;\n          lVar1 = lVar1 + -1;\n          bVar6 = *param_1 < *pbVar2;\n          bVar4 = *param_1 == *pbVar2;\n          param_1 = param_1 + 1;\n          pbVar2 = pbVar2 + 1;\n        } while (bVar4);\n        bVar7 = (!bVar6 && !bVar4) == bVar6;\n      }\n    }\n  }" { (expression_statement "lVar1 = 5;" (assignment_expression "lVar1 = 5" identifier = number_literal) ;) (expression_statement "pbVar2 = param_1;" (assignment_expression "pbVar2 = param_1" identifier = identifier) ;) (expression_statement "pbVar3 = &DAT_00156408;" (assignment_expression "pbVar3 = &DAT_00156408" identifier = (pointer_expression "&DAT_00156408" & identifier)) ;) (do_statement "do {\n      if (lVar1 == 0) break;\n      lVar1 = lVar1 + -1;\n      bVar4 = *pbVar2 < *pbVar3;\n      bVar6 = *pbVar2 == *pbVar3;\n      pbVar2 = pbVar2 + 1;\n      pbVar3 = pbVar3 + 1;\n    } while (bVar6);" do (compound_statement "{\n      if (lVar1 == 0) break;\n      lVar1 = lVar1 + -1;\n      bVar4 = *pbVar2 < *pbVar3;\n      bVar6 = *pbVar2 == *pbVar3;\n      pbVar2 = pbVar2 + 1;\n      pbVar3 = pbVar3 + 1;\n    }" { (if_statement "if (lVar1 == 0) break;" if (parenthesized_expression "(lVar1 == 0)" ( (binary_expression "lVar1 == 0" identifier == number_literal) )) (break_statement "break;" break ;)) (expression_statement "lVar1 = lVar1 + -1;" (assignment_expression "lVar1 = lVar1 + -1" identifier = (binary_expression "lVar1 + -1" identifier + number_literal)) ;) (expression_statement "bVar4 = *pbVar2 < *pbVar3;" (assignment_expression "bVar4 = *pbVar2 < *pbVar3" identifier = (binary_expression "*pbVar2 < *pbVar3" (pointer_expression "*pbVar2" * identifier) < (pointer_expression "*pbVar3" * identifier))) ;) (expression_statement "bVar6 = *pbVar2 == *pbVar3;" (assignment_expression "bVar6 = *pbVar2 == *pbVar3" identifier = (binary_expression "*pbVar2 == *pbVar3" (pointer_expression "*pbVar2" * identifier) == (pointer_expression "*pbVar3" * identifier))) ;) (expression_statement "pbVar2 = pbVar2 + 1;" (assignment_expression "pbVar2 = pbVar2 + 1" identifier = (binary_expression "pbVar2 + 1" identifier + number_literal)) ;) (expression_statement "pbVar3 = pbVar3 + 1;" (assignment_expression "pbVar3 = pbVar3 + 1" identifier = (binary_expression "pbVar3 + 1" identifier + number_literal)) ;) }) while (parenthesized_expression "(bVar6)" ( identifier )) ;) (expression_statement "bVar5 = false;" (assignment_expression "bVar5 = false" identifier = false) ;) (expression_statement "bVar4 = (!bVar4 && !bVar6) == bVar4;" (assignment_expression "bVar4 = (!bVar4 && !bVar6) == bVar4" identifier = (binary_expression "(!bVar4 && !bVar6) == bVar4" (parenthesized_expression "(!bVar4 && !bVar6)" ( (binary_expression "!bVar4 && !bVar6" (unary_expression "!bVar4" ! identifier) && (unary_expression "!bVar6" ! identifier)) )) == identifier)) ;) (if_statement "if (!bVar4) {\n      lVar1 = 5;\n      pbVar2 = param_1;\n      pbVar3 = &DAT_0015640d;\n      do {\n        if (lVar1 == 0) break;\n        lVar1 = lVar1 + -1;\n        bVar5 = *pbVar2 < *pbVar3;\n        bVar4 = *pbVar2 == *pbVar3;\n        pbVar2 = pbVar2 + 1;\n        pbVar3 = pbVar3 + 1;\n      } while (bVar4);\n      bVar6 = false;\n      bVar4 = (!bVar5 && !bVar4) == bVar5;\n      if (!bVar4) {\n        lVar1 = 2;\n        pbVar2 = (byte *)0x152fae;\n        do {\n          if (lVar1 == 0) break;\n          lVar1 = lVar1 + -1;\n          bVar6 = *param_1 < *pbVar2;\n          bVar4 = *param_1 == *pbVar2;\n          param_1 = param_1 + 1;\n          pbVar2 = pbVar2 + 1;\n        } while (bVar4);\n        bVar7 = (!bVar6 && !bVar4) == bVar6;\n      }\n    }" if (parenthesized_expression "(!bVar4)" ( (unary_expression "!bVar4" ! identifier) )) (compound_statement "{\n      lVar1 = 5;\n      pbVar2 = param_1;\n      pbVar3 = &DAT_0015640d;\n      do {\n        if (lVar1 == 0) break;\n        lVar1 = lVar1 + -1;\n        bVar5 = *pbVar2 < *pbVar3;\n        bVar4 = *pbVar2 == *pbVar3;\n        pbVar2 = pbVar2 + 1;\n        pbVar3 = pbVar3 + 1;\n      } while (bVar4);\n      bVar6 = false;\n      bVar4 = (!bVar5 && !bVar4) == bVar5;\n      if (!bVar4) {\n        lVar1 = 2;\n        pbVar2 = (byte *)0x152fae;\n        do {\n          if (lVar1 == 0) break;\n          lVar1 = lVar1 + -1;\n          bVar6 = *param_1 < *pbVar2;\n          bVar4 = *param_1 == *pbVar2;\n          param_1 = param_1 + 1;\n          pbVar2 = pbVar2 + 1;\n        } while (bVar4);\n        bVar7 = (!bVar6 && !bVar4) == bVar6;\n      }\n    }" { (expression_statement "lVar1 = 5;" (assignment_expression "lVar1 = 5" identifier = number_literal) ;) (expression_statement "pbVar2 = param_1;" (assignment_expression "pbVar2 = param_1" identifier = identifier) ;) (expression_statement "pbVar3 = &DAT_0015640d;" (assignment_expression "pbVar3 = &DAT_0015640d" identifier = (pointer_expression "&DAT_0015640d" & identifier)) ;) (do_statement "do {\n        if (lVar1 == 0) break;\n        lVar1 = lVar1 + -1;\n        bVar5 = *pbVar2 < *pbVar3;\n        bVar4 = *pbVar2 == *pbVar3;\n        pbVar2 = pbVar2 + 1;\n        pbVar3 = pbVar3 + 1;\n      } while (bVar4);" do (compound_statement "{\n        if (lVar1 == 0) break;\n        lVar1 = lVar1 + -1;\n        bVar5 = *pbVar2 < *pbVar3;\n        bVar4 = *pbVar2 == *pbVar3;\n        pbVar2 = pbVar2 + 1;\n        pbVar3 = pbVar3 + 1;\n      }" { (if_statement "if (lVar1 == 0) break;" if (parenthesized_expression "(lVar1 == 0)" ( (binary_expression "lVar1 == 0" identifier == number_literal) )) (break_statement "break;" break ;)) (expression_statement "lVar1 = lVar1 + -1;" (assignment_expression "lVar1 = lVar1 + -1" identifier = (binary_expression "lVar1 + -1" identifier + number_literal)) ;) (expression_statement "bVar5 = *pbVar2 < *pbVar3;" (assignment_expression "bVar5 = *pbVar2 < *pbVar3" identifier = (binary_expression "*pbVar2 < *pbVar3" (pointer_expression "*pbVar2" * identifier) < (pointer_expression "*pbVar3" * identifier))) ;) (expression_statement "bVar4 = *pbVar2 == *pbVar3;" (assignment_expression "bVar4 = *pbVar2 == *pbVar3" identifier = (binary_expression "*pbVar2 == *pbVar3" (pointer_expression "*pbVar2" * identifier) == (pointer_expression "*pbVar3" * identifier))) ;) (expression_statement "pbVar2 = pbVar2 + 1;" (assignment_expression "pbVar2 = pbVar2 + 1" identifier = (binary_expression "pbVar2 + 1" identifier + number_literal)) ;) (expression_statement "pbVar3 = pbVar3 + 1;" (assignment_expression "pbVar3 = pbVar3 + 1" identifier = (binary_expression "pbVar3 + 1" identifier + number_literal)) ;) }) while (parenthesized_expression "(bVar4)" ( identifier )) ;) (expression_statement "bVar6 = false;" (assignment_expression "bVar6 = false" identifier = false) ;) (expression_statement "bVar4 = (!bVar5 && !bVar4) == bVar5;" (assignment_expression "bVar4 = (!bVar5 && !bVar4) == bVar5" identifier = (binary_expression "(!bVar5 && !bVar4) == bVar5" (parenthesized_expression "(!bVar5 && !bVar4)" ( (binary_expression "!bVar5 && !bVar4" (unary_expression "!bVar5" ! identifier) && (unary_expression "!bVar4" ! identifier)) )) == identifier)) ;) (if_statement "if (!bVar4) {\n        lVar1 = 2;\n        pbVar2 = (byte *)0x152fae;\n        do {\n          if (lVar1 == 0) break;\n          lVar1 = lVar1 + -1;\n          bVar6 = *param_1 < *pbVar2;\n          bVar4 = *param_1 == *pbVar2;\n          param_1 = param_1 + 1;\n          pbVar2 = pbVar2 + 1;\n        } while (bVar4);\n        bVar7 = (!bVar6 && !bVar4) == bVar6;\n      }" if (parenthesized_expression "(!bVar4)" ( (unary_expression "!bVar4" ! identifier) )) (compound_statement "{\n        lVar1 = 2;\n        pbVar2 = (byte *)0x152fae;\n        do {\n          if (lVar1 == 0) break;\n          lVar1 = lVar1 + -1;\n          bVar6 = *param_1 < *pbVar2;\n          bVar4 = *param_1 == *pbVar2;\n          param_1 = param_1 + 1;\n          pbVar2 = pbVar2 + 1;\n        } while (bVar4);\n        bVar7 = (!bVar6 && !bVar4) == bVar6;\n      }" { (expression_statement "lVar1 = 2;" (assignment_expression "lVar1 = 2" identifier = number_literal) ;) (expression_statement "pbVar2 = (byte *)0x152fae;" (assignment_expression "pbVar2 = (byte *)0x152fae" identifier = (cast_expression "(byte *)0x152fae" ( (type_descriptor "byte *" type_identifier (abstract_pointer_declarator "*" *)) ) number_literal)) ;) (do_statement "do {\n          if (lVar1 == 0) break;\n          lVar1 = lVar1 + -1;\n          bVar6 = *param_1 < *pbVar2;\n          bVar4 = *param_1 == *pbVar2;\n          param_1 = param_1 + 1;\n          pbVar2 = pbVar2 + 1;\n        } while (bVar4);" do (compound_statement "{\n          if (lVar1 == 0) break;\n          lVar1 = lVar1 + -1;\n          bVar6 = *param_1 < *pbVar2;\n          bVar4 = *param_1 == *pbVar2;\n          param_1 = param_1 + 1;\n          pbVar2 = pbVar2 + 1;\n        }" { (if_statement "if (lVar1 == 0) break;" if (parenthesized_expression "(lVar1 == 0)" ( (binary_expression "lVar1 == 0" identifier == number_literal) )) (break_statement "break;" break ;)) (expression_statement "lVar1 = lVar1 + -1;" (assignment_expression "lVar1 = lVar1 + -1" identifier = (binary_expression "lVar1 + -1" identifier + number_literal)) ;) (expression_statement "bVar6 = *param_1 < *pbVar2;" (assignment_expression "bVar6 = *param_1 < *pbVar2" identifier = (binary_expression "*param_1 < *pbVar2" (pointer_expression "*param_1" * identifier) < (pointer_expression "*pbVar2" * identifier))) ;) (expression_statement "bVar4 = *param_1 == *pbVar2;" (assignment_expression "bVar4 = *param_1 == *pbVar2" identifier = (binary_expression "*param_1 == *pbVar2" (pointer_expression "*param_1" * identifier) == (pointer_expression "*pbVar2" * identifier))) ;) (expression_statement "param_1 = param_1 + 1;" (assignment_expression "param_1 = param_1 + 1" identifier = (binary_expression "param_1 + 1" identifier + number_literal)) ;) (expression_statement "pbVar2 = pbVar2 + 1;" (assignment_expression "pbVar2 = pbVar2 + 1" identifier = (binary_expression "pbVar2 + 1" identifier + number_literal)) ;) }) while (parenthesized_expression "(bVar4)" ( identifier )) ;) (expression_statement "bVar7 = (!bVar6 && !bVar4) == bVar6;" (assignment_expression "bVar7 = (!bVar6 && !bVar4) == bVar6" identifier = (binary_expression "(!bVar6 && !bVar4) == bVar6" (parenthesized_expression "(!bVar6 && !bVar4)" ( (binary_expression "!bVar6 && !bVar4" (unary_expression "!bVar6" ! identifier) && (unary_expression "!bVar4" ! identifier)) )) == identifier)) ;) })) })) })) (return_statement "return bVar7;" return identifier ;) })))
(translation_unit "bfd_boolean validate_build_id_style(char *style)\n\n{\n  uint uVar1;\n  long lVar2;\n  byte *pbVar3;\n  byte *pbVar4;\n  undefined1 in_CF;\n  bool bVar5;\n  bool bVar6;\n  undefined1 in_ZF;\n  bool bVar7;\n  \n  lVar2 = 4;\n  uVar1 = 1;\n  pbVar3 = (byte *)style;\n  pbVar4 = &DAT_00156404;\n  do {\n    if (lVar2 == 0) break;\n    lVar2 = lVar2 + -1;\n    in_CF = *pbVar3 < *pbVar4;\n    in_ZF = *pbVar3 == *pbVar4;\n    pbVar3 = pbVar3 + 1;\n    pbVar4 = pbVar4 + 1;\n  } while ((bool)in_ZF);\n  bVar5 = false;\n  bVar7 = (!(bool)in_CF && !(bool)in_ZF) == (bool)in_CF;\n  if (!bVar7) {\n    lVar2 = 5;\n    pbVar3 = (byte *)style;\n    pbVar4 = &DAT_00156408;\n    do {\n      if (lVar2 == 0) break;\n      lVar2 = lVar2 + -1;\n      bVar5 = *pbVar3 < *pbVar4;\n      bVar7 = *pbVar3 == *pbVar4;\n      pbVar3 = pbVar3 + 1;\n      pbVar4 = pbVar4 + 1;\n    } while (bVar7);\n    bVar6 = false;\n    bVar5 = (!bVar5 && !bVar7) == bVar5;\n    if (!bVar5) {\n      lVar2 = 5;\n      pbVar3 = (byte *)style;\n      pbVar4 = &DAT_0015640d;\n      do {\n        if (lVar2 == 0) break;\n        lVar2 = lVar2 + -1;\n        bVar6 = *pbVar3 < *pbVar4;\n        bVar5 = *pbVar3 == *pbVar4;\n        pbVar3 = pbVar3 + 1;\n        pbVar4 = pbVar4 + 1;\n      } while (bVar5);\n      bVar7 = false;\n      bVar5 = (!bVar6 && !bVar5) == bVar6;\n      if (!bVar5) {\n        lVar2 = 2;\n        pbVar3 = (byte *)0x152fae;\n        do {\n          if (lVar2 == 0) break;\n          lVar2 = lVar2 + -1;\n          bVar7 = (byte)*style < *pbVar3;\n          bVar5 = *style == *pbVar3;\n          style = (char *)((byte *)style + 1);\n          pbVar3 = pbVar3 + 1;\n        } while (bVar5);\n        uVar1 = (uint)((!bVar7 && !bVar5) == bVar7);\n      }\n    }\n  }\n  return uVar1;\n}\n\n" (function_definition "bfd_boolean validate_build_id_style(char *style)\n\n{\n  uint uVar1;\n  long lVar2;\n  byte *pbVar3;\n  byte *pbVar4;\n  undefined1 in_CF;\n  bool bVar5;\n  bool bVar6;\n  undefined1 in_ZF;\n  bool bVar7;\n  \n  lVar2 = 4;\n  uVar1 = 1;\n  pbVar3 = (byte *)style;\n  pbVar4 = &DAT_00156404;\n  do {\n    if (lVar2 == 0) break;\n    lVar2 = lVar2 + -1;\n    in_CF = *pbVar3 < *pbVar4;\n    in_ZF = *pbVar3 == *pbVar4;\n    pbVar3 = pbVar3 + 1;\n    pbVar4 = pbVar4 + 1;\n  } while ((bool)in_ZF);\n  bVar5 = false;\n  bVar7 = (!(bool)in_CF && !(bool)in_ZF) == (bool)in_CF;\n  if (!bVar7) {\n    lVar2 = 5;\n    pbVar3 = (byte *)style;\n    pbVar4 = &DAT_00156408;\n    do {\n      if (lVar2 == 0) break;\n      lVar2 = lVar2 + -1;\n      bVar5 = *pbVar3 < *pbVar4;\n      bVar7 = *pbVar3 == *pbVar4;\n      pbVar3 = pbVar3 + 1;\n      pbVar4 = pbVar4 + 1;\n    } while (bVar7);\n    bVar6 = false;\n    bVar5 = (!bVar5 && !bVar7) == bVar5;\n    if (!bVar5) {\n      lVar2 = 5;\n      pbVar3 = (byte *)style;\n      pbVar4 = &DAT_0015640d;\n      do {\n        if (lVar2 == 0) break;\n        lVar2 = lVar2 + -1;\n        bVar6 = *pbVar3 < *pbVar4;\n        bVar5 = *pbVar3 == *pbVar4;\n        pbVar3 = pbVar3 + 1;\n        pbVar4 = pbVar4 + 1;\n      } while (bVar5);\n      bVar7 = false;\n      bVar5 = (!bVar6 && !bVar5) == bVar6;\n      if (!bVar5) {\n        lVar2 = 2;\n        pbVar3 = (byte *)0x152fae;\n        do {\n          if (lVar2 == 0) break;\n          lVar2 = lVar2 + -1;\n          bVar7 = (byte)*style < *pbVar3;\n          bVar5 = *style == *pbVar3;\n          style = (char *)((byte *)style + 1);\n          pbVar3 = pbVar3 + 1;\n        } while (bVar5);\n        uVar1 = (uint)((!bVar7 && !bVar5) == bVar7);\n      }\n    }\n  }\n  return uVar1;\n}" type_identifier (function_declarator "validate_build_id_style(char *style)" identifier (parameter_list "(char *style)" ( (parameter_declaration "char *style" primitive_type (pointer_declarator "*style" * identifier)) ))) (compound_statement "{\n  uint uVar1;\n  long lVar2;\n  byte *pbVar3;\n  byte *pbVar4;\n  undefined1 in_CF;\n  bool bVar5;\n  bool bVar6;\n  undefined1 in_ZF;\n  bool bVar7;\n  \n  lVar2 = 4;\n  uVar1 = 1;\n  pbVar3 = (byte *)style;\n  pbVar4 = &DAT_00156404;\n  do {\n    if (lVar2 == 0) break;\n    lVar2 = lVar2 + -1;\n    in_CF = *pbVar3 < *pbVar4;\n    in_ZF = *pbVar3 == *pbVar4;\n    pbVar3 = pbVar3 + 1;\n    pbVar4 = pbVar4 + 1;\n  } while ((bool)in_ZF);\n  bVar5 = false;\n  bVar7 = (!(bool)in_CF && !(bool)in_ZF) == (bool)in_CF;\n  if (!bVar7) {\n    lVar2 = 5;\n    pbVar3 = (byte *)style;\n    pbVar4 = &DAT_00156408;\n    do {\n      if (lVar2 == 0) break;\n      lVar2 = lVar2 + -1;\n      bVar5 = *pbVar3 < *pbVar4;\n      bVar7 = *pbVar3 == *pbVar4;\n      pbVar3 = pbVar3 + 1;\n      pbVar4 = pbVar4 + 1;\n    } while (bVar7);\n    bVar6 = false;\n    bVar5 = (!bVar5 && !bVar7) == bVar5;\n    if (!bVar5) {\n      lVar2 = 5;\n      pbVar3 = (byte *)style;\n      pbVar4 = &DAT_0015640d;\n      do {\n        if (lVar2 == 0) break;\n        lVar2 = lVar2 + -1;\n        bVar6 = *pbVar3 < *pbVar4;\n        bVar5 = *pbVar3 == *pbVar4;\n        pbVar3 = pbVar3 + 1;\n        pbVar4 = pbVar4 + 1;\n      } while (bVar5);\n      bVar7 = false;\n      bVar5 = (!bVar6 && !bVar5) == bVar6;\n      if (!bVar5) {\n        lVar2 = 2;\n        pbVar3 = (byte *)0x152fae;\n        do {\n          if (lVar2 == 0) break;\n          lVar2 = lVar2 + -1;\n          bVar7 = (byte)*style < *pbVar3;\n          bVar5 = *style == *pbVar3;\n          style = (char *)((byte *)style + 1);\n          pbVar3 = pbVar3 + 1;\n        } while (bVar5);\n        uVar1 = (uint)((!bVar7 && !bVar5) == bVar7);\n      }\n    }\n  }\n  return uVar1;\n}" { (declaration "uint uVar1;" type_identifier identifier ;) (declaration "long lVar2;" (sized_type_specifier "long" long) identifier ;) (declaration "byte *pbVar3;" type_identifier (pointer_declarator "*pbVar3" * identifier) ;) (declaration "byte *pbVar4;" type_identifier (pointer_declarator "*pbVar4" * identifier) ;) (declaration "undefined1 in_CF;" type_identifier identifier ;) (declaration "bool bVar5;" primitive_type identifier ;) (declaration "bool bVar6;" primitive_type identifier ;) (declaration "undefined1 in_ZF;" type_identifier identifier ;) (declaration "bool bVar7;" primitive_type identifier ;) (expression_statement "lVar2 = 4;" (assignment_expression "lVar2 = 4" identifier = number_literal) ;) (expression_statement "uVar1 = 1;" (assignment_expression "uVar1 = 1" identifier = number_literal) ;) (expression_statement "pbVar3 = (byte *)style;" (assignment_expression "pbVar3 = (byte *)style" identifier = (cast_expression "(byte *)style" ( (type_descriptor "byte *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) ;) (expression_statement "pbVar4 = &DAT_00156404;" (assignment_expression "pbVar4 = &DAT_00156404" identifier = (pointer_expression "&DAT_00156404" & identifier)) ;) (do_statement "do {\n    if (lVar2 == 0) break;\n    lVar2 = lVar2 + -1;\n    in_CF = *pbVar3 < *pbVar4;\n    in_ZF = *pbVar3 == *pbVar4;\n    pbVar3 = pbVar3 + 1;\n    pbVar4 = pbVar4 + 1;\n  } while ((bool)in_ZF);" do (compound_statement "{\n    if (lVar2 == 0) break;\n    lVar2 = lVar2 + -1;\n    in_CF = *pbVar3 < *pbVar4;\n    in_ZF = *pbVar3 == *pbVar4;\n    pbVar3 = pbVar3 + 1;\n    pbVar4 = pbVar4 + 1;\n  }" { (if_statement "if (lVar2 == 0) break;" if (parenthesized_expression "(lVar2 == 0)" ( (binary_expression "lVar2 == 0" identifier == number_literal) )) (break_statement "break;" break ;)) (expression_statement "lVar2 = lVar2 + -1;" (assignment_expression "lVar2 = lVar2 + -1" identifier = (binary_expression "lVar2 + -1" identifier + number_literal)) ;) (expression_statement "in_CF = *pbVar3 < *pbVar4;" (assignment_expression "in_CF = *pbVar3 < *pbVar4" identifier = (binary_expression "*pbVar3 < *pbVar4" (pointer_expression "*pbVar3" * identifier) < (pointer_expression "*pbVar4" * identifier))) ;) (expression_statement "in_ZF = *pbVar3 == *pbVar4;" (assignment_expression "in_ZF = *pbVar3 == *pbVar4" identifier = (binary_expression "*pbVar3 == *pbVar4" (pointer_expression "*pbVar3" * identifier) == (pointer_expression "*pbVar4" * identifier))) ;) (expression_statement "pbVar3 = pbVar3 + 1;" (assignment_expression "pbVar3 = pbVar3 + 1" identifier = (binary_expression "pbVar3 + 1" identifier + number_literal)) ;) (expression_statement "pbVar4 = pbVar4 + 1;" (assignment_expression "pbVar4 = pbVar4 + 1" identifier = (binary_expression "pbVar4 + 1" identifier + number_literal)) ;) }) while (parenthesized_expression "((bool)in_ZF)" ( (cast_expression "(bool)in_ZF" ( (type_descriptor "bool" primitive_type) ) identifier) )) ;) (expression_statement "bVar5 = false;" (assignment_expression "bVar5 = false" identifier = false) ;) (expression_statement "bVar7 = (!(bool)in_CF && !(bool)in_ZF) == (bool)in_CF;" (assignment_expression "bVar7 = (!(bool)in_CF && !(bool)in_ZF) == (bool)in_CF" identifier = (binary_expression "(!(bool)in_CF && !(bool)in_ZF) == (bool)in_CF" (parenthesized_expression "(!(bool)in_CF && !(bool)in_ZF)" ( (binary_expression "!(bool)in_CF && !(bool)in_ZF" (unary_expression "!(bool)in_CF" ! (cast_expression "(bool)in_CF" ( (type_descriptor "bool" primitive_type) ) identifier)) && (unary_expression "!(bool)in_ZF" ! (cast_expression "(bool)in_ZF" ( (type_descriptor "bool" primitive_type) ) identifier))) )) == (cast_expression "(bool)in_CF" ( (type_descriptor "bool" primitive_type) ) identifier))) ;) (if_statement "if (!bVar7) {\n    lVar2 = 5;\n    pbVar3 = (byte *)style;\n    pbVar4 = &DAT_00156408;\n    do {\n      if (lVar2 == 0) break;\n      lVar2 = lVar2 + -1;\n      bVar5 = *pbVar3 < *pbVar4;\n      bVar7 = *pbVar3 == *pbVar4;\n      pbVar3 = pbVar3 + 1;\n      pbVar4 = pbVar4 + 1;\n    } while (bVar7);\n    bVar6 = false;\n    bVar5 = (!bVar5 && !bVar7) == bVar5;\n    if (!bVar5) {\n      lVar2 = 5;\n      pbVar3 = (byte *)style;\n      pbVar4 = &DAT_0015640d;\n      do {\n        if (lVar2 == 0) break;\n        lVar2 = lVar2 + -1;\n        bVar6 = *pbVar3 < *pbVar4;\n        bVar5 = *pbVar3 == *pbVar4;\n        pbVar3 = pbVar3 + 1;\n        pbVar4 = pbVar4 + 1;\n      } while (bVar5);\n      bVar7 = false;\n      bVar5 = (!bVar6 && !bVar5) == bVar6;\n      if (!bVar5) {\n        lVar2 = 2;\n        pbVar3 = (byte *)0x152fae;\n        do {\n          if (lVar2 == 0) break;\n          lVar2 = lVar2 + -1;\n          bVar7 = (byte)*style < *pbVar3;\n          bVar5 = *style == *pbVar3;\n          style = (char *)((byte *)style + 1);\n          pbVar3 = pbVar3 + 1;\n        } while (bVar5);\n        uVar1 = (uint)((!bVar7 && !bVar5) == bVar7);\n      }\n    }\n  }" if (parenthesized_expression "(!bVar7)" ( (unary_expression "!bVar7" ! identifier) )) (compound_statement "{\n    lVar2 = 5;\n    pbVar3 = (byte *)style;\n    pbVar4 = &DAT_00156408;\n    do {\n      if (lVar2 == 0) break;\n      lVar2 = lVar2 + -1;\n      bVar5 = *pbVar3 < *pbVar4;\n      bVar7 = *pbVar3 == *pbVar4;\n      pbVar3 = pbVar3 + 1;\n      pbVar4 = pbVar4 + 1;\n    } while (bVar7);\n    bVar6 = false;\n    bVar5 = (!bVar5 && !bVar7) == bVar5;\n    if (!bVar5) {\n      lVar2 = 5;\n      pbVar3 = (byte *)style;\n      pbVar4 = &DAT_0015640d;\n      do {\n        if (lVar2 == 0) break;\n        lVar2 = lVar2 + -1;\n        bVar6 = *pbVar3 < *pbVar4;\n        bVar5 = *pbVar3 == *pbVar4;\n        pbVar3 = pbVar3 + 1;\n        pbVar4 = pbVar4 + 1;\n      } while (bVar5);\n      bVar7 = false;\n      bVar5 = (!bVar6 && !bVar5) == bVar6;\n      if (!bVar5) {\n        lVar2 = 2;\n        pbVar3 = (byte *)0x152fae;\n        do {\n          if (lVar2 == 0) break;\n          lVar2 = lVar2 + -1;\n          bVar7 = (byte)*style < *pbVar3;\n          bVar5 = *style == *pbVar3;\n          style = (char *)((byte *)style + 1);\n          pbVar3 = pbVar3 + 1;\n        } while (bVar5);\n        uVar1 = (uint)((!bVar7 && !bVar5) == bVar7);\n      }\n    }\n  }" { (expression_statement "lVar2 = 5;" (assignment_expression "lVar2 = 5" identifier = number_literal) ;) (expression_statement "pbVar3 = (byte *)style;" (assignment_expression "pbVar3 = (byte *)style" identifier = (cast_expression "(byte *)style" ( (type_descriptor "byte *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) ;) (expression_statement "pbVar4 = &DAT_00156408;" (assignment_expression "pbVar4 = &DAT_00156408" identifier = (pointer_expression "&DAT_00156408" & identifier)) ;) (do_statement "do {\n      if (lVar2 == 0) break;\n      lVar2 = lVar2 + -1;\n      bVar5 = *pbVar3 < *pbVar4;\n      bVar7 = *pbVar3 == *pbVar4;\n      pbVar3 = pbVar3 + 1;\n      pbVar4 = pbVar4 + 1;\n    } while (bVar7);" do (compound_statement "{\n      if (lVar2 == 0) break;\n      lVar2 = lVar2 + -1;\n      bVar5 = *pbVar3 < *pbVar4;\n      bVar7 = *pbVar3 == *pbVar4;\n      pbVar3 = pbVar3 + 1;\n      pbVar4 = pbVar4 + 1;\n    }" { (if_statement "if (lVar2 == 0) break;" if (parenthesized_expression "(lVar2 == 0)" ( (binary_expression "lVar2 == 0" identifier == number_literal) )) (break_statement "break;" break ;)) (expression_statement "lVar2 = lVar2 + -1;" (assignment_expression "lVar2 = lVar2 + -1" identifier = (binary_expression "lVar2 + -1" identifier + number_literal)) ;) (expression_statement "bVar5 = *pbVar3 < *pbVar4;" (assignment_expression "bVar5 = *pbVar3 < *pbVar4" identifier = (binary_expression "*pbVar3 < *pbVar4" (pointer_expression "*pbVar3" * identifier) < (pointer_expression "*pbVar4" * identifier))) ;) (expression_statement "bVar7 = *pbVar3 == *pbVar4;" (assignment_expression "bVar7 = *pbVar3 == *pbVar4" identifier = (binary_expression "*pbVar3 == *pbVar4" (pointer_expression "*pbVar3" * identifier) == (pointer_expression "*pbVar4" * identifier))) ;) (expression_statement "pbVar3 = pbVar3 + 1;" (assignment_expression "pbVar3 = pbVar3 + 1" identifier = (binary_expression "pbVar3 + 1" identifier + number_literal)) ;) (expression_statement "pbVar4 = pbVar4 + 1;" (assignment_expression "pbVar4 = pbVar4 + 1" identifier = (binary_expression "pbVar4 + 1" identifier + number_literal)) ;) }) while (parenthesized_expression "(bVar7)" ( identifier )) ;) (expression_statement "bVar6 = false;" (assignment_expression "bVar6 = false" identifier = false) ;) (expression_statement "bVar5 = (!bVar5 && !bVar7) == bVar5;" (assignment_expression "bVar5 = (!bVar5 && !bVar7) == bVar5" identifier = (binary_expression "(!bVar5 && !bVar7) == bVar5" (parenthesized_expression "(!bVar5 && !bVar7)" ( (binary_expression "!bVar5 && !bVar7" (unary_expression "!bVar5" ! identifier) && (unary_expression "!bVar7" ! identifier)) )) == identifier)) ;) (if_statement "if (!bVar5) {\n      lVar2 = 5;\n      pbVar3 = (byte *)style;\n      pbVar4 = &DAT_0015640d;\n      do {\n        if (lVar2 == 0) break;\n        lVar2 = lVar2 + -1;\n        bVar6 = *pbVar3 < *pbVar4;\n        bVar5 = *pbVar3 == *pbVar4;\n        pbVar3 = pbVar3 + 1;\n        pbVar4 = pbVar4 + 1;\n      } while (bVar5);\n      bVar7 = false;\n      bVar5 = (!bVar6 && !bVar5) == bVar6;\n      if (!bVar5) {\n        lVar2 = 2;\n        pbVar3 = (byte *)0x152fae;\n        do {\n          if (lVar2 == 0) break;\n          lVar2 = lVar2 + -1;\n          bVar7 = (byte)*style < *pbVar3;\n          bVar5 = *style == *pbVar3;\n          style = (char *)((byte *)style + 1);\n          pbVar3 = pbVar3 + 1;\n        } while (bVar5);\n        uVar1 = (uint)((!bVar7 && !bVar5) == bVar7);\n      }\n    }" if (parenthesized_expression "(!bVar5)" ( (unary_expression "!bVar5" ! identifier) )) (compound_statement "{\n      lVar2 = 5;\n      pbVar3 = (byte *)style;\n      pbVar4 = &DAT_0015640d;\n      do {\n        if (lVar2 == 0) break;\n        lVar2 = lVar2 + -1;\n        bVar6 = *pbVar3 < *pbVar4;\n        bVar5 = *pbVar3 == *pbVar4;\n        pbVar3 = pbVar3 + 1;\n        pbVar4 = pbVar4 + 1;\n      } while (bVar5);\n      bVar7 = false;\n      bVar5 = (!bVar6 && !bVar5) == bVar6;\n      if (!bVar5) {\n        lVar2 = 2;\n        pbVar3 = (byte *)0x152fae;\n        do {\n          if (lVar2 == 0) break;\n          lVar2 = lVar2 + -1;\n          bVar7 = (byte)*style < *pbVar3;\n          bVar5 = *style == *pbVar3;\n          style = (char *)((byte *)style + 1);\n          pbVar3 = pbVar3 + 1;\n        } while (bVar5);\n        uVar1 = (uint)((!bVar7 && !bVar5) == bVar7);\n      }\n    }" { (expression_statement "lVar2 = 5;" (assignment_expression "lVar2 = 5" identifier = number_literal) ;) (expression_statement "pbVar3 = (byte *)style;" (assignment_expression "pbVar3 = (byte *)style" identifier = (cast_expression "(byte *)style" ( (type_descriptor "byte *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) ;) (expression_statement "pbVar4 = &DAT_0015640d;" (assignment_expression "pbVar4 = &DAT_0015640d" identifier = (pointer_expression "&DAT_0015640d" & identifier)) ;) (do_statement "do {\n        if (lVar2 == 0) break;\n        lVar2 = lVar2 + -1;\n        bVar6 = *pbVar3 < *pbVar4;\n        bVar5 = *pbVar3 == *pbVar4;\n        pbVar3 = pbVar3 + 1;\n        pbVar4 = pbVar4 + 1;\n      } while (bVar5);" do (compound_statement "{\n        if (lVar2 == 0) break;\n        lVar2 = lVar2 + -1;\n        bVar6 = *pbVar3 < *pbVar4;\n        bVar5 = *pbVar3 == *pbVar4;\n        pbVar3 = pbVar3 + 1;\n        pbVar4 = pbVar4 + 1;\n      }" { (if_statement "if (lVar2 == 0) break;" if (parenthesized_expression "(lVar2 == 0)" ( (binary_expression "lVar2 == 0" identifier == number_literal) )) (break_statement "break;" break ;)) (expression_statement "lVar2 = lVar2 + -1;" (assignment_expression "lVar2 = lVar2 + -1" identifier = (binary_expression "lVar2 + -1" identifier + number_literal)) ;) (expression_statement "bVar6 = *pbVar3 < *pbVar4;" (assignment_expression "bVar6 = *pbVar3 < *pbVar4" identifier = (binary_expression "*pbVar3 < *pbVar4" (pointer_expression "*pbVar3" * identifier) < (pointer_expression "*pbVar4" * identifier))) ;) (expression_statement "bVar5 = *pbVar3 == *pbVar4;" (assignment_expression "bVar5 = *pbVar3 == *pbVar4" identifier = (binary_expression "*pbVar3 == *pbVar4" (pointer_expression "*pbVar3" * identifier) == (pointer_expression "*pbVar4" * identifier))) ;) (expression_statement "pbVar3 = pbVar3 + 1;" (assignment_expression "pbVar3 = pbVar3 + 1" identifier = (binary_expression "pbVar3 + 1" identifier + number_literal)) ;) (expression_statement "pbVar4 = pbVar4 + 1;" (assignment_expression "pbVar4 = pbVar4 + 1" identifier = (binary_expression "pbVar4 + 1" identifier + number_literal)) ;) }) while (parenthesized_expression "(bVar5)" ( identifier )) ;) (expression_statement "bVar7 = false;" (assignment_expression "bVar7 = false" identifier = false) ;) (expression_statement "bVar5 = (!bVar6 && !bVar5) == bVar6;" (assignment_expression "bVar5 = (!bVar6 && !bVar5) == bVar6" identifier = (binary_expression "(!bVar6 && !bVar5) == bVar6" (parenthesized_expression "(!bVar6 && !bVar5)" ( (binary_expression "!bVar6 && !bVar5" (unary_expression "!bVar6" ! identifier) && (unary_expression "!bVar5" ! identifier)) )) == identifier)) ;) (if_statement "if (!bVar5) {\n        lVar2 = 2;\n        pbVar3 = (byte *)0x152fae;\n        do {\n          if (lVar2 == 0) break;\n          lVar2 = lVar2 + -1;\n          bVar7 = (byte)*style < *pbVar3;\n          bVar5 = *style == *pbVar3;\n          style = (char *)((byte *)style + 1);\n          pbVar3 = pbVar3 + 1;\n        } while (bVar5);\n        uVar1 = (uint)((!bVar7 && !bVar5) == bVar7);\n      }" if (parenthesized_expression "(!bVar5)" ( (unary_expression "!bVar5" ! identifier) )) (compound_statement "{\n        lVar2 = 2;\n        pbVar3 = (byte *)0x152fae;\n        do {\n          if (lVar2 == 0) break;\n          lVar2 = lVar2 + -1;\n          bVar7 = (byte)*style < *pbVar3;\n          bVar5 = *style == *pbVar3;\n          style = (char *)((byte *)style + 1);\n          pbVar3 = pbVar3 + 1;\n        } while (bVar5);\n        uVar1 = (uint)((!bVar7 && !bVar5) == bVar7);\n      }" { (expression_statement "lVar2 = 2;" (assignment_expression "lVar2 = 2" identifier = number_literal) ;) (expression_statement "pbVar3 = (byte *)0x152fae;" (assignment_expression "pbVar3 = (byte *)0x152fae" identifier = (cast_expression "(byte *)0x152fae" ( (type_descriptor "byte *" type_identifier (abstract_pointer_declarator "*" *)) ) number_literal)) ;) (do_statement "do {\n          if (lVar2 == 0) break;\n          lVar2 = lVar2 + -1;\n          bVar7 = (byte)*style < *pbVar3;\n          bVar5 = *style == *pbVar3;\n          style = (char *)((byte *)style + 1);\n          pbVar3 = pbVar3 + 1;\n        } while (bVar5);" do (compound_statement "{\n          if (lVar2 == 0) break;\n          lVar2 = lVar2 + -1;\n          bVar7 = (byte)*style < *pbVar3;\n          bVar5 = *style == *pbVar3;\n          style = (char *)((byte *)style + 1);\n          pbVar3 = pbVar3 + 1;\n        }" { (if_statement "if (lVar2 == 0) break;" if (parenthesized_expression "(lVar2 == 0)" ( (binary_expression "lVar2 == 0" identifier == number_literal) )) (break_statement "break;" break ;)) (expression_statement "lVar2 = lVar2 + -1;" (assignment_expression "lVar2 = lVar2 + -1" identifier = (binary_expression "lVar2 + -1" identifier + number_literal)) ;) (expression_statement "bVar7 = (byte)*style < *pbVar3;" (assignment_expression "bVar7 = (byte)*style < *pbVar3" identifier = (binary_expression "(byte)*style < *pbVar3" (binary_expression "(byte)*style" (parenthesized_expression "(byte)" ( identifier )) * identifier) < (pointer_expression "*pbVar3" * identifier))) ;) (expression_statement "bVar5 = *style == *pbVar3;" (assignment_expression "bVar5 = *style == *pbVar3" identifier = (binary_expression "*style == *pbVar3" (pointer_expression "*style" * identifier) == (pointer_expression "*pbVar3" * identifier))) ;) (expression_statement "style = (char *)((byte *)style + 1);" (assignment_expression "style = (char *)((byte *)style + 1)" identifier = (cast_expression "(char *)((byte *)style + 1)" ( (type_descriptor "char *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "((byte *)style + 1)" ( (binary_expression "(byte *)style + 1" (cast_expression "(byte *)style" ( (type_descriptor "byte *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier) + number_literal) )))) ;) (expression_statement "pbVar3 = pbVar3 + 1;" (assignment_expression "pbVar3 = pbVar3 + 1" identifier = (binary_expression "pbVar3 + 1" identifier + number_literal)) ;) }) while (parenthesized_expression "(bVar5)" ( identifier )) ;) (expression_statement "uVar1 = (uint)((!bVar7 && !bVar5) == bVar7);" (assignment_expression "uVar1 = (uint)((!bVar7 && !bVar5) == bVar7)" identifier = (call_expression "(uint)((!bVar7 && !bVar5) == bVar7)" (parenthesized_expression "(uint)" ( identifier )) (argument_list "((!bVar7 && !bVar5) == bVar7)" ( (binary_expression "(!bVar7 && !bVar5) == bVar7" (parenthesized_expression "(!bVar7 && !bVar5)" ( (binary_expression "!bVar7 && !bVar5" (unary_expression "!bVar7" ! identifier) && (unary_expression "!bVar5" ! identifier)) )) == identifier) )))) ;) })) })) })) (return_statement "return uVar1;" return identifier ;) })))
(translation_unit "bool FUN_00129d00(byte *param_1)\n\n{\n  long lVar1;\n  byte *pbVar2;\n  byte *pbVar3;\n  undefined1 in_CF;\n  bool bVar4;\n  bool bVar5;\n  undefined1 in_ZF;\n  bool bVar6;\n  bool bVar7;\n  \n  lVar1 = 4;\n  bVar7 = true;\n  pbVar2 = param_1;\n  pbVar3 = &DAT_00156404;\n  do {\n    if (lVar1 == 0) break;\n    lVar1 = lVar1 + -1;\n    in_CF = *pbVar2 < *pbVar3;\n    in_ZF = *pbVar2 == *pbVar3;\n    pbVar2 = pbVar2 + 1;\n    pbVar3 = pbVar3 + 1;\n  } while ((bool)in_ZF);\n  bVar4 = false;\n  bVar6 = (!(bool)in_CF && !(bool)in_ZF) == (bool)in_CF;\n  if (!bVar6) {\n    lVar1 = 5;\n    pbVar2 = param_1;\n    pbVar3 = &DAT_00156408;\n    do {\n      if (lVar1 == 0) break;\n      lVar1 = lVar1 + -1;\n      bVar4 = *pbVar2 < *pbVar3;\n      bVar6 = *pbVar2 == *pbVar3;\n      pbVar2 = pbVar2 + 1;\n      pbVar3 = pbVar3 + 1;\n    } while (bVar6);\n    bVar5 = false;\n    bVar4 = (!bVar4 && !bVar6) == bVar4;\n    if (!bVar4) {\n      lVar1 = 5;\n      pbVar2 = param_1;\n      pbVar3 = &DAT_0015640d;\n      do {\n        if (lVar1 == 0) break;\n        lVar1 = lVar1 + -1;\n        bVar5 = *pbVar2 < *pbVar3;\n        bVar4 = *pbVar2 == *pbVar3;\n        pbVar2 = pbVar2 + 1;\n        pbVar3 = pbVar3 + 1;\n      } while (bVar4);\n      bVar6 = false;\n      bVar4 = (!bVar5 && !bVar4) == bVar5;\n      if (!bVar4) {\n        lVar1 = 2;\n        pbVar2 = (byte *)0x152fae;\n        do {\n          if (lVar1 == 0) break;\n          lVar1 = lVar1 + -1;\n          bVar6 = *param_1 < *pbVar2;\n          bVar4 = *param_1 == *pbVar2;\n          param_1 = param_1 + 1;\n          pbVar2 = pbVar2 + 1;\n        } while (bVar4);\n        bVar7 = (!bVar6 && !bVar4) == bVar6;\n      }\n    }\n  }\n  return bVar7;\n}\n\n" (function_definition "bool FUN_00129d00(byte *param_1)\n\n{\n  long lVar1;\n  byte *pbVar2;\n  byte *pbVar3;\n  undefined1 in_CF;\n  bool bVar4;\n  bool bVar5;\n  undefined1 in_ZF;\n  bool bVar6;\n  bool bVar7;\n  \n  lVar1 = 4;\n  bVar7 = true;\n  pbVar2 = param_1;\n  pbVar3 = &DAT_00156404;\n  do {\n    if (lVar1 == 0) break;\n    lVar1 = lVar1 + -1;\n    in_CF = *pbVar2 < *pbVar3;\n    in_ZF = *pbVar2 == *pbVar3;\n    pbVar2 = pbVar2 + 1;\n    pbVar3 = pbVar3 + 1;\n  } while ((bool)in_ZF);\n  bVar4 = false;\n  bVar6 = (!(bool)in_CF && !(bool)in_ZF) == (bool)in_CF;\n  if (!bVar6) {\n    lVar1 = 5;\n    pbVar2 = param_1;\n    pbVar3 = &DAT_00156408;\n    do {\n      if (lVar1 == 0) break;\n      lVar1 = lVar1 + -1;\n      bVar4 = *pbVar2 < *pbVar3;\n      bVar6 = *pbVar2 == *pbVar3;\n      pbVar2 = pbVar2 + 1;\n      pbVar3 = pbVar3 + 1;\n    } while (bVar6);\n    bVar5 = false;\n    bVar4 = (!bVar4 && !bVar6) == bVar4;\n    if (!bVar4) {\n      lVar1 = 5;\n      pbVar2 = param_1;\n      pbVar3 = &DAT_0015640d;\n      do {\n        if (lVar1 == 0) break;\n        lVar1 = lVar1 + -1;\n        bVar5 = *pbVar2 < *pbVar3;\n        bVar4 = *pbVar2 == *pbVar3;\n        pbVar2 = pbVar2 + 1;\n        pbVar3 = pbVar3 + 1;\n      } while (bVar4);\n      bVar6 = false;\n      bVar4 = (!bVar5 && !bVar4) == bVar5;\n      if (!bVar4) {\n        lVar1 = 2;\n        pbVar2 = (byte *)0x152fae;\n        do {\n          if (lVar1 == 0) break;\n          lVar1 = lVar1 + -1;\n          bVar6 = *param_1 < *pbVar2;\n          bVar4 = *param_1 == *pbVar2;\n          param_1 = param_1 + 1;\n          pbVar2 = pbVar2 + 1;\n        } while (bVar4);\n        bVar7 = (!bVar6 && !bVar4) == bVar6;\n      }\n    }\n  }\n  return bVar7;\n}" primitive_type (function_declarator "FUN_00129d00(byte *param_1)" identifier (parameter_list "(byte *param_1)" ( (parameter_declaration "byte *param_1" type_identifier (pointer_declarator "*param_1" * identifier)) ))) (compound_statement "{\n  long lVar1;\n  byte *pbVar2;\n  byte *pbVar3;\n  undefined1 in_CF;\n  bool bVar4;\n  bool bVar5;\n  undefined1 in_ZF;\n  bool bVar6;\n  bool bVar7;\n  \n  lVar1 = 4;\n  bVar7 = true;\n  pbVar2 = param_1;\n  pbVar3 = &DAT_00156404;\n  do {\n    if (lVar1 == 0) break;\n    lVar1 = lVar1 + -1;\n    in_CF = *pbVar2 < *pbVar3;\n    in_ZF = *pbVar2 == *pbVar3;\n    pbVar2 = pbVar2 + 1;\n    pbVar3 = pbVar3 + 1;\n  } while ((bool)in_ZF);\n  bVar4 = false;\n  bVar6 = (!(bool)in_CF && !(bool)in_ZF) == (bool)in_CF;\n  if (!bVar6) {\n    lVar1 = 5;\n    pbVar2 = param_1;\n    pbVar3 = &DAT_00156408;\n    do {\n      if (lVar1 == 0) break;\n      lVar1 = lVar1 + -1;\n      bVar4 = *pbVar2 < *pbVar3;\n      bVar6 = *pbVar2 == *pbVar3;\n      pbVar2 = pbVar2 + 1;\n      pbVar3 = pbVar3 + 1;\n    } while (bVar6);\n    bVar5 = false;\n    bVar4 = (!bVar4 && !bVar6) == bVar4;\n    if (!bVar4) {\n      lVar1 = 5;\n      pbVar2 = param_1;\n      pbVar3 = &DAT_0015640d;\n      do {\n        if (lVar1 == 0) break;\n        lVar1 = lVar1 + -1;\n        bVar5 = *pbVar2 < *pbVar3;\n        bVar4 = *pbVar2 == *pbVar3;\n        pbVar2 = pbVar2 + 1;\n        pbVar3 = pbVar3 + 1;\n      } while (bVar4);\n      bVar6 = false;\n      bVar4 = (!bVar5 && !bVar4) == bVar5;\n      if (!bVar4) {\n        lVar1 = 2;\n        pbVar2 = (byte *)0x152fae;\n        do {\n          if (lVar1 == 0) break;\n          lVar1 = lVar1 + -1;\n          bVar6 = *param_1 < *pbVar2;\n          bVar4 = *param_1 == *pbVar2;\n          param_1 = param_1 + 1;\n          pbVar2 = pbVar2 + 1;\n        } while (bVar4);\n        bVar7 = (!bVar6 && !bVar4) == bVar6;\n      }\n    }\n  }\n  return bVar7;\n}" { (declaration "long lVar1;" (sized_type_specifier "long" long) identifier ;) (declaration "byte *pbVar2;" type_identifier (pointer_declarator "*pbVar2" * identifier) ;) (declaration "byte *pbVar3;" type_identifier (pointer_declarator "*pbVar3" * identifier) ;) (declaration "undefined1 in_CF;" type_identifier identifier ;) (declaration "bool bVar4;" primitive_type identifier ;) (declaration "bool bVar5;" primitive_type identifier ;) (declaration "undefined1 in_ZF;" type_identifier identifier ;) (declaration "bool bVar6;" primitive_type identifier ;) (declaration "bool bVar7;" primitive_type identifier ;) (expression_statement "lVar1 = 4;" (assignment_expression "lVar1 = 4" identifier = number_literal) ;) (expression_statement "bVar7 = true;" (assignment_expression "bVar7 = true" identifier = true) ;) (expression_statement "pbVar2 = param_1;" (assignment_expression "pbVar2 = param_1" identifier = identifier) ;) (expression_statement "pbVar3 = &DAT_00156404;" (assignment_expression "pbVar3 = &DAT_00156404" identifier = (pointer_expression "&DAT_00156404" & identifier)) ;) (do_statement "do {\n    if (lVar1 == 0) break;\n    lVar1 = lVar1 + -1;\n    in_CF = *pbVar2 < *pbVar3;\n    in_ZF = *pbVar2 == *pbVar3;\n    pbVar2 = pbVar2 + 1;\n    pbVar3 = pbVar3 + 1;\n  } while ((bool)in_ZF);" do (compound_statement "{\n    if (lVar1 == 0) break;\n    lVar1 = lVar1 + -1;\n    in_CF = *pbVar2 < *pbVar3;\n    in_ZF = *pbVar2 == *pbVar3;\n    pbVar2 = pbVar2 + 1;\n    pbVar3 = pbVar3 + 1;\n  }" { (if_statement "if (lVar1 == 0) break;" if (parenthesized_expression "(lVar1 == 0)" ( (binary_expression "lVar1 == 0" identifier == number_literal) )) (break_statement "break;" break ;)) (expression_statement "lVar1 = lVar1 + -1;" (assignment_expression "lVar1 = lVar1 + -1" identifier = (binary_expression "lVar1 + -1" identifier + number_literal)) ;) (expression_statement "in_CF = *pbVar2 < *pbVar3;" (assignment_expression "in_CF = *pbVar2 < *pbVar3" identifier = (binary_expression "*pbVar2 < *pbVar3" (pointer_expression "*pbVar2" * identifier) < (pointer_expression "*pbVar3" * identifier))) ;) (expression_statement "in_ZF = *pbVar2 == *pbVar3;" (assignment_expression "in_ZF = *pbVar2 == *pbVar3" identifier = (binary_expression "*pbVar2 == *pbVar3" (pointer_expression "*pbVar2" * identifier) == (pointer_expression "*pbVar3" * identifier))) ;) (expression_statement "pbVar2 = pbVar2 + 1;" (assignment_expression "pbVar2 = pbVar2 + 1" identifier = (binary_expression "pbVar2 + 1" identifier + number_literal)) ;) (expression_statement "pbVar3 = pbVar3 + 1;" (assignment_expression "pbVar3 = pbVar3 + 1" identifier = (binary_expression "pbVar3 + 1" identifier + number_literal)) ;) }) while (parenthesized_expression "((bool)in_ZF)" ( (cast_expression "(bool)in_ZF" ( (type_descriptor "bool" primitive_type) ) identifier) )) ;) (expression_statement "bVar4 = false;" (assignment_expression "bVar4 = false" identifier = false) ;) (expression_statement "bVar6 = (!(bool)in_CF && !(bool)in_ZF) == (bool)in_CF;" (assignment_expression "bVar6 = (!(bool)in_CF && !(bool)in_ZF) == (bool)in_CF" identifier = (binary_expression "(!(bool)in_CF && !(bool)in_ZF) == (bool)in_CF" (parenthesized_expression "(!(bool)in_CF && !(bool)in_ZF)" ( (binary_expression "!(bool)in_CF && !(bool)in_ZF" (unary_expression "!(bool)in_CF" ! (cast_expression "(bool)in_CF" ( (type_descriptor "bool" primitive_type) ) identifier)) && (unary_expression "!(bool)in_ZF" ! (cast_expression "(bool)in_ZF" ( (type_descriptor "bool" primitive_type) ) identifier))) )) == (cast_expression "(bool)in_CF" ( (type_descriptor "bool" primitive_type) ) identifier))) ;) (if_statement "if (!bVar6) {\n    lVar1 = 5;\n    pbVar2 = param_1;\n    pbVar3 = &DAT_00156408;\n    do {\n      if (lVar1 == 0) break;\n      lVar1 = lVar1 + -1;\n      bVar4 = *pbVar2 < *pbVar3;\n      bVar6 = *pbVar2 == *pbVar3;\n      pbVar2 = pbVar2 + 1;\n      pbVar3 = pbVar3 + 1;\n    } while (bVar6);\n    bVar5 = false;\n    bVar4 = (!bVar4 && !bVar6) == bVar4;\n    if (!bVar4) {\n      lVar1 = 5;\n      pbVar2 = param_1;\n      pbVar3 = &DAT_0015640d;\n      do {\n        if (lVar1 == 0) break;\n        lVar1 = lVar1 + -1;\n        bVar5 = *pbVar2 < *pbVar3;\n        bVar4 = *pbVar2 == *pbVar3;\n        pbVar2 = pbVar2 + 1;\n        pbVar3 = pbVar3 + 1;\n      } while (bVar4);\n      bVar6 = false;\n      bVar4 = (!bVar5 && !bVar4) == bVar5;\n      if (!bVar4) {\n        lVar1 = 2;\n        pbVar2 = (byte *)0x152fae;\n        do {\n          if (lVar1 == 0) break;\n          lVar1 = lVar1 + -1;\n          bVar6 = *param_1 < *pbVar2;\n          bVar4 = *param_1 == *pbVar2;\n          param_1 = param_1 + 1;\n          pbVar2 = pbVar2 + 1;\n        } while (bVar4);\n        bVar7 = (!bVar6 && !bVar4) == bVar6;\n      }\n    }\n  }" if (parenthesized_expression "(!bVar6)" ( (unary_expression "!bVar6" ! identifier) )) (compound_statement "{\n    lVar1 = 5;\n    pbVar2 = param_1;\n    pbVar3 = &DAT_00156408;\n    do {\n      if (lVar1 == 0) break;\n      lVar1 = lVar1 + -1;\n      bVar4 = *pbVar2 < *pbVar3;\n      bVar6 = *pbVar2 == *pbVar3;\n      pbVar2 = pbVar2 + 1;\n      pbVar3 = pbVar3 + 1;\n    } while (bVar6);\n    bVar5 = false;\n    bVar4 = (!bVar4 && !bVar6) == bVar4;\n    if (!bVar4) {\n      lVar1 = 5;\n      pbVar2 = param_1;\n      pbVar3 = &DAT_0015640d;\n      do {\n        if (lVar1 == 0) break;\n        lVar1 = lVar1 + -1;\n        bVar5 = *pbVar2 < *pbVar3;\n        bVar4 = *pbVar2 == *pbVar3;\n        pbVar2 = pbVar2 + 1;\n        pbVar3 = pbVar3 + 1;\n      } while (bVar4);\n      bVar6 = false;\n      bVar4 = (!bVar5 && !bVar4) == bVar5;\n      if (!bVar4) {\n        lVar1 = 2;\n        pbVar2 = (byte *)0x152fae;\n        do {\n          if (lVar1 == 0) break;\n          lVar1 = lVar1 + -1;\n          bVar6 = *param_1 < *pbVar2;\n          bVar4 = *param_1 == *pbVar2;\n          param_1 = param_1 + 1;\n          pbVar2 = pbVar2 + 1;\n        } while (bVar4);\n        bVar7 = (!bVar6 && !bVar4) == bVar6;\n      }\n    }\n  }" { (expression_statement "lVar1 = 5;" (assignment_expression "lVar1 = 5" identifier = number_literal) ;) (expression_statement "pbVar2 = param_1;" (assignment_expression "pbVar2 = param_1" identifier = identifier) ;) (expression_statement "pbVar3 = &DAT_00156408;" (assignment_expression "pbVar3 = &DAT_00156408" identifier = (pointer_expression "&DAT_00156408" & identifier)) ;) (do_statement "do {\n      if (lVar1 == 0) break;\n      lVar1 = lVar1 + -1;\n      bVar4 = *pbVar2 < *pbVar3;\n      bVar6 = *pbVar2 == *pbVar3;\n      pbVar2 = pbVar2 + 1;\n      pbVar3 = pbVar3 + 1;\n    } while (bVar6);" do (compound_statement "{\n      if (lVar1 == 0) break;\n      lVar1 = lVar1 + -1;\n      bVar4 = *pbVar2 < *pbVar3;\n      bVar6 = *pbVar2 == *pbVar3;\n      pbVar2 = pbVar2 + 1;\n      pbVar3 = pbVar3 + 1;\n    }" { (if_statement "if (lVar1 == 0) break;" if (parenthesized_expression "(lVar1 == 0)" ( (binary_expression "lVar1 == 0" identifier == number_literal) )) (break_statement "break;" break ;)) (expression_statement "lVar1 = lVar1 + -1;" (assignment_expression "lVar1 = lVar1 + -1" identifier = (binary_expression "lVar1 + -1" identifier + number_literal)) ;) (expression_statement "bVar4 = *pbVar2 < *pbVar3;" (assignment_expression "bVar4 = *pbVar2 < *pbVar3" identifier = (binary_expression "*pbVar2 < *pbVar3" (pointer_expression "*pbVar2" * identifier) < (pointer_expression "*pbVar3" * identifier))) ;) (expression_statement "bVar6 = *pbVar2 == *pbVar3;" (assignment_expression "bVar6 = *pbVar2 == *pbVar3" identifier = (binary_expression "*pbVar2 == *pbVar3" (pointer_expression "*pbVar2" * identifier) == (pointer_expression "*pbVar3" * identifier))) ;) (expression_statement "pbVar2 = pbVar2 + 1;" (assignment_expression "pbVar2 = pbVar2 + 1" identifier = (binary_expression "pbVar2 + 1" identifier + number_literal)) ;) (expression_statement "pbVar3 = pbVar3 + 1;" (assignment_expression "pbVar3 = pbVar3 + 1" identifier = (binary_expression "pbVar3 + 1" identifier + number_literal)) ;) }) while (parenthesized_expression "(bVar6)" ( identifier )) ;) (expression_statement "bVar5 = false;" (assignment_expression "bVar5 = false" identifier = false) ;) (expression_statement "bVar4 = (!bVar4 && !bVar6) == bVar4;" (assignment_expression "bVar4 = (!bVar4 && !bVar6) == bVar4" identifier = (binary_expression "(!bVar4 && !bVar6) == bVar4" (parenthesized_expression "(!bVar4 && !bVar6)" ( (binary_expression "!bVar4 && !bVar6" (unary_expression "!bVar4" ! identifier) && (unary_expression "!bVar6" ! identifier)) )) == identifier)) ;) (if_statement "if (!bVar4) {\n      lVar1 = 5;\n      pbVar2 = param_1;\n      pbVar3 = &DAT_0015640d;\n      do {\n        if (lVar1 == 0) break;\n        lVar1 = lVar1 + -1;\n        bVar5 = *pbVar2 < *pbVar3;\n        bVar4 = *pbVar2 == *pbVar3;\n        pbVar2 = pbVar2 + 1;\n        pbVar3 = pbVar3 + 1;\n      } while (bVar4);\n      bVar6 = false;\n      bVar4 = (!bVar5 && !bVar4) == bVar5;\n      if (!bVar4) {\n        lVar1 = 2;\n        pbVar2 = (byte *)0x152fae;\n        do {\n          if (lVar1 == 0) break;\n          lVar1 = lVar1 + -1;\n          bVar6 = *param_1 < *pbVar2;\n          bVar4 = *param_1 == *pbVar2;\n          param_1 = param_1 + 1;\n          pbVar2 = pbVar2 + 1;\n        } while (bVar4);\n        bVar7 = (!bVar6 && !bVar4) == bVar6;\n      }\n    }" if (parenthesized_expression "(!bVar4)" ( (unary_expression "!bVar4" ! identifier) )) (compound_statement "{\n      lVar1 = 5;\n      pbVar2 = param_1;\n      pbVar3 = &DAT_0015640d;\n      do {\n        if (lVar1 == 0) break;\n        lVar1 = lVar1 + -1;\n        bVar5 = *pbVar2 < *pbVar3;\n        bVar4 = *pbVar2 == *pbVar3;\n        pbVar2 = pbVar2 + 1;\n        pbVar3 = pbVar3 + 1;\n      } while (bVar4);\n      bVar6 = false;\n      bVar4 = (!bVar5 && !bVar4) == bVar5;\n      if (!bVar4) {\n        lVar1 = 2;\n        pbVar2 = (byte *)0x152fae;\n        do {\n          if (lVar1 == 0) break;\n          lVar1 = lVar1 + -1;\n          bVar6 = *param_1 < *pbVar2;\n          bVar4 = *param_1 == *pbVar2;\n          param_1 = param_1 + 1;\n          pbVar2 = pbVar2 + 1;\n        } while (bVar4);\n        bVar7 = (!bVar6 && !bVar4) == bVar6;\n      }\n    }" { (expression_statement "lVar1 = 5;" (assignment_expression "lVar1 = 5" identifier = number_literal) ;) (expression_statement "pbVar2 = param_1;" (assignment_expression "pbVar2 = param_1" identifier = identifier) ;) (expression_statement "pbVar3 = &DAT_0015640d;" (assignment_expression "pbVar3 = &DAT_0015640d" identifier = (pointer_expression "&DAT_0015640d" & identifier)) ;) (do_statement "do {\n        if (lVar1 == 0) break;\n        lVar1 = lVar1 + -1;\n        bVar5 = *pbVar2 < *pbVar3;\n        bVar4 = *pbVar2 == *pbVar3;\n        pbVar2 = pbVar2 + 1;\n        pbVar3 = pbVar3 + 1;\n      } while (bVar4);" do (compound_statement "{\n        if (lVar1 == 0) break;\n        lVar1 = lVar1 + -1;\n        bVar5 = *pbVar2 < *pbVar3;\n        bVar4 = *pbVar2 == *pbVar3;\n        pbVar2 = pbVar2 + 1;\n        pbVar3 = pbVar3 + 1;\n      }" { (if_statement "if (lVar1 == 0) break;" if (parenthesized_expression "(lVar1 == 0)" ( (binary_expression "lVar1 == 0" identifier == number_literal) )) (break_statement "break;" break ;)) (expression_statement "lVar1 = lVar1 + -1;" (assignment_expression "lVar1 = lVar1 + -1" identifier = (binary_expression "lVar1 + -1" identifier + number_literal)) ;) (expression_statement "bVar5 = *pbVar2 < *pbVar3;" (assignment_expression "bVar5 = *pbVar2 < *pbVar3" identifier = (binary_expression "*pbVar2 < *pbVar3" (pointer_expression "*pbVar2" * identifier) < (pointer_expression "*pbVar3" * identifier))) ;) (expression_statement "bVar4 = *pbVar2 == *pbVar3;" (assignment_expression "bVar4 = *pbVar2 == *pbVar3" identifier = (binary_expression "*pbVar2 == *pbVar3" (pointer_expression "*pbVar2" * identifier) == (pointer_expression "*pbVar3" * identifier))) ;) (expression_statement "pbVar2 = pbVar2 + 1;" (assignment_expression "pbVar2 = pbVar2 + 1" identifier = (binary_expression "pbVar2 + 1" identifier + number_literal)) ;) (expression_statement "pbVar3 = pbVar3 + 1;" (assignment_expression "pbVar3 = pbVar3 + 1" identifier = (binary_expression "pbVar3 + 1" identifier + number_literal)) ;) }) while (parenthesized_expression "(bVar4)" ( identifier )) ;) (expression_statement "bVar6 = false;" (assignment_expression "bVar6 = false" identifier = false) ;) (expression_statement "bVar4 = (!bVar5 && !bVar4) == bVar5;" (assignment_expression "bVar4 = (!bVar5 && !bVar4) == bVar5" identifier = (binary_expression "(!bVar5 && !bVar4) == bVar5" (parenthesized_expression "(!bVar5 && !bVar4)" ( (binary_expression "!bVar5 && !bVar4" (unary_expression "!bVar5" ! identifier) && (unary_expression "!bVar4" ! identifier)) )) == identifier)) ;) (if_statement "if (!bVar4) {\n        lVar1 = 2;\n        pbVar2 = (byte *)0x152fae;\n        do {\n          if (lVar1 == 0) break;\n          lVar1 = lVar1 + -1;\n          bVar6 = *param_1 < *pbVar2;\n          bVar4 = *param_1 == *pbVar2;\n          param_1 = param_1 + 1;\n          pbVar2 = pbVar2 + 1;\n        } while (bVar4);\n        bVar7 = (!bVar6 && !bVar4) == bVar6;\n      }" if (parenthesized_expression "(!bVar4)" ( (unary_expression "!bVar4" ! identifier) )) (compound_statement "{\n        lVar1 = 2;\n        pbVar2 = (byte *)0x152fae;\n        do {\n          if (lVar1 == 0) break;\n          lVar1 = lVar1 + -1;\n          bVar6 = *param_1 < *pbVar2;\n          bVar4 = *param_1 == *pbVar2;\n          param_1 = param_1 + 1;\n          pbVar2 = pbVar2 + 1;\n        } while (bVar4);\n        bVar7 = (!bVar6 && !bVar4) == bVar6;\n      }" { (expression_statement "lVar1 = 2;" (assignment_expression "lVar1 = 2" identifier = number_literal) ;) (expression_statement "pbVar2 = (byte *)0x152fae;" (assignment_expression "pbVar2 = (byte *)0x152fae" identifier = (cast_expression "(byte *)0x152fae" ( (type_descriptor "byte *" type_identifier (abstract_pointer_declarator "*" *)) ) number_literal)) ;) (do_statement "do {\n          if (lVar1 == 0) break;\n          lVar1 = lVar1 + -1;\n          bVar6 = *param_1 < *pbVar2;\n          bVar4 = *param_1 == *pbVar2;\n          param_1 = param_1 + 1;\n          pbVar2 = pbVar2 + 1;\n        } while (bVar4);" do (compound_statement "{\n          if (lVar1 == 0) break;\n          lVar1 = lVar1 + -1;\n          bVar6 = *param_1 < *pbVar2;\n          bVar4 = *param_1 == *pbVar2;\n          param_1 = param_1 + 1;\n          pbVar2 = pbVar2 + 1;\n        }" { (if_statement "if (lVar1 == 0) break;" if (parenthesized_expression "(lVar1 == 0)" ( (binary_expression "lVar1 == 0" identifier == number_literal) )) (break_statement "break;" break ;)) (expression_statement "lVar1 = lVar1 + -1;" (assignment_expression "lVar1 = lVar1 + -1" identifier = (binary_expression "lVar1 + -1" identifier + number_literal)) ;) (expression_statement "bVar6 = *param_1 < *pbVar2;" (assignment_expression "bVar6 = *param_1 < *pbVar2" identifier = (binary_expression "*param_1 < *pbVar2" (pointer_expression "*param_1" * identifier) < (pointer_expression "*pbVar2" * identifier))) ;) (expression_statement "bVar4 = *param_1 == *pbVar2;" (assignment_expression "bVar4 = *param_1 == *pbVar2" identifier = (binary_expression "*param_1 == *pbVar2" (pointer_expression "*param_1" * identifier) == (pointer_expression "*pbVar2" * identifier))) ;) (expression_statement "param_1 = param_1 + 1;" (assignment_expression "param_1 = param_1 + 1" identifier = (binary_expression "param_1 + 1" identifier + number_literal)) ;) (expression_statement "pbVar2 = pbVar2 + 1;" (assignment_expression "pbVar2 = pbVar2 + 1" identifier = (binary_expression "pbVar2 + 1" identifier + number_literal)) ;) }) while (parenthesized_expression "(bVar4)" ( identifier )) ;) (expression_statement "bVar7 = (!bVar6 && !bVar4) == bVar6;" (assignment_expression "bVar7 = (!bVar6 && !bVar4) == bVar6" identifier = (binary_expression "(!bVar6 && !bVar4) == bVar6" (parenthesized_expression "(!bVar6 && !bVar4)" ( (binary_expression "!bVar6 && !bVar4" (unary_expression "!bVar6" ! identifier) && (unary_expression "!bVar4" ! identifier)) )) == identifier)) ;) })) })) })) (return_statement "return bVar7;" return identifier ;) })))
(translation_unit (function_definition TYPE (function_declarator IDENT (parameter_list ( (parameter_declaration TYPE (pointer_declarator * IDENT)) ))) (compound_statement { (declaration (sized_type_specifier long) IDENT ;) (declaration TYPE (pointer_declarator * IDENT) ;) (declaration TYPE (pointer_declarator * IDENT) ;) (declaration TYPE IDENT ;) (declaration TYPE IDENT ;) (declaration TYPE IDENT ;) (declaration TYPE IDENT ;) (declaration TYPE IDENT ;) (declaration TYPE IDENT ;) (expression_statement (assignment_expression IDENT = LIT) ;) (expression_statement (assignment_expression IDENT = BOOL) ;) (expression_statement (assignment_expression IDENT = IDENT) ;) (expression_statement (assignment_expression IDENT = (pointer_expression & IDENT)) ;) (do_statement do (compound_statement { (if_statement if (parenthesized_expression ( (binary_expression IDENT == LIT) )) (break_statement break ;)) (expression_statement (assignment_expression IDENT = (binary_expression IDENT + LIT)) ;) (expression_statement (assignment_expression IDENT = (binary_expression (pointer_expression * IDENT) < (pointer_expression * IDENT))) ;) (expression_statement (assignment_expression IDENT = (binary_expression (pointer_expression * IDENT) == (pointer_expression * IDENT))) ;) (expression_statement (assignment_expression IDENT = (binary_expression IDENT + LIT)) ;) (expression_statement (assignment_expression IDENT = (binary_expression IDENT + LIT)) ;) }) while (parenthesized_expression ( (cast_expression ( (type_descriptor TYPE) ) IDENT) )) ;) (expression_statement (assignment_expression IDENT = BOOL) ;) (expression_statement (assignment_expression IDENT = (binary_expression (parenthesized_expression ( (binary_expression (unary_expression ! (cast_expression ( (type_descriptor TYPE) ) IDENT)) && (unary_expression ! (cast_expression ( (type_descriptor TYPE) ) IDENT))) )) == (cast_expression ( (type_descriptor TYPE) ) IDENT))) ;) (if_statement if (parenthesized_expression ( (unary_expression ! IDENT) )) (compound_statement { (expression_statement (assignment_expression IDENT = LIT) ;) (expression_statement (assignment_expression IDENT = IDENT) ;) (expression_statement (assignment_expression IDENT = (pointer_expression & IDENT)) ;) (do_statement do (compound_statement { (if_statement if (parenthesized_expression ( (binary_expression IDENT == LIT) )) (break_statement break ;)) (expression_statement (assignment_expression IDENT = (binary_expression IDENT + LIT)) ;) (expression_statement (assignment_expression IDENT = (binary_expression (pointer_expression * IDENT) < (pointer_expression * IDENT))) ;) (expression_statement (assignment_expression IDENT = (binary_expression (pointer_expression * IDENT) == (pointer_expression * IDENT))) ;) (expression_statement (assignment_expression IDENT = (binary_expression IDENT + LIT)) ;) (expression_statement (assignment_expression IDENT = (binary_expression IDENT + LIT)) ;) }) while (parenthesized_expression ( IDENT )) ;) (expression_statement (assignment_expression IDENT = BOOL) ;) (expression_statement (assignment_expression IDENT = (binary_expression (parenthesized_expression ( (binary_expression (unary_expression ! IDENT) && (unary_expression ! IDENT)) )) == IDENT)) ;) (if_statement if (parenthesized_expression ( (unary_expression ! IDENT) )) (compound_statement { (expression_statement (assignment_expression IDENT = LIT) ;) (expression_statement (assignment_expression IDENT = IDENT) ;) (expression_statement (assignment_expression IDENT = (pointer_expression & IDENT)) ;) (do_statement do (compound_statement { (if_statement if (parenthesized_expression ( (binary_expression IDENT == LIT) )) (break_statement break ;)) (expression_statement (assignment_expression IDENT = (binary_expression IDENT + LIT)) ;) (expression_statement (assignment_expression IDENT = (binary_expression (pointer_expression * IDENT) < (pointer_expression * IDENT))) ;) (expression_statement (assignment_expression IDENT = (binary_expression (pointer_expression * IDENT) == (pointer_expression * IDENT))) ;) (expression_statement (assignment_expression IDENT = (binary_expression IDENT + LIT)) ;) (expression_statement (assignment_expression IDENT = (binary_expression IDENT + LIT)) ;) }) while (parenthesized_expression ( IDENT )) ;) (expression_statement (assignment_expression IDENT = BOOL) ;) (expression_statement (assignment_expression IDENT = (binary_expression (parenthesized_expression ( (binary_expression (unary_expression ! IDENT) && (unary_expression ! IDENT)) )) == IDENT)) ;) (if_statement if (parenthesized_expression ( (unary_expression ! IDENT) )) (compound_statement { (expression_statement (assignment_expression IDENT = LIT) ;) (expression_statement (assignment_expression IDENT = (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) LIT)) ;) (do_statement do (compound_statement { (if_statement if (parenthesized_expression ( (binary_expression IDENT == LIT) )) (break_statement break ;)) (expression_statement (assignment_expression IDENT = (binary_expression IDENT + LIT)) ;) (expression_statement (assignment_expression IDENT = (binary_expression (pointer_expression * IDENT) < (pointer_expression * IDENT))) ;) (expression_statement (assignment_expression IDENT = (binary_expression (pointer_expression * IDENT) == (pointer_expression * IDENT))) ;) (expression_statement (assignment_expression IDENT = (binary_expression IDENT + LIT)) ;) (expression_statement (assignment_expression IDENT = (binary_expression IDENT + LIT)) ;) }) while (parenthesized_expression ( IDENT )) ;) (expression_statement (assignment_expression IDENT = (binary_expression (parenthesized_expression ( (binary_expression (unary_expression ! IDENT) && (unary_expression ! IDENT)) )) == IDENT)) ;) })) })) })) (return_statement return IDENT ;) })))
(function_definition "bool FUN_00129d00(byte *param_1)\n\n{\n  long lVar1;\n  byte *pbVar2;\n  byte *pbVar3;\n  undefined1 in_CF;\n  bool bVar4;\n  bool bVar5;\n  undefined1 in_ZF;\n  bool bVar6;\n  bool bVar7;\n  \n  lVar1 = 4;\n  bVar7 = true;\n  pbVar2 = param_1;\n  pbVar3 = &DAT_00156404;\n  do {\n    if (lVar1 == 0) break;\n    lVar1 = lVar1 + -1;\n    in_CF = *pbVar2 < *pbVar3;\n    in_ZF = *pbVar2 == *pbVar3;\n    pbVar2 = pbVar2 + 1;\n    pbVar3 = pbVar3 + 1;\n  } while ((bool)in_ZF);\n  bVar4 = false;\n  bVar6 = (!(bool)in_CF && !(bool)in_ZF) == (bool)in_CF;\n  if (!bVar6) {\n    lVar1 = 5;\n    pbVar2 = param_1;\n    pbVar3 = &DAT_00156408;\n    do {\n      if (lVar1 == 0) break;\n      lVar1 = lVar1 + -1;\n      bVar4 = *pbVar2 < *pbVar3;\n      bVar6 = *pbVar2 == *pbVar3;\n      pbVar2 = pbVar2 + 1;\n      pbVar3 = pbVar3 + 1;\n    } while (bVar6);\n    bVar5 = false;\n    bVar4 = (!bVar4 && !bVar6) == bVar4;\n    if (!bVar4) {\n      lVar1 = 5;\n      pbVar2 = param_1;\n      pbVar3 = &DAT_0015640d;\n      do {\n        if (lVar1 == 0) break;\n        lVar1 = lVar1 + -1;\n        bVar5 = *pbVar2 < *pbVar3;\n        bVar4 = *pbVar2 == *pbVar3;\n        pbVar2 = pbVar2 + 1;\n        pbVar3 = pbVar3 + 1;\n      } while (bVar4);\n      bVar6 = false;\n      bVar4 = (!bVar5 && !bVar4) == bVar5;\n      if (!bVar4) {\n        lVar1 = 2;\n        pbVar2 = (byte *)0x152fae;\n        do {\n          if (lVar1 == 0) break;\n          lVar1 = lVar1 + -1;\n          bVar6 = *param_1 < *pbVar2;\n          bVar4 = *param_1 == *pbVar2;\n          param_1 = param_1 + 1;\n          pbVar2 = pbVar2 + 1;\n        } while (bVar4);\n        bVar7 = (!bVar6 && !bVar4) == bVar6;\n      }\n    }\n  }\n  return bVar7;\n}" (primitive_type "bool") (function_declarator "FUN_00129d00(byte *param_1)" (identifier "FUN_00129d00") (parameter_list "(byte *param_1)" (( "(") (parameter_declaration "byte *param_1" (type_identifier "byte") (pointer_declarator "*param_1" (* "*") (identifier "param_1"))) () ")"))) (compound_statement "{\n  long lVar1;\n  byte *pbVar2;\n  byte *pbVar3;\n  undefined1 in_CF;\n  bool bVar4;\n  bool bVar5;\n  undefined1 in_ZF;\n  bool bVar6;\n  bool bVar7;\n  \n  lVar1 = 4;\n  bVar7 = true;\n  pbVar2 = param_1;\n  pbVar3 = &DAT_00156404;\n  do {\n    if (lVar1 == 0) break;\n    lVar1 = lVar1 + -1;\n    in_CF = *pbVar2 < *pbVar3;\n    in_ZF = *pbVar2 == *pbVar3;\n    pbVar2 = pbVar2 + 1;\n    pbVar3 = pbVar3 + 1;\n  } while ((bool)in_ZF);\n  bVar4 = false;\n  bVar6 = (!(bool)in_CF && !(bool)in_ZF) == (bool)in_CF;\n  if (!bVar6) {\n    lVar1 = 5;\n    pbVar2 = param_1;\n    pbVar3 = &DAT_00156408;\n    do {\n      if (lVar1 == 0) break;\n      lVar1 = lVar1 + -1;\n      bVar4 = *pbVar2 < *pbVar3;\n      bVar6 = *pbVar2 == *pbVar3;\n      pbVar2 = pbVar2 + 1;\n      pbVar3 = pbVar3 + 1;\n    } while (bVar6);\n    bVar5 = false;\n    bVar4 = (!bVar4 && !bVar6) == bVar4;\n    if (!bVar4) {\n      lVar1 = 5;\n      pbVar2 = param_1;\n      pbVar3 = &DAT_0015640d;\n      do {\n        if (lVar1 == 0) break;\n        lVar1 = lVar1 + -1;\n        bVar5 = *pbVar2 < *pbVar3;\n        bVar4 = *pbVar2 == *pbVar3;\n        pbVar2 = pbVar2 + 1;\n        pbVar3 = pbVar3 + 1;\n      } while (bVar4);\n      bVar6 = false;\n      bVar4 = (!bVar5 && !bVar4) == bVar5;\n      if (!bVar4) {\n        lVar1 = 2;\n        pbVar2 = (byte *)0x152fae;\n        do {\n          if (lVar1 == 0) break;\n          lVar1 = lVar1 + -1;\n          bVar6 = *param_1 < *pbVar2;\n          bVar4 = *param_1 == *pbVar2;\n          param_1 = param_1 + 1;\n          pbVar2 = pbVar2 + 1;\n        } while (bVar4);\n        bVar7 = (!bVar6 && !bVar4) == bVar6;\n      }\n    }\n  }\n  return bVar7;\n}" ({ "{") (declaration "long lVar1;" (sized_type_specifier "long" (long "long")) (identifier "lVar1") (; ";")) (declaration "byte *pbVar2;" (type_identifier "byte") (pointer_declarator "*pbVar2" (* "*") (identifier "pbVar2")) (; ";")) (declaration "byte *pbVar3;" (type_identifier "byte") (pointer_declarator "*pbVar3" (* "*") (identifier "pbVar3")) (; ";")) (declaration "undefined1 in_CF;" (type_identifier "undefined1") (identifier "in_CF") (; ";")) (declaration "bool bVar4;" (primitive_type "bool") (identifier "bVar4") (; ";")) (declaration "bool bVar5;" (primitive_type "bool") (identifier "bVar5") (; ";")) (declaration "undefined1 in_ZF;" (type_identifier "undefined1") (identifier "in_ZF") (; ";")) (declaration "bool bVar6;" (primitive_type "bool") (identifier "bVar6") (; ";")) (declaration "bool bVar7;" (primitive_type "bool") (identifier "bVar7") (; ";")) (expression_statement "lVar1 = 4;" (assignment_expression "lVar1 = 4" (identifier "lVar1") (= "=") (number_literal "4")) (; ";")) (expression_statement "bVar7 = true;" (assignment_expression "bVar7 = true" (identifier "bVar7") (= "=") (true "true")) (; ";")) (expression_statement "pbVar2 = param_1;" (assignment_expression "pbVar2 = param_1" (identifier "pbVar2") (= "=") (identifier "param_1")) (; ";")) (expression_statement "pbVar3 = &DAT_00156404;" (assignment_expression "pbVar3 = &DAT_00156404" (identifier "pbVar3") (= "=") (pointer_expression "&DAT_00156404" (& "&") (identifier "DAT_00156404"))) (; ";")) (do_statement "do {\n    if (lVar1 == 0) break;\n    lVar1 = lVar1 + -1;\n    in_CF = *pbVar2 < *pbVar3;\n    in_ZF = *pbVar2 == *pbVar3;\n    pbVar2 = pbVar2 + 1;\n    pbVar3 = pbVar3 + 1;\n  } while ((bool)in_ZF);" (do "do") (compound_statement "{\n    if (lVar1 == 0) break;\n    lVar1 = lVar1 + -1;\n    in_CF = *pbVar2 < *pbVar3;\n    in_ZF = *pbVar2 == *pbVar3;\n    pbVar2 = pbVar2 + 1;\n    pbVar3 = pbVar3 + 1;\n  }" ({ "{") (if_statement "if (lVar1 == 0) break;" (if "if") (parenthesized_expression "(lVar1 == 0)" (( "(") (binary_expression "lVar1 == 0" (identifier "lVar1") (== "==") (number_literal "0")) () ")")) (break_statement "break;" (break "break") (; ";"))) (expression_statement "lVar1 = lVar1 + -1;" (assignment_expression "lVar1 = lVar1 + -1" (identifier "lVar1") (= "=") (binary_expression "lVar1 + -1" (identifier "lVar1") (+ "+") (number_literal "-1"))) (; ";")) (expression_statement "in_CF = *pbVar2 < *pbVar3;" (assignment_expression "in_CF = *pbVar2 < *pbVar3" (identifier "in_CF") (= "=") (binary_expression "*pbVar2 < *pbVar3" (pointer_expression "*pbVar2" (* "*") (identifier "pbVar2")) (< "<") (pointer_expression "*pbVar3" (* "*") (identifier "pbVar3")))) (; ";")) (expression_statement "in_ZF = *pbVar2 == *pbVar3;" (assignment_expression "in_ZF = *pbVar2 == *pbVar3" (identifier "in_ZF") (= "=") (binary_expression "*pbVar2 == *pbVar3" (pointer_expression "*pbVar2" (* "*") (identifier "pbVar2")) (== "==") (pointer_expression "*pbVar3" (* "*") (identifier "pbVar3")))) (; ";")) (expression_statement "pbVar2 = pbVar2 + 1;" (assignment_expression "pbVar2 = pbVar2 + 1" (identifier "pbVar2") (= "=") (binary_expression "pbVar2 + 1" (identifier "pbVar2") (+ "+") (number_literal "1"))) (; ";")) (expression_statement "pbVar3 = pbVar3 + 1;" (assignment_expression "pbVar3 = pbVar3 + 1" (identifier "pbVar3") (= "=") (binary_expression "pbVar3 + 1" (identifier "pbVar3") (+ "+") (number_literal "1"))) (; ";")) (} "}")) (while "while") (parenthesized_expression "((bool)in_ZF)" (( "(") (cast_expression "(bool)in_ZF" (( "(") (type_descriptor "bool" (primitive_type "bool")) () ")") (identifier "in_ZF")) () ")")) (; ";")) (expression_statement "bVar4 = false;" (assignment_expression "bVar4 = false" (identifier "bVar4") (= "=") (false "false")) (; ";")) (expression_statement "bVar6 = (!(bool)in_CF && !(bool)in_ZF) == (bool)in_CF;" (assignment_expression "bVar6 = (!(bool)in_CF && !(bool)in_ZF) == (bool)in_CF" (identifier "bVar6") (= "=") (binary_expression "(!(bool)in_CF && !(bool)in_ZF) == (bool)in_CF" (parenthesized_expression "(!(bool)in_CF && !(bool)in_ZF)" (( "(") (binary_expression "!(bool)in_CF && !(bool)in_ZF" (unary_expression "!(bool)in_CF" (! "!") (cast_expression "(bool)in_CF" (( "(") (type_descriptor "bool" (primitive_type "bool")) () ")") (identifier "in_CF"))) (&& "&&") (unary_expression "!(bool)in_ZF" (! "!") (cast_expression "(bool)in_ZF" (( "(") (type_descriptor "bool" (primitive_type "bool")) () ")") (identifier "in_ZF")))) () ")")) (== "==") (cast_expression "(bool)in_CF" (( "(") (type_descriptor "bool" (primitive_type "bool")) () ")") (identifier "in_CF")))) (; ";")) (if_statement "if (!bVar6) {\n    lVar1 = 5;\n    pbVar2 = param_1;\n    pbVar3 = &DAT_00156408;\n    do {\n      if (lVar1 == 0) break;\n      lVar1 = lVar1 + -1;\n      bVar4 = *pbVar2 < *pbVar3;\n      bVar6 = *pbVar2 == *pbVar3;\n      pbVar2 = pbVar2 + 1;\n      pbVar3 = pbVar3 + 1;\n    } while (bVar6);\n    bVar5 = false;\n    bVar4 = (!bVar4 && !bVar6) == bVar4;\n    if (!bVar4) {\n      lVar1 = 5;\n      pbVar2 = param_1;\n      pbVar3 = &DAT_0015640d;\n      do {\n        if (lVar1 == 0) break;\n        lVar1 = lVar1 + -1;\n        bVar5 = *pbVar2 < *pbVar3;\n        bVar4 = *pbVar2 == *pbVar3;\n        pbVar2 = pbVar2 + 1;\n        pbVar3 = pbVar3 + 1;\n      } while (bVar4);\n      bVar6 = false;\n      bVar4 = (!bVar5 && !bVar4) == bVar5;\n      if (!bVar4) {\n        lVar1 = 2;\n        pbVar2 = (byte *)0x152fae;\n        do {\n          if (lVar1 == 0) break;\n          lVar1 = lVar1 + -1;\n          bVar6 = *param_1 < *pbVar2;\n          bVar4 = *param_1 == *pbVar2;\n          param_1 = param_1 + 1;\n          pbVar2 = pbVar2 + 1;\n        } while (bVar4);\n        bVar7 = (!bVar6 && !bVar4) == bVar6;\n      }\n    }\n  }" (if "if") (parenthesized_expression "(!bVar6)" (( "(") (unary_expression "!bVar6" (! "!") (identifier "bVar6")) () ")")) (compound_statement "{\n    lVar1 = 5;\n    pbVar2 = param_1;\n    pbVar3 = &DAT_00156408;\n    do {\n      if (lVar1 == 0) break;\n      lVar1 = lVar1 + -1;\n      bVar4 = *pbVar2 < *pbVar3;\n      bVar6 = *pbVar2 == *pbVar3;\n      pbVar2 = pbVar2 + 1;\n      pbVar3 = pbVar3 + 1;\n    } while (bVar6);\n    bVar5 = false;\n    bVar4 = (!bVar4 && !bVar6) == bVar4;\n    if (!bVar4) {\n      lVar1 = 5;\n      pbVar2 = param_1;\n      pbVar3 = &DAT_0015640d;\n      do {\n        if (lVar1 == 0) break;\n        lVar1 = lVar1 + -1;\n        bVar5 = *pbVar2 < *pbVar3;\n        bVar4 = *pbVar2 == *pbVar3;\n        pbVar2 = pbVar2 + 1;\n        pbVar3 = pbVar3 + 1;\n      } while (bVar4);\n      bVar6 = false;\n      bVar4 = (!bVar5 && !bVar4) == bVar5;\n      if (!bVar4) {\n        lVar1 = 2;\n        pbVar2 = (byte *)0x152fae;\n        do {\n          if (lVar1 == 0) break;\n          lVar1 = lVar1 + -1;\n          bVar6 = *param_1 < *pbVar2;\n          bVar4 = *param_1 == *pbVar2;\n          param_1 = param_1 + 1;\n          pbVar2 = pbVar2 + 1;\n        } while (bVar4);\n        bVar7 = (!bVar6 && !bVar4) == bVar6;\n      }\n    }\n  }" ({ "{") (expression_statement "lVar1 = 5;" (assignment_expression "lVar1 = 5" (identifier "lVar1") (= "=") (number_literal "5")) (; ";")) (expression_statement "pbVar2 = param_1;" (assignment_expression "pbVar2 = param_1" (identifier "pbVar2") (= "=") (identifier "param_1")) (; ";")) (expression_statement "pbVar3 = &DAT_00156408;" (assignment_expression "pbVar3 = &DAT_00156408" (identifier "pbVar3") (= "=") (pointer_expression "&DAT_00156408" (& "&") (identifier "DAT_00156408"))) (; ";")) (do_statement "do {\n      if (lVar1 == 0) break;\n      lVar1 = lVar1 + -1;\n      bVar4 = *pbVar2 < *pbVar3;\n      bVar6 = *pbVar2 == *pbVar3;\n      pbVar2 = pbVar2 + 1;\n      pbVar3 = pbVar3 + 1;\n    } while (bVar6);" (do "do") (compound_statement "{\n      if (lVar1 == 0) break;\n      lVar1 = lVar1 + -1;\n      bVar4 = *pbVar2 < *pbVar3;\n      bVar6 = *pbVar2 == *pbVar3;\n      pbVar2 = pbVar2 + 1;\n      pbVar3 = pbVar3 + 1;\n    }" ({ "{") (if_statement "if (lVar1 == 0) break;" (if "if") (parenthesized_expression "(lVar1 == 0)" (( "(") (binary_expression "lVar1 == 0" (identifier "lVar1") (== "==") (number_literal "0")) () ")")) (break_statement "break;" (break "break") (; ";"))) (expression_statement "lVar1 = lVar1 + -1;" (assignment_expression "lVar1 = lVar1 + -1" (identifier "lVar1") (= "=") (binary_expression "lVar1 + -1" (identifier "lVar1") (+ "+") (number_literal "-1"))) (; ";")) (expression_statement "bVar4 = *pbVar2 < *pbVar3;" (assignment_expression "bVar4 = *pbVar2 < *pbVar3" (identifier "bVar4") (= "=") (binary_expression "*pbVar2 < *pbVar3" (pointer_expression "*pbVar2" (* "*") (identifier "pbVar2")) (< "<") (pointer_expression "*pbVar3" (* "*") (identifier "pbVar3")))) (; ";")) (expression_statement "bVar6 = *pbVar2 == *pbVar3;" (assignment_expression "bVar6 = *pbVar2 == *pbVar3" (identifier "bVar6") (= "=") (binary_expression "*pbVar2 == *pbVar3" (pointer_expression "*pbVar2" (* "*") (identifier "pbVar2")) (== "==") (pointer_expression "*pbVar3" (* "*") (identifier "pbVar3")))) (; ";")) (expression_statement "pbVar2 = pbVar2 + 1;" (assignment_expression "pbVar2 = pbVar2 + 1" (identifier "pbVar2") (= "=") (binary_expression "pbVar2 + 1" (identifier "pbVar2") (+ "+") (number_literal "1"))) (; ";")) (expression_statement "pbVar3 = pbVar3 + 1;" (assignment_expression "pbVar3 = pbVar3 + 1" (identifier "pbVar3") (= "=") (binary_expression "pbVar3 + 1" (identifier "pbVar3") (+ "+") (number_literal "1"))) (; ";")) (} "}")) (while "while") (parenthesized_expression "(bVar6)" (( "(") (identifier "bVar6") () ")")) (; ";")) (expression_statement "bVar5 = false;" (assignment_expression "bVar5 = false" (identifier "bVar5") (= "=") (false "false")) (; ";")) (expression_statement "bVar4 = (!bVar4 && !bVar6) == bVar4;" (assignment_expression "bVar4 = (!bVar4 && !bVar6) == bVar4" (identifier "bVar4") (= "=") (binary_expression "(!bVar4 && !bVar6) == bVar4" (parenthesized_expression "(!bVar4 && !bVar6)" (( "(") (binary_expression "!bVar4 && !bVar6" (unary_expression "!bVar4" (! "!") (identifier "bVar4")) (&& "&&") (unary_expression "!bVar6" (! "!") (identifier "bVar6"))) () ")")) (== "==") (identifier "bVar4"))) (; ";")) (if_statement "if (!bVar4) {\n      lVar1 = 5;\n      pbVar2 = param_1;\n      pbVar3 = &DAT_0015640d;\n      do {\n        if (lVar1 == 0) break;\n        lVar1 = lVar1 + -1;\n        bVar5 = *pbVar2 < *pbVar3;\n        bVar4 = *pbVar2 == *pbVar3;\n        pbVar2 = pbVar2 + 1;\n        pbVar3 = pbVar3 + 1;\n      } while (bVar4);\n      bVar6 = false;\n      bVar4 = (!bVar5 && !bVar4) == bVar5;\n      if (!bVar4) {\n        lVar1 = 2;\n        pbVar2 = (byte *)0x152fae;\n        do {\n          if (lVar1 == 0) break;\n          lVar1 = lVar1 + -1;\n          bVar6 = *param_1 < *pbVar2;\n          bVar4 = *param_1 == *pbVar2;\n          param_1 = param_1 + 1;\n          pbVar2 = pbVar2 + 1;\n        } while (bVar4);\n        bVar7 = (!bVar6 && !bVar4) == bVar6;\n      }\n    }" (if "if") (parenthesized_expression "(!bVar4)" (( "(") (unary_expression "!bVar4" (! "!") (identifier "bVar4")) () ")")) (compound_statement "{\n      lVar1 = 5;\n      pbVar2 = param_1;\n      pbVar3 = &DAT_0015640d;\n      do {\n        if (lVar1 == 0) break;\n        lVar1 = lVar1 + -1;\n        bVar5 = *pbVar2 < *pbVar3;\n        bVar4 = *pbVar2 == *pbVar3;\n        pbVar2 = pbVar2 + 1;\n        pbVar3 = pbVar3 + 1;\n      } while (bVar4);\n      bVar6 = false;\n      bVar4 = (!bVar5 && !bVar4) == bVar5;\n      if (!bVar4) {\n        lVar1 = 2;\n        pbVar2 = (byte *)0x152fae;\n        do {\n          if (lVar1 == 0) break;\n          lVar1 = lVar1 + -1;\n          bVar6 = *param_1 < *pbVar2;\n          bVar4 = *param_1 == *pbVar2;\n          param_1 = param_1 + 1;\n          pbVar2 = pbVar2 + 1;\n        } while (bVar4);\n        bVar7 = (!bVar6 && !bVar4) == bVar6;\n      }\n    }" ({ "{") (expression_statement "lVar1 = 5;" (assignment_expression "lVar1 = 5" (identifier "lVar1") (= "=") (number_literal "5")) (; ";")) (expression_statement "pbVar2 = param_1;" (assignment_expression "pbVar2 = param_1" (identifier "pbVar2") (= "=") (identifier "param_1")) (; ";")) (expression_statement "pbVar3 = &DAT_0015640d;" (assignment_expression "pbVar3 = &DAT_0015640d" (identifier "pbVar3") (= "=") (pointer_expression "&DAT_0015640d" (& "&") (identifier "DAT_0015640d"))) (; ";")) (do_statement "do {\n        if (lVar1 == 0) break;\n        lVar1 = lVar1 + -1;\n        bVar5 = *pbVar2 < *pbVar3;\n        bVar4 = *pbVar2 == *pbVar3;\n        pbVar2 = pbVar2 + 1;\n        pbVar3 = pbVar3 + 1;\n      } while (bVar4);" (do "do") (compound_statement "{\n        if (lVar1 == 0) break;\n        lVar1 = lVar1 + -1;\n        bVar5 = *pbVar2 < *pbVar3;\n        bVar4 = *pbVar2 == *pbVar3;\n        pbVar2 = pbVar2 + 1;\n        pbVar3 = pbVar3 + 1;\n      }" ({ "{") (if_statement "if (lVar1 == 0) break;" (if "if") (parenthesized_expression "(lVar1 == 0)" (( "(") (binary_expression "lVar1 == 0" (identifier "lVar1") (== "==") (number_literal "0")) () ")")) (break_statement "break;" (break "break") (; ";"))) (expression_statement "lVar1 = lVar1 + -1;" (assignment_expression "lVar1 = lVar1 + -1" (identifier "lVar1") (= "=") (binary_expression "lVar1 + -1" (identifier "lVar1") (+ "+") (number_literal "-1"))) (; ";")) (expression_statement "bVar5 = *pbVar2 < *pbVar3;" (assignment_expression "bVar5 = *pbVar2 < *pbVar3" (identifier "bVar5") (= "=") (binary_expression "*pbVar2 < *pbVar3" (pointer_expression "*pbVar2" (* "*") (identifier "pbVar2")) (< "<") (pointer_expression "*pbVar3" (* "*") (identifier "pbVar3")))) (; ";")) (expression_statement "bVar4 = *pbVar2 == *pbVar3;" (assignment_expression "bVar4 = *pbVar2 == *pbVar3" (identifier "bVar4") (= "=") (binary_expression "*pbVar2 == *pbVar3" (pointer_expression "*pbVar2" (* "*") (identifier "pbVar2")) (== "==") (pointer_expression "*pbVar3" (* "*") (identifier "pbVar3")))) (; ";")) (expression_statement "pbVar2 = pbVar2 + 1;" (assignment_expression "pbVar2 = pbVar2 + 1" (identifier "pbVar2") (= "=") (binary_expression "pbVar2 + 1" (identifier "pbVar2") (+ "+") (number_literal "1"))) (; ";")) (expression_statement "pbVar3 = pbVar3 + 1;" (assignment_expression "pbVar3 = pbVar3 + 1" (identifier "pbVar3") (= "=") (binary_expression "pbVar3 + 1" (identifier "pbVar3") (+ "+") (number_literal "1"))) (; ";")) (} "}")) (while "while") (parenthesized_expression "(bVar4)" (( "(") (identifier "bVar4") () ")")) (; ";")) (expression_statement "bVar6 = false;" (assignment_expression "bVar6 = false" (identifier "bVar6") (= "=") (false "false")) (; ";")) (expression_statement "bVar4 = (!bVar5 && !bVar4) == bVar5;" (assignment_expression "bVar4 = (!bVar5 && !bVar4) == bVar5" (identifier "bVar4") (= "=") (binary_expression "(!bVar5 && !bVar4) == bVar5" (parenthesized_expression "(!bVar5 && !bVar4)" (( "(") (binary_expression "!bVar5 && !bVar4" (unary_expression "!bVar5" (! "!") (identifier "bVar5")) (&& "&&") (unary_expression "!bVar4" (! "!") (identifier "bVar4"))) () ")")) (== "==") (identifier "bVar5"))) (; ";")) (if_statement "if (!bVar4) {\n        lVar1 = 2;\n        pbVar2 = (byte *)0x152fae;\n        do {\n          if (lVar1 == 0) break;\n          lVar1 = lVar1 + -1;\n          bVar6 = *param_1 < *pbVar2;\n          bVar4 = *param_1 == *pbVar2;\n          param_1 = param_1 + 1;\n          pbVar2 = pbVar2 + 1;\n        } while (bVar4);\n        bVar7 = (!bVar6 && !bVar4) == bVar6;\n      }" (if "if") (parenthesized_expression "(!bVar4)" (( "(") (unary_expression "!bVar4" (! "!") (identifier "bVar4")) () ")")) (compound_statement "{\n        lVar1 = 2;\n        pbVar2 = (byte *)0x152fae;\n        do {\n          if (lVar1 == 0) break;\n          lVar1 = lVar1 + -1;\n          bVar6 = *param_1 < *pbVar2;\n          bVar4 = *param_1 == *pbVar2;\n          param_1 = param_1 + 1;\n          pbVar2 = pbVar2 + 1;\n        } while (bVar4);\n        bVar7 = (!bVar6 && !bVar4) == bVar6;\n      }" ({ "{") (expression_statement "lVar1 = 2;" (assignment_expression "lVar1 = 2" (identifier "lVar1") (= "=") (number_literal "2")) (; ";")) (expression_statement "pbVar2 = (byte *)0x152fae;" (assignment_expression "pbVar2 = (byte *)0x152fae" (identifier "pbVar2") (= "=") (cast_expression "(byte *)0x152fae" (( "(") (type_descriptor "byte *" (type_identifier "byte") (abstract_pointer_declarator "*" (* "*"))) () ")") (number_literal "0x152fae"))) (; ";")) (do_statement "do {\n          if (lVar1 == 0) break;\n          lVar1 = lVar1 + -1;\n          bVar6 = *param_1 < *pbVar2;\n          bVar4 = *param_1 == *pbVar2;\n          param_1 = param_1 + 1;\n          pbVar2 = pbVar2 + 1;\n        } while (bVar4);" (do "do") (compound_statement "{\n          if (lVar1 == 0) break;\n          lVar1 = lVar1 + -1;\n          bVar6 = *param_1 < *pbVar2;\n          bVar4 = *param_1 == *pbVar2;\n          param_1 = param_1 + 1;\n          pbVar2 = pbVar2 + 1;\n        }" ({ "{") (if_statement "if (lVar1 == 0) break;" (if "if") (parenthesized_expression "(lVar1 == 0)" (( "(") (binary_expression "lVar1 == 0" (identifier "lVar1") (== "==") (number_literal "0")) () ")")) (break_statement "break;" (break "break") (; ";"))) (expression_statement "lVar1 = lVar1 + -1;" (assignment_expression "lVar1 = lVar1 + -1" (identifier "lVar1") (= "=") (binary_expression "lVar1 + -1" (identifier "lVar1") (+ "+") (number_literal "-1"))) (; ";")) (expression_statement "bVar6 = *param_1 < *pbVar2;" (assignment_expression "bVar6 = *param_1 < *pbVar2" (identifier "bVar6") (= "=") (binary_expression "*param_1 < *pbVar2" (pointer_expression "*param_1" (* "*") (identifier "param_1")) (< "<") (pointer_expression "*pbVar2" (* "*") (identifier "pbVar2")))) (; ";")) (expression_statement "bVar4 = *param_1 == *pbVar2;" (assignment_expression "bVar4 = *param_1 == *pbVar2" (identifier "bVar4") (= "=") (binary_expression "*param_1 == *pbVar2" (pointer_expression "*param_1" (* "*") (identifier "param_1")) (== "==") (pointer_expression "*pbVar2" (* "*") (identifier "pbVar2")))) (; ";")) (expression_statement "param_1 = param_1 + 1;" (assignment_expression "param_1 = param_1 + 1" (identifier "param_1") (= "=") (binary_expression "param_1 + 1" (identifier "param_1") (+ "+") (number_literal "1"))) (; ";")) (expression_statement "pbVar2 = pbVar2 + 1;" (assignment_expression "pbVar2 = pbVar2 + 1" (identifier "pbVar2") (= "=") (binary_expression "pbVar2 + 1" (identifier "pbVar2") (+ "+") (number_literal "1"))) (; ";")) (} "}")) (while "while") (parenthesized_expression "(bVar4)" (( "(") (identifier "bVar4") () ")")) (; ";")) (expression_statement "bVar7 = (!bVar6 && !bVar4) == bVar6;" (assignment_expression "bVar7 = (!bVar6 && !bVar4) == bVar6" (identifier "bVar7") (= "=") (binary_expression "(!bVar6 && !bVar4) == bVar6" (parenthesized_expression "(!bVar6 && !bVar4)" (( "(") (binary_expression "!bVar6 && !bVar4" (unary_expression "!bVar6" (! "!") (identifier "bVar6")) (&& "&&") (unary_expression "!bVar4" (! "!") (identifier "bVar4"))) () ")")) (== "==") (identifier "bVar6"))) (; ";")) (} "}"))) (} "}"))) (} "}"))) (return_statement "return bVar7;" (return "return") (identifier "bVar7") (; ";")) (} "}")))

type_1 function_1(char *var_6)

{
  type_2 uVar1;
  long var_1;
  type_3 *var_2;
  type_3 *var_3;
  type_4 in_CF;
  bool var_4;
  bool var_5;
  type_4 in_ZF;
  bool var_7;
  
  var_1 = 4;
  uVar1 = 1;
  var_2 = (type_3 *)var_6;
  var_3 = &DAT_00156404;
  do {
    if (var_1 == 0) break;
    var_1 = var_1 + -1;
    in_CF = *var_2 < *var_3;
    in_ZF = *var_2 == *var_3;
    var_2 = var_2 + 1;
    var_3 = var_3 + 1;
  } while ((bool)in_ZF);
  var_4 = false;
  var_7 = (!(bool)in_CF && !(bool)in_ZF) == (bool)in_CF;
  if (!var_7) {
    var_1 = 5;
    var_2 = (type_3 *)var_6;
    var_3 = &DAT_00156408;
    do {
      if (var_1 == 0) break;
      var_1 = var_1 + -1;
      var_4 = *var_2 < *var_3;
      var_7 = *var_2 == *var_3;
      var_2 = var_2 + 1;
      var_3 = var_3 + 1;
    } while (var_7);
    var_5 = false;
    var_4 = (!var_4 && !var_7) == var_4;
    if (!var_4) {
      var_1 = 5;
      var_2 = (type_3 *)var_6;
      var_3 = &DAT_0015640d;
      do {
        if (var_1 == 0) break;
        var_1 = var_1 + -1;
        var_5 = *var_2 < *var_3;
        var_4 = *var_2 == *var_3;
        var_2 = var_2 + 1;
        var_3 = var_3 + 1;
      } while (var_4);
      var_7 = false;
      var_4 = (!var_5 && !var_4) == var_5;
      if (!var_4) {
        var_1 = 2;
        var_2 = (type_3 *)0x152fae;
        do {
          if (var_1 == 0) break;
          var_1 = var_1 + -1;
          var_7 = (type_3)*var_6 < *var_2;
          var_4 = *var_6 == *var_2;
          var_6 = (char *)((type_3 *)var_6 + 1);
          var_2 = var_2 + 1;
        } while (var_4);
        uVar1 = (type_2)((!var_7 && !var_4) == var_7);
      }
    }
  }
  return uVar1;
}


(translation_unit (function_definition type: (primitive_type) declarator: (function_declarator declarator: (identifier) parameters: (parameter_list (parameter_declaration type: (type_identifier) declarator: (pointer_declarator declarator: (identifier))))) body: (compound_statement (declaration type: (sized_type_specifier) declarator: (identifier)) (declaration type: (type_identifier) declarator: (pointer_declarator declarator: (identifier))) (declaration type: (type_identifier) declarator: (pointer_declarator declarator: (identifier))) (declaration type: (type_identifier) declarator: (identifier)) (declaration type: (primitive_type) declarator: (identifier)) (declaration type: (primitive_type) declarator: (identifier)) (declaration type: (type_identifier) declarator: (identifier)) (declaration type: (primitive_type) declarator: (identifier)) (declaration type: (primitive_type) declarator: (identifier)) (expression_statement (assignment_expression left: (identifier) right: (number_literal))) (expression_statement (assignment_expression left: (identifier) right: (true))) (expression_statement (assignment_expression left: (identifier) right: (identifier))) (expression_statement (assignment_expression left: (identifier) right: (pointer_expression argument: (identifier)))) (do_statement body: (compound_statement (if_statement condition: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal))) consequence: (break_statement)) (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (identifier) right: (number_literal)))) (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (pointer_expression argument: (identifier)) right: (pointer_expression argument: (identifier))))) (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (pointer_expression argument: (identifier)) right: (pointer_expression argument: (identifier))))) (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (identifier) right: (number_literal)))) (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (identifier) right: (number_literal))))) condition: (parenthesized_expression (cast_expression type: (type_descriptor type: (primitive_type)) value: (identifier)))) (expression_statement (assignment_expression left: (identifier) right: (false))) (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (parenthesized_expression (binary_expression left: (unary_expression argument: (cast_expression type: (type_descriptor type: (primitive_type)) value: (identifier))) right: (unary_expression argument: (cast_expression type: (type_descriptor type: (primitive_type)) value: (identifier))))) right: (cast_expression type: (type_descriptor type: (primitive_type)) value: (identifier))))) (if_statement condition: (parenthesized_expression (unary_expression argument: (identifier))) consequence: (compound_statement (expression_statement (assignment_expression left: (identifier) right: (number_literal))) (expression_statement (assignment_expression left: (identifier) right: (identifier))) (expression_statement (assignment_expression left: (identifier) right: (pointer_expression argument: (identifier)))) (do_statement body: (compound_statement (if_statement condition: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal))) consequence: (break_statement)) (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (identifier) right: (number_literal)))) (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (pointer_expression argument: (identifier)) right: (pointer_expression argument: (identifier))))) (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (pointer_expression argument: (identifier)) right: (pointer_expression argument: (identifier))))) (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (identifier) right: (number_literal)))) (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (identifier) right: (number_literal))))) condition: (parenthesized_expression (identifier))) (expression_statement (assignment_expression left: (identifier) right: (false))) (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (parenthesized_expression (binary_expression left: (unary_expression argument: (identifier)) right: (unary_expression argument: (identifier)))) right: (identifier)))) (if_statement condition: (parenthesized_expression (unary_expression argument: (identifier))) consequence: (compound_statement (expression_statement (assignment_expression left: (identifier) right: (number_literal))) (expression_statement (assignment_expression left: (identifier) right: (identifier))) (expression_statement (assignment_expression left: (identifier) right: (pointer_expression argument: (identifier)))) (do_statement body: (compound_statement (if_statement condition: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal))) consequence: (break_statement)) (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (identifier) right: (number_literal)))) (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (pointer_expression argument: (identifier)) right: (pointer_expression argument: (identifier))))) (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (pointer_expression argument: (identifier)) right: (pointer_expression argument: (identifier))))) (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (identifier) right: (number_literal)))) (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (identifier) right: (number_literal))))) condition: (parenthesized_expression (identifier))) (expression_statement (assignment_expression left: (identifier) right: (false))) (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (parenthesized_expression (binary_expression left: (unary_expression argument: (identifier)) right: (unary_expression argument: (identifier)))) right: (identifier)))) (if_statement condition: (parenthesized_expression (unary_expression argument: (identifier))) consequence: (compound_statement (expression_statement (assignment_expression left: (identifier) right: (number_literal))) (expression_statement (assignment_expression left: (identifier) right: (cast_expression type: (type_descriptor type: (type_identifier) declarator: (abstract_pointer_declarator)) value: (number_literal)))) (do_statement body: (compound_statement (if_statement condition: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal))) consequence: (break_statement)) (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (identifier) right: (number_literal)))) (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (pointer_expression argument: (identifier)) right: (pointer_expression argument: (identifier))))) (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (pointer_expression argument: (identifier)) right: (pointer_expression argument: (identifier))))) (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (identifier) right: (number_literal)))) (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (identifier) right: (number_literal))))) condition: (parenthesized_expression (identifier))) (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (parenthesized_expression (binary_expression left: (unary_expression argument: (identifier)) right: (unary_expression argument: (identifier)))) right: (identifier)))))))))) (return_statement (identifier)))))

bool MASKED(byte *param_1)

{
  long lVar1;
  byte *pbVar2;
  byte *pbVar3;
  undefined1 in_CF;
  bool bVar4;
  bool bVar5;
  undefined1 in_ZF;
  bool bVar6;
  bool bVar7;
  
  lVar1 = 4;
  bVar7 = true;
  pbVar2 = param_1;
  pbVar3 = &DAT_00156404;
  do {
    if (lVar1 == 0) break;
    lVar1 = lVar1 + -1;
    in_CF = *pbVar2 < *pbVar3;
    in_ZF = *pbVar2 == *pbVar3;
    pbVar2 = pbVar2 + 1;
    pbVar3 = pbVar3 + 1;
  } while ((bool)in_ZF);
  bVar4 = false;
  bVar6 = (!(bool)in_CF && !(bool)in_ZF) == (bool)in_CF;
  if (!bVar6) {
    lVar1 = 5;
    pbVar2 = param_1;
    pbVar3 = &DAT_00156408;
    do {
      if (lVar1 == 0) break;
      lVar1 = lVar1 + -1;
      bVar4 = *pbVar2 < *pbVar3;
      bVar6 = *pbVar2 == *pbVar3;
      pbVar2 = pbVar2 + 1;
      pbVar3 = pbVar3 + 1;
    } while (bVar6);
    bVar5 = false;
    bVar4 = (!bVar4 && !bVar6) == bVar4;
    if (!bVar4) {
      lVar1 = 5;
      pbVar2 = param_1;
      pbVar3 = &DAT_0015640d;
      do {
        if (lVar1 == 0) break;
        lVar1 = lVar1 + -1;
        bVar5 = *pbVar2 < *pbVar3;
        bVar4 = *pbVar2 == *pbVar3;
        pbVar2 = pbVar2 + 1;
        pbVar3 = pbVar3 + 1;
      } while (bVar4);
      bVar6 = false;
      bVar4 = (!bVar5 && !bVar4) == bVar5;
      if (!bVar4) {
        lVar1 = 2;
        pbVar2 = (byte *)0x152fae;
        do {
          if (lVar1 == 0) break;
          lVar1 = lVar1 + -1;
          bVar6 = *param_1 < *pbVar2;
          bVar4 = *param_1 == *pbVar2;
          param_1 = param_1 + 1;
          pbVar2 = pbVar2 + 1;
        } while (bVar4);
        bVar7 = (!bVar6 && !bVar4) == bVar6;
      }
    }
  }
  return bVar7;
}

