jrpritts7/homogenate-tailspin-impediment

0 lines

3.24 MB

#include "types-and-globals.h"
#include "helpers.h"

_ABI(Microsoft_x86_cdecl) _Noreturn
void function_0x401000_Code_x86(void) {
  generic32_t var_0;
  *(cabifunction_726 **) (revng_undefined_local_sp() - 4) = function_0x403390_Code_x86;
  function_0x4029bb_Code_x86(var_0);
}

_ABI(Microsoft_x86_cdecl) _Noreturn
void function_0x401010_Code_x86(void) {
  generic32_t var_0;
  *(cabifunction_725 **) (revng_undefined_local_sp() - 4) = function_0x403380_Code_x86;
  function_0x4029bb_Code_x86(var_0);
}

_ABI(Microsoft_x86_cdecl) _Noreturn
void function_0x401020_Code_x86(void) {
  generic32_t var_0;
  *(cabifunction_724 **) (revng_undefined_local_sp() - 4) = function_0x403370_Code_x86;
  function_0x4029bb_Code_x86(var_0);
}

_ABI(Microsoft_x86_cdecl) _Noreturn
void function_0x40102c_Code_x86(void) {
  generic32_t var_0;
  *(cabifunction_727 **) (revng_undefined_local_sp() - 4) = function_0x40339b_Code_x86;
  function_0x4029bb_Code_x86(var_0);
}

_ABI(Microsoft_x86_cdecl)
generic32_t function_0x401040_Code_x86(generic32_t argument_0) {
  generic32_t var_0;
  generic32_t var_1;
  var_0 = argument_0;
  var_1 = 0;
  if (argument_0) {
    generic8_t var_2;
    generic8_t var_3;
    generic32_t var_4;
    generic32_t var_5;
    generic32_t var_6;
    generic32_t var_7;
    uint8_t *var_8;
    var_7 = argument_0 - 4;
    var_8 = "jp";
    if (argument_0 < 4) {
      var_1 = 0;
      if (var_7 == (pointer_or_number32_t) -4) {
        return var_1;
      }
      var_3 = *(generic8_t *) NULL;
      var_2 = *var_8;
      var_5 = var_7;
      var_6 = var_8;
    } else {
      generic32_t var_9;
      generic32_t var_10;
      uint8_t *var_11;
      var_11 = "jp";
      var_9 = 0;
      var_10 = argument_0 - 4;
      while (true) {
        generic32_t var_12;
        generic32_t var_13;
        generic32_t var_14;
        var_13 = var_9;
        var_12 = var_10;
        if (*(generic32_t *) var_14 != *(generic32_t *) var_11) {
          var_2 = (number8_t) *(generic32_t *) var_11;
          var_3 = (number8_t) *(generic32_t *) var_14;
          var_4 = var_14;
          var_5 = var_12;
          var_6 = var_11;
          break;
        }
        var_14 = var_14 + 4;
        var_10 = var_12 - 4;
        var_9 = var_13 + 1;
        var_11 = &var_11[4];
        if (!(var_12 < 4)) {
          continue;
        }
        var_8 = &"FFVIII_EFIGS.dll"[4 * var_13];
        var_7 = argument_0 - 8 - (var_13 << 2);
        var_1 = 0;
        if (var_7 == (pointer_or_number32_t) -4) {
          return var_1;
        }
        var_3 = *(generic8_t *) NULL;
        var_2 = *var_8;
        var_5 = var_7;
        var_6 = var_8;
        break;
      }
    }
    generic8_t var_15;
    generic8_t var_16;
    var_16 = var_2;
    var_15 = var_3 - var_16;
    if (!var_15) {
      var_1 = 0;
      if (var_5 == (pointer_or_number32_t) -3) {
        return var_1;
      }
      var_16 = ((uint8_t *) var_6)[1];
      var_15 = *(generic8_t *) (var_4 + 1) - var_16;
      if (!var_15) {
        var_1 = 0;
        if (var_5 == (pointer_or_number32_t) -2) {
          return var_1;
        }
        var_16 = ((uint8_t *) var_6)[2];
        var_15 = *(generic8_t *) (var_4 + 2) - var_16;
        if (!var_15) {
          var_1 = 0;
          if (var_5 == (pointer_or_number32_t) -1) {
            return var_1;
          }
          var_16 = ((uint8_t *) var_6)[3];
          var_15 = *(generic8_t *) (var_4 + 3) - var_16;
          var_1 = 0;
          if (!var_15) {
            return var_1;
          }
        }
      }
    }
    generic32_t var_17;
    var_17 = var_15 > ~var_16 ? 4294967295 : 1;
    var_1 = var_17;
  }
  return var_1;
}

_ABI(Microsoft_x86_cdecl)
struct_452 *function_0x4010d0_Code_x86(generic8_t argument_0) {
  generic8_t var_0;
  var_0 = argument_0;
  *(generic32_t *) NULL = (pointer_or_number32_t) &segment_1.offset_932 + 12;
  if ((*(generic8_t *) ((number64_t) &var_0 & 0xFFFFFFFF) & 0x1)) {
    ((cabifunction_749 *) *(generic32_t *) "JU")();
  }
  return (struct_452 *) undef(generic32_t);
}

_ABI(Microsoft_x86_cdecl)
void function_0x401100_Code_x86(generic32_t *argument_0, generic32_t argument_1) {
  generic32_t *var_0;
  generic32_t var_1;
  var_0 = argument_0;
  var_1 = argument_1;
  *argument_0 = argument_1;
}

_ABI(Microsoft_x86_cdecl)
generic32_t function_0x401120_Code_x86(generic32_t argument_0, struct_473 *argument_1) {
  struct_344 stack;
  generic32_t var_0;
  generic32_t var_1;
  struct_473 *var_2;
  generic32_t var_3;
  generic32_t var_4;
  var_1 = argument_0;
  var_2 = argument_1;
  stack.offset_4 = argument_0;
  stack.offset_0 = (pointer_or_number32_t) &stack.offset_4 + 4;
  var_0 = ((cabifunction_750 *) *(generic32_t *) (*(generic32_t *) NULL + 12))();
  var_4 = var_0;
  if (*(generic32_t *) (var_4 + 4) == *(generic32_t *) ((pointer_or_number32_t) var_2 + 4)) {
    var_4 = *(generic32_t *) var_0;
    if (var_4 == *(generic32_t *) var_2) {
      var_3 = (*(generic32_t *) var_0 & 0xFFFFFF00) | 0x1;
      return var_3;
    }
  }
  var_3 = var_4 & 0xFFFFFF00;
  return var_3;
}

_ABI(Microsoft_x86_cdecl)
generic32_t function_0x401160_Code_x86(generic32_t *argument_0, generic32_t argument_1) {
  generic32_t *var_0;
  generic32_t var_1;
  var_0 = argument_0;
  var_1 = argument_1;
  return (*argument_0 & 0xFFFFFF00) | (*argument_0 == argument_1);
}

_ABI(Microsoft_x86_cdecl)
generic8_t *function_0x401180_Code_x86(void) {
  return (generic8_t *) "generic";
}

_ABI(Microsoft_x86_cdecl) _Noreturn
void function_0x401190_Code_x86(struct_478 *argument_0, struct_510 argument_1) {
  struct_345 stack;
  generic32_t var_0;
  generic32_t var_1;
  struct_478 *var_2;
  var_2 = argument_0;
  *(generic32_t *) &stack.offset_0 = *(generic32_t *) &argument_1;
  *(generic32_t *) &stack.offset_8 = 0;
  var_1 = ((cabifunction_621 *) segment_1.offset_184)();
  var_0 = !var_1 ? (generic32_t) "unknown error" : var_1;
  *(generic32_t *) ((pointer_or_number32_t) var_2 + 20) = 15;
  *(generic32_t *) ((pointer_or_number32_t) var_2 + 16) = 0;
  *(generic8_t *) var_2 = '\000';
  if (!*(generic8_t *) var_0) {
    generic32_t var_3;
    generic32_t var_4;
    *(generic32_t *) &stack.offset_0 = 0;
    *(generic32_t *) ((pointer_or_number32_t) &stack - 4) = var_0;
    function_0x401fe0_Code_x86(var_3, var_4);
  }
  generic32_t var_5;
  generic32_t var_6;
  generic32_t var_7;
  generic32_t var_8;
  generic32_t var_9;
  var_7 = *(generic8_t *) var_0;
  var_5 = 14;
  var_6 = 0;
  var_8 = var_1;
  var_9 = var_0;
  generic32_t var_10;
  do {
    generic32_t var_11;
    var_11 = var_6;
    var_10 = var_9;
    switch ((number32_t) var_5) {
      case 30:
      {
        break;
      } break;
      case 6:
      {
        var_11 = (var_7 & 0xFF) < (var_6 & 0xFF);
      } break;
      case 14:
      {
        var_11 = ((var_7 + var_6) & 0xFF) < (var_6 & 0xFF);
      } break;
      default:
      {
        var_11 = 0;
      } break;
    }
    var_5 = 22;
    var_7 = (var_8 & 0xFFFFFF00) | *(generic8_t *) var_10;
    var_8 = (var_8 & 0xFFFFFF00) | *(generic8_t *) var_10;
    var_9 = var_10 + 1;
  } while (*(generic8_t *) var_10);
  generic32_t var_12;
  generic32_t var_13;
  *(generic32_t *) &stack.offset_0 = var_10 - var_0;
  *(generic32_t *) ((pointer_or_number32_t) &stack - 4) = var_0;
  function_0x401fe0_Code_x86(var_12, var_13);
}

_ABI(Microsoft_x86_cdecl)
generic8_t *function_0x401210_Code_x86(void) {
  return (generic8_t *) "iostream";
}

_ABI(Microsoft_x86_cdecl) _Noreturn
void function_0x401220_Code_x86(struct_450 *argument_0, generic32_t argument_1) {
  struct_347 stack;
  struct_450 *var_0;
  generic32_t var_1;
  var_0 = argument_0;
  var_1 = argument_1;
  *(generic32_t *) &stack.offset_4 = 0;
  if (argument_1 != 1) {
    generic32_t var_2;
    struct_510 var_3;
    *(generic32_t *) ((pointer_or_number32_t) &stack - 4) = argument_1;
    *(struct_450 **) ((pointer_or_number32_t) &stack - 8) = var_0;
    function_0x401190_Code_x86((struct_478 *) var_2, var_3);
  }
  generic32_t var_4;
  generic32_t var_5;
  *(generic32_t *) ((pointer_or_number32_t) &stack - 4) = 21;
  *(generic32_t *) ((pointer_or_number32_t) var_0 + 20) = 15;
  *(generic32_t *) ((pointer_or_number32_t) var_0 + 16) = 0;
  *(uint8_t **) ((pointer_or_number32_t) &stack - 8) = "iostream stream error";
  *(generic8_t *) var_0 = '\000';
  function_0x401fe0_Code_x86(var_4, var_5);
}

_ABI(Microsoft_x86_cdecl)
generic8_t *function_0x401270_Code_x86(void) {
  return (generic8_t *) "system";
}

_ABI(Microsoft_x86_cdecl) _Noreturn
void function_0x401280_Code_x86(struct_447 *argument_0, struct_510 argument_1) {
  struct_348 stack;
  generic32_t var_0;
  generic32_t var_1;
  struct_447 *var_2;
  var_2 = argument_0;
  *(generic32_t *) &stack.offset_0 = *(generic32_t *) &argument_1;
  *(generic32_t *) &stack.offset_8 = 0;
  var_1 = ((cabifunction_751 *) segment_1.offset_188)();
  var_0 = !var_1 ? (generic32_t) "unknown error" : var_1;
  *(generic32_t *) ((pointer_or_number32_t) var_2 + 20) = 15;
  *(generic32_t *) ((pointer_or_number32_t) var_2 + 16) = 0;
  *(generic8_t *) var_2 = '\000';
  if (!*(generic8_t *) var_0) {
    generic32_t var_3;
    generic32_t var_4;
    *(generic32_t *) &stack.offset_0 = 0;
    *(generic32_t *) ((pointer_or_number32_t) &stack - 4) = var_0;
    function_0x401fe0_Code_x86(var_3, var_4);
  }
  generic32_t var_5;
  generic32_t var_6;
  generic32_t var_7;
  generic32_t var_8;
  generic32_t var_9;
  var_7 = *(generic8_t *) var_0;
  var_5 = 14;
  var_6 = 0;
  var_8 = var_1;
  var_9 = var_0;
  generic32_t var_10;
  do {
    generic32_t var_11;
    var_11 = var_6;
    var_10 = var_9;
    switch ((number32_t) var_5) {
      case 30:
      {
        break;
      } break;
      case 6:
      {
        var_11 = (var_7 & 0xFF) < (var_6 & 0xFF);
      } break;
      case 14:
      {
        var_11 = ((var_7 + var_6) & 0xFF) < (var_6 & 0xFF);
      } break;
      default:
      {
        var_11 = 0;
      } break;
    }
    var_5 = 22;
    var_7 = (var_8 & 0xFFFFFF00) | *(generic8_t *) var_10;
    var_8 = (var_8 & 0xFFFFFF00) | *(generic8_t *) var_10;
    var_9 = var_10 + 1;
  } while (*(generic8_t *) var_10);
  generic32_t var_12;
  generic32_t var_13;
  *(generic32_t *) &stack.offset_0 = var_10 - var_0;
  *(generic32_t *) ((pointer_or_number32_t) &stack - 4) = var_0;
  function_0x401fe0_Code_x86(var_12, var_13);
}

_ABI(Microsoft_x86_cdecl)
void function_0x401300_Code_x86(struct_485 *argument_0, generic32_t argument_1) {
  struct_349 stack;
  generic32_t *var_0;
  generic32_t var_1;
  struct_485 *var_2;
  generic32_t var_3;
  var_2 = argument_0;
  var_3 = argument_1;
  stack.offset_0 = argument_1;
  var_1 = ((cabifunction_752 *) segment_1.offset_184)();
  *(generic32_t *) var_2 = argument_1;
  var_0 = !var_1 ? (generic32_t) &segment_2.offset_28 : (generic32_t) &segment_2.offset_32;
  *(generic32_t **) ((pointer_or_number32_t) var_2 + 4) = var_0;
}

_ABI(Microsoft_x86_cdecl) _Noreturn
void function_0x401360_Code_x86(void) {
  struct_350 stack;
  generic32_t var_0;
  generic32_t var_1;
  generic32_t var_2;
  generic32_t var_3;
  stack.offset_516 = segment_2.offset_0 ^ ((pointer_or_number32_t) &stack + 12);
  var_0 = ((cabifunction_622 *) *(generic32_t *) "NM")();
  stack.offset_252 = 15;
  *(generic32_t *) &stack.offset_248 = 0;
  stack.offset_232 = '\000';
  var_3 = 0;
  if (!*(generic8_t *) var_0) {
    *(generic32_t *) ((pointer_or_number32_t) &stack - 4) = var_3;
    *(generic32_t *) ((pointer_or_number32_t) &stack - 8) = var_0;
    function_0x401fe0_Code_x86(var_1, var_2);
  }
  generic32_t var_4;
  generic32_t var_5;
  generic32_t var_6;
  generic32_t var_7;
  generic32_t var_8;
  var_8 = *(generic8_t *) var_0;
  var_4 = var_0;
  var_5 = 0;
  var_6 = 14;
  var_7 = var_0;
  generic32_t var_9;
  do {
    generic32_t var_10;
    var_10 = var_5;
    var_9 = var_7;
    switch ((number32_t) var_6) {
      case 30:
      {
        break;
      } break;
      case 6:
      {
        var_10 = (var_8 & 0xFF) < (var_5 & 0xFF);
      } break;
      case 14:
      {
        var_10 = ((var_8 + var_5) & 0xFF) < (var_5 & 0xFF);
      } break;
      default:
      {
        var_10 = 0;
      } break;
    }
    var_4 = (var_4 & 0xFFFFFF00) | *(generic8_t *) var_9;
    var_6 = 22;
    var_7 = var_9 + 1;
    var_8 = var_4;
  } while (*(generic8_t *) var_9);
  var_3 = var_9 - var_0;
  *(generic32_t *) ((pointer_or_number32_t) &stack - 4) = var_3;
  *(generic32_t *) ((pointer_or_number32_t) &stack - 8) = var_0;
  function_0x401fe0_Code_x86(var_1, var_2);
}

_ABI(Microsoft_x86_cdecl)
generic32_t function_0x401670_Code_x86(struct_481 *argument_0) {
  struct_351 stack;
  generic32_t var_0;
  generic32_t var_1;
  generic32_t var_2;
  generic32_t var_3;
  generic32_t var_4;
  generic32_t var_5;
  struct_481 *var_6;
  generic32_t var_7;
  artificial_struct_returned_by_rawfunction_70 var_8;
  artificial_struct_returned_by_rawfunction_71 var_9;
  var_6 = argument_0;
  *(generic32_t *) &stack.offset_40 = 4294967295;
  stack.offset_36 = function_0x4032c2_Code_x86;
  stack.offset_32 = *(generic32_t *) NULL;
  stack.offset_8 = segment_2.offset_0 ^ ((pointer_or_number32_t) &stack.offset_40 + 4);
  *(generic32_t *) &stack.offset_28 = 0;
  *(uint8_t **) NULL = "";
  var_5 = ((rawfunction_69 *) segment_1.offset_84)(undef(generic32_t));
  *(generic32_t *) &stack.offset_4 = 0;
  *(generic32_t *) &stack.offset_40 = 0;
  stack.offset_0 = var_5 + 24;
  *(generic32_t *) &stack.offset_28 = 1;
  var_8 = ((rawfunction_70 *) *(generic32_t *) ".O")(var_5);
  var_4 = var_8.register_esi;
  var_3 = var_8.register_edi;
  *(generic32_t *) &stack.offset_40 = 1;
  stack.offset_20 = var_3;
  *(generic32_t *) (*(generic32_t *) (*(generic32_t *) var_4 + 4) + var_4) = (pointer_or_number32_t) &segment_1.offset_756 + 108;
  *(generic32_t *) (var_4 + *(generic32_t *) (*(generic32_t *) var_4 + 4) - 4) = *(generic32_t *) (*(generic32_t *) var_4 + 4) - 104;
  var_9 = ((rawfunction_71 *) segment_1.offset_72)(var_3);
  var_2 = var_9.register_esi;
  var_1 = var_9.register_edi;
  var_7 = var_6;
  stack.offset_40.member_0 = '\002';
  *(generic32_t *) var_1 = (pointer_or_number32_t) &segment_1.offset_756 + 16;
  var_0 = *(generic32_t *) (var_7 + 16);
  if (!(*(generic32_t *) (var_7 + 20) < 16)) {
    var_7 = *(generic32_t *) var_6;
  }
  *(generic32_t *) (var_1 + 56) = 0;
  *(generic32_t *) (var_1 + 60) = 0;
  if (var_0) {
    generic32_t var_10;
    generic32_t var_11;
    *(generic32_t *) ((pointer_or_number32_t) &stack - 4) = var_0;
    *(generic32_t *) ((pointer_or_number32_t) &stack - 8) = var_7;
    function_0x4021c0_Code_x86(var_10, var_11);
  }
  *(generic32_t *) NULL = stack.offset_32;
  return var_2;
}

_ABI(Microsoft_x86_cdecl)
void function_0x401750_Code_x86(void) {
  struct_353 stack;
  generic64_t var_0;
  *(generic32_t *) NULL = (pointer_or_number32_t) &segment_1.offset_756 + 16;
  var_0 = 4211460;
  if ((*(generic8_t *) NULL & 0x1)) {
    stack.offset_0 = *(generic32_t *) (generic32_t) 4211460;
    ((cabifunction_623 *) *(generic32_t *) "JU")();
    var_0 = *(generic32_t *) NULL;
  }
  *(generic32_t *) var_0 = 0;
  *(generic32_t *) *(generic32_t *) NULL = 0;
  *(generic32_t *) *(generic32_t *) NULL = 0;
  *(generic32_t *) *(generic32_t *) NULL = 0;
  *(generic32_t *) *(generic32_t *) NULL = 0;
  *(generic32_t *) *(generic32_t *) NULL = 0;
  *(generic32_t *) NULL = 0;
}

_ABI(Microsoft_x86_cdecl)
generic32_t function_0x4017c0_Code_x86(generic32_t argument_0) {
  struct_354 stack;
  generic32_t var_0;
  generic32_t var_1;
  var_0 = argument_0;
  var_1 = 4294967295;
  if (!((number8_t) *(generic32_t *) NULL & 0x2)) {
    var_1 = 0;
    if (argument_0 != (pointer_or_number32_t) -1) {
      generic32_t var_2;
      var_2 = *(generic32_t *) NULL;
      if (((number8_t) *(generic32_t *) NULL & 0x8)) {
        var_2 = *(generic32_t *) NULL;
        if (*(generic32_t *) *(generic32_t *) NULL != 0 && *(generic32_t *) *(generic32_t *) NULL < *(generic32_t *) NULL) {
          *(generic32_t *) *(generic32_t *) NULL = *(generic32_t *) NULL;
          *(generic32_t *) *(generic32_t *) NULL = (*(generic32_t *) *(generic32_t *) NULL << 1) - *(generic32_t *) NULL;
          var_2 = *(generic32_t *) NULL;
        }
      }
      generic32_t var_3;
      generic32_t var_4;
      generic32_t var_5;
      generic32_t var_6;
      var_5 = 0;
      var_6 = 32;
      if (*(generic32_t *) var_2) {
        if ((int32_t) *(generic32_t *) var_2 > (int32_t) 0) {
          generic32_t var_7;
          var_7 = ((rawfunction_231 *) segment_1.offset_88)(undef(generic32_t));
          var_3 = var_7;
          var_4 = argument_0;
          var_1 = var_4;
          *(generic8_t *) var_3 = (number8_t) var_1;
          return var_1;
        }
        var_6 = *(generic32_t *) var_2 >> 1;
        var_5 = *(generic32_t *) var_2;
      }
      generic32_t var_8;
      var_8 = var_6;
      generic32_t var_9;
      while (true) {
        generic32_t var_10;
        var_10 = var_8;
        var_9 = var_10;
        if ((var_9 ^ 0x7FFFFFFF) < var_5) {
          var_8 = var_10 >> 1;
          var_9 = var_8;
          if (!(var_10 < 2)) {
            continue;
          }
        }
        break;
      }
      var_1 = 4294967295;
      if (!var_9) {
        return var_1;
      }
      generic32_t var_11;
      stack.offset_24 = var_5 + var_9;
      var_11 = 0;
      if ((var_5 + var_9)) {
        generic32_t var_12;
        stack.offset_8 = var_5 + var_9;
        var_12 = ((cabifunction_753 *) *(generic32_t *) "ZU")();
        var_11 = var_12;
        if (!var_11) {
          ((cabifunction_754 *) *(generic32_t *) "\014N")();
          var_11 = 0;
        }
      }
      generic32_t var_13;
      generic32_t var_14;
      stack.offset_28 = *(generic32_t *) *(generic32_t *) NULL;
      if (!var_5) {
        *(generic32_t *) NULL = var_11;
        *(generic32_t *) *(generic32_t *) NULL = var_11;
        *(generic32_t *) *(generic32_t *) NULL = var_11;
        *(generic32_t *) *(generic32_t *) NULL = stack.offset_24;
        *(generic32_t *) *(generic32_t *) NULL = var_11;
        if (!(*(generic32_t *) NULL & 0x4)) {
          *(generic32_t *) *(generic32_t *) NULL = var_11;
          var_13 = 1;
          var_14 = *(generic32_t *) *(generic32_t *) NULL;
        } else {
          *(generic32_t *) *(generic32_t *) NULL = 0;
          var_13 = var_11;
          var_14 = *(generic32_t *) *(generic32_t *) NULL;
        }
      } else {
        stack.offset_8 = var_5;
        stack.offset_4 = *(generic32_t *) *(generic32_t *) NULL;
        *(generic32_t *) &stack.offset_0 = var_11;
        function_0x403286_Code_x86();
        *(generic32_t *) NULL = *(generic32_t *) NULL + (var_11 - stack.offset_28);
        *(generic32_t *) (*(generic32_t *) NULL + (var_11 - stack.offset_28)) = *(generic32_t *) (*(generic32_t *) NULL + (var_11 - stack.offset_28)) + (var_11 - stack.offset_28);
        *(generic32_t *) *(generic32_t *) NULL = *(generic32_t *) (*(generic32_t *) NULL + (var_11 - stack.offset_28)) - stack.offset_28 + var_11;
        *(generic32_t *) *(generic32_t *) NULL = stack.offset_24 - (*(generic32_t *) (*(generic32_t *) NULL + (var_11 - stack.offset_28)) - stack.offset_28);
        if (!(*(generic8_t *) NULL & 0x4)) {
          var_13 = *(generic32_t *) *(generic32_t *) NULL - (*(generic32_t *) *(generic32_t *) NULL - stack.offset_28 + var_11) + 1;
          *(generic32_t *) *(generic32_t *) NULL = var_11;
          *(generic32_t *) *(generic32_t *) NULL = *(generic32_t *) *(generic32_t *) NULL - stack.offset_28 + var_11;
          var_14 = stack.offset_28;
        } else {
          *(generic32_t *) *(generic32_t *) NULL = var_11;
          *(generic32_t *) *(generic32_t *) NULL = 0;
          var_13 = var_11;
          var_14 = stack.offset_28;
        }
      }
      *(generic32_t *) *(generic32_t *) NULL = var_13;
      if ((*(generic8_t *) NULL & 0x1)) {
        generic32_t var_15;
        stack.offset_8 = var_14;
        var_15 = ((cabifunction_755 *) *(generic32_t *) "JU")();
      }
      generic32_t var_16;
      *(generic32_t *) NULL = *(generic32_t *) NULL | 0x1;
      var_16 = ((rawfunction_235 *) segment_1.offset_88)(undef(generic32_t));
      var_3 = var_16;
      var_4 = var_0;
      var_1 = var_4;
      *(generic8_t *) var_3 = (number8_t) var_1;
    }
  }
  return var_1;
}

_ABI(Microsoft_x86_cdecl)
generic32_t function_0x4019a0_Code_x86(void) {
  return 4294967295;
}

_ABI(Microsoft_x86_cdecl)
generic32_t function_0x401a00_Code_x86(void) {
  generic32_t var_0;
  var_0 = 4294967295;
  if (*(generic32_t *) *(generic32_t *) NULL) {
    generic32_t var_1;
    var_1 = *(generic32_t *) *(generic32_t *) NULL;
    if (!((int32_t) *(generic32_t *) *(generic32_t *) NULL > (int32_t) 0)) {
      var_0 = 4294967295;
      if (!(!(*(generic32_t *) NULL & 0x4) && *(generic32_t *) NULL > *(generic32_t *) *(generic32_t *) NULL)) {
        return var_0;
      }
      *(generic32_t *) *(generic32_t *) NULL = *(generic32_t *) NULL - *(generic32_t *) *(generic32_t *) NULL;
      var_1 = *(generic32_t *) *(generic32_t *) NULL;
    }
    var_0 = *(generic8_t *) var_1;
  }
  return var_0;
}

_ABI(Microsoft_x86_cdecl)
void function_0x401a60_Code_x86(struct_396 *argument_0, generic32_t argument_1, generic32_t argument_2, generic32_t argument_3, generic32_t argument_4) {
  generic32_t var_0;
  struct_396 *var_1;
  generic32_t var_2;
  generic32_t var_3;
  generic32_t var_4;
  generic32_t var_5;
  generic32_t var_6;
  var_1 = argument_0;
  var_2 = argument_1;
  var_3 = argument_2;
  var_4 = argument_3;
  var_5 = argument_4;
  var_6 = *(generic32_t *) NULL;
  var_0 = var_6;
  if (*(generic32_t *) var_0 != 0 && var_6 < *(generic32_t *) var_0) {
    *(generic32_t *) NULL = *(generic32_t *) var_0;
    var_6 = *(generic32_t *) var_0;
  }
  generic32_t var_7;
  generic32_t var_8;
  if (((number8_t) var_5 & 0x1)) {
    *(generic32_t *) (revng_undefined_local_sp() - 8) = *(generic32_t *) var_6;
    if (*(generic32_t *) var_6) {
      generic32_t var_9;
      generic32_t var_10;
      switch ((number32_t) var_4) {
        case 2:
        {
          var_10 = var_2 + (*(generic32_t *) NULL - *(generic32_t *) *(generic32_t *) NULL);
          var_9 = var_3 + ((int32_t) (*(generic32_t *) NULL - *(generic32_t *) *(generic32_t *) NULL) >> 31) + (var_10 < *(generic32_t *) NULL - *(generic32_t *) *(generic32_t *) NULL);
        } break;
        case 1:
        {
          if (!((number8_t) var_5 & 0x2)) {
            var_10 = var_2 + (*(generic32_t *) var_6 - *(generic32_t *) *(generic32_t *) NULL);
            var_9 = var_3 + ((int32_t) (*(generic32_t *) var_6 - *(generic32_t *) *(generic32_t *) NULL) >> 31) + (var_10 < *(generic32_t *) var_6 - *(generic32_t *) *(generic32_t *) NULL);
          } else {
            var_10 = segment_1.offset_180->offset_0;
            var_9 = segment_1.offset_180->offset_4;
          }
        } break;
        case 0:
        {
          var_9 = var_3;
          var_10 = var_2;
        } break;
        default:
        {
          var_10 = segment_1.offset_180->offset_0;
          var_9 = segment_1.offset_180->offset_4;
        } break;
      }
      generic32_t var_11;
      generic8_t var_12;
      var_12 = bit_parity((number8_t) var_9);
      var_11 = lshift(var_9, 4294967272);
      if (((var_11 & 0x80) | var_12) < 128) {
        if ((int32_t) var_9 > (int32_t) ((int32_t) (*(generic32_t *) NULL - *(generic32_t *) *(generic32_t *) NULL) >> 31)) {
          var_8 = segment_1.offset_180->offset_0;
          var_7 = segment_1.offset_180->offset_4;
        } else {
          generic32_t var_13;
          generic32_t var_14;
          generic8_t var_15;
          var_15 = bit_parity((number8_t) (var_9 - ((int32_t) (*(generic32_t *) NULL - *(generic32_t *) *(generic32_t *) NULL) >> 31)));
          var_14 = lshift(var_9 - ((int32_t) (*(generic32_t *) NULL - *(generic32_t *) *(generic32_t *) NULL) >> 31), 4294967272);
          var_13 = lshift((var_9 ^ ((int32_t) (*(generic32_t *) NULL - *(generic32_t *) *(generic32_t *) NULL) >> 31)) & (var_9 ^ (var_9 - ((int32_t) (*(generic32_t *) NULL - *(generic32_t *) *(generic32_t *) NULL) >> 31))), 4294967276);
          if ((int8_t) ((var_15 | (number8_t) var_14) ^ (number8_t) ((uint32_t) var_13 >> 4)) > -'\001' && var_10 > *(generic32_t *) NULL - *(generic32_t *) *(generic32_t *) NULL) {
            var_8 = segment_1.offset_180->offset_0;
            var_7 = segment_1.offset_180->offset_4;
          } else {
            *(generic32_t *) *(generic32_t *) NULL = *(generic32_t *) *(generic32_t *) NULL - (*(generic32_t *) *(generic32_t *) NULL - *(generic32_t *) (revng_undefined_local_sp() - 8) + var_10);
            *(generic32_t *) *(generic32_t *) NULL = *(generic32_t *) *(generic32_t *) NULL + (*(generic32_t *) *(generic32_t *) NULL - *(generic32_t *) (revng_undefined_local_sp() - 8) + var_10);
            var_7 = var_9;
            var_8 = var_10;
          }
        }
      } else {
        var_8 = segment_1.offset_180->offset_0;
        var_7 = segment_1.offset_180->offset_4;
      }
      *(generic32_t *) ((pointer_or_number32_t) var_1 + 4) = var_7;
      *(generic32_t *) var_1 = var_8;
      *(generic32_t *) ((pointer_or_number32_t) var_1 + 8) = 0;
      *(generic32_t *) ((pointer_or_number32_t) var_1 + 12) = 0;
      *(generic32_t *) ((pointer_or_number32_t) var_1 + 16) = 0;
      return;
    }
  }
  if (!((number8_t) var_5 & 0x2)) {
    var_8 = var_2;
    var_7 = var_3;
    if ((var_8 | var_7)) {
      var_8 = segment_1.offset_180->offset_0;
      var_7 = segment_1.offset_180->offset_4;
    }
  } else {
    var_5 = *(generic32_t *) var_0;
    if (!*(generic32_t *) var_0) {
      var_8 = var_2;
      var_7 = var_3;
      if ((var_8 | var_7)) {
        var_8 = segment_1.offset_180->offset_0;
        var_7 = segment_1.offset_180->offset_4;
      }
    } else {
      generic32_t var_16;
      generic32_t var_17;
      switch ((number32_t) var_4) {
        case 2:
        {
          var_17 = var_2 + (*(generic32_t *) NULL - *(generic32_t *) *(generic32_t *) NULL);
          var_16 = var_3 + ((int32_t) (*(generic32_t *) NULL - *(generic32_t *) *(generic32_t *) NULL) >> 31) + (var_17 < *(generic32_t *) NULL - *(generic32_t *) *(generic32_t *) NULL);
        } break;
        case 1:
        {
          var_17 = var_2 + (*(generic32_t *) var_0 - *(generic32_t *) *(generic32_t *) NULL);
          var_16 = var_3 + ((int32_t) (*(generic32_t *) var_0 - *(generic32_t *) *(generic32_t *) NULL) >> 31) + (var_17 < *(generic32_t *) var_0 - *(generic32_t *) *(generic32_t *) NULL);
        } break;
        case 0:
        {
          var_16 = var_3;
          var_17 = var_2;
        } break;
        default:
        {
          var_17 = segment_1.offset_180->offset_0;
          var_16 = segment_1.offset_180->offset_4;
        } break;
      }
      generic32_t var_18;
      generic8_t var_19;
      var_19 = bit_parity((number8_t) var_16);
      var_18 = lshift(var_16, 4294967272);
      if (((var_18 & 0x80) | var_19) < 128) {
        if ((int32_t) var_16 > (int32_t) ((int32_t) (*(generic32_t *) NULL - *(generic32_t *) *(generic32_t *) NULL) >> 31)) {
          var_8 = segment_1.offset_180->offset_0;
          var_7 = segment_1.offset_180->offset_4;
        } else {
          generic32_t var_20;
          generic32_t var_21;
          generic8_t var_22;
          var_22 = bit_parity((number8_t) (var_16 - ((int32_t) (*(generic32_t *) NULL - *(generic32_t *) *(generic32_t *) NULL) >> 31)));
          var_21 = lshift(var_16 - ((int32_t) (*(generic32_t *) NULL - *(generic32_t *) *(generic32_t *) NULL) >> 31), 4294967272);
          var_20 = lshift((var_16 ^ ((int32_t) (*(generic32_t *) NULL - *(generic32_t *) *(generic32_t *) NULL) >> 31)) & (var_16 ^ (var_16 - ((int32_t) (*(generic32_t *) NULL - *(generic32_t *) *(generic32_t *) NULL) >> 31))), 4294967276);
          if ((int8_t) ((var_22 | (number8_t) var_21) ^ (number8_t) ((uint32_t) var_20 >> 4)) > -'\001' && var_17 > *(generic32_t *) NULL - *(generic32_t *) *(generic32_t *) NULL) {
            var_8 = segment_1.offset_180->offset_0;
            var_7 = segment_1.offset_180->offset_4;
          } else {
            *(generic32_t *) *(generic32_t *) NULL = *(generic32_t *) *(generic32_t *) NULL - (*(generic32_t *) *(generic32_t *) NULL - var_5 + var_17);
            *(generic32_t *) *(generic32_t *) NULL = *(generic32_t *) *(generic32_t *) NULL + (*(generic32_t *) *(generic32_t *) NULL - var_5 + var_17);
            var_7 = var_16;
            var_8 = var_17;
          }
        }
      } else {
        var_8 = segment_1.offset_180->offset_0;
        var_7 = segment_1.offset_180->offset_4;
      }
    }
  }
  *(generic32_t *) ((pointer_or_number32_t) var_1 + 4) = var_7;
  *(generic32_t *) var_1 = var_8;
  *(generic32_t *) ((pointer_or_number32_t) var_1 + 8) = 0;
  *(generic32_t *) ((pointer_or_number32_t) var_1 + 12) = 0;
  *(generic32_t *) ((pointer_or_number32_t) var_1 + 16) = 0;
}

_ABI(Microsoft_x86_cdecl)
void function_0x401c30_Code_x86(struct_508 *argument_0, generic32_t argument_1, generic32_t argument_2, generic32_t argument_3, generic32_t argument_4, struct_677 argument_5) {
  struct_508 *var_0;
  generic32_t var_1;
  generic32_t var_2;
  generic32_t var_3;
  generic32_t var_4;
  var_0 = argument_0;
  var_1 = argument_1;
  var_2 = argument_2;
  var_3 = argument_3;
  var_4 = argument_4;
  if (*(generic32_t *) *(generic32_t *) NULL != 0 && *(generic32_t *) NULL < *(generic32_t *) *(generic32_t *) NULL) {
    *(generic32_t *) NULL = *(generic32_t *) *(generic32_t *) NULL;
  }
  generic32_t var_5;
  generic32_t var_6;
  *(generic32_t *) (revng_undefined_local_sp() - 16) = segment_1.offset_180->offset_0;
  *(generic32_t *) (revng_undefined_local_sp() - 12) = segment_1.offset_180->offset_4;
  var_5 = argument_4 + argument_2 + (argument_3 + argument_1 < argument_1);
  var_6 = argument_3 + argument_1;
  if (!(argument_3 + argument_1 == segment_1.offset_180->offset_0 && argument_4 + argument_2 + (argument_3 + argument_1 < argument_1) == segment_1.offset_180->offset_4)) {
    generic32_t var_7;
    generic32_t var_8;
    var_8 = segment_1.offset_180->offset_4;
    if (((number8_t) argument_5.offset_8 & 0x1)) {
      *(generic32_t *) (revng_undefined_local_sp() - 8) = *(generic32_t *) *(generic32_t *) NULL;
      if (*(generic32_t *) *(generic32_t *) NULL) {
        generic32_t var_9;
        generic8_t var_10;
        var_10 = bit_parity((number8_t) (argument_4 + argument_2 + (argument_3 + argument_1 < argument_1)));
        var_9 = lshift(argument_4 + argument_2 + (argument_3 + argument_1 < argument_1), 4294967272);
        var_7 = segment_1.offset_180->offset_0;
        if (((var_9 & 0x80) | var_10) < 128) {
          if ((int32_t) (argument_4 + argument_2 + (argument_3 + argument_1 < argument_1)) > (int32_t) ((int32_t) (*(generic32_t *) NULL - *(generic32_t *) *(generic32_t *) NULL) >> 31)) {
            var_7 = *(generic32_t *) (revng_undefined_local_sp() - 16);
            var_6 = var_7;
            var_5 = *(generic32_t *) (revng_undefined_local_sp() - 12);
          } else {
            generic32_t var_11;
            generic32_t var_12;
            generic8_t var_13;
            var_13 = bit_parity((number8_t) (argument_4 + argument_2 + (argument_3 + argument_1 < argument_1) - ((int32_t) (*(generic32_t *) NULL - *(generic32_t *) *(generic32_t *) NULL) >> 31)));
            var_12 = lshift(argument_4 + argument_2 + (argument_3 + argument_1 < argument_1) - ((int32_t) (*(generic32_t *) NULL - *(generic32_t *) *(generic32_t *) NULL) >> 31), 4294967272);
            var_11 = lshift(((argument_4 + argument_2 + (argument_3 + argument_1 < argument_1)) ^ ((int32_t) (*(generic32_t *) NULL - *(generic32_t *) *(generic32_t *) NULL) >> 31)) & ((argument_4 + argument_2 + (argument_3 + argument_1 < argument_1)) ^ (argument_4 + argument_2 + (argument_3 + argument_1 < argument_1) - ((int32_t) (*(generic32_t *) NULL - *(generic32_t *) *(generic32_t *) NULL) >> 31))), 4294967276);
            if ((int8_t) ((var_13 | (number8_t) var_12) ^ (number8_t) ((uint32_t) var_11 >> 4)) > -'\001' && argument_3 + argument_1 > *(generic32_t *) NULL - *(generic32_t *) *(generic32_t *) NULL) {
              var_7 = *(generic32_t *) (revng_undefined_local_sp() - 16);
              var_6 = var_7;
              var_5 = *(generic32_t *) (revng_undefined_local_sp() - 12);
            } else {
              *(generic32_t *) *(generic32_t *) NULL = *(generic32_t *) *(generic32_t *) NULL - (*(generic32_t *) *(generic32_t *) NULL - *(generic32_t *) (revng_undefined_local_sp() - 8) + (argument_3 + argument_1));
              *(generic32_t *) *(generic32_t *) NULL = *(generic32_t *) *(generic32_t *) NULL + (*(generic32_t *) *(generic32_t *) NULL - *(generic32_t *) (revng_undefined_local_sp() - 8) + (argument_3 + argument_1));
              var_5 = argument_4 + argument_2 + (argument_3 + argument_1 < argument_1);
              var_6 = argument_3 + argument_1;
            }
          }
        } else {
          var_6 = var_7;
          var_5 = *(generic32_t *) (revng_undefined_local_sp() - 12);
        }
        *(generic32_t *) var_0 = var_6;
        *(generic32_t *) ((pointer_or_number32_t) var_0 + 4) = var_5;
        *(generic32_t *) ((pointer_or_number32_t) var_0 + 8) = 0;
        *(generic32_t *) ((pointer_or_number32_t) var_0 + 12) = 0;
        *(generic32_t *) ((pointer_or_number32_t) var_0 + 16) = 0;
        return;
      }
      var_8 = *(generic32_t *) (revng_undefined_local_sp() - 12);
    }
    var_5 = var_8;
    var_6 = segment_1.offset_180->offset_0;
    if (((number8_t) argument_5.offset_8 & 0x2)) {
      var_5 = var_8;
      var_6 = segment_1.offset_180->offset_0;
      if (*(generic32_t *) *(generic32_t *) NULL) {
        generic32_t var_14;
        generic8_t var_15;
        var_15 = bit_parity((number8_t) (argument_4 + argument_2 + (argument_3 + argument_1 < argument_1)));
        var_14 = lshift(argument_4 + argument_2 + (argument_3 + argument_1 < argument_1), 4294967272);
        var_7 = segment_1.offset_180->offset_0;
        if (((var_14 & 0x80) | var_15) < 128) {
          if ((int32_t) (argument_4 + argument_2 + (argument_3 + argument_1 < argument_1)) > (int32_t) ((int32_t) (*(generic32_t *) NULL - *(generic32_t *) *(generic32_t *) NULL) >> 31)) {
            var_7 = *(generic32_t *) (revng_undefined_local_sp() - 16);
            var_6 = var_7;
            var_5 = *(generic32_t *) (revng_undefined_local_sp() - 12);
          } else {
            generic32_t var_16;
            generic32_t var_17;
            generic8_t var_18;
            var_18 = bit_parity((number8_t) (argument_4 + argument_2 + (argument_3 + argument_1 < argument_1) - ((int32_t) (*(generic32_t *) NULL - *(generic32_t *) *(generic32_t *) NULL) >> 31)));
            var_17 = lshift(argument_4 + argument_2 + (argument_3 + argument_1 < argument_1) - ((int32_t) (*(generic32_t *) NULL - *(generic32_t *) *(generic32_t *) NULL) >> 31), 4294967272);
            var_16 = lshift(((argument_4 + argument_2 + (argument_3 + argument_1 < argument_1)) ^ ((int32_t) (*(generic32_t *) NULL - *(generic32_t *) *(generic32_t *) NULL) >> 31)) & ((argument_4 + argument_2 + (argument_3 + argument_1 < argument_1)) ^ (argument_4 + argument_2 + (argument_3 + argument_1 < argument_1) - ((int32_t) (*(generic32_t *) NULL - *(generic32_t *) *(generic32_t *) NULL) >> 31))), 4294967276);
            if ((int8_t) ((var_18 | (number8_t) var_17) ^ (number8_t) ((uint32_t) var_16 >> 4)) > -'\001' && argument_3 + argument_1 > *(generic32_t *) NULL - *(generic32_t *) *(generic32_t *) NULL) {
              var_7 = *(generic32_t *) (revng_undefined_local_sp() - 16);
              var_6 = var_7;
              var_5 = *(generic32_t *) (revng_undefined_local_sp() - 12);
            } else {
              *(generic32_t *) *(generic32_t *) NULL = *(generic32_t *) *(generic32_t *) NULL - (*(generic32_t *) *(generic32_t *) NULL - *(generic32_t *) *(generic32_t *) NULL + (argument_3 + argument_1));
              *(generic32_t *) *(generic32_t *) NULL = *(generic32_t *) *(generic32_t *) NULL + (*(generic32_t *) *(generic32_t *) NULL - *(generic32_t *) *(generic32_t *) NULL + (argument_3 + argument_1));
              var_5 = argument_4 + argument_2 + (argument_3 + argument_1 < argument_1);
              var_6 = argument_3 + argument_1;
            }
          }
        } else {
          var_6 = var_7;
          var_5 = *(generic32_t *) (revng_undefined_local_sp() - 12);
        }
      }
    }
  }
  *(generic32_t *) var_0 = var_6;
  *(generic32_t *) ((pointer_or_number32_t) var_0 + 4) = var_5;
  *(generic32_t *) ((pointer_or_number32_t) var_0 + 8) = 0;
  *(generic32_t *) ((pointer_or_number32_t) var_0 + 12) = 0;
  *(generic32_t *) ((pointer_or_number32_t) var_0 + 16) = 0;
}

_ABI(Microsoft_x86_cdecl)
struct_452 *function_0x401dc0_Code_x86(generic8_t argument_0) {
  generic8_t var_0;
  var_0 = argument_0;
  function_0x401750_Code_x86();
  if ((*(generic8_t *) ((number64_t) &var_0 & 0xFFFFFFFF) & 0x1)) {
    ((cabifunction_756 *) *(generic32_t *) "JU")();
  }
  return (struct_452 *) undef(generic32_t);
}

_ABI(Microsoft_x86_cdecl) _Noreturn
void function_0x401df0_Code_x86(struct_393 *argument_0, generic32_t argument_1, generic32_t argument_2) {
  struct_356 stack;
  struct_393 *var_0;
  generic32_t var_1;
  generic32_t var_2;
  generic32_t var_3;
  generic32_t var_4;
  var_0 = argument_0;
  var_1 = argument_1;
  var_2 = argument_2;
  var_3 = (pointer_or_number32_t) &stack + 4;
  var_4 = argument_1;
  if (argument_0->offset_16 < argument_1) {
    generic32_t var_5;
    stack.offset_0 = "invalid string position";
    var_5 = ((rawfunction_74 *) *(generic32_t *) "JN")();
    var_4 = var_5;
    var_3 = &stack;
  }
  generic32_t var_6;
  generic32_t var_7;
  generic32_t var_8;
  generic32_t var_9;
  var_7 = var_3;
  var_9 = var_4;
  var_8 = var_9 + llvm_umin_i32(var_2, argument_0->offset_16 - var_9);
  var_6 = *(generic32_t *) NULL;
  if (var_6 < var_8) {
    generic32_t var_10;
    generic32_t var_11;
    artificial_struct_returned_by_rawfunction_75 var_12;
    var_7 = var_3 - 4;
    *(uint8_t **) var_7 = "invalid string position";
    var_12 = ((rawfunction_75 *) *(generic32_t *) "JN")();
    var_11 = var_12.register_eax;
    var_8 = var_11;
    var_10 = var_12.register_ecx;
    var_9 = var_10;
    var_6 = *(generic32_t *) NULL;
  }
  struct_329 var_13;
  *(generic32_t *) NULL = var_8;
  *(generic32_t *) (var_7 - 4) = var_9;
  *(generic32_t *) (var_7 - 8) = var_9;
  if (var_6 < 16) {
    struct_452 *var_14;
    *(generic8_t *) NULL = '\000';
    var_14 = function_0x4020e0_Code_x86(var_13);
    revng_abort("A longjmp was taken");
  } else {
    struct_452 *var_15;
    *(generic8_t *) (var_8 << 1) = '\000';
    var_15 = function_0x4020e0_Code_x86(var_13);
    revng_abort("A longjmp was taken");
  }
}

_ABI(Microsoft_x86_cdecl) _Noreturn
void function_0x401ed0_Code_x86(void) {
  struct_359 stack;
  struct_336 var_0;
  *(generic32_t *) ((pointer_or_number32_t) &stack - 4) = 1;
  function_0x4022c0_Code_x86(var_0);
  revng_abort("A longjmp was taken");
}

_ABI(Microsoft_x86_cdecl) _Noreturn
void function_0x401f70_Code_x86(void) {
  struct_361 stack;
  generic32_t var_0;
  generic32_t var_1;
  var_0 = (pointer_or_number32_t) &stack + 4;
  if (*(generic32_t *) NULL < (uint32_t) -2) {
    *(generic32_t *) (var_0 - 4) = var_1;
    *(generic32_t *) (var_0 - 8) = *(generic32_t *) NULL + 1;
    revng_abort("Ignoring stack arguments for this call site: stack size at call site unknown");
  } else {
    generic32_t var_2;
    stack.offset_0 = "string too long";
    var_2 = ((rawfunction_77 *) segment_1.offset_64)();
    var_1 = var_2;
    var_0 = &stack;
    *(generic32_t *) (var_0 - 4) = var_1;
    *(generic32_t *) (var_0 - 8) = *(generic32_t *) NULL + 1;
    revng_abort("Ignoring stack arguments for this call site: stack size at call site unknown");
  }
}

_ABI(Microsoft_x86_cdecl) _Noreturn
void function_0x401fe0_Code_x86(generic32_t argument_0, generic32_t argument_1) {
  struct_346 stack;
  generic32_t var_0;
  generic32_t var_1;
  var_0 = argument_0;
  var_1 = argument_1;
  if ((argument_0) && ((*(generic32_t *) NULL < 16 || *(generic32_t *) NULL <= argument_0) && *(generic32_t *) NULL << 1 > argument_0)) {
    stack.offset_4 = argument_1;
    if (*(generic32_t *) NULL < 16) {
      generic32_t var_2;
      generic32_t var_3;
      generic32_t var_4;
      function_0x401df0_Code_x86((struct_393 *) var_2, var_3, var_4);
    }
    generic32_t var_5;
    generic32_t var_6;
    generic32_t var_7;
    stack.offset_0 = argument_0 - *(generic32_t *) NULL;
    function_0x401df0_Code_x86((struct_393 *) var_5, var_6, var_7);
  }
  generic32_t var_8;
  generic32_t var_9;
  generic32_t var_10;
  generic32_t var_11;
  if (var_1 == (pointer_or_number32_t) -1) {
    stack.offset_0 = "string too long";
    ((cabifunction_624 *) segment_1.offset_64)();
    var_10 = *(generic32_t *) NULL;
    var_8 = var_10;
    var_9 = &stack;
    var_11 = &stack;
    if (var_8 != (pointer_or_number32_t) -1) {
      *(generic32_t *) (var_11 - 4) = var_10;
      *(generic32_t *) (var_11 - 8) = var_1;
      revng_abort("Ignoring stack arguments for this call site: stack size at call site unknown");
    }
  } else {
    var_10 = *(generic32_t *) NULL;
    var_11 = &stack.offset_4;
    if (var_10 < var_1) {
      *(generic32_t *) (var_11 - 4) = var_10;
      *(generic32_t *) (var_11 - 8) = var_1;
      revng_abort("Ignoring stack arguments for this call site: stack size at call site unknown");
    }
    var_9 = &stack.offset_4;
    var_8 = *(generic32_t *) NULL;
    if (!var_1) {
      *(generic32_t *) NULL = 0;
      *(generic8_t *) NULL = '\000';
      revng_abort("A longjmp was taken");
    }
  }
  *(generic32_t *) (var_9 - 4) = var_1;
  *(generic32_t *) (var_9 - 8) = argument_0;
  *(generic32_t *) (var_9 - 12) = var_8;
  function_0x403286_Code_x86();
  *(generic32_t *) NULL = var_1;
  if (*(generic32_t *) NULL < 16) {
    *(generic8_t *) NULL = '\000';
    revng_abort("A longjmp was taken");
  } else {
    *(generic8_t *) (var_1 << 1) = '\000';
    revng_abort("A longjmp was taken");
  }
}

_ABI(Microsoft_x86_cdecl)
struct_452 *function_0x4020e0_Code_x86(struct_329 argument_0) {
  struct_358 stack;
  if (*(generic32_t *) NULL > argument_0.offset_4) {
    if (argument_0.offset_4) {
      generic32_t var_0;
      var_0 = argument_0.offset_4;
      if (*(generic32_t *) NULL != argument_0.offset_4) {
        stack.offset_8 = *(generic32_t *) NULL - argument_0.offset_4;
        stack.offset_4 = argument_0.offset_4 + *(generic32_t *) NULL;
        stack.offset_0 = *(generic32_t *) NULL;
        ((cabifunction_625 *) *(generic32_t *) "4U")();
        var_0 = *(generic32_t *) NULL;
      }
      *(generic32_t *) NULL = *(generic32_t *) NULL - argument_0.offset_4;
      if (var_0 < 16) {
        *(generic8_t *) NULL = '\000';
      } else {
        *(generic8_t *) ((*(generic32_t *) NULL - argument_0.offset_4) << 1) = '\000';
      }
    }
  } else {
    *(generic32_t *) NULL = 0;
    *(generic8_t *) NULL = '\000';
  }
  return (struct_452 *) undef(generic32_t);
}

_ABI(Microsoft_x86_cdecl) _Noreturn
void function_0x402160_Code_x86(generic32_t argument_0) {
  struct_357 stack;
  generic32_t var_0;
  generic32_t var_1;
  generic32_t var_2;
  var_0 = argument_0;
  if (argument_0 == (pointer_or_number32_t) -1) {
    generic32_t var_3;
    stack.offset_0 = "string too long";
    var_3 = ((rawfunction_80 *) segment_1.offset_64)();
    if (*(generic32_t *) (var_3 + 20) == (pointer_or_number32_t) -1) {
      revng_abort("A longjmp was taken");
    } else {
      var_1 = var_3 + 16;
      var_2 = &stack;
      *(generic32_t *) (var_2 - 4) = *(generic32_t *) var_1;
      *(generic32_t *) (var_2 - 8) = argument_0;
      revng_abort("Ignoring stack arguments for this call site: stack size at call site unknown");
    }
  } else {
    var_2 = (pointer_or_number32_t) &stack + 4;
    var_1 = NULL;
    if (*(generic32_t *) NULL < argument_0) {
      *(generic32_t *) (var_2 - 4) = *(generic32_t *) var_1;
      *(generic32_t *) (var_2 - 8) = argument_0;
      revng_abort("Ignoring stack arguments for this call site: stack size at call site unknown");
    } else {
      if (!argument_0) {
        *(generic32_t *) NULL = 0;
        revng_abort("A longjmp was taken");
      } else {
        revng_abort("A longjmp was taken");
      }
    }
  }
}

_ABI(Microsoft_x86_cdecl)
void function_0x4021c0_Code_x86(generic32_t argument_0, generic32_t argument_1) {
  struct_352 stack;
  generic32_t var_0;
  generic32_t var_1;
  var_0 = argument_0;
  var_1 = argument_1;
  if ((*(generic32_t *) NULL & 0x6) != 6) {
    generic32_t var_2;
    generic32_t var_3;
    artificial_struct_returned_by_rawfunction_81 var_4;
    stack.offset_8 = argument_1;
    var_4 = ((rawfunction_81 *) *(generic32_t *) "ZU")();
    var_3 = var_4.register_eax;
    var_2 = var_4.register_ecx;
    if (!var_3) {
      ((cabifunction_626 *) *(generic32_t *) "\014N")();
    }
    generic32_t var_5;
    stack.offset_8 = argument_1;
    stack.offset_4 = var_0;
    stack.offset_0 = var_3;
    function_0x403286_Code_x86();
    var_5 = argument_1 + var_3;
    *(generic32_t *) NULL = var_5;
    if (!(*(generic8_t *) NULL & 0x4)) {
      *(generic32_t *) (argument_1 + var_3) = var_3;
      *(generic32_t *) *(generic32_t *) NULL = var_3;
      *(generic32_t *) *(generic32_t *) NULL = argument_1;
      var_5 = *(generic32_t *) NULL;
    }
    generic32_t var_6;
    var_6 = var_5;
    if (!((number8_t) var_6 & 0x2)) {
      generic32_t var_7;
      var_7 = !((number8_t) var_6 & 0x18) ? var_3 : argument_1 + var_3;
      *(generic32_t *) var_5 = var_3;
      *(generic32_t *) *(generic32_t *) NULL = var_7;
      *(generic32_t *) *(generic32_t *) NULL = var_3 - var_7 + argument_1;
      var_6 = *(generic32_t *) NULL;
      if (!*(generic32_t *) var_6) {
        *(generic32_t *) var_6 = var_3;
        *(generic32_t *) *(generic32_t *) NULL = 0;
        *(generic32_t *) *(generic32_t *) NULL = var_3;
        var_6 = *(generic32_t *) NULL;
      }
    }
    *(generic32_t *) NULL = var_6 | 0x1;
  }
}

_ABI(Microsoft_x86_cdecl)
void function_0x402270_Code_x86(struct_406 *argument_0, generic32_t argument_1) {
  struct_363 stack;
  struct_406 *var_0;
  generic32_t var_1;
  var_0 = argument_0;
  var_1 = argument_1;
  if ((pointer_or_number32_t) argument_0 != argument_1) {
    struct_406 *var_2;
    var_2 = argument_0;
    generic32_t var_3;
    generic32_t var_4;
    do {
      var_4 = var_2;
      var_3 = &((struct_406 *) var_4)->offset_20;
      if (!(((struct_406 *) var_4)->offset_20 < 16)) {
        generic32_t var_5;
        stack.offset_0 = var_2->offset_0.offset_0.member_0;
        var_5 = ((rawfunction_84 *) *(generic32_t *) "JU")();
        var_4 = var_5;
        var_3 = var_4 + 20;
      }
      *(generic32_t *) var_3 = 15;
      *(generic32_t *) &((struct_406 *) var_4)->offset_0.offset_16 = 0;
      ((struct_406 *) var_4)->offset_0.offset_0.member_1 = '\000';
      var_2 = &((struct_406 *) var_4)[1];
    } while ((pointer_or_number32_t) &((struct_406 *) var_4)[1] != argument_1);
  }
}

_ABI(Microsoft_x86_cdecl)
void function_0x4022c0_Code_x86(struct_336 argument_0) {
  struct_360 stack;
  generic32_t var_0;
  generic32_t var_1;
  if (!*(generic32_t *) &argument_0) {
    var_0 = &stack.offset_8;
    var_1 = 0;
  } else {
    struct_510 *var_2;
    if (*(generic32_t *) &argument_0 > 178956970) {
      var_2 = &stack.offset_8;
      var_0 = var_2;
      ((cabifunction_629 *) *(generic32_t *) "\014N")();
      var_1 = 0;
    } else {
      generic32_t var_3;
      *(generic32_t *) &stack.offset_8 = *(generic32_t *) &argument_0 * 24;
      var_3 = ((cabifunction_628 *) *(generic32_t *) "ZU")();
      var_1 = var_3;
      var_2 = &stack.offset_8;
      var_0 = &stack.offset_8;
      if (!var_1) {
        var_0 = var_2;
        ((cabifunction_629 *) *(generic32_t *) "\014N")();
        var_1 = 0;
      }
    }
  }
  generic32_t var_4;
  generic32_t var_5;
  generic32_t var_6;
  *(generic32_t *) var_0 = *(generic32_t *) &argument_0;
  *(generic32_t *) ((pointer_or_number32_t) &stack - 4) = var_1;
  var_4 = function_0x402790_Code_x86(var_5);
  *(generic32_t *) &argument_0 = 0;
  var_6 = 0;
  if (!*(generic32_t *) NULL) {
    *(generic32_t *) NULL = var_6 + var_1;
    revng_abort("A longjmp was taken");
  } else {
    generic32_t var_7;
    generic32_t var_8;
    *(generic32_t *) var_0 = *(generic32_t *) NULL;
    stack.offset_4 = *(generic32_t *) NULL;
    function_0x402270_Code_x86((struct_406 *) var_7, var_8);
    *(generic32_t *) &stack = *(generic32_t *) NULL;
    ((cabifunction_630 *) *(generic32_t *) "JU")();
    var_6 = *(generic32_t *) &argument_0 * 24;
    *(generic32_t *) NULL = var_6 + var_1;
    revng_abort("A longjmp was taken");
  }
}

_ABI(Microsoft_x86_cdecl)
void function_0x402360_Code_x86(generic32_t argument_0, generic32_t argument_1) {
  struct_362 stack;
  generic32_t var_0;
  generic32_t var_1;
  generic32_t var_2;
  var_0 = argument_0;
  var_1 = argument_1;
  *(generic32_t *) &stack.offset_48 = 4294967295;
  stack.offset_44 = function_0x4032e0_Code_x86;
  stack.offset_40 = *(generic32_t *) NULL;
  stack.offset_12 = segment_2.offset_0 ^ ((pointer_or_number32_t) &stack.offset_48 + 4);
  *(generic32_t **) NULL = &stack.offset_40;
  stack.offset_36 = &stack.offset_12;
  var_2 = var_0;
  if ((var_2 | 0xF) != (pointer_or_number32_t) -1) {
    generic8_t var_3;
    var_3 = *(generic32_t *) NULL >> 1 > (number32_t) ((uint64_t) ((var_2 | 0xF) * 2863311531) >> 33);
    var_2 = var_2 | 0xF;
    if (var_3) {
      generic32_t var_4;
      var_4 = *(generic32_t *) NULL > 4294967294 - (*(generic32_t *) NULL >> 1) ? 4294967294 : *(generic32_t *) NULL + (*(generic32_t *) NULL >> 1);
      var_2 = var_4;
    }
  }
  generic32_t var_5;
  *(generic32_t *) &stack.offset_48 = 0;
  *(generic32_t *) &stack.offset_32 = 0;
  var_5 = 0;
  if (var_2 != (pointer_or_number32_t) -1) {
    generic32_t var_6;
    stack.offset_8 = var_2 + 1;
    var_6 = ((cabifunction_631 *) *(generic32_t *) "ZU")();
    var_5 = var_6;
    *(generic32_t *) &stack.offset_32 = var_5;
    if (!var_5) {
      generic32_t var_7;
      generic32_t var_8;
      ((cabifunction_632 *) *(generic32_t *) "\014N")();
      stack.offset_36 = &stack.offset_12;
      stack.offset_8 = var_0 + 1;
      stack.offset_48.member_0 = '\002';
      var_7 = function_0x4024b0_Code_x86(var_8);
      *(generic32_t *) &stack.offset_32 = var_7;
      revng_abort("A longjmp was taken");
    }
  }
  if (var_1) {
    generic32_t var_9;
    var_9 = *(generic32_t *) NULL < 16 ? undef(generic32_t) : *(generic32_t *) NULL;
    stack.offset_8 = var_1;
    stack.offset_4 = var_9;
    stack.offset_0 = var_5;
    function_0x403286_Code_x86();
  }
  if (!(*(generic32_t *) NULL < 16)) {
    stack.offset_8 = *(generic32_t *) NULL;
    ((cabifunction_633 *) *(generic32_t *) "JU")();
  }
  *(generic32_t *) NULL = var_1;
  *(generic8_t *) (var_1 + *(generic32_t *) &stack.offset_32) = '\000';
  *(generic32_t *) NULL = stack.offset_40;
}

_ABI(Microsoft_x86_cdecl) _Noreturn
void function_0x402414_Code_x86(void) {
  struct_365 stack;
  if (*(generic32_t *) NULL) {
    generic32_t var_0;
    var_0 = *(generic32_t *) NULL;
    if (!(*(generic32_t *) (*(generic32_t *) NULL + 20) < 16)) {
      var_0 = *(generic32_t *) *(generic32_t *) NULL;
    }
    stack.offset_8 = *(generic32_t *) NULL;
    stack.offset_4 = var_0;
    stack.offset_0 = *(generic32_t *) NULL;
    function_0x403286_Code_x86();
  }
  generic32_t var_1;
  if (*(generic32_t *) (*(generic32_t *) NULL + 20) < 16) {
    *(generic32_t *) *(generic32_t *) NULL = *(generic32_t *) NULL;
    *(generic32_t *) (*(generic32_t *) NULL + 20) = *(generic32_t *) NULL;
    *(generic32_t *) (*(generic32_t *) NULL + 16) = *(generic32_t *) NULL;
    var_1 = *(generic32_t *) NULL < 16 ? *(generic32_t *) NULL : *(generic32_t *) NULL;
    *(generic8_t *) (*(generic32_t *) NULL + var_1) = '\000';
    revng_abort("A longjmp was taken");
  } else {
    stack.offset_8 = *(generic32_t *) *(generic32_t *) NULL;
    ((cabifunction_757 *) *(generic32_t *) "JU")();
    *(generic32_t *) *(generic32_t *) NULL = *(generic32_t *) NULL;
    *(generic32_t *) (*(generic32_t *) NULL + 20) = *(generic32_t *) NULL;
    *(generic32_t *) (*(generic32_t *) NULL + 16) = *(generic32_t *) NULL;
    var_1 = *(generic32_t *) NULL < 16 ? *(generic32_t *) NULL : *(generic32_t *) NULL;
    *(generic8_t *) (*(generic32_t *) NULL + var_1) = '\000';
    revng_abort("A longjmp was taken");
  }
}

_ABI(Microsoft_x86_cdecl) _Noreturn
void function_0x402431_Code_x86(void) {
  struct_366 stack;
  generic32_t var_0;
  struct_510 *var_1;
  if (*(generic32_t *) (*(generic32_t *) NULL + 20) < 16) {
    var_0 = *(generic32_t *) NULL;
    var_1 = &stack.offset_8;
  } else {
    var_0 = *(generic32_t *) NULL;
    *(generic32_t *) &stack.offset_8 = *(generic32_t *) var_0;
    ((cabifunction_758 *) *(generic32_t *) "JU")();
    var_1 = &stack.offset_8;
  }
  *(generic32_t *) var_1 = 0;
  *(generic32_t *) (*(generic32_t *) NULL + 20) = 15;
  *(generic32_t *) (*(generic32_t *) NULL + 16) = 0;
  *(generic32_t *) &stack.offset_4 = 0;
  *(generic8_t *) var_0 = '\000';
  function_0x40327a_Code_x86();
  if (*(generic32_t *) (*(generic32_t *) NULL + 20) < 16) {
    *(generic32_t *) var_0 = *(generic32_t *) NULL;
    *(generic8_t *) NULL = '\000';
    revng_abort("A longjmp was taken");
  } else {
    *(generic32_t *) &stack.offset_0 = *(generic32_t *) var_0;
    ((cabifunction_759 *) *(generic32_t *) "JU")();
    *(generic32_t *) var_0 = *(generic32_t *) NULL;
    *(generic8_t *) NULL = '\000';
    revng_abort("A longjmp was taken");
  }
}

_ABI(Microsoft_x86_cdecl)
generic32_t function_0x4024b0_Code_x86(generic32_t argument_0) {
  struct_364 stack;
  generic32_t var_0;
  generic32_t var_1;
  var_0 = argument_0;
  var_1 = 0;
  if (argument_0) {
    generic32_t var_2;
    stack.offset_0 = argument_0;
    var_2 = ((cabifunction_634 *) *(generic32_t *) "ZU")();
    var_1 = var_2;
    if (!var_1) {
      generic32_t var_3;
      var_3 = ((rawfunction_92 *) *(generic32_t *) "\014N")();
      var_1 = var_3;
    }
  }
  return var_1;
}

_ABI(Microsoft_x86_cdecl)
generic32_t function_0x4024e0_Code_x86(void) {
  struct_367 stack;
  generic32_t var_0;
  generic32_t var_1;
  generic32_t var_2;
  generic32_t var_3;
  generic32_t var_4;
  generic32_t var_5;
  artificial_struct_returned_by_rawfunction_94 var_6;
  *(generic32_t *) &stack.offset_60 = 4294967295;
  stack.offset_56 = function_0x403309_Code_x86;
  stack.offset_52 = *(generic32_t *) NULL;
  stack.offset_16 = segment_2.offset_0 ^ ((pointer_or_number32_t) &stack.offset_60 + 4);
  *(generic32_t **) NULL = &stack.offset_52;
  *(generic32_t *) &stack.offset_12 = 0;
  var_4 = ((rawfunction_93 *) segment_1.offset_60)((pointer_or_number32_t) &stack.offset_16 + 28);
  *(generic32_t *) &stack.offset_60 = 0;
  *(generic32_t *) &stack.offset_48 = *(generic32_t *) ((pointer_or_number32_t) &segment_2.offset_808 + 856);
  var_6 = ((rawfunction_94 *) segment_1.offset_164)(*(generic32_t *) "&N");
  var_3 = var_6.register_eax;
  var_2 = var_6.register_ebx;
  var_1 = var_6.register_ecx;
  var_5 = var_1;
  if (var_3 < *(generic32_t *) (*(generic32_t *) var_2 + 12)) {
    var_5 = *(generic32_t *) (*(generic32_t *) var_2 + 8);
    if (*(generic32_t *) ((var_3 << 2) + var_5)) {
      var_0 = ((rawfunction_99 *) *(generic32_t *) "jN")((pointer_or_number32_t) &stack.offset_16 + 28);
      *(generic32_t *) NULL = stack.offset_52;
      return var_0;
    }
  }
  generic32_t var_7;
  generic32_t var_8;
  var_8 = var_5;
  var_7 = var_2;
  if (*(generic8_t *) (*(generic32_t *) var_2 + 20)) {
    generic32_t var_9;
    generic32_t var_10;
    generic32_t var_11;
    generic32_t var_12;
    artificial_struct_returned_by_rawfunction_95 var_13;
    var_13 = ((rawfunction_95 *) segment_1.offset_68)(var_5);
    var_12 = var_13.register_eax;
    var_11 = var_13.register_ebx;
    var_7 = var_11;
    var_10 = var_13.register_ecx;
    var_8 = var_10;
    var_9 = var_13.register_edi;
    if (var_9 < *(generic32_t *) (var_12 + 12)) {
      var_7 = var_11;
      var_8 = var_10;
      if (*(generic32_t *) ((var_9 << 2) + *(generic32_t *) (var_12 + 8))) {
        var_0 = ((rawfunction_99 *) *(generic32_t *) "jN")((pointer_or_number32_t) &stack.offset_16 + 28);
        *(generic32_t *) NULL = stack.offset_52;
        return var_0;
      }
    }
  }
  if (!*(generic32_t *) &stack.offset_48) {
    generic32_t var_14;
    generic32_t var_15;
    stack.offset_8 = var_7;
    stack.offset_4 = &stack.offset_48;
    var_14 = ((rawfunction_96 *) *(generic32_t *) "LT")(var_8);
    var_15 = &stack.offset_8;
    if (var_14 == (pointer_or_number32_t) -1) {
      generic32_t var_16;
      stack.offset_8 = "bad cast";
      var_16 = ((rawfunction_97 *) segment_1.offset_340)((pointer_or_number32_t) &stack.offset_16 + 16);
      stack.offset_4 = "";
      stack.offset_0 = (pointer_or_number32_t) &stack.offset_16 + 16;
      function_0x40327a_Code_x86();
      var_15 = (pointer_or_number32_t) &stack - 4;
    }
    generic32_t var_17;
    generic32_t var_18;
    artificial_struct_returned_by_rawfunction_98 var_19;
    *(generic32_t *) ((pointer_or_number32_t) &segment_2.offset_808 + 856) = *(generic32_t *) &stack.offset_48;
    var_19 = ((rawfunction_98 *) *(generic32_t *) (*(generic32_t *) *(generic32_t *) &stack.offset_48 + 4))(*(generic32_t *) &stack.offset_48);
    var_18 = var_19.register_ecx;
    var_17 = var_19.register_esi;
    *(generic32_t *) var_15 = var_17;
    function_0x402856_Code_x86();
  }
  var_0 = ((rawfunction_99 *) *(generic32_t *) "jN")((pointer_or_number32_t) &stack.offset_16 + 28);
  *(generic32_t *) NULL = stack.offset_52;
  return var_0;
}

_ABI(Microsoft_x86_cdecl)
generic32_t function_0x4025d0_Code_x86(void) {
  struct_369 stack;
  generic32_t var_0;
  *(generic32_t *) &stack.offset_80 = 4294967295;
  stack.offset_76 = function_0x403348_Code_x86;
  stack.offset_72 = *(generic32_t *) NULL;
  stack.offset_12 = segment_2.offset_0 ^ ((pointer_or_number32_t) &stack.offset_80 + 4);
  *(generic32_t **) NULL = &stack.offset_72;
  stack.offset_68 = &stack.offset_12;
  *(generic32_t *) &stack.offset_44 = 0;
  stack.offset_67 = '\000';
  if (*(generic32_t *) NULL) {
    generic32_t var_1;
    generic32_t var_2;
    generic32_t var_3;
    generic32_t var_4;
    artificial_struct_returned_by_rawfunction_100 var_5;
    var_5 = ((rawfunction_100 *) *(generic32_t *) (*(generic32_t *) *(generic32_t *) NULL + 4))();
    var_4 = var_5.register_eax;
    var_3 = var_5.register_ebx;
    var_2 = var_5.register_esi;
    var_0 = var_2;
    var_1 = var_5.register_edi;
  }
  generic32_t var_6;
  generic32_t var_7;
  generic32_t var_8;
  generic32_t var_9;
  generic32_t var_10;
  generic32_t var_11;
  generic32_t var_12;
  generic32_t var_13;
  artificial_struct_returned_by_rawfunction_101 var_14;
  *(generic32_t *) &stack.offset_8 = 0;
  *(generic32_t *) &stack.offset_80 = 0;
  var_14 = ((rawfunction_101 *) segment_1.offset_80)(var_0);
  var_9 = var_14.register_eax;
  var_8 = var_14.register_ebx;
  var_7 = var_14.register_esi;
  var_6 = var_14.register_edi;
  stack.offset_40 = (number8_t) var_9;
  *(generic32_t *) &stack.offset_80 = 1;
  if (!(number8_t) var_9) {
    var_10 = &stack.offset_4;
    var_13 = &stack.offset_8;
    var_11 = var_6;
    var_12 = var_7;
  } else {
    struct_520 **var_15;
    generic32_t var_16;
    generic32_t var_17;
    generic32_t var_18;
    generic32_t var_19;
    generic32_t var_20;
    generic32_t var_21;
    generic32_t var_22;
    generic32_t var_23;
    artificial_struct_returned_by_rawfunction_102 var_24;
    stack.offset_4 = &stack.offset_56;
    var_24 = ((rawfunction_102 *) *(generic32_t *) "\"T")(*(generic32_t *) (*(generic32_t *) var_7 + 4) + var_7);
    var_20 = var_24.register_eax;
    var_19 = var_24.register_ebx;
    var_21 = var_19;
    var_18 = var_24.register_esi;
    var_22 = var_18;
    var_17 = var_24.register_edi;
    stack.offset_80.member_1 = '\002';
    var_16 = function_0x4024e0_Code_x86();
    stack.offset_80.member_1 = '\001';
    var_15 = stack.offset_56;
    stack.offset_52 = var_16;
    var_23 = &stack.offset_4;
    if (var_15) {
      generic32_t var_25;
      generic32_t var_26;
      generic32_t var_27;
      generic32_t var_28;
      artificial_struct_returned_by_rawfunction_103 var_29;
      var_29 = ((rawfunction_103 *) (*var_15)->offset_8)();
      var_28 = var_29.register_eax;
      var_27 = var_29.register_ebx;
      var_21 = var_27;
      var_26 = var_29.register_esi;
      var_22 = var_26;
      var_25 = var_29.register_edi;
      var_23 = &stack.offset_4;
      if (var_28) {
        generic32_t var_30;
        generic32_t var_31;
        generic32_t var_32;
        artificial_struct_returned_by_rawfunction_104 var_33;
        *(generic32_t *) &stack.offset_0 = 1;
        var_33 = ((rawfunction_104 *) *(generic32_t *) *(generic32_t *) var_28)(var_28);
        var_32 = var_33.register_ebx;
        var_21 = var_32;
        var_31 = var_33.register_esi;
        var_22 = var_31;
        var_30 = var_33.register_edi;
        var_23 = &stack;
      }
    }
    generic32_t var_34;
    var_34 = var_21;
    *(generic32_t *) (var_34 + 16) = 0;
    if (!(*(generic32_t *) (var_34 + 20) < 16)) {
      var_34 = *(generic32_t *) var_21;
    }
    generic32_t var_35;
    generic32_t var_36;
    generic8_t var_37;
    *(generic8_t *) var_34 = '\000';
    stack.offset_80.member_1 = '\003';
    var_37 = bit_parity((number8_t) *(generic32_t *) (var_22 + *(generic32_t *) (*(generic32_t *) var_22 + 4) + 36));
    var_36 = !*(generic32_t *) (var_22 + *(generic32_t *) (*(generic32_t *) var_22 + 4) + 36) ? 64 : 0;
    var_35 = lshift(*(generic32_t *) (var_22 + *(generic32_t *) (*(generic32_t *) var_22 + 4) + 36), 4294967272);
    if ((var_36 | var_37 | (var_35 & 0x80)) < 128) {
      if (!((var_36 | var_37 | (var_35 & 0x80)) > 63 && !*(generic32_t *) (var_22 + *(generic32_t *) (*(generic32_t *) var_22 + 4) + 32))) {
        stack.offset_32 = *(generic32_t *) (var_22 + *(generic32_t *) (*(generic32_t *) var_22 + 4) + 36);
      }
    }
    generic32_t var_38;
    generic32_t var_39;
    generic32_t var_40;
    generic32_t var_41;
    generic32_t var_42;
    artificial_struct_returned_by_rawfunction_105 var_43;
    var_43 = ((rawfunction_105 *) segment_1.offset_148)(*(generic32_t *) (var_22 + *(generic32_t *) (*(generic32_t *) var_22 + 4) + 56));
    var_41 = var_43.register_eax;
    var_40 = var_43.register_ebx;
    var_39 = var_43.register_esi;
    var_38 = var_43.register_edi;
    var_42 = var_38;
    if (var_40) {
      if (var_41 == (pointer_or_number32_t) -1) {
        var_42 = var_38 | 0x1;
      } else {
        var_42 = var_38;
        if (!(*(generic8_t *) (((var_41 & 0xFF) << 1) + stack.offset_52->offset_12) & 0x48)) {
          *(generic32_t *) (var_23 - 4) = var_41;
          *(generic32_t *) (var_23 - 8) = var_41 & 0xFF;
          function_0x401f70_Code_x86();
        }
      }
    }
    var_11 = var_42;
    *(generic32_t *) &stack.offset_80 = 1;
    var_10 = var_23 - 4;
    var_12 = var_39;
    var_13 = var_23;
  }
  generic32_t var_44;
  generic32_t var_45;
  generic32_t var_46;
  *(generic32_t *) (var_12 + *(generic32_t *) (*(generic32_t *) var_12 + 4) + 32) = 0;
  *(generic32_t *) (var_12 + *(generic32_t *) (*(generic32_t *) var_12 + 4) + 36) = 0;
  var_45 = !stack.offset_67 ? var_11 | 0x2 : var_11;
  *(generic32_t *) var_10 = 0;
  *(generic32_t *) (var_13 - 8) = var_45;
  var_44 = ((rawfunction_106 *) segment_1.offset_100)(*(generic32_t *) (*(generic32_t *) var_12 + 4) + var_12);
  var_46 = var_44;
  *(generic32_t *) &stack.offset_80 = 4294967295;
  if (*(generic32_t *) ((pointer_or_number32_t) &stack.offset_36[14] + (*stack.offset_36)->offset_4 * 1)) {
    generic32_t var_47;
    var_47 = ((rawfunction_107 *) *(generic32_t *) (*(generic32_t *) *(generic32_t *) ((pointer_or_number32_t) &stack.offset_36[14] + (*stack.offset_36)->offset_4 * 1) + 8))();
    var_46 = var_47;
  }
  *(generic32_t *) NULL = stack.offset_72;
  return var_46;
}

_ABI(Microsoft_x86_cdecl) _Noreturn
void function_0x402709_Code_x86(void) {
  struct_370 stack;
  *(generic32_t *) &stack.offset_4 = 1;
  stack.offset_0 = 4;
  ((rawfunction_240 *) segment_1.offset_100)(*(generic32_t *) (*(generic32_t *) *(generic32_t *) NULL + 4) + *(generic32_t *) NULL);
  revng_abort("A longjmp was taken");
}

_ABI(Microsoft_x86_cdecl) _Noreturn
void function_0x402723_Code_x86(void) {
  struct_371 stack;
  *(generic32_t *) NULL = 1;
  *(generic32_t *) (*(generic32_t *) NULL + *(generic32_t *) (*(generic32_t *) *(generic32_t *) NULL + 4) + 32) = 0;
  *(generic32_t *) (*(generic32_t *) NULL + *(generic32_t *) (*(generic32_t *) *(generic32_t *) NULL + 4) + 36) = 0;
  *(generic32_t *) &stack.offset_4 = 0;
  stack.offset_0 = *(generic32_t *) NULL;
  ((rawfunction_241 *) segment_1.offset_100)(*(generic32_t *) (*(generic32_t *) *(generic32_t *) NULL + 4) + *(generic32_t *) NULL);
  *(generic32_t *) NULL = 4294967295;
  if (!*(generic32_t *) (*(generic32_t *) (*(generic32_t *) (generic32_t) 4294967295 + 4) + 55)) {
    revng_abort("A longjmp was taken");
  } else {
    ((cabifunction_760 *) *(generic32_t *) (*(generic32_t *) *(generic32_t *) (*(generic32_t *) (*(generic32_t *) (generic32_t) 4294967295 + 4) + 55) + 8))();
    revng_abort("A longjmp was taken");
  }
}

_ABI(Microsoft_x86_cdecl)
generic32_t function_0x402790_Code_x86(generic32_t argument_0) {
  generic32_t var_0;
  var_0 = argument_0;
  return argument_0;
}

_ABI(Microsoft_x86_cdecl)
struct_452 *function_0x402815_Code_x86(generic8_t argument_0) {
  generic8_t var_0;
  var_0 = argument_0;
  *(generic32_t *) NULL = (pointer_or_number32_t) &segment_1.offset_756 + 108;
  *(generic32_t *) NULL = *(generic32_t *) (generic32_t) 4211556 - 104;
  function_0x401750_Code_x86();
  ((rawfunction_243 *) *(generic32_t *) "PP")(undef(generic32_t));
  ((rawfunction_244 *) segment_1.offset_104)(undef(generic32_t));
  if ((*(generic8_t *) ((number64_t) &var_0 & 0xFFFFFFFF) & 0x1)) {
    ((rawfunction_245 *) *(generic32_t *) "JU")(undef(generic32_t));
  }
  return (struct_452 *) undef(generic32_t);
}

_ABI(Microsoft_x86_cdecl) _Noreturn
void function_0x40281d_Code_x86(void) {
  struct_373 stack;
  generic32_t var_0;
  var_0 = ((cabifunction_636 *) *(generic32_t *) (*(generic32_t *) *(generic32_t *) NULL + 8))();
  if (!var_0) {
    revng_abort("A longjmp was taken");
  } else {
    *(generic32_t *) &stack = 1;
    ((rawfunction_110 *) *(generic32_t *) *(generic32_t *) var_0)(var_0);
    revng_abort("A longjmp was taken");
  }
}

_ABI(Microsoft_x86_cdecl)
void function_0x402856_Code_x86(void) {
  struct_368 stack;
  *(generic32_t *) &stack.offset_0 = 8;
  function_0x402a26_Code_x86();
  segment_2.offset_808 = 0;
}

_ABI(Microsoft_x86_cdecl)
void function_0x40287e_Code_x86(void) {
}

_ABI(Microsoft_x86_cdecl)
void function_0x402884_Code_x86(void) {
}

_ABI(Microsoft_x86_cdecl)
void function_0x40288a_Code_x86(void) {
}

_ABI(Microsoft_x86_cdecl)
void function_0x402890_Code_x86(void) {
}

_ABI(Microsoft_x86_cdecl)
void function_0x402896_Code_x86(void) {
}

_ABI(Microsoft_x86_cdecl)
void function_0x40289c_Code_x86(void) {
}

_ABI(Microsoft_x86_cdecl)
void function_0x4028a2_Code_x86(void) {
}

_ABI(Microsoft_x86_cdecl)
void function_0x4028a8_Code_x86(void) {
}

_ABI(Microsoft_x86_cdecl)
void function_0x4028ae_Code_x86(void) {
}

_ABI(Microsoft_x86_cdecl)
void function_0x4028b4_Code_x86(void) {
}

_ABI(Microsoft_x86_cdecl)
void function_0x4028c4_Code_x86(void) {
}

_ABI(Microsoft_x86_cdecl)
void function_0x4028ca_Code_x86(void) {
}

_ABI(Microsoft_x86_cdecl)
void function_0x4028d0_Code_x86(void) {
}

_ABI(Microsoft_x86_cdecl)
generic32_t function_0x4028d6_Code_x86(void) {
  struct_375 stack;
  generic32_t var_0;
  var_0 = 0;
  if (!*(generic32_t *) ((pointer_or_number32_t) &segment_2.offset_808 + 888)) {
    generic32_t var_1;
    generic32_t var_2;
    generic32_t var_3;
    generic32_t var_4;
    artificial_struct_returned_by_rawfunction_259 var_5;
    stack.offset_4 = 4;
    stack.offset_0 = 32;
    var_4 = ((cabifunction_773 *) segment_1.offset_208)();
    var_1 = stack.offset_4;
    stack.offset_4 = var_4;
    var_5 = ((rawfunction_259 *) *(generic32_t *) "hW")(var_1);
    var_3 = var_5.register_eax;
    var_2 = var_5.register_esi;
    *(generic32_t *) ((pointer_or_number32_t) &segment_2.offset_808 + 888) = var_3;
    *(generic32_t *) ((pointer_or_number32_t) &segment_2.offset_808 + 884) = var_3;
    if (!var_2) {
      stack.offset_0 = 24;
      var_0 = 24;
    } else {
      *(generic32_t *) var_2 = 0;
      var_0 = 0;
    }
  }
  return var_0;
}

_ABI(Microsoft_x86_cdecl) _Noreturn
void function_0x402912_Code_x86(void) {
  generic32_t var_0;
  struct_510 var_1;
  *(generic32_t *) (revng_undefined_local_sp() - 4) = 20;
  *(generic32_t *) (revng_undefined_local_sp() - 8) = (pointer_or_number32_t) &segment_1.offset_2336 + 368;
  function_0x402e40_Code_x86(var_1, var_0);
}

_ABI(Microsoft_x86_cdecl)
void function_0x4029af_Code_x86(void) {
  struct_376 stack;
  *(generic32_t *) &stack = 8;
  function_0x402e2c_Code_x86();
}

_ABI(Microsoft_x86_cdecl)
void function_0x4029b2_Code_x86(void) {
  struct_377 stack;
  *(generic32_t *) &stack = 8;
  function_0x402e2c_Code_x86();
}

_ABI(Microsoft_x86_cdecl) _Noreturn
void function_0x4029bb_Code_x86(generic32_t argument_0) {
  struct_342 stack;
  generic32_t var_0;
  var_0 = argument_0;
  stack.offset_0 = argument_0;
  function_0x402912_Code_x86();
}

_ABI(Microsoft_x86_cdecl)
void function_0x4029d0_Code_x86(void) {
}

_ABI(Microsoft_x86_cdecl)
void function_0x4029d6_Code_x86(void) {
}

_ABI(Microsoft_x86_cdecl)
struct_452 *function_0x4029dc_Code_x86(generic8_t argument_0) {
  struct_378 stack;
  generic8_t var_0;
  var_0 = argument_0;
  if ((*(generic8_t *) ((number64_t) &var_0 & 0xFFFFFFFF) & 0x2)) {
    stack.offset_12 = function_0x402f8a_Code_x86;
    stack.offset_8 = *(generic32_t *) NULL;
    stack.offset_4 = 12;
    function_0x402ebc_Code_x86();
  }
  function_0x402f8a_Code_x86();
  if ((*(generic8_t *) ((number64_t) &var_0 & 0xFFFFFFFF) & 0x1)) {
    function_0x4029d6_Code_x86();
  }
  return (struct_452 *) undef(generic32_t);
}

_ABI(Microsoft_x86_cdecl)
void function_0x402a26_Code_x86(void) {
}

_ABI(Microsoft_x86_cdecl)
generic32_t function_0x402a2c_Code_x86(void) {
  struct_379 stack;
  generic32_t var_0;
  var_0 = 0;
  if (*(generic16_t *) 4194304 == 23117) {
    var_0 = 0;
    if (*(generic32_t *) (*(generic32_t *) 4194364 + 4194304) == 17744) {
      var_0 = 0;
      if (*(generic16_t *) (*(generic32_t *) 4194364 + 4194328) == 267) {
        var_0 = 0;
        if (*(generic32_t *) (*(generic32_t *) 4194364 + 4194420) > 14) {
          var_0 = *(generic32_t *) (*(generic32_t *) 4194364 + 4194536) != 0;
        }
      }
    }
  }
  generic32_t var_1;
  generic32_t var_2;
  generic32_t var_3;
  *(generic32_t *) &stack.offset_4 = 2;
  *(generic32_t *) ((pointer_or_number32_t) &segment_2.offset_808 + 16) = var_0;
  var_3 = ((cabifunction_775 *) segment_1.offset_240)();
  *(generic32_t *) &stack.offset_4 = 4294967295;
  var_2 = ((rawfunction_264 *) *(generic32_t *) "hW")(*(generic32_t *) &stack.offset_4);
  *(generic32_t *) ((pointer_or_number32_t) &segment_2.offset_808 + 884) = var_2;
  *(generic32_t *) ((pointer_or_number32_t) &segment_2.offset_808 + 888) = var_2;
  *segment_1.offset_280 = *(generic32_t *) ((pointer_or_number32_t) &segment_2.offset_808 + 852);
  *segment_1.offset_284 = *(generic32_t *) ((pointer_or_number32_t) &segment_2.offset_808 + 840);
  function_0x4031d0_Code_x86();
  var_1 = function_0x4031cd_Code_x86();
  if (!segment_2.offset_16) {
    *(cabifunction_604 **) &stack.offset_0 = function_0x4031cd_Code_x86;
    ((rawfunction_265 *) *(generic32_t *) "^V")(var_1);
  }
  function_0x403210_Code_x86();
  if (segment_2.offset_20 == (pointer_or_number32_t) -1) {
    *(generic32_t *) &stack.offset_0 = 4294967295;
    ((cabifunction_776 *) *(generic32_t *) "HV")();
  }
  return 0;
}

_ABI(Microsoft_x86_cdecl) _Noreturn
void function_0x402ae5_Code_x86(void) {
  generic32_t var_0;
  *(cabifunction_712 **) (revng_undefined_local_sp() - 4) = function_0x4031f0_Code_x86;
  function_0x4029bb_Code_x86(var_0);
}

_ABI(Microsoft_x86_cdecl) _Noreturn
void function_0x402b30_Code_x86(void) {
  generic32_t var_0;
  struct_510 var_1;
  function_0x403131_Code_x86();
  *(generic32_t *) (revng_undefined_local_sp() - 4) = 20;
  *(generic32_t *) (revng_undefined_local_sp() - 8) = (pointer_or_number32_t) &segment_1.offset_2336 + 400;
  function_0x402e40_Code_x86(var_1, var_0);
}

_ABI(Microsoft_x86_cdecl)
void function_0x402c9e_Code_x86(void) {
  struct_383 stack;
  *(generic32_t *) NULL = *(generic32_t *) *(generic32_t *) *(generic32_t *) NULL;
  stack.offset_4 = *(generic32_t *) NULL;
  stack.offset_0 = *(generic32_t *) *(generic32_t *) *(generic32_t *) NULL;
  function_0x402fe0_Code_x86();
}

_ABI(Microsoft_x86_cdecl) _Noreturn
void function_0x402cb2_Code_x86(void) {
  generic32_t var_0;
  *(generic32_t *) ((pointer_or_number32_t) &segment_2.offset_808 + 12) = *(generic32_t *) NULL;
  if (!*(generic32_t *) ((pointer_or_number32_t) &segment_2.offset_808 + 16)) {
    generic32_t var_1;
    generic32_t var_2;
    artificial_struct_returned_by_rawfunction_268 var_3;
    *(generic32_t *) (*(generic32_t *) NULL - 4) = *(generic32_t *) NULL;
    var_3 = ((rawfunction_268 *) *(generic32_t *) "(V")();
    var_2 = var_3.register_eax;
    var_1 = var_3.register_ebp;
    var_0 = var_1;
  }
  generic32_t var_4;
  var_4 = var_0;
  if (*(generic32_t *) ((pointer_or_number32_t) &segment_2.offset_808 + 8)) {
    *(generic32_t *) (var_4 - 4) = 4294967294;
    function_0x402e85_Code_x86();
  }
  generic32_t var_5;
  var_5 = ((rawfunction_269 *) *(generic32_t *) "0V")();
  var_4 = var_5;
  *(generic32_t *) (var_4 - 4) = 4294967294;
  function_0x402e85_Code_x86();
}

_ABI(Microsoft_x86_cdecl)
void function_0x402cee_Code_x86(generic32_t argument_0) {
  struct_374 stack;
  generic32_t var_0;
  generic32_t var_1;
  generic32_t var_2;
  artificial_struct_returned_by_rawfunction_113 var_3;
  var_2 = argument_0;
  var_3 = ((rawfunction_113 *) segment_1.offset_28)();
  var_1 = var_3.register_eax;
  var_0 = var_3.register_ecx;
  *(generic32_t *) &stack.offset_4 = 1;
  *(generic32_t *) ((pointer_or_number32_t) &segment_2.offset_808 + 836) = var_1;
  function_0x403244_Code_x86();
  stack.offset_0 = var_2;
  function_0x40324a_Code_x86();
  if (!*(generic32_t *) ((pointer_or_number32_t) &segment_2.offset_808 + 836)) {
    *(generic32_t *) &stack.offset_4 = 1;
    function_0x403244_Code_x86();
  }
  *(generic32_t *) &stack.offset_4 = 3221226505;
  function_0x403250_Code_x86();
}

_ABI(Microsoft_x86_cdecl)
void function_0x402e26_Code_x86(void) {
}

_ABI(Microsoft_x86_cdecl)
void function_0x402e2c_Code_x86(void) {
}

_ABI(Microsoft_x86_cdecl)
void function_0x402e32_Code_x86(void) {
}

_ABI(Microsoft_x86_cdecl) _Noreturn
void function_0x402e40_Code_x86(struct_510 argument_0, generic32_t argument_1) {
  generic32_t var_0;
  var_0 = argument_1;
  *(cabifunction_705 **) (revng_undefined_local_sp() - 4) = function_0x402e99_Code_x86;
  *(generic32_t *) (revng_undefined_local_sp() - 8) = *(generic32_t *) NULL;
  *(generic32_t *) &argument_0 = *(generic32_t *) &argument_0 ^ segment_2.offset_0;
  *(generic32_t *) (revng_undefined_local_sp() - 8 - var_0 - 16) = segment_2.offset_0 ^ (revng_undefined_local_sp() + 8);
  *(generic32_t *) (revng_undefined_local_sp() - 16) = revng_undefined_local_sp() - 8 - var_0 - 16;
  *(generic32_t *) (revng_undefined_local_sp() - 8 - var_0 - 20) = *(generic32_t *) revng_undefined_local_sp();
  *(generic32_t *) &argument_0 = 4294967294;
  *(generic32_t *) revng_undefined_local_sp() = *(generic32_t *) &argument_0;
  *(generic32_t *) NULL = revng_undefined_local_sp() - 8;
  revng_abort("A longjmp was taken");
}

_ABI(Microsoft_x86_cdecl) _Noreturn
void function_0x402e85_Code_x86(void) {
  *(generic32_t *) NULL = *(generic32_t *) revng_undefined_local_sp();
  revng_abort("A longjmp was taken");
}

_ABI(Microsoft_x86_cdecl)
void function_0x402e99_Code_x86(generic32_t argument_0, generic32_t argument_1, generic32_t argument_2, generic32_t argument_3) {
  struct_384 stack;
  generic32_t var_0;
  generic32_t var_1;
  generic32_t var_2;
  generic32_t var_3;
  var_0 = argument_0;
  var_1 = argument_1;
  var_2 = argument_2;
  var_3 = argument_3;
  stack.offset_20 = argument_3;
  stack.offset_16 = var_2;
  stack.offset_12 = var_1;
  stack.offset_8 = var_0;
  stack.offset_4 = function_0x4028b4_Code_x86;
  stack.offset_0 = &segment_2;
  function_0x403256_Code_x86();
}

_ABI(Microsoft_x86_cdecl) _Noreturn
void function_0x402ebc_Code_x86(void) {
  generic32_t var_0;
  struct_510 var_1;
  *(generic32_t *) (revng_undefined_local_sp() - 4) = 12;
  *(generic32_t *) (revng_undefined_local_sp() - 8) = (pointer_or_number32_t) &segment_1.offset_2336 + 432;
  function_0x402e40_Code_x86(var_1, var_0);
}

_ABI(Microsoft_x86_cdecl)
void function_0x402f0f_Code_x86(void) {
  struct_385 stack;
  if (!(*(generic32_t *) NULL)) {
    *(generic32_t *) &stack.offset_12 = 0;
    *(generic32_t *) &stack.offset_8 = 0;
    *(generic32_t *) &stack.offset_4 = 0;
    *(generic32_t *) &stack.offset_0 = 0;
    function_0x402f2b_Code_x86();
  }
}

_ABI(Microsoft_x86_cdecl)
void function_0x402f1b_Code_x86(void) {
  struct_386 stack;
  stack.offset_12 = *(generic32_t *) NULL;
  function_0x402f2b_Code_x86();
}

_ABI(Microsoft_x86_cdecl) _Noreturn
void function_0x402f2b_Code_x86(void) {
  generic32_t var_0;
  struct_510 var_1;
  *(generic32_t *) (revng_undefined_local_sp() - 4) = 20;
  *(generic32_t *) (revng_undefined_local_sp() - 8) = (pointer_or_number32_t) &segment_1.offset_2336 + 464;
  function_0x402e40_Code_x86(var_1, var_0);
}

_ABI(Microsoft_x86_cdecl)
generic32_t function_0x402f4e_Code_x86(void) {
  *(generic32_t *) NULL = *(generic32_t *) *(generic32_t *) NULL;
  if (!(*(generic32_t *) *(generic32_t *) *(generic32_t *) NULL != (pointer_or_number32_t) -529697949)) {
    function_0x40325c_Code_x86();
    *(generic32_t *) NULL = 4294967294;
    function_0x402e85_Code_x86();
  }
  *(generic32_t *) NULL = 0;
  return 0;
}

_ABI(Microsoft_x86_cdecl)
void function_0x402f8a_Code_x86(void) {
}

_ABI(Microsoft_x86_cdecl)
generic32_t function_0x402f90_Code_x86(struct_545 **argument_0) {
  struct_545 **var_0;
  var_0 = argument_0;
  if (((*argument_0)->offset_0 == (pointer_or_number32_t) -529697949) && ((*argument_0)->offset_16 == 3)) {
    switch ((number32_t) (*argument_0)->offset_20) {
      case 26820608:
      case 429065504:
      case 429065505:
      case 429065506:
      {
        function_0x40325c_Code_x86();
      } break;
    }
  }
  return 0;
}

_ABI(Microsoft_x86_cdecl)
generic32_t function_0x402fd1_Code_x86(void) {
  struct_388 stack;
  *(cabifunction_708 **) &stack = function_0x402f90_Code_x86;
  function_0x403262_Code_x86();
  return 0;
}

_ABI(Microsoft_x86_cdecl)
void function_0x402fe0_Code_x86(void) {
}

_ABI(Microsoft_x86_cdecl)
void function_0x402fe6_Code_x86(void) {
}

_ABI(Microsoft_x86_cdecl)
struct_551 *function_0x402ff0_Code_x86(struct_547 *argument_0, generic32_t argument_1) {
  struct_547 *var_0;
  generic32_t var_1;
  generic32_t var_2;
  var_0 = argument_0;
  var_1 = argument_1;
  var_2 = 0;
  if (*(generic16_t *) (argument_0->offset_60 + (pointer_or_number32_t) argument_0 + 6)) {
    generic32_t var_3;
    generic32_t var_4;
    var_3 = *(generic16_t *) (argument_0->offset_60 + (pointer_or_number32_t) argument_0 + 20) + 24 + (argument_0->offset_60 + (pointer_or_number32_t) argument_0);
    var_4 = 0;
    generic32_t var_5;
    while (true) {
      if (!(argument_1 < *(generic32_t *) (argument_0->offset_60 + (pointer_or_number32_t) argument_0 + *(generic16_t *) (argument_0->offset_60 + (pointer_or_number32_t) argument_0 + 20) + 36 + var_4 * 40))) {
        var_5 = var_3;
        if (argument_1 < *(generic32_t *) (argument_0->offset_60 + (pointer_or_number32_t) argument_0 + *(generic16_t *) (argument_0->offset_60 + (pointer_or_number32_t) argument_0 + 20) + 32 + var_4 * 40) + *(generic32_t *) (argument_0->offset_60 + (pointer_or_number32_t) argument_0 + *(generic16_t *) (argument_0->offset_60 + (pointer_or_number32_t) argument_0 + 20) + 36 + var_4 * 40)) {
          break;
        }
      }
      var_5 = 0;
      if (!(var_4 + 1 < *(generic16_t *) (argument_0->offset_60 + (pointer_or_number32_t) argument_0 + 6))) {
        break;
      }
      var_3 = var_3 + 40;
      var_4 = var_4 + 1;
    }
    var_2 = var_5;
  }
  return (struct_551 *) var_2;
}

_ABI(Microsoft_x86_cdecl)
generic32_t function_0x403040_Code_x86(generic32_t argument_0) {
  struct_389 stack;
  generic32_t var_0;
  generic32_t var_1;
  generic32_t var_2;
  generic32_t var_3;
  var_1 = argument_0;
  *(generic32_t *) &stack.offset_36 = 4294967294;
  stack.offset_32 = (pointer_or_number32_t) &segment_1.offset_2336 + 496;
  stack.offset_28 = function_0x402e99_Code_x86;
  stack.offset_24 = *(generic32_t *) NULL;
  stack.offset_32 = stack.offset_32 ^ segment_2.offset_0;
  stack.offset_0 = segment_2.offset_0 ^ ((pointer_or_number32_t) &stack.offset_36 + 4);
  *(generic32_t **) NULL = &stack.offset_24;
  stack.offset_16 = &stack;
  *(generic32_t *) &stack.offset_36 = 0;
  *(generic32_t *) ((pointer_or_number32_t) &stack - 4) = 4194304;
  var_0 = function_0x403100_Code_x86((struct_548 *) var_2);
  var_3 = 0;
  if (var_0) {
    struct_551 *var_4;
    generic32_t var_5;
    generic32_t var_6;
    *(generic32_t *) ((pointer_or_number32_t) &stack - 4) = var_1 - 4194304;
    *(generic32_t *) ((pointer_or_number32_t) &stack - 8) = 4194304;
    var_4 = function_0x402ff0_Code_x86((struct_547 *) var_5, var_6);
    var_3 = 0;
    if (var_4) {
      var_3 = (int32_t) var_4->offset_36 > -1;
    }
  }
  *(generic32_t *) &stack.offset_36 = 4294967294;
  *(generic32_t *) NULL = stack.offset_24;
  return var_3;
}

_ABI(Microsoft_x86_cdecl)
generic32_t function_0x4030c9_Code_x86(void) {
  return *(generic32_t *) *(generic32_t *) *(generic32_t *) NULL == (pointer_or_number32_t) -1073741819;
}

_ABI(Microsoft_x86_cdecl) _Noreturn
void function_0x4030dc_Code_x86(void) {
  *(generic32_t *) NULL = 4294967294;
  revng_abort("A longjmp was taken");
}

_ABI(Microsoft_x86_cdecl)
generic32_t function_0x403100_Code_x86(struct_548 *argument_0) {
  struct_548 *var_0;
  generic32_t var_1;
  var_0 = argument_0;
  var_1 = 0;
  if (argument_0->offset_0 == 23117) {
    var_1 = 0;
    if (*(generic32_t *) (argument_0->offset_60 + (pointer_or_number32_t) argument_0) == 17744) {
      var_1 = *(generic16_t *) (argument_0->offset_60 + (pointer_or_number32_t) argument_0 + 24) == 267;
    }
  }
  return var_1;
}

_ABI(Microsoft_x86_cdecl)
void function_0x403131_Code_x86(void) {
  struct_382 stack;
  generic32_t var_0;
  *(generic32_t *) &stack.offset_24 = 0;
  *(generic32_t *) &stack.offset_28 = 0;
  var_0 = segment_2.offset_0;
  if (var_0 == (pointer_or_number32_t) -1153374642 || var_0 < 65536) {
    generic32_t var_1;
    generic32_t var_2;
    generic32_t var_3;
    generic32_t var_4;
    generic32_t var_5;
    generic32_t var_6;
    generic32_t var_7;
    generic32_t var_8;
    generic32_t var_9;
    generic32_t var_10;
    generic32_t var_11;
    artificial_struct_returned_by_rawfunction_120 var_12;
    artificial_struct_returned_by_rawfunction_121 var_13;
    artificial_struct_returned_by_rawfunction_122 var_14;
    artificial_struct_returned_by_rawfunction_123 var_15;
    stack.offset_4 = &stack.offset_24;
    var_12 = ((rawfunction_120 *) segment_1.offset_48)();
    var_10 = var_12.register_esi;
    var_9 = var_12.register_edi;
    stack.offset_32 = *(generic32_t *) &stack.offset_28 ^ *(generic32_t *) &stack.offset_24;
    var_13 = ((rawfunction_121 *) segment_1.offset_44)(var_10);
    var_8 = var_13.register_eax;
    var_7 = var_13.register_esi;
    var_6 = var_13.register_edi;
    stack.offset_32 = stack.offset_32 ^ var_8;
    var_14 = ((rawfunction_122 *) segment_1.offset_40)(var_7);
    var_5 = var_14.register_eax;
    var_4 = var_14.register_esi;
    var_3 = var_14.register_edi;
    stack.offset_32 = stack.offset_32 ^ var_5;
    stack.offset_0 = &stack.offset_16;
    var_15 = ((rawfunction_123 *) segment_1.offset_36)(var_4);
    var_2 = var_15.register_esi;
    var_1 = var_15.register_edi;
    var_11 = 3141592655;
    if ((stack.offset_20 ^ stack.offset_16 ^ stack.offset_32 ^ (number32_t) &stack.offset_32) != var_1) {
      var_11 = stack.offset_20 ^ stack.offset_16 ^ stack.offset_32 ^ (number32_t) &stack.offset_32;
      if (!(var_2 & (stack.offset_20 ^ stack.offset_16 ^ stack.offset_32 ^ (number32_t) &stack.offset_32))) {
        var_11 = (stack.offset_20 ^ stack.offset_16 ^ stack.offset_32 ^ (number32_t) &stack.offset_32) | (((number32_t) (stack.offset_20 ^ stack.offset_16 ^ stack.offset_32 ^ (number32_t) &stack.offset_32) << 16) | 0x47110000);
      }
    }
    var_0 = var_11;
    segment_2.offset_0 = var_0;
  }
  segment_2.offset_4 = ~var_0;
}

_ABI(Microsoft_x86_cdecl)
generic32_t function_0x4031cd_Code_x86(void) {
  return 0;
}

_ABI(Microsoft_x86_cdecl)
void function_0x4031d0_Code_x86(void) {
  struct_380 stack;
  stack.offset_0 = "";
}

_ABI(Microsoft_x86_cdecl)
void function_0x4031f0_Code_x86(void) {
  struct_390 stack;
  stack.offset_0 = "";
}

_ABI(Microsoft_x86_cdecl)
void function_0x403210_Code_x86(void) {
  struct_381 stack;
  *(generic32_t *) &stack.offset_12 = 0;
  stack.offset_8 = 196608;
  stack.offset_4 = 65536;
  *(generic32_t *) &stack.offset_0 = 0;
  function_0x40326e_Code_x86();
}

_ABI(Microsoft_x86_cdecl)
void function_0x403238_Code_x86(void) {
}

_ABI(Microsoft_x86_cdecl)
void function_0x40323e_Code_x86(void) {
}

_ABI(Microsoft_x86_cdecl)
void function_0x403244_Code_x86(void) {
}

_ABI(Microsoft_x86_cdecl)
void function_0x40324a_Code_x86(void) {
}

_ABI(Microsoft_x86_cdecl)
void function_0x403250_Code_x86(void) {
}

_ABI(Microsoft_x86_cdecl)
void function_0x403256_Code_x86(void) {
}

_ABI(Microsoft_x86_cdecl)
void function_0x40325c_Code_x86(void) {
}

_ABI(Microsoft_x86_cdecl)
void function_0x403262_Code_x86(void) {
}

_ABI(Microsoft_x86_cdecl)
void function_0x403268_Code_x86(void) {
}

_ABI(Microsoft_x86_cdecl)
void function_0x40326e_Code_x86(void) {
}

_ABI(Microsoft_x86_cdecl)
void function_0x403274_Code_x86(void) {
}

_ABI(Microsoft_x86_cdecl)
void function_0x40327a_Code_x86(void) {
}

_ABI(Microsoft_x86_cdecl)
void function_0x403286_Code_x86(void) {
}

_ABI(Microsoft_x86_cdecl)
generic32_t function_0x403290_Code_x86(void) {
  if ((*(generic32_t *) NULL & 0x1)) {
    *(generic32_t *) NULL = *(generic32_t *) NULL & 0xFFFFFFFE;
  }
  return *(generic32_t *) NULL & 0x1;
}

_ABI(raw_x86)
void function_0x4032ad_Code_x86(generic32_t register_ecx _REG(ecx_x86)) {
}

_ABI(raw_x86)
void function_0x4032b9_Code_x86(generic32_t register_ecx _REG(ecx_x86)) {
}

_ABI(Microsoft_x86_cdecl)
generic32_t function_0x4032c2_Code_x86(void) {
  function_0x4028b4_Code_x86();
  return (pointer_or_number32_t) &segment_1.offset_2336 + 8;
}

_ABI(Microsoft_x86_cdecl)
generic32_t function_0x4032e0_Code_x86(void) {
  function_0x4028b4_Code_x86();
  return (pointer_or_number32_t) &segment_1.offset_2336 + 68;
}

_ABI(raw_x86)
void function_0x403300_Code_x86(generic32_t register_ecx _REG(ecx_x86)) {
}

_ABI(Microsoft_x86_cdecl)
generic32_t function_0x403309_Code_x86(void) {
  function_0x4028b4_Code_x86();
  return (pointer_or_number32_t) &segment_1.offset_2336 + 208;
}

_ABI(Microsoft_x86_cdecl)
void function_0x403330_Code_x86(void) {
}

_ABI(Microsoft_x86_cdecl)
void function_0x403338_Code_x86(void) {
}

_ABI(Microsoft_x86_cdecl) _Noreturn
void function_0x403340_Code_x86(void) {
  struct_391 stack;
  if (!*(generic32_t *) NULL) {
    revng_abort("A longjmp was taken");
  } else {
    generic32_t var_0;
    var_0 = ((cabifunction_780 *) *(generic32_t *) (*(generic32_t *) *(generic32_t *) NULL + 8))();
    if (!var_0) {
      revng_abort("A longjmp was taken");
    } else {
      *(generic32_t *) &stack = 1;
      ((rawfunction_281 *) *(generic32_t *) *(generic32_t *) var_0)(var_0);
      revng_abort("A longjmp was taken");
    }
  }
}

_ABI(Microsoft_x86_cdecl)
generic32_t function_0x403348_Code_x86(void) {
  function_0x4028b4_Code_x86();
  return (pointer_or_number32_t) &segment_1.offset_2336 + 252;
}

_ABI(Microsoft_x86_cdecl)
void function_0x403370_Code_x86(void) {
  segment_2.offset_28 = (pointer_or_number32_t) &segment_1.offset_932 + 12;
}

_ABI(Microsoft_x86_cdecl)
void function_0x403380_Code_x86(void) {
  segment_2.offset_36 = (pointer_or_number32_t) &segment_1.offset_932 + 12;
}

_ABI(Microsoft_x86_cdecl)
void function_0x403390_Code_x86(void) {
  segment_2.offset_32 = (pointer_or_number32_t) &segment_1.offset_932 + 12;
}

_ABI(Microsoft_x86_cdecl)
void function_0x40339b_Code_x86(void) {
  if (segment_2.offset_808) {
    segment_2.offset_808 = *segment_2.offset_808;
    function_0x40281d_Code_x86();
  }
}

_ABI(Microsoft_x86_cdecl)
void function_0x4840d5_Code_x86(void) {
  generic32_t var_0;
  generic32_t var_1;
  generic32_t var_2;
  generic32_t var_3;
  generic32_t var_4;
  generic32_t var_5;
  generic32_t var_6;
  generic32_t var_7;
  generic32_t var_8;
  generic32_t var_9;
  generic32_t var_10;
  generic32_t var_11;
  generic32_t var_12;
  generic32_t var_13;
  generic32_t var_14;
  generic32_t var_15;
  generic32_t var_16;
  generic32_t var_17;
  generic32_t var_18;
  generic32_t var_19;
  generic32_t var_20;
  generic32_t var_21;
  generic32_t var_22;
  generic32_t var_23;
  generic32_t var_24;
  generic32_t var_25;
  generic32_t var_26;
  generic32_t var_27;
  generic32_t var_28;
  generic32_t var_29;
  generic32_t var_30;
  generic32_t var_31;
  generic32_t var_32;
  generic32_t var_33;
  generic32_t var_34;
  generic32_t var_35;
  generic32_t var_36;
  generic32_t var_37;
  generic32_t var_38;
  generic32_t var_39;
  generic32_t var_40;
  generic32_t var_41;
  generic32_t var_42;
  helper_into_wrapper(NULL, 1, 0, 24, 0, 0, 0, 0, undef(generic32_t), undef(generic32_t), undef(generic32_t), undef(generic32_t), undef(generic32_t), (pointer_or_number32_t) &segment_5 + 131295, 0, undef(generic32_t), revng_undefined_local_sp(), 0, 514, 272646323, 257, 43, 35, 13630208, 43, 13628160, 43, 0, 43, 0, 65535, 1107140608, 71, 2147549185, 328224, 0, 0, 543, 4294967295, 0, 4294967295, 0, &var_0, &var_1, &var_2, &var_3, &var_4, &var_5, &var_6, &var_7, &var_8, &var_9, &var_10, &var_11, &var_12, &var_13, &var_14, &var_15, &var_16, &var_17, &var_18, &var_19, &var_20, &var_21, &var_22, &var_23, &var_24, &var_25, &var_26, &var_27, &var_28, &var_29, &var_30, &var_31, &var_32, &var_33, &var_34, &var_35, &var_36, &var_37, &var_38, &var_39, &var_40, &var_41, &var_42);
}

_ABI(Microsoft_x86_cdecl)
struct_452 *function_0x484dbf_Code_x86(void) {
  return (struct_452 *) undef(generic32_t);
}

_ABI(Microsoft_x86_cdecl)
struct_452 *function_0x484dc1_Code_x86(void) {
  return (struct_452 *) undef(generic32_t);
}

_ABI(Microsoft_x86_cdecl) _Noreturn
void function_0x484ea7_Code_x86(void) {
}

_ABI(Microsoft_x86_cdecl)
void function_0x484fd8_Code_x86(void) {
}

_ABI(Microsoft_x86_cdecl)
void function_0x484ffc_Code_x86(void) {
  generic32_t var_0;
  generic32_t var_1;
  generic8_t var_2;
  generic16_t var_3;
  generic64_t var_4;
  generic16_t var_5;
  generic64_t var_6;
  generic16_t var_7;
  generic64_t var_8;
  generic16_t var_9;
  generic64_t var_10;
  generic16_t var_11;
  generic64_t var_12;
  generic16_t var_13;
  generic64_t var_14;
  generic16_t var_15;
  generic64_t var_16;
  generic16_t var_17;
  generic64_t var_18;
  generic16_t var_19;
  generic16_t var_20;
  generic16_t var_21;
  generic64_t var_22;
  generic16_t var_23;
  generic32_t var_24;
  generic8_t var_25;
  generic8_t var_26;
  generic16_t var_27;
  generic64_t var_28;
  generic16_t var_29;
  generic64_t var_30;
  generic16_t var_31;
  generic64_t var_32;
  generic16_t var_33;
  generic64_t var_34;
  generic16_t var_35;
  generic64_t var_36;
  generic16_t var_37;
  generic64_t var_38;
  generic16_t var_39;
  generic64_t var_40;
  generic16_t var_41;
  generic64_t var_42;
  generic16_t var_43;
  generic16_t var_44;
  generic16_t var_45;
  generic64_t var_46;
  generic16_t var_47;
  generic32_t var_48;
  generic16_t var_49;
  generic16_t var_50;
  generic8_t var_51;
  generic8_t var_52;
  generic8_t var_53;
  generic8_t var_54;
  generic8_t var_55;
  generic8_t var_56;
  generic8_t var_57;
  generic8_t var_58;
  generic8_t var_59;
  generic8_t var_60;
  helper_fldenv_wrapper(NULL, undef(generic32_t), 1, 514, 272646323, 0, 895, &var_48, &var_49, &var_50, &var_51, &var_52, &var_53, &var_54, &var_55, &var_56, &var_57, &var_58, &var_59, &var_60);
  var_2 = bit_parity(undef(generic8_t));
  var_1 = lshift(undef(generic32_t), 4294967272);
  var_0 = lshift(undef(generic32_t), 4294967276);
  if (!(var_0 & 0x800)) {
    helper_fildl_FT0_wrapper(NULL, *(generic32_t *) NULL, 0, var_59, var_60, '\000', '\000', '\000', '\000', &var_45, &var_46, &var_47);
    helper_fmul_ST0_FT0_wrapper(NULL, var_48, var_49, var_50, undef(generic64_t), 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, var_45, var_59, var_60, '\000', '\000', '\000', '\000', '\000', '\000', var_46, var_47, &var_27, &var_28, &var_29, &var_30, &var_31, &var_32, &var_33, &var_34, &var_35, &var_36, &var_37, &var_38, &var_39, &var_40, &var_41, &var_42, &var_43, &var_44);
    helper_enter_mmx_wrapper(NULL, &var_24, &var_25, &var_26);
    helper_gvec_lt8((generic32_t) 448, (generic32_t) 1216, (generic32_t) 448, 512);
  } else {
    helper_fildl_FT0_wrapper(NULL, *(generic32_t *) 2000446833, 0, var_59, var_60, '\000', '\000', '\000', '\000', &var_21, &var_22, &var_23);
    helper_fsubr_ST0_FT0_wrapper(NULL, var_48, var_49, var_50, undef(generic64_t), 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, var_21, var_59, var_60, '\000', '\000', '\000', '\000', '\000', '\000', var_22, var_23, &var_3, &var_4, &var_5, &var_6, &var_7, &var_8, &var_9, &var_10, &var_11, &var_12, &var_13, &var_14, &var_15, &var_16, &var_17, &var_18, &var_19, &var_20);
  }
}

_ABI(Microsoft_x86_cdecl) _Noreturn
void function_0x490046_Code_x86(void) {
  generic32_t var_0;
  generic32_t var_1;
  generic32_t var_2;
  generic32_t var_3;
  generic32_t var_4;
  generic32_t var_5;
  generic32_t var_6;
  generic32_t var_7;
  generic32_t var_8;
  generic32_t var_9;
  generic32_t var_10;
  generic32_t var_11;
  generic32_t var_12;
  generic32_t var_13;
  generic32_t var_14;
  generic32_t var_15;
  generic32_t var_16;
  generic32_t var_17;
  generic32_t var_18;
  generic32_t var_19;
  generic32_t var_20;
  generic32_t var_21;
  generic32_t var_22;
  generic32_t var_23;
  generic32_t var_24;
  generic32_t var_25;
  generic32_t var_26;
  generic32_t var_27;
  generic32_t var_28;
  generic32_t var_29;
  generic32_t var_30;
  generic32_t var_31;
  generic32_t var_32;
  generic32_t var_33;
  generic32_t var_34;
  generic32_t var_35;
  generic32_t var_36;
  generic32_t var_37;
  generic32_t var_38;
  generic32_t var_39;
  generic32_t var_40;
  generic32_t var_41;
  generic32_t var_42;
  generic32_t var_43;
  generic32_t var_44;
  generic16_t var_45;
  generic64_t var_46;
  generic16_t var_47;
  generic64_t var_48;
  generic16_t var_49;
  generic64_t var_50;
  generic16_t var_51;
  generic64_t var_52;
  generic16_t var_53;
  generic64_t var_54;
  generic16_t var_55;
  generic64_t var_56;
  generic16_t var_57;
  generic64_t var_58;
  generic16_t var_59;
  generic64_t var_60;
  generic16_t var_61;
  generic16_t var_62;
  generic16_t var_63;
  generic16_t var_64;
  generic64_t var_65;
  generic16_t var_66;
  *(generic8_t *) (generic32_t) 1994389925 = *(generic8_t *) 1994389925;
  *(generic32_t *) (revng_undefined_local_sp() - 4) = revng_undefined_local_sp();
  helper_flds_FT0_wrapper(NULL, *(generic32_t *) NULL, 0, 895, 0, '\000', '\000', '\000', '\000', '\000', '\000', '\000', '\000', &var_63, &var_64, &var_65, &var_66);
  helper_fsubr_ST0_FT0_wrapper(NULL, 0, var_63, 895, undef(generic64_t), 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, var_64, '\000', '\000', '\000', '\000', '\000', '\000', '\000', '\000', var_65, var_66, &var_45, &var_46, &var_47, &var_48, &var_49, &var_50, &var_51, &var_52, &var_53, &var_54, &var_55, &var_56, &var_57, &var_58, &var_59, &var_60, &var_61, &var_62);
  helper_daa_wrapper(NULL, undef(generic32_t), 0, undef(generic32_t), 0, undef(generic32_t), &var_43, &var_44);
  helper_into_wrapper(NULL, 1, undef(generic32_t), 0, 0, 0, 0, (uint32_t) *(generic8_t *) var_44, *(generic32_t *) NULL, undef(generic32_t), undef(generic32_t), undef(generic32_t), undef(generic32_t), (pointer_or_number32_t) &segment_5 + 180321, 0, var_44 + 1, undef(generic32_t), 0, 514, 272646323, 257, 43, 35, 13630208, 43, 13628160, 43, 0, 43, 0, 65535, 1107140608, 71, 2147549185, 328224, 0, 0, 543, 4294967295, 0, 4294967295, 0, &var_0, &var_1, &var_2, &var_3, &var_4, &var_5, &var_6, &var_7, &var_8, &var_9, &var_10, &var_11, &var_12, &var_13, &var_14, &var_15, &var_16, &var_17, &var_18, &var_19, &var_20, &var_21, &var_22, &var_23, &var_24, &var_25, &var_26, &var_27, &var_28, &var_29, &var_30, &var_31, &var_32, &var_33, &var_34, &var_35, &var_36, &var_37, &var_38, &var_39, &var_40, &var_41, &var_42);
}

_ABI(Microsoft_x86_cdecl) _Noreturn
void function_0x490049_Code_x86(void) {
  generic32_t var_0;
  generic32_t var_1;
  generic32_t var_2;
  generic32_t var_3;
  generic32_t var_4;
  generic32_t var_5;
  generic32_t var_6;
  generic32_t var_7;
  generic32_t var_8;
  generic32_t var_9;
  generic32_t var_10;
  generic32_t var_11;
  generic32_t var_12;
  generic32_t var_13;
  generic32_t var_14;
  generic32_t var_15;
  generic32_t var_16;
  generic32_t var_17;
  generic32_t var_18;
  generic32_t var_19;
  generic32_t var_20;
  generic32_t var_21;
  generic32_t var_22;
  generic32_t var_23;
  generic32_t var_24;
  generic32_t var_25;
  generic32_t var_26;
  generic32_t var_27;
  generic32_t var_28;
  generic32_t var_29;
  generic32_t var_30;
  generic32_t var_31;
  generic32_t var_32;
  generic32_t var_33;
  generic32_t var_34;
  generic32_t var_35;
  generic32_t var_36;
  generic32_t var_37;
  generic32_t var_38;
  generic32_t var_39;
  generic32_t var_40;
  generic32_t var_41;
  generic32_t var_42;
  generic32_t var_43;
  generic32_t var_44;
  generic16_t var_45;
  generic64_t var_46;
  generic16_t var_47;
  generic64_t var_48;
  generic16_t var_49;
  generic64_t var_50;
  generic16_t var_51;
  generic64_t var_52;
  generic16_t var_53;
  generic64_t var_54;
  generic16_t var_55;
  generic64_t var_56;
  generic16_t var_57;
  generic64_t var_58;
  generic16_t var_59;
  generic64_t var_60;
  generic16_t var_61;
  generic16_t var_62;
  generic16_t var_63;
  generic16_t var_64;
  generic64_t var_65;
  generic16_t var_66;
  generic32_t var_67;
  generic8_t var_68;
  generic8_t var_69;
  generic8_t var_70;
  generic8_t var_71;
  generic8_t var_72;
  generic8_t var_73;
  generic8_t var_74;
  generic8_t var_75;
  generic16_t var_76;
  generic16_t var_77;
  helper_fbst_ST0_wrapper(NULL, undef(generic32_t), 514, 272646323, 0, 0, 895, undef(generic64_t), 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, '\000', '\000', '\000', &var_76, &var_77);
  helper_fpop_wrapper(NULL, 0, &var_67, &var_68, &var_69, &var_70, &var_71, &var_72, &var_73, &var_74, &var_75);
  helper_flds_FT0_wrapper(NULL, *(generic32_t *) NULL, var_76, 895, var_77, '\000', '\000', '\000', '\000', '\000', '\000', '\000', '\000', &var_63, &var_64, &var_65, &var_66);
  helper_fsubr_ST0_FT0_wrapper(NULL, var_67, var_63, 895, undef(generic64_t), 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, var_64, '\000', '\000', '\000', '\000', '\000', '\000', '\000', '\000', var_65, var_66, &var_45, &var_46, &var_47, &var_48, &var_49, &var_50, &var_51, &var_52, &var_53, &var_54, &var_55, &var_56, &var_57, &var_58, &var_59, &var_60, &var_61, &var_62);
  helper_daa_wrapper(NULL, undef(generic32_t), 0, undef(generic32_t), 0, undef(generic32_t), &var_43, &var_44);
  helper_into_wrapper(NULL, 1, undef(generic32_t), 0, 0, 0, 0, (uint32_t) *(generic8_t *) var_44, *(generic32_t *) NULL, undef(generic32_t), undef(generic32_t), undef(generic32_t), undef(generic32_t), (pointer_or_number32_t) &segment_5 + 180321, 0, var_44 + 1, undef(generic32_t), 0, 514, 272646323, 257, 43, 35, 13630208, 43, 13628160, 43, 0, 43, 0, 65535, 1107140608, 71, 2147549185, 328224, 0, 0, 543, 4294967295, 0, 4294967295, 0, &var_0, &var_1, &var_2, &var_3, &var_4, &var_5, &var_6, &var_7, &var_8, &var_9, &var_10, &var_11, &var_12, &var_13, &var_14, &var_15, &var_16, &var_17, &var_18, &var_19, &var_20, &var_21, &var_22, &var_23, &var_24, &var_25, &var_26, &var_27, &var_28, &var_29, &var_30, &var_31, &var_32, &var_33, &var_34, &var_35, &var_36, &var_37, &var_38, &var_39, &var_40, &var_41, &var_42);
}

_ABI(Microsoft_x86_cdecl) _Noreturn
void function_0x49004e_Code_x86(void) {
  generic16_t var_0;
  generic64_t var_1;
  generic16_t var_2;
  generic64_t var_3;
  generic16_t var_4;
  generic64_t var_5;
  generic16_t var_6;
  generic64_t var_7;
  generic16_t var_8;
  generic64_t var_9;
  generic16_t var_10;
  generic64_t var_11;
  generic16_t var_12;
  generic64_t var_13;
  generic16_t var_14;
  generic64_t var_15;
  generic16_t var_16;
  generic16_t var_17;
  generic16_t var_18;
  generic16_t var_19;
  generic64_t var_20;
  generic16_t var_21;
  generic32_t var_22;
  generic32_t var_23;
  generic32_t var_24;
  generic32_t var_25;
  generic32_t var_26;
  generic32_t var_27;
  generic32_t var_28;
  generic32_t var_29;
  generic32_t var_30;
  generic32_t var_31;
  generic32_t var_32;
  generic32_t var_33;
  generic32_t var_34;
  generic32_t var_35;
  generic32_t var_36;
  generic32_t var_37;
  generic32_t var_38;
  generic32_t var_39;
  generic32_t var_40;
  generic32_t var_41;
  generic32_t var_42;
  generic32_t var_43;
  generic32_t var_44;
  generic32_t var_45;
  generic32_t var_46;
  generic32_t var_47;
  generic32_t var_48;
  generic32_t var_49;
  generic32_t var_50;
  generic32_t var_51;
  generic32_t var_52;
  generic32_t var_53;
  generic32_t var_54;
  generic32_t var_55;
  generic32_t var_56;
  generic32_t var_57;
  generic32_t var_58;
  generic32_t var_59;
  generic32_t var_60;
  generic32_t var_61;
  generic32_t var_62;
  generic32_t var_63;
  generic32_t var_64;
  generic32_t var_65;
  generic32_t var_66;
  generic32_t var_67;
  generic32_t var_68;
  generic32_t var_69;
  generic32_t var_70;
  generic32_t var_71;
  generic32_t var_72;
  generic32_t var_73;
  generic32_t var_74;
  generic32_t var_75;
  generic32_t var_76;
  generic32_t var_77;
  generic32_t var_78;
  generic32_t var_79;
  generic32_t var_80;
  generic32_t var_81;
  generic16_t var_82;
  generic16_t var_83;
  generic64_t var_84;
  generic16_t var_85;
  generic64_t var_86;
  generic16_t var_87;
  generic64_t var_88;
  generic16_t var_89;
  generic64_t var_90;
  generic16_t var_91;
  generic64_t var_92;
  generic16_t var_93;
  generic64_t var_94;
  generic16_t var_95;
  generic64_t var_96;
  generic16_t var_97;
  generic64_t var_98;
  generic16_t var_99;
  generic32_t var_100;
  generic32_t var_101;
  generic32_t var_102;
  generic32_t var_103;
  generic32_t var_104;
  generic32_t var_105;
  generic32_t var_106;
  var_103 = *(generic8_t *) NULL;
  var_67 = 257;
  var_68 = 43;
  var_69 = 35;
  var_70 = 13630208;
  var_71 = 43;
  var_72 = 13628160;
  var_73 = 43;
  var_74 = 0;
  var_75 = 43;
  var_76 = 0;
  var_77 = 65535;
  var_78 = 272646323;
  var_79 = 514;
  var_80 = 0;
  var_81 = 0;
  var_82 = 0;
  var_83 = 0;
  var_84 = 0;
  var_85 = 0;
  var_86 = 0;
  var_87 = 0;
  var_88 = 0;
  var_89 = 0;
  var_90 = 0;
  var_91 = 0;
  var_92 = 0;
  var_93 = 0;
  var_94 = 0;
  var_95 = 0;
  var_96 = 0;
  var_97 = 0;
  var_98 = 0;
  var_99 = 0;
  var_100 = 0;
  var_101 = 0;
  var_102 = 14;
  var_104 = 4294967295;
  var_105 = 0;
  var_106 = 4294967295;
  while (true) {
    generic32_t var_107;
    generic32_t var_108;
    generic32_t var_109;
    generic64_t var_110;
    generic32_t var_111;
    generic32_t var_112;
    generic32_t var_113;
    generic32_t var_114;
    bool var_115 = false;
    helper_daa_wrapper(NULL, var_103, var_102, var_101, 0, var_114, &var_65, &var_66);
    *(generic32_t *) (var_108 - 1682416948) = *(generic32_t *) (var_108 - 1682416948) ^ var_111;
    helper_into_wrapper(NULL, 1, *(generic32_t *) (var_113 + 4) - 1, var_102, 0, 0, var_100, (var_107 & 0xFFFF0000) | ((number32_t) ((var_107 & 0xFF) / 231) << 8) | *(generic8_t *) var_66, *(generic32_t *) var_113, var_112, var_111, var_109, *(generic32_t *) (var_113 + 4) - 1, (pointer_or_number32_t) &segment_5 + 180321, var_81, var_66 + 1, *(generic32_t *) (var_113 + 8), var_80, var_79, var_78, var_67, var_68, var_69, var_70, var_71, var_72, var_73, var_74, var_75, var_76, var_77, 1107140608, 71, 2147549185, 328224, 0, 0, 543, var_104, var_105, var_106, 0, &var_22, &var_23, &var_24, &var_25, &var_26, &var_27, &var_28, &var_29, &var_30, &var_31, &var_32, &var_33, &var_34, &var_35, &var_36, &var_37, &var_38, &var_39, &var_40, &var_41, &var_42, &var_43, &var_44, &var_45, &var_46, &var_47, &var_48, &var_49, &var_50, &var_51, &var_52, &var_53, &var_54, &var_55, &var_56, &var_57, &var_58, &var_59, &var_60, &var_61, &var_62, &var_63, &var_64);
    switch ((number32_t) var_102) {
      case 2:
      case 3:
      case 4:
      case 6:
      case 7:
      case 8:
      case 10:
      case 11:
      case 12:
      case 14:
      case 15:
      {
        switch ((number32_t) var_102) {
          case 15:
          {
            generic32_t var_116;
            generic32_t var_117;
            generic8_t var_118;
            var_118 = bit_parity((number8_t) (*(generic32_t *) (var_113 + 4) - 1));
            var_117 = lshift((*(generic32_t *) (var_113 + 4) - 1) & 0xFFFF, 4294967288);
            var_116 = lshift(0, 4294967292);
          } break;
          case 14:
          {
            generic32_t var_119;
            generic32_t var_120;
            generic8_t var_121;
            var_121 = bit_parity((number8_t) (*(generic32_t *) (var_113 + 4) - 1));
            var_120 = lshift((*(generic32_t *) (var_113 + 4) - 1) & 0xFF, 0);
            var_119 = lshift(0, 4);
          } break;
          case 12:
          {
            generic32_t var_122;
            generic32_t var_123;
            generic8_t var_124;
            var_124 = bit_parity((number8_t) (*(generic32_t *) (var_113 + 4) - 1));
            var_123 = lshift(*(generic32_t *) (var_113 + 4) - 1, 4294967272);
            var_122 = lshift(0, 4294967276);
          } break;
          case 11:
          {
            generic32_t var_125;
            generic32_t var_126;
            generic8_t var_127;
            var_127 = bit_parity((number8_t) (*(generic32_t *) (var_113 + 4) - 1));
            var_126 = lshift((*(generic32_t *) (var_113 + 4) - 1) & 0xFFFF, 4294967288);
            var_125 = lshift(0, 4294967292);
          } break;
          case 10:
          {
            generic32_t var_128;
            generic32_t var_129;
            generic8_t var_130;
            var_130 = bit_parity((number8_t) (*(generic32_t *) (var_113 + 4) - 1));
            var_129 = lshift((*(generic32_t *) (var_113 + 4) - 1) & 0xFF, 0);
            var_128 = lshift(0, 4);
          } break;
          case 8:
          {
            generic32_t var_131;
            generic32_t var_132;
            generic8_t var_133;
            var_133 = bit_parity((number8_t) (*(generic32_t *) (var_113 + 4) - 1));
            var_132 = lshift(*(generic32_t *) (var_113 + 4) - 1, 4294967272);
            var_131 = lshift(0, 4294967276);
          } break;
          case 7:
          {
            generic32_t var_134;
            generic32_t var_135;
            generic8_t var_136;
            var_136 = bit_parity((number8_t) (*(generic32_t *) (var_113 + 4) - 1));
            var_135 = lshift((*(generic32_t *) (var_113 + 4) - 1) & 0xFFFF, 4294967288);
            var_134 = lshift(0, 4294967292);
          } break;
          case 6:
          {
            generic32_t var_137;
            generic32_t var_138;
            generic8_t var_139;
            var_139 = bit_parity((number8_t) (*(generic32_t *) (var_113 + 4) - 1));
            var_138 = lshift((*(generic32_t *) (var_113 + 4) - 1) & 0xFF, 0);
            var_137 = lshift(0, 4);
          } break;
          case 4:
          {
            generic32_t var_140;
            generic8_t var_141;
            var_141 = bit_parity((number8_t) (*(generic32_t *) (var_113 + 4) - 1));
            var_140 = lshift(*(generic32_t *) (var_113 + 4) - 1, 4294967272);
          } break;
          case 3:
          {
            generic32_t var_142;
            generic8_t var_143;
            var_143 = bit_parity((number8_t) (*(generic32_t *) (var_113 + 4) - 1));
            var_142 = lshift((*(generic32_t *) (var_113 + 4) - 1) & 0xFFFF, 4294967288);
          } break;
          case 2:
          {
            generic32_t var_144;
            generic8_t var_145;
            var_145 = bit_parity((number8_t) (*(generic32_t *) (var_113 + 4) - 1));
            var_144 = lshift((*(generic32_t *) (var_113 + 4) - 1) & 0xFF, 0);
          } break;
        }
        helper_flds_FT0_wrapper(NULL, *(generic32_t *) var_24, var_82, 895, var_99, '\000', '\000', '\000', '\000', '\000', '\000', '\000', '\000', &var_18, &var_19, &var_20, &var_21);
        helper_fsubr_ST0_FT0_wrapper(NULL, 0, var_18, 895, var_110, var_83, var_84, var_85, var_86, var_87, var_88, var_89, var_90, var_91, var_92, var_93, var_94, var_95, var_96, var_97, var_19, '\000', '\000', '\000', '\000', '\000', '\000', '\000', '\000', var_20, var_21, &var_0, &var_1, &var_2, &var_3, &var_4, &var_5, &var_6, &var_7, &var_8, &var_9, &var_10, &var_11, &var_12, &var_13, &var_14, &var_15, &var_16, &var_17);
        var_82 = var_0;
        var_110 = var_1;
        var_83 = var_2;
        var_84 = var_3;
        var_85 = var_4;
        var_86 = var_5;
        var_87 = var_6;
        var_88 = var_7;
        var_89 = var_8;
        var_90 = var_9;
        var_91 = var_10;
        var_92 = var_11;
        var_93 = var_12;
        var_94 = var_13;
        var_95 = var_14;
        var_96 = var_15;
        var_97 = var_16;
        var_99 = var_17;
        var_98 = (var_98 & 0xFFFFFFFF00000000) | var_24;
        var_103 = *(generic32_t *) (var_29 - 92) - var_32;
        *(generic32_t *) (var_29 - 92) = var_103;
        var_67 = var_39;
        var_68 = var_40;
        var_69 = var_43;
        var_70 = var_45;
        var_71 = var_46;
        var_72 = var_48;
        var_73 = var_49;
        var_74 = var_52;
        var_75 = var_55;
        var_76 = var_58;
        var_77 = var_59;
        var_78 = var_38;
        var_79 = var_37;
        var_80 = var_36;
        var_107 = var_32;
        var_81 = var_31;
        var_108 = var_29;
        var_109 = var_28;
        var_111 = var_27;
        var_112 = var_26;
        var_113 = var_25;
        var_114 = var_24;
        var_100 = var_23;
        var_101 = var_32;
        var_102 = 1;
        var_104 = var_60;
        var_105 = var_63;
        var_106 = var_64;
        continue;
      } break;
      default:
      {
        var_115 = true;
        break;
      } break;
    }
    if (var_115){
      break;}
  }
}

_ABI(Microsoft_x86_cdecl)
void function_0x490056_Code_x86(void) {
}

_ABI(Microsoft_x86_cdecl) _Noreturn
void function_0x490065_Code_x86(void) {
}

_ABI(Microsoft_x86_cdecl) _Noreturn
void function_0x49008a_Code_x86(void) {
}

_ABI(Microsoft_x86_cdecl) _Noreturn
void function_0x493d38_Code_x86(void) {
}

_ABI(Microsoft_x86_cdecl)
void function_0x493d67_Code_x86(void) {
  generic32_t var_0;
  generic32_t var_1;
  generic32_t var_2;
  generic32_t var_3;
  generic32_t var_4;
  generic32_t var_5;
  generic32_t var_6;
  generic32_t var_7;
  generic32_t var_8;
  generic32_t var_9;
  generic32_t var_10;
  generic32_t var_11;
  generic32_t var_12;
  generic32_t var_13;
  generic32_t var_14;
  generic32_t var_15;
  generic32_t var_16;
  generic32_t var_17;
  generic32_t var_18;
  generic32_t var_19;
  generic32_t var_20;
  generic32_t var_21;
  generic32_t var_22;
  generic32_t var_23;
  generic32_t var_24;
  generic32_t var_25;
  generic32_t var_26;
  generic32_t var_27;
  generic32_t var_28;
  generic32_t var_29;
  generic32_t var_30;
  generic32_t var_31;
  generic32_t var_32;
  generic32_t var_33;
  generic32_t var_34;
  generic32_t var_35;
  generic32_t var_36;
  generic32_t var_37;
  generic32_t var_38;
  generic32_t var_39;
  generic32_t var_40;
  generic32_t var_41;
  generic32_t var_42;
  generic32_t var_43;
  generic32_t var_44;
  generic32_t var_45;
  helper_lret_protected_wrapper(NULL, 1, 0, 0, undef(generic32_t), undef(generic32_t), undef(generic32_t), 2497339137, undef(generic32_t), undef(generic32_t), (pointer_or_number32_t) &segment_5 + 195948, 0, undef(generic32_t), revng_undefined_local_sp(), 0, 0, 0, 514, 272646323, 257, 43, 4294967295, 13628160, 35, 13630208, 43, 13628160, 43, 4294967295, 13628160, 0, 4294967295, 13628160, 43, 4294967295, 13628160, 0, 65535, 1107140608, 71, 2147549185, 328224, 0, 0, 543, 4294967295, 0, 4294967295, 0, &var_0, &var_1, &var_2, &var_3, &var_4, &var_5, &var_6, &var_7, &var_8, &var_9, &var_10, &var_11, &var_12, &var_13, &var_14, &var_15, &var_16, &var_17, &var_18, &var_19, &var_20, &var_21, &var_22, &var_23, &var_24, &var_25, &var_26, &var_27, &var_28, &var_29, &var_30, &var_31, &var_32, &var_33, &var_34, &var_35, &var_36, &var_37, &var_38, &var_39, &var_40, &var_41, &var_42, &var_43, &var_44, &var_45);
}

_ABI(Microsoft_x86_cdecl)
void function_0x493d90_Code_x86(void) {
}

_ABI(Microsoft_x86_cdecl)
void function_0x494284_Code_x86(void) {
}

_ABI(Microsoft_x86_cdecl)
void function_0x494294_Code_x86(void) {
}

_ABI(Microsoft_x86_cdecl) _Noreturn
void function_0x4942da_Code_x86(void) {
}

_ABI(Microsoft_x86_cdecl) _Noreturn
void function_0x4943fa_Code_x86(void) {
  generic16_t var_0;
  generic64_t var_1;
  generic16_t var_2;
  generic64_t var_3;
  generic16_t var_4;
  generic64_t var_5;
  generic16_t var_6;
  generic64_t var_7;
  generic16_t var_8;
  generic64_t var_9;
  generic16_t var_10;
  generic64_t var_11;
  generic16_t var_12;
  generic64_t var_13;
  generic16_t var_14;
  generic64_t var_15;
  generic16_t var_16;
  generic16_t var_17;
  generic16_t var_18;
  generic16_t var_19;
  generic64_t var_20;
  generic16_t var_21;
  *(generic32_t *) NULL = *(generic32_t *) NULL | 0x18B13BCB;
  helper_fldl_FT0_wrapper(NULL, *(generic64_t *) NULL, 0, 895, 0, '\000', '\000', '\000', '\000', '\000', '\000', '\000', '\000', &var_18, &var_19, &var_20, &var_21);
  helper_fadd_ST0_FT0_wrapper(NULL, 0, var_18, 895, undef(generic64_t), 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, var_19, '\000', '\000', '\000', '\000', '\000', '\000', '\000', '\000', var_20, var_21, &var_0, &var_1, &var_2, &var_3, &var_4, &var_5, &var_6, &var_7, &var_8, &var_9, &var_10, &var_11, &var_12, &var_13, &var_14, &var_15, &var_16, &var_17);
}

_ABI(Microsoft_x86_cdecl)
void function_0x4944aa_Code_x86(void) {
}

_ABI(Microsoft_x86_cdecl)
void function_0x494545_Code_x86(void) {
  generic16_t var_0;
  generic64_t var_1;
  generic16_t var_2;
  generic64_t var_3;
  generic16_t var_4;
  generic64_t var_5;
  generic16_t var_6;
  generic64_t var_7;
  generic16_t var_8;
  generic64_t var_9;
  generic16_t var_10;
  generic64_t var_11;
  generic16_t var_12;
  generic64_t var_13;
  generic16_t var_14;
  generic64_t var_15;
  generic16_t var_16;
  generic16_t var_17;
  generic16_t var_18;
  generic16_t var_19;
  generic64_t var_20;
  generic16_t var_21;
  helper_flds_FT0_wrapper(NULL, *(generic32_t *) NULL, 0, 895, 0, '\000', '\000', '\000', '\000', '\000', '\000', '\000', '\000', &var_18, &var_19, &var_20, &var_21);
  helper_fsubr_ST0_FT0_wrapper(NULL, 0, var_18, 895, undef(generic64_t), 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, var_19, '\000', '\000', '\000', '\000', '\000', '\000', '\000', '\000', var_20, var_21, &var_0, &var_1, &var_2, &var_3, &var_4, &var_5, &var_6, &var_7, &var_8, &var_9, &var_10, &var_11, &var_12, &var_13, &var_14, &var_15, &var_16, &var_17);
}