ricochet/brit2

0 lines

1.14 MB

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

_ABI(raw_x86_64)
generic64_t function_0x140001000_Code_x86_64(generic64_t register_rcx _REG(rcx_x86_64), generic64_t register_rdx _REG(rdx_x86_64), struct_157 *register_r8 _REG(r8_x86_64), struct_126 stack_arguments _STACK) {
  struct_130 stack;
  generic8_t var_0;
  generic8_t var_1;
  generic64_t var_2;
  generic8_t var_3;
  generic64_t var_4;
  generic8_t var_5;
  generic64_t var_6;
  generic8_t var_7;
  generic64_t var_8;
  generic8_t var_9;
  generic64_t var_10;
  generic8_t var_11;
  generic64_t var_12;
  generic8_t var_13;
  generic64_t var_14;
  generic8_t var_15;
  generic64_t var_16;
  generic8_t var_17;
  generic64_t var_18;
  generic8_t var_19;
  generic64_t var_20;
  generic8_t var_21;
  generic64_t var_22;
  generic8_t var_23;
  generic64_t var_24;
  generic8_t var_25;
  generic64_t var_26;
  generic8_t var_27;
  generic64_t var_28;
  generic8_t var_29;
  generic64_t var_30;
  generic8_t var_31;
  generic64_t var_32;
  generic8_t var_33;
  generic64_t var_34;
  generic8_t var_35;
  generic64_t var_36;
  generic8_t var_37;
  generic64_t var_38;
  generic8_t var_39;
  generic64_t var_40;
  generic8_t var_41;
  generic64_t var_42;
  generic8_t var_43;
  generic64_t var_44;
  generic8_t var_45;
  generic64_t var_46;
  generic8_t var_47;
  generic64_t var_48;
  generic8_t var_49;
  generic64_t var_50;
  generic8_t var_51;
  generic64_t var_52;
  generic8_t var_53;
  generic64_t var_54;
  generic8_t var_55;
  generic64_t var_56;
  generic8_t var_57;
  generic64_t var_58;
  generic8_t var_59;
  generic64_t var_60;
  generic64_t var_61;
  generic64_t var_62;
  generic8_t var_63;
  generic64_t var_64;
  generic64_t var_65;
  generic64_t var_66;
  generic64_t var_67;
  generic32_t var_68;
  generic64_t var_69;
  generic8_t var_70;
  generic64_t var_71;
  generic32_t var_72;
  stack_arguments.offset_8 = 258657723377;
  stack.offset_192 = 5451505319330037765;
  stack.offset_184 = 0;
  stack.offset_168 = 0;
  stack.offset_144 = 0;
  stack.offset_152 = 0;
  stack.offset_128 = 0;
  stack.offset_136 = 0;
  stack.offset_112 = 0;
  stack.offset_120 = 0;
  stack.offset_96 = 0;
  stack.offset_104 = 0;
  stack.offset_80 = 0;
  stack.offset_88 = 0;
  stack.offset_64 = 0;
  stack.offset_72 = 0;
  stack.offset_48 = 0;
  stack.offset_56 = 0;
  stack.offset_32 = 0;
  stack.offset_40 = 0;
  var_68 = 0;
  var_69 = 0;
  var_70 = '\000';
  var_71 = 258657723377;
  var_72 = 1;
  generic8_t var_73;
  struct_171 **var_74;
  generic64_t var_75;
  generic32_t var_76;
  generic64_t var_77;
  struct_127 var_78;
  do {
    helper_pxor_xmm_wrapper(NULL, 1160, 1160, var_77, var_69, &var_66, &var_67);
    var_69 = var_67;
    helper_cvtsi2sd_wrapper(NULL, 1160, var_72, &var_65);
    var_77 = var_65;
    function_0x14000224e_Code_x86_64();
    helper_mulsd_wrapper(NULL, 1224, 1352, '\000', '\000', var_70, '\000', '\000', '\000', var_77, *(generic64_t *) "", &var_63, &var_64);
    helper_pxor_xmm_wrapper_1(NULL, 776, 776, var_77, var_69, &var_61, &var_62);
    helper_divsd_wrapper(NULL, 1224, 1416, '\000', '\000', var_63, '\000', '\000', '\000', var_64, *(generic64_t *) "", &var_59, &var_60);
    helper_cvtsq2sd_wrapper(NULL, 776, 3164262 - (number64_t) ((uint128_t) (var_71 * 5451505319330037765) >> 77), '\000', '\000', var_59, '\000', &var_57, &var_58);
    helper_addsd_wrapper(NULL, 1224, 776, '\000', '\000', var_57, '\000', '\000', '\000', var_58, var_60, &var_55, &var_56);
    function_0x14000224e_Code_x86_64();
    helper_mulsd_wrapper_2(NULL, 776, 1544, '\000', '\000', var_55, '\000', '\000', '\000', var_77, *(generic64_t *) "", &var_53, &var_54);
    helper_divsd_wrapper_3(NULL, 776, 1608, '\000', '\000', var_53, '\000', '\000', '\000', var_54, *(generic64_t *) "", &var_51, &var_52);
    helper_subsd_wrapper(NULL, 1224, 776, '\000', '\000', var_51, '\000', '\000', '\000', var_52, var_56, &var_49, &var_50);
    function_0x14000224e_Code_x86_64();
    helper_mulsd_wrapper_4(NULL, 776, 1736, '\000', '\000', var_49, '\000', '\000', '\000', var_77, *(generic64_t *) "", &var_47, &var_48);
    helper_divsd_wrapper_5(NULL, 776, 2824, '\000', '\000', var_47, '\000', '\000', '\000', var_48, *(generic64_t *) "", &var_45, &var_46);
    helper_addsd_wrapper(NULL, 1224, 776, '\000', '\000', var_45, '\000', '\000', '\000', var_46, var_50, &var_43, &var_44);
    function_0x14000224e_Code_x86_64();
    helper_mulsd_wrapper_6(NULL, 776, 2824, '\000', '\000', var_43, '\000', '\000', '\000', var_77, *(generic64_t *) "", &var_41, &var_42);
    helper_divsd_wrapper_5(NULL, 776, 2824, '\000', '\000', var_41, '\000', '\000', '\000', var_42, *(generic64_t *) "", &var_39, &var_40);
    helper_subsd_wrapper(NULL, 1224, 776, '\000', '\000', var_39, '\000', '\000', '\000', var_40, var_44, &var_37, &var_38);
    function_0x14000224e_Code_x86_64();
    helper_mulsd_wrapper_6(NULL, 776, 2824, '\000', '\000', var_37, '\000', '\000', '\000', var_77, *(generic64_t *) "", &var_35, &var_36);
    helper_divsd_wrapper_5(NULL, 776, 2824, '\000', '\000', var_35, '\000', '\000', '\000', var_36, *(generic64_t *) "", &var_33, &var_34);
    helper_addsd_wrapper(NULL, 1224, 776, '\000', '\000', var_33, '\000', '\000', '\000', var_34, var_38, &var_31, &var_32);
    function_0x14000224e_Code_x86_64();
    helper_mulsd_wrapper_6(NULL, 776, 2824, '\000', '\000', var_31, '\000', '\000', '\000', var_77, *(generic64_t *) "", &var_29, &var_30);
    helper_divsd_wrapper_5(NULL, 776, 2824, '\000', '\000', var_29, '\000', '\000', '\000', var_30, *(generic64_t *) "", &var_27, &var_28);
    helper_subsd_wrapper(NULL, 1224, 776, '\000', '\000', var_27, '\000', '\000', '\000', var_28, var_32, &var_25, &var_26);
    function_0x14000224e_Code_x86_64();
    helper_mulsd_wrapper_6(NULL, 776, 2824, '\000', '\000', var_25, '\000', '\000', '\000', var_77, *(generic64_t *) "", &var_23, &var_24);
    helper_divsd_wrapper_5(NULL, 776, 2824, '\000', '\000', var_23, '\000', '\000', '\000', var_24, *(generic64_t *) "", &var_21, &var_22);
    helper_addsd_wrapper(NULL, 1224, 776, '\000', '\000', var_21, '\000', '\000', '\000', var_22, var_26, &var_19, &var_20);
    function_0x14000224e_Code_x86_64();
    helper_mulsd_wrapper_6(NULL, 776, 2824, '\000', '\000', var_19, '\000', '\000', '\000', var_77, *(generic64_t *) "", &var_17, &var_18);
    helper_divsd_wrapper_5(NULL, 776, 2824, '\000', '\000', var_17, '\000', '\000', '\000', var_18, *(generic64_t *) "", &var_15, &var_16);
    helper_subsd_wrapper(NULL, 1224, 776, '\000', '\000', var_15, '\000', '\000', '\000', var_16, var_20, &var_13, &var_14);
    function_0x14000224e_Code_x86_64();
    helper_mulsd_wrapper_6(NULL, 776, 2824, '\000', '\000', var_13, '\000', '\000', '\000', var_77, *(generic64_t *) "", &var_11, &var_12);
    helper_divsd_wrapper_5(NULL, 776, 2824, '\000', '\000', var_11, '\000', '\000', '\000', var_12, *(generic64_t *) "", &var_9, &var_10);
    helper_addsd_wrapper(NULL, 1224, 776, '\000', '\000', var_9, '\000', '\000', '\000', var_10, var_14, &var_7, &var_8);
    function_0x14000224e_Code_x86_64();
    helper_mulsd_wrapper_6(NULL, 776, 2824, '\000', '\000', var_7, '\000', '\000', '\000', var_77, *(generic64_t *) "", &var_5, &var_6);
    helper_divsd_wrapper_5(NULL, 776, 2824, '\000', '\000', var_5, '\000', '\000', '\000', var_6, *(generic64_t *) "", &var_3, &var_4);
    helper_subsd_wrapper(NULL, 1224, 776, '\000', '\000', var_3, '\000', '\000', '\000', var_4, var_8, &var_1, &var_2);
    function_0x140002248_Code_x86_64();
    var_76 = helper_cvttsd2si_wrapper(NULL, 776, var_1, '\000', var_2, &var_0);
    var_70 = var_0;
    var_75 = ((cabifunction_262 *) *(generic64_t *) "@=")(0);
    var_74 = function_0x140001370_Code_x86_64((struct_171 **) *(generic64_t *) "b=", *(generic8_t *) (var_75 + (pointer_or_number64_t) var_76), var_78);
    var_72 = var_72 + 1;
    var_73 = var_68 < 11;
    var_71 = var_71 + 258657723377;
    var_68 = var_68 + 1;
  } while (var_73);
  generic64_t var_79;
  var_79 = ((rawfunction_64 *) segment_1.offset_160)((generic64_t) var_74, *(generic64_t *) "b=", (generic64_t) function_0x140001530_Code_x86_64, (generic64_t) register_r8);
  ((rawfunction_65 *) *(generic64_t *) "~?")(var_79, segment_1.offset_152, 4294967295);
  return 0;
}

_ABI(raw_x86_64)
struct_171 **function_0x140001370_Code_x86_64(struct_171 **register_rcx _REG(rcx_x86_64), generic64_t register_rdx _REG(rdx_x86_64), struct_127 stack_arguments _STACK) {
  struct_131 stack;
  generic32_t *var_0;
  stack_arguments.offset_0 = register_rcx;
  stack.offset_72 = 4;
  stack.offset_32 = 18446744073709551614U;
  stack_arguments.offset_16 = 0;
  stack.offset_40 = register_rcx;
  var_0 = &(*register_rcx)->offset_4;
  if (*(generic64_t *) ((pointer_or_number64_t) &register_rcx[9] + (number64_t) (*register_rcx)->offset_4 * 1)) {
    ((cabifunction_263 *) *(generic64_t *) (*(generic64_t *) *(generic64_t *) ((pointer_or_number64_t) &register_rcx[9] + (number64_t) (*register_rcx)->offset_4 * 1) + 8))();
    var_0 = &(*register_rcx)->offset_4;
  }
  generic64_t var_1;
  var_1 = var_0;
  if (!*(generic32_t *) ((pointer_or_number64_t) &register_rcx[2] + (number64_t) *(generic32_t *) var_1 * 1)) {
    generic8_t var_2;
    var_2 = !*(generic64_t *) ((pointer_or_number64_t) &register_rcx[10] + (number64_t) *(generic32_t *) var_1 * 1) || *(generic64_t *) ((pointer_or_number64_t) &register_rcx[10] + (number64_t) *(generic32_t *) var_1 * 1) == (pointer_or_number64_t) register_rcx;
    var_1 = var_0;
    if (!(var_2)) {
      ((cabifunction_264 *) segment_1.offset_184)();
      var_1 = &(*register_rcx)->offset_4;
    }
  }
  generic64_t var_3;
  generic64_t var_4;
  generic64_t var_5;
  stack.offset_48 = !*(generic32_t *) ((pointer_or_number64_t) &register_rcx[2] + (number64_t) *(generic32_t *) var_1 * 1);
  var_5 = 0;
  if (!*(generic32_t *) ((pointer_or_number64_t) &register_rcx[2] + (number64_t) *(generic32_t *) var_1 * 1)) {
    generic64_t var_6;
    generic64_t var_7;
    generic64_t var_8;
    var_6 = (int64_t) *(generic64_t *) ((pointer_or_number64_t) &register_rcx[5] + (number64_t) *(generic32_t *) var_1 * 1) > (int64_t) 1 ? *(generic64_t *) ((pointer_or_number64_t) &register_rcx[5] + (number64_t) *(generic32_t *) var_1 * 1) - 1 : 0;
    var_8 = var_6;
    var_7 = var_1;
    if ((*(generic32_t *) ((pointer_or_number64_t) &register_rcx[3] + (number64_t) *(generic32_t *) var_1 * 1) & 0x1C0) != 64) {
      generic64_t var_9;
      var_9 = var_6;
      while (true) {
        generic8_t var_10;
        generic64_t var_11;
        var_11 = lshift(var_9, 4294967240);
        var_10 = !var_9 ? '@' : '\000';
        if ((var_10 | ((number8_t) var_11 & 0x80))) {
          var_7 = &(*register_rcx)->offset_4;
          var_8 = var_9;
          break;
        }
        generic64_t var_12;
        generic64_t var_13;
        var_13 = ((cabifunction_265 *) segment_1.offset_192)(*(generic64_t *) ((pointer_or_number64_t) &register_rcx[9] + (number64_t) (*register_rcx)->offset_4 * 1), *(generic8_t *) ((pointer_or_number64_t) &register_rcx[11] + (number64_t) (*register_rcx)->offset_4 * 1));
        var_12 = (var_13 & 0xFFFFFFFF) != 4294967295 ? 4 : 0;
        stack_arguments.offset_16 = (number32_t) var_12;
        var_9 = var_9 - 1;
        if ((var_13 & 0xFFFFFFFF) != 4294967295) {
          continue;
        }
        var_5 = var_12;
        *(generic64_t *) ((pointer_or_number64_t) &register_rcx[5] + (number64_t) (*register_rcx)->offset_4 * 1) = 0;
        var_4 = ((cabifunction_268 *) *(generic64_t *) ">?")((pointer_or_number64_t) (*register_rcx)->offset_4 + (pointer_or_number64_t) register_rcx, var_5, 0);
        var_3 = ((cabifunction_269 *) segment_1.offset_144)((pointer_or_number64_t) (*register_rcx)->offset_4 + (pointer_or_number64_t) register_rcx, var_5, 0);
        if (!(var_3 & 0xFF)) {
          ((cabifunction_270 *) *(generic64_t *) "z>")((generic64_t) register_rcx, var_5, 0);
        }
        if (*(generic64_t *) ((pointer_or_number64_t) &register_rcx[9] + (number64_t) (*register_rcx)->offset_4 * 1)) {
          ((rawfunction_74 *) *(generic64_t *) (*(generic64_t *) *(generic64_t *) ((pointer_or_number64_t) &register_rcx[9] + (number64_t) (*register_rcx)->offset_4 * 1) + 16))(var_5, 0);
        }
        return register_rcx;
      }
    }
    generic64_t var_14;
    generic64_t var_15;
    var_15 = ((cabifunction_266 *) segment_1.offset_192)(*(generic64_t *) ((pointer_or_number64_t) &register_rcx[9] + (number64_t) *(generic32_t *) var_7 * 1), register_rdx & 0xFF);
    var_14 = (var_15 & 0xFFFFFFFF) == 4294967295 ? 4 : 0;
    var_5 = var_14;
    stack_arguments.offset_16 = (number32_t) var_5;
    if (!(number32_t) var_5) {
      generic8_t var_16;
      generic64_t var_17;
      var_17 = lshift(var_8, 4294967240);
      var_16 = !var_8 ? '@' : '\000';
      var_5 = var_14;
      if (!(var_16 | ((number8_t) var_17 & 0x80))) {
        generic64_t var_18;
        var_18 = 0;
        generic64_t var_19;
        while (true) {
          generic64_t var_20;
          var_20 = ((cabifunction_267 *) segment_1.offset_192)(*(generic64_t *) ((pointer_or_number64_t) &register_rcx[9] + (number64_t) (*register_rcx)->offset_4 * 1), *(generic8_t *) ((pointer_or_number64_t) &register_rcx[11] + (number64_t) (*register_rcx)->offset_4 * 1));
          var_19 = (var_20 & 0xFFFFFFFF) == 4294967295 ? 4 : 0;
          stack_arguments.offset_16 = (number32_t) var_19;
          if (!(number32_t) var_19) {
            generic8_t var_21;
            generic64_t var_22;
            var_22 = lshift(var_8 - 1 - var_18, 4294967240);
            var_21 = var_8 - 1 == var_18 ? '@' : '\000';
            var_18 = var_18 + 1;
            if (!(var_21 | ((number8_t) var_22 & 0x80))) {
              continue;
            }
          }
          break;
        }
        var_5 = var_19;
      }
    }
  }
  *(generic64_t *) ((pointer_or_number64_t) &register_rcx[5] + (number64_t) (*register_rcx)->offset_4 * 1) = 0;
  var_4 = ((cabifunction_268 *) *(generic64_t *) ">?")((pointer_or_number64_t) (*register_rcx)->offset_4 + (pointer_or_number64_t) register_rcx, var_5, 0);
  var_3 = ((cabifunction_269 *) segment_1.offset_144)((pointer_or_number64_t) (*register_rcx)->offset_4 + (pointer_or_number64_t) register_rcx, var_5, 0);
  if (!(var_3 & 0xFF)) {
    ((cabifunction_270 *) *(generic64_t *) "z>")((generic64_t) register_rcx, var_5, 0);
  }
  if (*(generic64_t *) ((pointer_or_number64_t) &register_rcx[9] + (number64_t) (*register_rcx)->offset_4 * 1)) {
    ((rawfunction_74 *) *(generic64_t *) (*(generic64_t *) *(generic64_t *) ((pointer_or_number64_t) &register_rcx[9] + (number64_t) (*register_rcx)->offset_4 * 1) + 16))(var_5, 0);
  }
  return register_rcx;
}

_ABI(Microsoft_x86_64)
struct_208 **function_0x140001530_Code_x86_64(struct_208 **argument_0, generic64_t argument_1) {
  generic64_t var_0;
  var_0 = ((cabifunction_310 *) segment_1.offset_216)((pointer_or_number64_t) (*argument_0)->offset_4 + (pointer_or_number64_t) argument_0, (argument_1 & 0xFFFFFFFFFFFFFF00) | 0xA);
  ((cabifunction_311 *) *(generic64_t *) "6>")((generic64_t) argument_0, var_0 & 0xFF);
  ((cabifunction_312 *) segment_1.offset_184)((generic64_t) argument_0, var_0 & 0xFF);
  return argument_0;
}

_ABI(Microsoft_x86_64)
void function_0x1400015a4_Code_x86_64(void) {
  generic64_t var_0;
  generic64_t var_1;
  generic32_t *var_2;
  struct_129 var_3;
  function_0x1400021be_Code_x86_64();
  var_2 = function_0x140001d00_Code_x86_64();
  function_0x1400021f4_Code_x86_64();
  function_0x140002224_Code_x86_64();
  var_1 = function_0x140001cf4_Code_x86_64();
  *var_2 = (number32_t) var_1;
  var_0 = function_0x140001a1c_Code_x86_64(1);
  if (!(var_0 & 0xFF)) {
    function_0x140001d70_Code_x86_64(7, var_3);
  } else {
    generic64_t var_4;
    generic64_t var_5;
    function_0x140001f60_Code_x86_64();
    var_5 = function_0x140001c30_Code_x86_64((generic64_t) function_0x140001f9c_Code_x86_64);
    var_4 = function_0x140001cf8_Code_x86_64();
    function_0x1400021ca_Code_x86_64();
    if (!(var_4 & 0xFFFFFFFF)) {
      generic64_t var_6;
      function_0x140001d08_Code_x86_64(0);
      var_6 = function_0x140001d4c_Code_x86_64();
      if ((var_6 & 0xFFFFFFFF)) {
        function_0x1400021c4_Code_x86_64();
      }
      generic64_t var_7;
      generic64_t var_8;
      function_0x140001d1c_Code_x86_64();
      function_0x140001d1c_Code_x86_64();
      var_8 = function_0x140001cf4_Code_x86_64();
      function_0x140002218_Code_x86_64();
      var_7 = function_0x140001d18_Code_x86_64(var_8 & 0xFFFFFFFF);
      if ((var_7 & 0xFF)) {
        function_0x1400021d0_Code_x86_64();
      }
      generic64_t var_9;
      generic64_t var_10;
      var_10 = function_0x140001cf4_Code_x86_64();
      var_9 = function_0x140001ebc_Code_x86_64();
      if (!(var_9 & 0xFFFFFFFF)) {
        return;
      }
      function_0x140001d70_Code_x86_64(7, var_3);
    } else {
      function_0x140001d70_Code_x86_64(7, var_3);
    }
  }
}

_ABI(Microsoft_x86_64)
generic64_t function_0x14000165c_Code_x86_64(generic64_t argument_0) {
  function_0x140001d30_Code_x86_64();
  return 0;
}

_ABI(Microsoft_x86_64)
void function_0x14000166c_Code_x86_64(generic64_t argument_0) {
  generic64_t var_0;
  function_0x140001f18_Code_x86_64(argument_0);
  var_0 = function_0x140001cf4_Code_x86_64();
}

_ABI(Microsoft_x86_64) _Noreturn
void function_0x140001804_Code_x86_64(void) {
  struct_141 stack;
  struct_141 *var_0;
  var_0 = &(&stack)[1];
  while (true) {
    generic64_t var_1;
    generic64_t var_2;
    generic64_t var_3;
    generic64_t var_4;
    generic64_t var_5;
    generic64_t var_6;
    generic64_t var_7;
    generic64_t var_8;
    generic64_t var_9;
    generic64_t var_10;
    generic64_t var_11;
    generic64_t var_12;
    generic64_t var_13;
    struct_129 var_14;
    struct_128 var_15;
    function_0x140001c48_Code_x86_64(var_15);
    *(generic64_t *) ((pointer_or_number64_t) var_0 + 8) = var_10;
    *(generic64_t *) ((pointer_or_number64_t) var_0 + 16) = var_13;
    *(generic64_t *) ((pointer_or_number64_t) var_0 - 8) = var_11;
    var_1 = function_0x1400019d0_Code_x86_64(1, var_12);
    if (!(var_1 & 0xFF)) {
      function_0x140001d70_Code_x86_64(7, var_14);
      var_7 = (pointer_or_number64_t) var_0 - 56;
      var_8 = var_10;
      var_9 = var_13;
      var_2 = var_7;
      var_3 = var_8;
      var_6 = var_9;
      function_0x140001d70_Code_x86_64(7, var_14);
      var_4 = var_11;
      var_5 = var_12;
      function_0x1400021e8_Code_x86_64();
      function_0x1400021ee_Code_x86_64();
      continue;
    }
    generic64_t var_16;
    generic64_t var_17;
    generic64_t var_18;
    struct_157 *var_19;
    struct_157 *var_20;
    generic64_t var_21;
    generic64_t var_22;
    generic64_t var_23;
    struct_157 *var_24;
    generic64_t *var_25;
    generic64_t var_26;
    struct_157 *var_27;
    generic64_t var_28;
    generic64_t var_29;
    generic64_t var_30;
    generic64_t var_31;
    generic64_t var_32;
    struct_126 var_33;
    artificial_struct_returned_by_rawfunction_75 var_34;
    bool var_35 = false;
    var_9 = var_13 & 0xFFFFFFFFFFFFFF00;
    *(generic8_t *) ((pointer_or_number64_t) var_0 - 24) = '\000';
    var_26 = function_0x140001994_Code_x86_64(1);
    var_7 = (pointer_or_number64_t) var_0 - 56;
    var_8 = (var_10 & 0xFFFFFFFFFFFFFF00) | (var_26 & 0xFF);
    switch ((number32_t) segment_2.offset_1456) {
      case 1:
      {
        var_2 = var_7;
        var_3 = var_8;
        var_6 = var_9;
        function_0x140001d70_Code_x86_64(7, var_14);
        var_4 = var_11;
        var_5 = var_12;
      } break;
      case 0:
      {
        segment_2.offset_1456 = 1;
        function_0x1400021e2_Code_x86_64();
        if ((var_26 & 0xFFFFFFFF)) {
          var_35 = true;
          break;
        }
        function_0x1400021dc_Code_x86_64();
        segment_2.offset_1456 = 2;
        var_30 = "";
        var_31 = "";
        var_32 = var_13 & 0xFFFFFFFFFFFFFF00;
        var_29 = var_31;
        var_28 = (var_30 & 0x1FFFFFF00) | (var_26 & 0xFF);
        function_0x140001b90_Code_x86_64(var_28);
        var_25 = function_0x140001d58_Code_x86_64(var_28, var_29);
        if (*var_25) {
          var_24 = function_0x140001af4_Code_x86_64((generic64_t) var_25);
          var_28 = var_25;
          var_29 = var_31;
          if (((number64_t) var_24 & 0xFF)) {
            var_34 = ((rawfunction_75 *) *(generic64_t *) "p\"")(*var_25, 0, 2);
            var_23 = var_34.register_rax;
            var_22 = var_34.register_rcx;
            var_28 = var_22;
            var_21 = var_34.register_rdx;
            var_29 = var_21;
          }
        }
        var_20 = function_0x140001d60_Code_x86_64(var_28, var_29);
        var_27 = var_20;
        if (*(generic64_t *) var_27) {
          var_19 = function_0x140001af4_Code_x86_64((generic64_t) var_20);
          var_27 = var_19;
          if (((number64_t) var_27 & 0xFF)) {
            function_0x140002212_Code_x86_64();
            var_27 = var_19;
          }
        }
        function_0x140002200_Code_x86_64();
        var_5 = *(generic64_t *) var_27;
        var_4 = var_5;
        function_0x1400021fa_Code_x86_64();
        function_0x1400021d6_Code_x86_64();
        var_18 = function_0x140001000_Code_x86_64(var_27->offset_0, var_4, var_27, var_33);
        var_17 = function_0x140001ec4_Code_x86_64(var_27->offset_0, var_4, var_27);
        var_3 = var_18 & 0xFFFFFFFF;
        var_2 = (pointer_or_number64_t) var_0 - 56;
        var_6 = var_32;
        if ((var_17 & 0xFF)) {
          if (!(var_32 & 0xFF)) {
            function_0x140002206_Code_x86_64();
          }
          var_16 = function_0x140001bb4_Code_x86_64((var_27->offset_0 & 0xFFFFFF00) | 0x1, 0);
          var_35 = true;
          break;
        }
      } break;
      default:
      {
        var_30 = segment_2.offset_1456;
        var_32 = (var_13 & 0xFFFFFFFFFFFFFF00) | 0x1;
        *(generic8_t *) ((pointer_or_number64_t) var_0 - 24) = '\001';
        var_31 = var_12;
        var_29 = var_31;
        var_28 = (var_30 & 0x1FFFFFF00) | (var_26 & 0xFF);
        function_0x140001b90_Code_x86_64(var_28);
        var_25 = function_0x140001d58_Code_x86_64(var_28, var_29);
        if (*var_25) {
          var_24 = function_0x140001af4_Code_x86_64((generic64_t) var_25);
          var_28 = var_25;
          var_29 = var_31;
          if (((number64_t) var_24 & 0xFF)) {
            var_34 = ((rawfunction_75 *) *(generic64_t *) "p\"")(*var_25, 0, 2);
            var_23 = var_34.register_rax;
            var_22 = var_34.register_rcx;
            var_28 = var_22;
            var_21 = var_34.register_rdx;
            var_29 = var_21;
          }
        }
        var_20 = function_0x140001d60_Code_x86_64(var_28, var_29);
        var_27 = var_20;
        if (*(generic64_t *) var_27) {
          var_19 = function_0x140001af4_Code_x86_64((generic64_t) var_20);
          var_27 = var_19;
          if (((number64_t) var_27 & 0xFF)) {
            function_0x140002212_Code_x86_64();
            var_27 = var_19;
          }
        }
        function_0x140002200_Code_x86_64();
        var_5 = *(generic64_t *) var_27;
        var_4 = var_5;
        function_0x1400021fa_Code_x86_64();
        function_0x1400021d6_Code_x86_64();
        var_18 = function_0x140001000_Code_x86_64(var_27->offset_0, var_4, var_27, var_33);
        var_17 = function_0x140001ec4_Code_x86_64(var_27->offset_0, var_4, var_27);
        var_3 = var_18 & 0xFFFFFFFF;
        var_2 = (pointer_or_number64_t) var_0 - 56;
        var_6 = var_32;
        if ((var_17 & 0xFF)) {
          if (!(var_32 & 0xFF)) {
            function_0x140002206_Code_x86_64();
          }
          var_16 = function_0x140001bb4_Code_x86_64((var_27->offset_0 & 0xFFFFFF00) | 0x1, 0);
          var_35 = true;
          break;
        }
      } break;
    }
    if (var_35){
      break;}
    function_0x1400021e8_Code_x86_64();
    function_0x1400021ee_Code_x86_64();
  }
  revng_abort("A longjmp was taken");
}

_ABI(Microsoft_x86_64)
generic64_t function_0x140001994_Code_x86_64(generic64_t argument_0) {
  generic64_t var_0;
  generic64_t var_1;
  generic64_t var_2;
  var_0 = function_0x140002194_Code_x86_64();
  var_2 = var_0;
  if ((var_2 & 0xFFFFFFFF)) {
    while (true) {
      helper_lock();
      if (!segment_2.offset_1464) {
        segment_2.offset_1464 = *(generic64_t *) (*(generic64_t *) 48 + 8);
        helper_unlock();
        var_2 = 0;
        break;
      }
      helper_unlock();
      if (*(generic64_t *) (*(generic64_t *) 48 + 8) != segment_2.offset_1464) {
        continue;
      }
      var_1 = (*(generic64_t *) (*(generic64_t *) 48 + 8) & 0xFFFFFFFFFFFFFF00) | 0x1;
      return var_1;
    }
  }
  var_1 = var_2 & 0xFFFFFFFFFFFFFF00;
  return var_1;
}

_ABI(Microsoft_x86_64)
generic64_t function_0x1400019d0_Code_x86_64(generic64_t argument_0, generic64_t argument_1) {
  struct_143 stack;
  generic64_t var_0;
  generic64_t var_1;
  generic8_t var_2;
  generic64_t var_3;
  generic64_t var_4;
  stack.offset_32 = 1;
  var_2 = !(argument_0 & 0xFFFFFFFF) ? '\001' : segment_2.offset_1472;
  segment_2.offset_1472 = var_2;
  var_1 = function_0x140001fd8_Code_x86_64(argument_0, argument_1);
  var_0 = function_0x140001d18_Code_x86_64(argument_0);
  var_4 = var_0;
  if ((var_4 & 0xFF)) {
    generic64_t var_5;
    var_5 = function_0x140001d18_Code_x86_64(argument_0);
    if ((var_5 & 0xFF)) {
      var_3 = (var_5 & 0xFFFFFFFFFFFFFF00) | 0x1;
      return var_3;
    }
    generic64_t var_6;
    var_6 = function_0x140001d18_Code_x86_64(0);
    var_4 = var_6;
  }
  var_3 = var_4 & 0xFFFFFFFFFFFFFF00;
  return var_3;
}

_ABI(Microsoft_x86_64)
generic64_t function_0x140001a1c_Code_x86_64(generic64_t argument_0) {
  struct_134 stack;
  generic64_t var_0;
  var_0 = 1;
  if (!segment_2.offset_1473) {
    if (!((number32_t) argument_0 < 2)) {
      struct_129 var_1;
      function_0x140001d70_Code_x86_64(5, var_1);
    }
    generic64_t var_2;
    var_2 = function_0x140002194_Code_x86_64();
    if ((var_2 & 0xFFFFFFFF) != 0 && !(number32_t) argument_0) {
      function_0x14000222a_Code_x86_64();
      var_0 = var_2 & 0xFFFFFFFFFFFFFF00;
    } else {
      generic64_t var_3;
      generic64_t var_4;
      generic64_t var_5;
      var_5 = lshift(18446744073709551615U, 4294967240);
      stack.offset_32 = ~segment_2.offset_8;
      stack.offset_40 = ~segment_2.offset_8;
      var_4 = stack.offset_32;
      stack.offset_48 = ~segment_2.offset_8;
      segment_2.offset_1480 = var_4;
      segment_2.offset_1488 = ~segment_2.offset_8;
      stack.offset_32 = ~segment_2.offset_8;
      stack.offset_40 = ~segment_2.offset_8;
      var_3 = stack.offset_32;
      stack.offset_48 = ~segment_2.offset_8;
      segment_2.offset_1496 = ~segment_2.offset_8;
      segment_2.offset_1504 = var_3;
      segment_2.offset_1512 = ~segment_2.offset_8;
      segment_2.offset_1520 = stack.offset_48;
      segment_2.offset_1473 = '\001';
      var_0 = (~segment_2.offset_8 & 0xFFFFFFFFFFFFFF00) | 0x1;
    }
  }
  return var_0;
}

_ABI(Microsoft_x86_64)
struct_157 *function_0x140001af4_Code_x86_64(generic64_t argument_0) {
  struct_146 stack;
  generic64_t var_0;
  generic64_t var_1;
  var_1 = 23117;
  if (*(generic16_t *) 5368709120 == 23117) {
    var_1 = *(generic32_t *) 5368709180;
    if (*(generic32_t *) (var_1 + 5368709120) == 17744) {
      var_1 = 523;
      if (*(generic16_t *) ((pointer_or_number64_t) *(generic32_t *) 5368709180 + 5368709144) == 523) {
        generic64_t var_2;
        var_2 = *(generic16_t *) ((pointer_or_number64_t) *(generic32_t *) 5368709180 + 5368709126);
        stack.offset_0 = (pointer_or_number64_t) *(generic32_t *) 5368709180 + 5368709144 + *(generic16_t *) ((pointer_or_number64_t) *(generic32_t *) 5368709180 + 5368709140);
        if (*(generic16_t *) ((pointer_or_number64_t) *(generic32_t *) 5368709180 + 5368709126)) {
          generic64_t var_3;
          generic64_t var_4;
          generic64_t var_5;
          var_3 = 0;
          var_4 = (pointer_or_number64_t) *(generic32_t *) 5368709180 + 5368709144 + *(generic16_t *) ((pointer_or_number64_t) *(generic32_t *) 5368709180 + 5368709140);
          var_5 = *(generic16_t *) ((pointer_or_number64_t) *(generic32_t *) 5368709180 + 5368709126);
          while (true) {
            generic64_t var_6;
            var_6 = var_5;
            if (!(argument_0 - 5368709120 < *(generic32_t *) ((pointer_or_number64_t) *(generic32_t *) 5368709180 + *(generic16_t *) ((pointer_or_number64_t) *(generic32_t *) 5368709180 + 5368709140) + 5368709156 + var_3 * 40))) {
              var_6 = *(generic32_t *) ((pointer_or_number64_t) *(generic32_t *) 5368709180 + *(generic16_t *) ((pointer_or_number64_t) *(generic32_t *) 5368709180 + 5368709140) + 5368709156 + var_3 * 40) + *(generic32_t *) ((pointer_or_number64_t) *(generic32_t *) 5368709180 + *(generic16_t *) ((pointer_or_number64_t) *(generic32_t *) 5368709180 + 5368709140) + 5368709152 + var_3 * 40);
              if (argument_0 - 5368709120 < var_6) {
                var_2 = *(generic32_t *) ((pointer_or_number64_t) *(generic32_t *) 5368709180 + *(generic16_t *) ((pointer_or_number64_t) *(generic32_t *) 5368709180 + 5368709140) + 5368709156 + var_3 * 40) + *(generic32_t *) ((pointer_or_number64_t) *(generic32_t *) 5368709180 + *(generic16_t *) ((pointer_or_number64_t) *(generic32_t *) 5368709180 + 5368709140) + 5368709152 + var_3 * 40);
                if (!var_4) {
                  break;
                }
                var_0 = ((*(generic32_t *) ((pointer_or_number64_t) *(generic32_t *) 5368709180 + *(generic16_t *) ((pointer_or_number64_t) *(generic32_t *) 5368709180 + 5368709140) + 5368709156 + var_3 * 40) + *(generic32_t *) ((pointer_or_number64_t) *(generic32_t *) 5368709180 + *(generic16_t *) ((pointer_or_number64_t) *(generic32_t *) 5368709180 + 5368709140) + 5368709152 + var_3 * 40)) & 0xFFFFFF00) | ((int32_t) *(generic32_t *) (var_4 + 36) > -1);
                return (struct_157 *) var_0;
              }
            }
            generic8_t var_7;
            var_4 = var_4 + 40;
            stack.offset_0 = (pointer_or_number64_t) *(generic32_t *) 5368709180 + *(generic16_t *) ((pointer_or_number64_t) *(generic32_t *) 5368709180 + 5368709140) + 5368709184 + var_3 * 40;
            var_7 = (pointer_or_number64_t) *(generic32_t *) 5368709180 + *(generic16_t *) ((pointer_or_number64_t) *(generic32_t *) 5368709180 + 5368709140) + 5368709184 + var_3 * 40 == var_2 * 40 + ((pointer_or_number64_t) *(generic32_t *) 5368709180 + 5368709144 + *(generic16_t *) ((pointer_or_number64_t) *(generic32_t *) 5368709180 + 5368709140));
            var_3 = var_3 + 1;
            if (!(var_7)) {
              continue;
            }
            var_2 = var_6;
            break;
          }
        }
        var_0 = var_2 & 0xFFFFFFFFFFFFFF00;
        return (struct_157 *) var_0;
      }
    }
  }
  var_0 = var_1 & 0xFFFFFFFFFFFFFF00;
  return (struct_157 *) var_0;
}

_ABI(Microsoft_x86_64)
void function_0x140001b90_Code_x86_64(generic64_t argument_0) {
  generic64_t var_0;
  var_0 = function_0x140002194_Code_x86_64();
  if ((var_0 & 0xFFFFFFFF) != 0 && !(argument_0 & 0xFF)) {
    helper_lock();
    segment_2.offset_1464 = 0;
    helper_unlock();
  }
}

_ABI(Microsoft_x86_64)
generic64_t function_0x140001bb4_Code_x86_64(generic64_t argument_0, generic64_t argument_1) {
  generic64_t var_0;
  var_0 = 1;
  if (!segment_2.offset_1472 || !(argument_1 & 0xFF)) {
    generic64_t var_1;
    generic64_t var_2;
    var_2 = function_0x140001d18_Code_x86_64(argument_0);
    var_1 = function_0x140001d18_Code_x86_64(argument_0);
    var_0 = (var_1 & 0xFFFFFFFFFFFFFF00) | 0x1;
  }
  return var_0;
}

_ABI(Microsoft_x86_64)
generic64_t function_0x140001be0_Code_x86_64(generic64_t argument_0) {
  generic64_t var_0;
  var_0 = lshift(segment_2.offset_8 & 0x3F, 4294967272);
  if ((segment_2.offset_8 ^ segment_2.offset_1480) == (pointer_or_number64_t) -1) {
    function_0x140002236_Code_x86_64();
  } else {
    function_0x140002230_Code_x86_64();
  }
  return argument_0;
}

_ABI(Microsoft_x86_64)
generic64_t function_0x140001c30_Code_x86_64(generic64_t argument_0) {
  generic64_t var_0;
  generic64_t var_1;
  var_1 = function_0x140001be0_Code_x86_64(argument_0);
  var_0 = !var_1 ? 4294967295 : 0;
  return var_0;
}

_ABI(raw_x86_64)
void function_0x140001c48_Code_x86_64(struct_128 stack_arguments _STACK) {
  struct_142 stack;
  generic64_t var_0;
  stack_arguments.offset_24 = 47936899621426;
  var_0 = segment_2.offset_8;
  if (var_0 == 47936899621426) {
    generic64_t var_1;
    generic64_t var_2;
    generic64_t var_3;
    generic64_t var_4;
    generic64_t var_5;
    artificial_struct_returned_by_rawfunction_77 var_6;
    stack_arguments.offset_8 = 0;
    var_5 = ((rawfunction_76 *) segment_1.offset_64)((pointer_or_number64_t) &(&stack)[1] + 16);
    stack_arguments.offset_0 = stack_arguments.offset_8;
    var_6 = ((rawfunction_77 *) segment_1.offset_56)(var_5);
    var_4 = var_6.register_rax;
    var_3 = var_6.register_rcx;
    stack_arguments.offset_0 = stack_arguments.offset_0 ^ (var_4 & 0xFFFFFFFF);
    var_2 = ((cabifunction_271 *) segment_1.offset_48)(var_3);
    stack_arguments.offset_0 = stack_arguments.offset_0 ^ (var_2 & 0xFFFFFFFF);
    ((cabifunction_272 *) segment_1.offset_40)((pointer_or_number64_t) &(&stack)[1] + 24);
    var_1 = ((((number64_t) (stack_arguments.offset_16 & 0xFFFF) << 32) ^ *(generic64_t *) &stack_arguments.offset_16 ^ stack_arguments.offset_0 ^ ((pointer_or_number64_t) &(&stack)[1] + 8)) & 0xFFFFFFFFFFFF) == 47936899621426 ? 47936899621427 : (((number64_t) (stack_arguments.offset_16 & 0xFFFF) << 32) ^ *(generic64_t *) &stack_arguments.offset_16 ^ stack_arguments.offset_0 ^ ((pointer_or_number64_t) &(&stack)[1] + 8)) & 0xFFFFFFFFFFFF;
    var_0 = var_1;
    segment_2.offset_8 = var_0;
  }
  segment_2.offset_0 = ~var_0;
}

_ABI(Microsoft_x86_64)
generic64_t function_0x140001cf4_Code_x86_64(void) {
  return 0;
}

_ABI(Microsoft_x86_64)
generic64_t function_0x140001cf8_Code_x86_64(void) {
  return 1;
}

_ABI(Microsoft_x86_64)
generic32_t *function_0x140001d00_Code_x86_64(void) {
  return (generic32_t *) 16384;
}

_ABI(Microsoft_x86_64)
void function_0x140001d08_Code_x86_64(generic64_t argument_0) {
}

_ABI(Microsoft_x86_64)
generic64_t function_0x140001d18_Code_x86_64(generic64_t argument_0) {
  return 1;
}

_ABI(Microsoft_x86_64)
void function_0x140001d1c_Code_x86_64(void) {
}

_ABI(Microsoft_x86_64)
generic64_t *function_0x140001d20_Code_x86_64(void) {
  return &segment_2.offset_1552;
}

_ABI(Microsoft_x86_64)
generic64_t *function_0x140001d28_Code_x86_64(void) {
  return &segment_2.offset_1560;
}

_ABI(Microsoft_x86_64)
void function_0x140001d30_Code_x86_64(void) {
  generic64_t *var_0;
  generic64_t *var_1;
  var_1 = function_0x140001d20_Code_x86_64();
  *var_1 = *var_1 | 0x4;
  var_0 = function_0x140001d28_Code_x86_64();
  *var_0 = *var_0 | 0x2;
}

_ABI(Microsoft_x86_64)
generic64_t function_0x140001d4c_Code_x86_64(void) {
  return !segment_2.offset_20;
}

_ABI(Microsoft_x86_64)
generic64_t *function_0x140001d58_Code_x86_64(generic64_t argument_0, generic64_t argument_1) {
  return &segment_2.offset_1584;
}

_ABI(Microsoft_x86_64)
struct_157 *function_0x140001d60_Code_x86_64(generic64_t argument_0, generic64_t argument_1) {
  return &segment_2.offset_1576;
}

_ABI(Microsoft_x86_64)
void function_0x140001d68_Code_x86_64(generic64_t argument_0) {
  segment_2.offset_1568 = 0;
}

_ABI(raw_x86_64)
void function_0x140001d70_Code_x86_64(generic64_t register_rcx _REG(rcx_x86_64), struct_129 stack_arguments _STACK) {
  struct_135 stack;
  generic64_t var_0;
  generic64_t var_1;
  generic64_t var_2;
  generic64_t var_3;
  generic64_t var_4;
  artificial_struct_returned_by_rawfunction_81 var_5;
  artificial_struct_returned_by_rawfunction_82 var_6;
  function_0x140002242_Code_x86_64();
  function_0x140001d68_Code_x86_64(3);
  function_0x1400021b2_Code_x86_64();
  var_5 = ((rawfunction_81 *) segment_1.offset_112)((pointer_or_number64_t) &stack.offset_96 + 144);
  var_4 = var_5.register_rax;
  var_3 = var_5.register_r9;
  var_0 = stack.offset_488;
  var_6 = ((rawfunction_82 *) segment_1.offset_104)(var_0, (pointer_or_number64_t) &(&stack)[1] + 16, 0);
  var_2 = var_6.register_rax;
  var_1 = var_6.register_r9;
  if (var_2) {
    generic64_t var_7;
    stack.offset_56 = 0;
    stack.offset_48 = (pointer_or_number64_t) &(&stack)[1] + 24;
    stack.offset_40 = &(&stack)[1].offset_32;
    stack.offset_32 = (pointer_or_number64_t) &stack.offset_96 + 144;
    var_7 = ((rawfunction_83 *) segment_1.offset_88)(0, stack_arguments.offset_8, var_0, var_2);
  }
  generic64_t var_8;
  generic64_t var_9;
  generic64_t var_10;
  stack.offset_488 = *(generic64_t *) &(&stack)[1];
  stack.offset_392 = (pointer_or_number64_t) &(&stack)[1] + 8;
  function_0x1400021b2_Code_x86_64();
  stack.offset_96 = *(generic64_t *) &(&stack)[1];
  stack.offset_80 = 1073741845;
  stack.offset_84 = 1;
  var_10 = ((cabifunction_274 *) segment_1.offset_80)();
  stack.offset_64 = &stack.offset_80;
  stack.offset_72 = (pointer_or_number64_t) &stack.offset_96 + 144;
  var_9 = ((cabifunction_275 *) *(generic64_t *) "8C")(0);
  var_8 = ((cabifunction_276 *) segment_1.offset_32)((generic64_t) &stack.offset_64);
  if (!((var_8 & 0xFFFFFFFF) != 0 || (var_10 & 0xFFFFFFFF) == 1)) {
    function_0x140001d68_Code_x86_64(3);
  }
}

_ABI(Microsoft_x86_64)
generic64_t function_0x140001ebc_Code_x86_64(void) {
  return 0;
}

_ABI(Microsoft_x86_64)
generic64_t function_0x140001ec4_Code_x86_64(generic64_t argument_0, generic64_t argument_1, struct_157 *argument_2) {
  generic64_t var_0;
  generic64_t var_1;
  generic64_t var_2;
  var_0 = ((cabifunction_277 *) *(generic64_t *) "$D")(0);
  var_2 = 0;
  if (var_0) {
    var_2 = var_0;
    if (*(generic16_t *) var_0 == 23117) {
      var_2 = var_0;
      if (*(generic32_t *) (var_0 + (pointer_or_number64_t) *(generic32_t *) (var_0 + 60)) == 17744) {
        var_2 = 523;
        if (*(generic16_t *) (var_0 + (pointer_or_number64_t) *(generic32_t *) (var_0 + 60) + 24) == 523) {
          var_2 = 523;
          if (*(generic32_t *) (var_0 + (pointer_or_number64_t) *(generic32_t *) (var_0 + 60) + 132) > 14) {
            var_1 = 513;
            var_2 = 523;
            if (*(generic32_t *) (var_0 + (pointer_or_number64_t) *(generic32_t *) (var_0 + 60) + 248)) {
              return var_1;
            }
          }
        }
      }
    }
  }
  var_1 = var_2 & 0xFFFFFFFFFFFFFF00;
  return var_1;
}

_ABI(Microsoft_x86_64)
void function_0x140001f18_Code_x86_64(generic64_t argument_0) {
}

_ABI(Microsoft_x86_64)
generic64_t function_0x140001f28_Code_x86_64(struct_167 **argument_0) {
  if (((*argument_0)->offset_0 == (pointer_or_number32_t) -529697949) && ((*argument_0)->offset_24 == 4)) {
    switch ((number32_t) (*argument_0)->offset_32) {
      case 26820608:
      case 429065504:
      case 429065505:
      case 429065506:
      {
        function_0x14000223c_Code_x86_64();
      } break;
    }
  }
  return 0;
}

_ABI(Microsoft_x86_64)
void function_0x140001f60_Code_x86_64(void) {
  struct_136 stack;
  stack.offset_32 = "";
}

_ABI(Microsoft_x86_64)
void function_0x140001f9c_Code_x86_64(void) {
  struct_152 stack;
  stack.offset_32 = "";
}

_ABI(Microsoft_x86_64)
generic64_t function_0x140001fd8_Code_x86_64(generic64_t argument_0, generic64_t argument_1) {
  struct_149 stack;
  generic64_t var_0;
  generic64_t var_1;
  generic64_t var_2;
  generic64_t var_3;
  generic64_t var_4;
  generic64_t var_5;
  generic64_t var_6;
  generic64_t var_7;
  generic64_t var_8;
  generic64_t var_9;
  generic64_t var_10;
  generic64_t var_11;
  generic32_t var_12;
  segment_2.offset_28 = 2;
  segment_2.offset_24 = 1;
  helper_cpuid_wrapper(NULL, 0, 0, &var_8, &var_9, &var_10, &var_11);
  helper_cpuid_wrapper(NULL, 1, 0, &var_4, &var_5, &var_6, &var_7);
  stack.offset_0 = (number32_t) var_4;
  stack.offset_4 = (number32_t) var_5;
  stack.offset_8 = (number32_t) var_6;
  stack.offset_12 = (number32_t) var_7;
  if (!(((number32_t) var_9 ^ 0x756E6547) | ((number32_t) var_11 ^ 0x49656E69) | ((number32_t) var_10 ^ 0x6C65746E))) {
    segment_2.offset_32 = 18446744073709551615U;
    switch ((number32_t) ((number32_t) var_4 & 0xFFF3FF0)) {
      case 67264:
      case 132704:
      case 132720:
      {
        var_12 = segment_2.offset_1572 | 0x1;
        segment_2.offset_1572 = var_12;
      } break;
      default:
      {
        if (((number32_t) var_4 & 0xFFF3FF0) > 198256 || ((number32_t) var_4 & 0xFFF3FF0) < 198224) {
          var_12 = segment_2.offset_1572;
        } else {
          generic64_t var_13;
          generic64_t var_14;
          var_14 = lshift((uint64_t) (((((number32_t) var_4 & 0xFFF3FF0) - 198224) & 0xFFFFFFF0) - 32), 4294967272);
          var_13 = lshift((uint64_t) (((((number32_t) var_4 & 0xFFF3FF0) - 198224) ^ 0x20) & ((((number32_t) var_4 & 0xFFF3FF0) - 198224) ^ (((((number32_t) var_4 & 0xFFF3FF0) - 198224) & 0xFFFFFFF0) - 32))), 4294967276);
          if (!((0x100010001 >> ((((number32_t) var_4 & 0xFFF3FF0) - 198224) & 0x30)) & 0x1)) {
            var_12 = segment_2.offset_1572;
          } else {
            var_12 = segment_2.offset_1572 | 0x1;
            segment_2.offset_1572 = var_12;
          }
        }
      } break;
    }
  } else {
    var_12 = segment_2.offset_1572;
  }
  generic32_t var_15;
  var_15 = var_12;
  if (!((((var_9 ^ 0x68747541) | (var_11 ^ 0x69746E65) | (var_10 ^ 0x444D4163)) & 0xFFFFFFFF) != 0 || (var_4 & 0xFF00F00) < 6295808)) {
    var_15 = var_12 | 0x4;
    segment_2.offset_1572 = var_15;
  }
  if ((int32_t) (number32_t) var_8 < (int32_t) 7) {
    generic64_t var_16;
    generic64_t var_17;
    var_17 = lshift((uint64_t) ((number32_t) var_8 - 7), 4294967272);
    var_16 = lshift((uint64_t) (((number32_t) var_8 ^ 0x7) & (((number32_t) var_8 - 7) ^ (number32_t) var_8)), 4294967276);
  } else {
    helper_cpuid_wrapper(NULL, 7, 0, &var_0, &var_1, &var_2, &var_3);
    stack.offset_0 = (number32_t) var_0;
    stack.offset_4 = (number32_t) var_1;
    stack.offset_8 = (number32_t) var_2;
    stack.offset_12 = (number32_t) var_3;
    if ((var_1 & 0x200)) {
      generic64_t var_18;
      segment_2.offset_1572 = var_15 | 0x2;
      var_18 = lshift((uint64_t) (var_15 | 0x2), 4294967272);
    }
  }
  if (((number32_t) var_6 & 0x100000)) {
    segment_2.offset_24 = 2;
    segment_2.offset_28 = 6;
    if (((number32_t) var_6 & 0x8000000)) {
    }
  }
  return 0;
}

_ABI(Microsoft_x86_64)
generic64_t function_0x140002194_Code_x86_64(void) {
  return segment_2.offset_48 != 0;
}

_ABI(Microsoft_x86_64)
void function_0x1400021b2_Code_x86_64(void) {
}

_ABI(Microsoft_x86_64)
void function_0x1400021be_Code_x86_64(void) {
}

_ABI(Microsoft_x86_64)
void function_0x1400021c4_Code_x86_64(void) {
}

_ABI(Microsoft_x86_64)
void function_0x1400021ca_Code_x86_64(void) {
}

_ABI(Microsoft_x86_64)
void function_0x1400021d0_Code_x86_64(void) {
}

_ABI(Microsoft_x86_64)
void function_0x1400021d6_Code_x86_64(void) {
}

_ABI(Microsoft_x86_64)
void function_0x1400021dc_Code_x86_64(void) {
}

_ABI(Microsoft_x86_64)
void function_0x1400021e2_Code_x86_64(void) {
}

_ABI(Microsoft_x86_64)
void function_0x1400021e8_Code_x86_64(void) {
}

_ABI(Microsoft_x86_64)
void function_0x1400021ee_Code_x86_64(void) {
}

_ABI(Microsoft_x86_64)
void function_0x1400021f4_Code_x86_64(void) {
}

_ABI(Microsoft_x86_64)
void function_0x1400021fa_Code_x86_64(void) {
}

_ABI(Microsoft_x86_64)
void function_0x140002200_Code_x86_64(void) {
}

_ABI(Microsoft_x86_64)
void function_0x140002206_Code_x86_64(void) {
}

_ABI(Microsoft_x86_64)
void function_0x140002212_Code_x86_64(void) {
}

_ABI(Microsoft_x86_64)
void function_0x140002218_Code_x86_64(void) {
}

_ABI(Microsoft_x86_64)
void function_0x140002224_Code_x86_64(void) {
}

_ABI(Microsoft_x86_64)
void function_0x14000222a_Code_x86_64(void) {
}

_ABI(Microsoft_x86_64)
void function_0x140002230_Code_x86_64(void) {
}

_ABI(Microsoft_x86_64)
void function_0x140002236_Code_x86_64(void) {
}

_ABI(Microsoft_x86_64)
void function_0x14000223c_Code_x86_64(void) {
}

_ABI(Microsoft_x86_64)
void function_0x140002242_Code_x86_64(void) {
}

_ABI(Microsoft_x86_64)
void function_0x140002248_Code_x86_64(void) {
}

_ABI(Microsoft_x86_64)
void function_0x14000224e_Code_x86_64(void) {
}