0x1622/pwnsec

0 lines

2.68 MB

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

_ABI(raw_x86_64)
void function_0x1400ae000_Code_x86_64(struct_149 *register_rcx _REG(rcx_x86_64), struct_93 stack_arguments _STACK) {
  generic64_t var_0;
  generic64_t var_1;
  generic64_t var_2;
  *(struct_149 **) &stack_arguments = register_rcx;
  var_0 = 0;
  var_1 = function_0x1400ae025_Code_x86_64;
  var_2 = register_rcx;
  do {
    ((struct_149 *) var_2)->offset_0[0] = *(generic8_t *) var_1;
    var_1 = var_1 + 1;
    var_0 = var_0 + 1;
    var_2 = &((struct_149 *) var_2)->offset_0[1];
  } while (var_0 != 256);
}

_ABI(Microsoft_x86_64) _Noreturn
void function_0x1400ae025_Code_x86_64(generic64_t argument_0, generic64_t argument_1, generic64_t argument_2) {
}

_ABI(raw_x86_64)
void function_0x1400ae125_Code_x86_64(struct_149 *register_rcx _REG(rcx_x86_64), struct_94 stack_arguments _STACK) {
  generic64_t var_0;
  generic64_t var_1;
  generic64_t var_2;
  *(struct_149 **) &stack_arguments = register_rcx;
  var_0 = 0;
  var_1 = function_0x1400ae14a_Code_x86_64;
  var_2 = register_rcx;
  do {
    ((struct_149 *) var_2)->offset_0[0] = *(generic8_t *) var_1;
    var_1 = var_1 + 1;
    var_0 = var_0 + 1;
    var_2 = &((struct_149 *) var_2)->offset_0[1];
  } while (var_0 != 256);
}

_ABI(Microsoft_x86_64) _Noreturn
void function_0x1400ae14a_Code_x86_64(generic64_t argument_0, generic64_t argument_1) {
}

_ABI(raw_x86_64)
void function_0x1400ae24a_Code_x86_64(struct_149 *register_rcx _REG(rcx_x86_64), struct_92 stack_arguments _STACK) {
  generic64_t var_0;
  generic64_t var_1;
  generic64_t var_2;
  *(struct_149 **) &stack_arguments = register_rcx;
  var_0 = 0;
  var_1 = function_0x1400ae26f_Code_x86_64;
  var_2 = register_rcx;
  do {
    ((struct_149 *) var_2)->offset_0[0] = *(generic8_t *) var_1;
    var_1 = var_1 + 1;
    var_0 = var_0 + 1;
    var_2 = &((struct_149 *) var_2)->offset_0[1];
  } while (var_0 != 256);
}

_ABI(Microsoft_x86_64) _Noreturn
void function_0x1400ae26f_Code_x86_64(generic64_t argument_0, generic64_t argument_1, generic64_t argument_2) {
  generic32_t var_0;
  generic64_t var_1;
  generic64_t var_2;
  generic64_t var_3;
  generic32_t var_4;
  generic64_t var_5;
  generic32_t var_6;
  generic32_t var_7;
  generic32_t var_8;
  generic64_t var_9;
  generic32_t var_10;
  generic8_t var_11;
  *(generic8_t *) ((argument_0 & 0xFFFFFF00) | (*(generic8_t *) ((argument_0 & 0xFFFFFFFF) + argument_0) + (number8_t) argument_0)) = *(generic8_t *) ((argument_0 & 0xFFFFFF00) | (*(generic8_t *) ((argument_0 & 0xFFFFFFFF) + argument_0) + (number8_t) argument_0)) + (number8_t) ((uint64_t) (argument_0 & 0xFFFFFF00) >> 8) + (*(generic8_t *) ((argument_0 & 0xFFFFFFFF) + argument_0) + (number8_t) argument_0 < *(generic8_t *) ((argument_0 & 0xFFFFFFFF) + argument_0));
  helper_check_iob_wrapper(NULL, (number32_t) argument_1 & 0xFFFF, (pointer_or_number64_t) &segment_2 + 634, undef(generic64_t), argument_2, undef(generic64_t), (argument_0 & 0xFFFFFF00) | (*(generic8_t *) ((argument_0 & 0xFFFFFFFF) + argument_0) + (number8_t) argument_0), undef(generic64_t), undef(generic64_t), argument_0, undef(generic64_t), argument_1, undef(generic64_t), 4294967295, 514, 0, 0, undef(generic32_t), 35584, 0, 0, 0, 4294967295, &var_0, &var_1, &var_2, &var_3, &var_4, &var_5, &var_6, &var_7, &var_8, &var_9, &var_10, &var_11);
}

_ABI(raw_x86_64)
void function_0x1400ae36f_Code_x86_64(generic64_t register_rcx _REG(rcx_x86_64), generic64_t register_rdx _REG(rdx_x86_64), generic64_t register_r8 _REG(r8_x86_64), struct_91 stack_arguments _STACK) {
  struct_102 stack;
  generic64_t var_0;
  generic64_t var_1;
  generic64_t var_2;
  stack_arguments.offset_0 = register_rcx;
  stack_arguments.offset_8 = register_rdx;
  stack_arguments.offset_16 = register_r8;
  var_0 = 0;
  var_1 = 3;
  var_2 = 1;
  generic8_t var_3;
  do {
    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;
    struct_90 var_12;
    struct_88 var_13;
    struct_89 var_14;
    struct_87 var_15;
    var_11 = (var_0 << 2) + 4;
    var_9 = function_0x1400ae4e1_Code_x86_64(stack_arguments.offset_0, var_1, var_13);
    var_8 = lshift((pointer_or_number64_t) &stack + 16, 4294967240);
    var_7 = lshift((((pointer_or_number64_t) &stack + 16) ^ 0x20) & (((pointer_or_number64_t) &stack - 16) ^ 0xFFFFFFFFFFFFFFDF), 4294967244);
    var_6 = function_0x1400ae505_Code_x86_64(llvm_fshl_i32((number32_t) var_9, (number32_t) var_9, 8), stack_arguments.offset_8, var_15);
    var_5 = function_0x1400ae4b6_Code_x86_64(var_6, stack_arguments.offset_16, var_2, var_14);
    var_4 = function_0x1400ae4e1_Code_x86_64(stack_arguments.offset_0, var_0 << 2, var_13);
    function_0x1400ae48a_Code_x86_64(var_4 ^ var_5, stack_arguments.offset_0, var_11, var_12);
    var_10 = 0;
    generic64_t var_16;
    generic64_t var_17;
    do {
      var_17 = function_0x1400ae4e1_Code_x86_64(stack_arguments.offset_0, var_11, var_13);
      var_16 = function_0x1400ae4e1_Code_x86_64(stack_arguments.offset_0, ((var_0 << 2) | 0x1) + var_10, var_13);
      var_11 = var_11 + 1;
      function_0x1400ae48a_Code_x86_64(var_16 ^ var_17, stack_arguments.offset_0, (var_0 << 2) + 5 + var_10, var_12);
      var_10 = var_10 + 1;
    } while (var_10 != 3);
    var_3 = (var_0 & 0x3FFFFFFFFFFFFFFF) == 9;
    var_0 = var_0 + 1;
    var_1 = var_1 + 4;
    var_2 = var_2 + 1;
  } while (!(var_3));
}

_ABI(raw_x86_64)
void function_0x1400ae48a_Code_x86_64(generic64_t register_rcx _REG(rcx_x86_64), generic64_t register_rdx _REG(rdx_x86_64), generic64_t register_r8 _REG(r8_x86_64), struct_90 stack_arguments _STACK) {
  stack_arguments.offset_0 = register_rcx;
  stack_arguments.offset_8 = register_rdx;
  stack_arguments.offset_16 = register_r8;
  *(generic32_t *) ((register_r8 << 2) + stack_arguments.offset_8) = llvm_bswap_i32((number32_t) stack_arguments.offset_0);
}

_ABI(raw_x86_64)
generic64_t function_0x1400ae4b6_Code_x86_64(generic64_t register_rcx _REG(rcx_x86_64), generic64_t register_rdx _REG(rdx_x86_64), generic64_t register_r8 _REG(r8_x86_64), struct_89 stack_arguments _STACK) {
  stack_arguments.offset_0 = register_rcx;
  stack_arguments.offset_8 = register_rdx;
  stack_arguments.offset_16 = register_r8;
  return ((number64_t) *(generic8_t *) (stack_arguments.offset_8 + (register_r8 & 0xFF)) << 24) ^ (stack_arguments.offset_0 & 0xFFFFFFFF);
}

_ABI(raw_x86_64)
generic64_t function_0x1400ae4e1_Code_x86_64(generic64_t register_rcx _REG(rcx_x86_64), generic64_t register_rdx _REG(rdx_x86_64), struct_88 stack_arguments _STACK) {
  stack_arguments.offset_0 = register_rcx;
  stack_arguments.offset_8 = register_rdx;
  return llvm_bswap_i32(*(generic32_t *) ((register_rdx << 2) + stack_arguments.offset_0));
}

_ABI(raw_x86_64)
generic64_t function_0x1400ae505_Code_x86_64(generic64_t register_rcx _REG(rcx_x86_64), generic64_t register_rdx _REG(rdx_x86_64), struct_87 stack_arguments _STACK) {
  generic64_t var_0;
  generic64_t var_1;
  stack_arguments.offset_0 = register_rcx;
  stack_arguments.offset_8 = register_rdx;
  var_1 = lshift(revng_undefined_local_sp() - 16, 4294967240);
  var_0 = lshift(((revng_undefined_local_sp() - 8) ^ 0x8) & ((revng_undefined_local_sp() - 8) ^ (revng_undefined_local_sp() - 16)), 4294967244);
  return llvm_fshl_i32((uint32_t) *(generic8_t *) ((llvm_fshl_i32((uint32_t) *(generic8_t *) ((llvm_fshl_i32((uint32_t) *(generic8_t *) ((llvm_fshl_i32((uint32_t) *(generic8_t *) ((stack_arguments.offset_0 & 0xFF) + register_rdx), (number32_t) stack_arguments.offset_0, 24) & 0xFF) + register_rdx), llvm_fshl_i32((uint32_t) *(generic8_t *) ((stack_arguments.offset_0 & 0xFF) + register_rdx), (number32_t) stack_arguments.offset_0, 24), 24) & 0xFF) + register_rdx), llvm_fshl_i32((uint32_t) *(generic8_t *) ((llvm_fshl_i32((uint32_t) *(generic8_t *) ((stack_arguments.offset_0 & 0xFF) + register_rdx), (number32_t) stack_arguments.offset_0, 24) & 0xFF) + register_rdx), llvm_fshl_i32((uint32_t) *(generic8_t *) ((stack_arguments.offset_0 & 0xFF) + register_rdx), (number32_t) stack_arguments.offset_0, 24), 24), 24) & 0xFF) + register_rdx), llvm_fshl_i32((uint32_t) *(generic8_t *) ((llvm_fshl_i32((uint32_t) *(generic8_t *) ((llvm_fshl_i32((uint32_t) *(generic8_t *) ((stack_arguments.offset_0 & 0xFF) + register_rdx), (number32_t) stack_arguments.offset_0, 24) & 0xFF) + register_rdx), llvm_fshl_i32((uint32_t) *(generic8_t *) ((stack_arguments.offset_0 & 0xFF) + register_rdx), (number32_t) stack_arguments.offset_0, 24), 24) & 0xFF) + register_rdx), llvm_fshl_i32((uint32_t) *(generic8_t *) ((llvm_fshl_i32((uint32_t) *(generic8_t *) ((stack_arguments.offset_0 & 0xFF) + register_rdx), (number32_t) stack_arguments.offset_0, 24) & 0xFF) + register_rdx), llvm_fshl_i32((uint32_t) *(generic8_t *) ((stack_arguments.offset_0 & 0xFF) + register_rdx), (number32_t) stack_arguments.offset_0, 24), 24), 24), 24);
}

_ABI(raw_x86_64)
generic64_t function_0x1400ae531_Code_x86_64(struct_140 *register_rcx _REG(rcx_x86_64), struct_95 stack_arguments _STACK) {
  *(struct_140 **) &stack_arguments = register_rcx;
  return ((number64_t) (((number64_t) register_rcx->offset_0 << 16) | ((number64_t) register_rcx->offset_4 << 8) | register_rcx->offset_8) << 8) | register_rcx->offset_12;
}

_ABI(raw_x86_64)
void function_0x1400ae561_Code_x86_64(generic64_t register_rcx _REG(rcx_x86_64), struct_140 *register_rdx _REG(rdx_x86_64), struct_96 stack_arguments _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;
  stack_arguments.offset_0 = register_rcx;
  stack_arguments.offset_8 = register_rdx;
  var_5 = lshift(revng_undefined_local_sp() - 16, 4294967240);
  var_4 = lshift(((revng_undefined_local_sp() - 8) ^ 0x8) & ((revng_undefined_local_sp() - 8) ^ (revng_undefined_local_sp() - 16)), 4294967244);
  register_rdx->offset_0 = (number8_t) llvm_fshl_i32((number32_t) stack_arguments.offset_0, (number32_t) stack_arguments.offset_0, 8);
  register_rdx->offset_4 = (number8_t) llvm_fshl_i32(llvm_fshl_i32((number32_t) stack_arguments.offset_0, (number32_t) stack_arguments.offset_0, 8), llvm_fshl_i32((number32_t) stack_arguments.offset_0, (number32_t) stack_arguments.offset_0, 8), 8);
  var_3 = lshift((pointer_or_number64_t) register_rdx + 4, 4294967240);
  var_2 = lshift(((number64_t) &register_rdx->offset_4 ^ 0x3) & (((pointer_or_number64_t) register_rdx + 1) ^ 0xFFFFFFFFFFFFFFFC), 4294967244);
  register_rdx->offset_8 = (number8_t) llvm_fshl_i32(llvm_fshl_i32(llvm_fshl_i32((number32_t) stack_arguments.offset_0, (number32_t) stack_arguments.offset_0, 8), llvm_fshl_i32((number32_t) stack_arguments.offset_0, (number32_t) stack_arguments.offset_0, 8), 8), llvm_fshl_i32(llvm_fshl_i32((number32_t) stack_arguments.offset_0, (number32_t) stack_arguments.offset_0, 8), llvm_fshl_i32((number32_t) stack_arguments.offset_0, (number32_t) stack_arguments.offset_0, 8), 8), 8);
  var_1 = lshift((pointer_or_number64_t) register_rdx + 8, 4294967240);
  var_0 = lshift(((number64_t) &register_rdx->offset_8 ^ 0x3) & (((pointer_or_number64_t) &register_rdx->offset_4 + 1) ^ 0xFFFFFFFFFFFFFFFC), 4294967244);
  register_rdx->offset_12 = (number8_t) ((uint32_t) llvm_fshl_i32(llvm_fshl_i32(llvm_fshl_i32((number32_t) stack_arguments.offset_0, (number32_t) stack_arguments.offset_0, 8), llvm_fshl_i32((number32_t) stack_arguments.offset_0, (number32_t) stack_arguments.offset_0, 8), 8), llvm_fshl_i32(llvm_fshl_i32((number32_t) stack_arguments.offset_0, (number32_t) stack_arguments.offset_0, 8), llvm_fshl_i32((number32_t) stack_arguments.offset_0, (number32_t) stack_arguments.offset_0, 8), 8), 8) >> 24);
}

_ABI(raw_x86_64)
void function_0x1400ae59b_Code_x86_64(generic64_t register_rcx _REG(rcx_x86_64), struct_138 *register_rdx _REG(rdx_x86_64), struct_97 stack_arguments _STACK) {
  stack_arguments.offset_0 = register_rcx;
  stack_arguments.offset_8 = register_rdx;
  stack_arguments.offset_0->offset_0 = stack_arguments.offset_0->offset_0 ^ register_rdx->offset_0;
  stack_arguments.offset_0->offset_8 = stack_arguments.offset_0->offset_8 ^ register_rdx->offset_8;
}

_ABI(raw_x86_64)
void function_0x1400ae5cb_Code_x86_64(generic64_t register_rcx _REG(rcx_x86_64), generic64_t register_rdx _REG(rdx_x86_64), struct_98 stack_arguments _STACK) {
  generic64_t var_0;
  generic32_t var_1;
  generic64_t var_2;
  generic64_t var_3;
  stack_arguments.offset_0 = register_rcx;
  stack_arguments.offset_8 = register_rdx;
  var_2 = stack_arguments.offset_0;
  var_0 = 0;
  var_1 = 0;
  var_3 = 0;
  generic64_t var_4;
  do {
    generic32_t var_5;
    var_4 = 1 - var_0;
    var_5 = 4294967240;
    switch ((number32_t) var_1) {
      case 32:
      case 33:
      {
        if ((number32_t) var_1 == 32) {
          var_5 = 4294967272;
        }
        generic64_t var_6;
        var_6 = lshift(var_3, var_5);
      } break;
    }
    *(generic64_t *) var_2 = llvm_fshl_i64((uint64_t) *(generic8_t *) ((llvm_fshl_i64((uint64_t) *(generic8_t *) ((llvm_fshl_i64((uint64_t) *(generic8_t *) ((llvm_fshl_i64((uint64_t) *(generic8_t *) ((llvm_fshl_i64((uint64_t) *(generic8_t *) ((llvm_fshl_i64((uint64_t) *(generic8_t *) ((llvm_fshl_i64((uint64_t) *(generic8_t *) ((llvm_fshl_i64((uint64_t) *(generic8_t *) ((*(generic64_t *) var_2 & 0xFF) + register_rdx), *(generic64_t *) var_2, 56) & 0xFF) + register_rdx), llvm_fshl_i64((uint64_t) *(generic8_t *) ((*(generic64_t *) var_2 & 0xFF) + register_rdx), *(generic64_t *) var_2, 56), 56) & 0xFF) + register_rdx), llvm_fshl_i64((uint64_t) *(generic8_t *) ((llvm_fshl_i64((uint64_t) *(generic8_t *) ((*(generic64_t *) var_2 & 0xFF) + register_rdx), *(generic64_t *) var_2, 56) & 0xFF) + register_rdx), llvm_fshl_i64((uint64_t) *(generic8_t *) ((*(generic64_t *) var_2 & 0xFF) + register_rdx), *(generic64_t *) var_2, 56), 56), 56) & 0xFF) + register_rdx), llvm_fshl_i64((uint64_t) *(generic8_t *) ((llvm_fshl_i64((uint64_t) *(generic8_t *) ((llvm_fshl_i64((uint64_t) *(generic8_t *) ((*(generic64_t *) var_2 & 0xFF) + register_rdx), *(generic64_t *) var_2, 56) & 0xFF) + register_rdx), llvm_fshl_i64((uint64_t) *(generic8_t *) ((*(generic64_t *) var_2 & 0xFF) + register_rdx), *(generic64_t *) var_2, 56), 56) & 0xFF) + register_rdx), llvm_fshl_i64((uint64_t) *(generic8_t *) ((llvm_fshl_i64((uint64_t) *(generic8_t *) ((*(generic64_t *) var_2 & 0xFF) + register_rdx), *(generic64_t *) var_2, 56) & 0xFF) + register_rdx), llvm_fshl_i64((uint64_t) *(generic8_t *) ((*(generic64_t *) var_2 & 0xFF) + register_rdx), *(generic64_t *) var_2, 56), 56), 56), 56) & 0xFF) + register_rdx), llvm_fshl_i64((uint64_t) *(generic8_t *) ((llvm_fshl_i64((uint64_t) *(generic8_t *) ((llvm_fshl_i64((uint64_t) *(generic8_t *) ((llvm_fshl_i64((uint64_t) *(generic8_t *) ((*(generic64_t *) var_2 & 0xFF) + register_rdx), *(generic64_t *) var_2, 56) & 0xFF) + register_rdx), llvm_fshl_i64((uint64_t) *(generic8_t *) ((*(generic64_t *) var_2 & 0xFF) + register_rdx), *(generic64_t *) var_2, 56), 56) & 0xFF) + register_rdx), llvm_fshl_i64((uint64_t) *(generic8_t *) ((llvm_fshl_i64((uint64_t) *(generic8_t *) ((*(generic64_t *) var_2 & 0xFF) + register_rdx), *(generic64_t *) var_2, 56) & 0xFF) + register_rdx), llvm_fshl_i64((uint64_t) *(generic8_t *) ((*(generic64_t *) var_2 & 0xFF) + register_rdx), *(generic64_t *) var_2, 56), 56), 56) & 0xFF) + register_rdx), llvm_fshl_i64((uint64_t) *(generic8_t *) ((llvm_fshl_i64((uint64_t) *(generic8_t *) ((llvm_fshl_i64((uint64_t) *(generic8_t *) ((*(generic64_t *) var_2 & 0xFF) + register_rdx), *(generic64_t *) var_2, 56) & 0xFF) + register_rdx), llvm_fshl_i64((uint64_t) *(generic8_t *) ((*(generic64_t *) var_2 & 0xFF) + register_rdx), *(generic64_t *) var_2, 56), 56) & 0xFF) + register_rdx), llvm_fshl_i64((uint64_t) *(generic8_t *) ((llvm_fshl_i64((uint64_t) *(generic8_t *) ((*(generic64_t *) var_2 & 0xFF) + register_rdx), *(generic64_t *) var_2, 56) & 0xFF) + register_rdx), llvm_fshl_i64((uint64_t) *(generic8_t *) ((*(generic64_t *) var_2 & 0xFF) + register_rdx), *(generic64_t *) var_2, 56), 56), 56), 56), 56) & 0xFF) + register_rdx), llvm_fshl_i64((uint64_t) *(generic8_t *) ((llvm_fshl_i64((uint64_t) *(generic8_t *) ((llvm_fshl_i64((uint64_t) *(generic8_t *) ((llvm_fshl_i64((uint64_t) *(generic8_t *) ((llvm_fshl_i64((uint64_t) *(generic8_t *) ((*(generic64_t *) var_2 & 0xFF) + register_rdx), *(generic64_t *) var_2, 56) & 0xFF) + register_rdx), llvm_fshl_i64((uint64_t) *(generic8_t *) ((*(generic64_t *) var_2 & 0xFF) + register_rdx), *(generic64_t *) var_2, 56), 56) & 0xFF) + register_rdx), llvm_fshl_i64((uint64_t) *(generic8_t *) ((llvm_fshl_i64((uint64_t) *(generic8_t *) ((*(generic64_t *) var_2 & 0xFF) + register_rdx), *(generic64_t *) var_2, 56) & 0xFF) + register_rdx), llvm_fshl_i64((uint64_t) *(generic8_t *) ((*(generic64_t *) var_2 & 0xFF) + register_rdx), *(generic64_t *) var_2, 56), 56), 56) & 0xFF) + register_rdx), llvm_fshl_i64((uint64_t) *(generic8_t *) ((llvm_fshl_i64((uint64_t) *(generic8_t *) ((llvm_fshl_i64((uint64_t) *(generic8_t *) ((*(generic64_t *) var_2 & 0xFF) + register_rdx), *(generic64_t *) var_2, 56) & 0xFF) + register_rdx), llvm_fshl_i64((uint64_t) *(generic8_t *) ((*(generic64_t *) var_2 & 0xFF) + register_rdx), *(generic64_t *) var_2, 56), 56) & 0xFF) + register_rdx), llvm_fshl_i64((uint64_t) *(generic8_t *) ((llvm_fshl_i64((uint64_t) *(generic8_t *) ((*(generic64_t *) var_2 & 0xFF) + register_rdx), *(generic64_t *) var_2, 56) & 0xFF) + register_rdx), llvm_fshl_i64((uint64_t) *(generic8_t *) ((*(generic64_t *) var_2 & 0xFF) + register_rdx), *(generic64_t *) var_2, 56), 56), 56), 56) & 0xFF) + register_rdx), llvm_fshl_i64((uint64_t) *(generic8_t *) ((llvm_fshl_i64((uint64_t) *(generic8_t *) ((llvm_fshl_i64((uint64_t) *(generic8_t *) ((llvm_fshl_i64((uint64_t) *(generic8_t *) ((*(generic64_t *) var_2 & 0xFF) + register_rdx), *(generic64_t *) var_2, 56) & 0xFF) + register_rdx), llvm_fshl_i64((uint64_t) *(generic8_t *) ((*(generic64_t *) var_2 & 0xFF) + register_rdx), *(generic64_t *) var_2, 56), 56) & 0xFF) + register_rdx), llvm_fshl_i64((uint64_t) *(generic8_t *) ((llvm_fshl_i64((uint64_t) *(generic8_t *) ((*(generic64_t *) var_2 & 0xFF) + register_rdx), *(generic64_t *) var_2, 56) & 0xFF) + register_rdx), llvm_fshl_i64((uint64_t) *(generic8_t *) ((*(generic64_t *) var_2 & 0xFF) + register_rdx), *(generic64_t *) var_2, 56), 56), 56) & 0xFF) + register_rdx), llvm_fshl_i64((uint64_t) *(generic8_t *) ((llvm_fshl_i64((uint64_t) *(generic8_t *) ((llvm_fshl_i64((uint64_t) *(generic8_t *) ((*(generic64_t *) var_2 & 0xFF) + register_rdx), *(generic64_t *) var_2, 56) & 0xFF) + register_rdx), llvm_fshl_i64((uint64_t) *(generic8_t *) ((*(generic64_t *) var_2 & 0xFF) + register_rdx), *(generic64_t *) var_2, 56), 56) & 0xFF) + register_rdx), llvm_fshl_i64((uint64_t) *(generic8_t *) ((llvm_fshl_i64((uint64_t) *(generic8_t *) ((*(generic64_t *) var_2 & 0xFF) + register_rdx), *(generic64_t *) var_2, 56) & 0xFF) + register_rdx), llvm_fshl_i64((uint64_t) *(generic8_t *) ((*(generic64_t *) var_2 & 0xFF) + register_rdx), *(generic64_t *) var_2, 56), 56), 56), 56), 56), 56) & 0xFF) + register_rdx), llvm_fshl_i64((uint64_t) *(generic8_t *) ((llvm_fshl_i64((uint64_t) *(generic8_t *) ((llvm_fshl_i64((uint64_t) *(generic8_t *) ((llvm_fshl_i64((uint64_t) *(generic8_t *) ((llvm_fshl_i64((uint64_t) *(generic8_t *) ((llvm_fshl_i64((uint64_t) *(generic8_t *) ((*(generic64_t *) var_2 & 0xFF) + register_rdx), *(generic64_t *) var_2, 56) & 0xFF) + register_rdx), llvm_fshl_i64((uint64_t) *(generic8_t *) ((*(generic64_t *) var_2 & 0xFF) + register_rdx), *(generic64_t *) var_2, 56), 56) & 0xFF) + register_rdx), llvm_fshl_i64((uint64_t) *(generic8_t *) ((llvm_fshl_i64((uint64_t) *(generic8_t *) ((*(generic64_t *) var_2 & 0xFF) + register_rdx), *(generic64_t *) var_2, 56) & 0xFF) + register_rdx), llvm_fshl_i64((uint64_t) *(generic8_t *) ((*(generic64_t *) var_2 & 0xFF) + register_rdx), *(generic64_t *) var_2, 56), 56), 56) & 0xFF) + register_rdx), llvm_fshl_i64((uint64_t) *(generic8_t *) ((llvm_fshl_i64((uint64_t) *(generic8_t *) ((llvm_fshl_i64((uint64_t) *(generic8_t *) ((*(generic64_t *) var_2 & 0xFF) + register_rdx), *(generic64_t *) var_2, 56) & 0xFF) + register_rdx), llvm_fshl_i64((uint64_t) *(generic8_t *) ((*(generic64_t *) var_2 & 0xFF) + register_rdx), *(generic64_t *) var_2, 56), 56) & 0xFF) + register_rdx), llvm_fshl_i64((uint64_t) *(generic8_t *) ((llvm_fshl_i64((uint64_t) *(generic8_t *) ((*(generic64_t *) var_2 & 0xFF) + register_rdx), *(generic64_t *) var_2, 56) & 0xFF) + register_rdx), llvm_fshl_i64((uint64_t) *(generic8_t *) ((*(generic64_t *) var_2 & 0xFF) + register_rdx), *(generic64_t *) var_2, 56), 56), 56), 56) & 0xFF) + register_rdx), llvm_fshl_i64((uint64_t) *(generic8_t *) ((llvm_fshl_i64((uint64_t) *(generic8_t *) ((llvm_fshl_i64((uint64_t) *(generic8_t *) ((llvm_fshl_i64((uint64_t) *(generic8_t *) ((*(generic64_t *) var_2 & 0xFF) + register_rdx), *(generic64_t *) var_2, 56) & 0xFF) + register_rdx), llvm_fshl_i64((uint64_t) *(generic8_t *) ((*(generic64_t *) var_2 & 0xFF) + register_rdx), *(generic64_t *) var_2, 56), 56) & 0xFF) + register_rdx), llvm_fshl_i64((uint64_t) *(generic8_t *) ((llvm_fshl_i64((uint64_t) *(generic8_t *) ((*(generic64_t *) var_2 & 0xFF) + register_rdx), *(generic64_t *) var_2, 56) & 0xFF) + register_rdx), llvm_fshl_i64((uint64_t) *(generic8_t *) ((*(generic64_t *) var_2 & 0xFF) + register_rdx), *(generic64_t *) var_2, 56), 56), 56) & 0xFF) + register_rdx), llvm_fshl_i64((uint64_t) *(generic8_t *) ((llvm_fshl_i64((uint64_t) *(generic8_t *) ((llvm_fshl_i64((uint64_t) *(generic8_t *) ((*(generic64_t *) var_2 & 0xFF) + register_rdx), *(generic64_t *) var_2, 56) & 0xFF) + register_rdx), llvm_fshl_i64((uint64_t) *(generic8_t *) ((*(generic64_t *) var_2 & 0xFF) + register_rdx), *(generic64_t *) var_2, 56), 56) & 0xFF) + register_rdx), llvm_fshl_i64((uint64_t) *(generic8_t *) ((llvm_fshl_i64((uint64_t) *(generic8_t *) ((*(generic64_t *) var_2 & 0xFF) + register_rdx), *(generic64_t *) var_2, 56) & 0xFF) + register_rdx), llvm_fshl_i64((uint64_t) *(generic8_t *) ((*(generic64_t *) var_2 & 0xFF) + register_rdx), *(generic64_t *) var_2, 56), 56), 56), 56), 56) & 0xFF) + register_rdx), llvm_fshl_i64((uint64_t) *(generic8_t *) ((llvm_fshl_i64((uint64_t) *(generic8_t *) ((llvm_fshl_i64((uint64_t) *(generic8_t *) ((llvm_fshl_i64((uint64_t) *(generic8_t *) ((llvm_fshl_i64((uint64_t) *(generic8_t *) ((*(generic64_t *) var_2 & 0xFF) + register_rdx), *(generic64_t *) var_2, 56) & 0xFF) + register_rdx), llvm_fshl_i64((uint64_t) *(generic8_t *) ((*(generic64_t *) var_2 & 0xFF) + register_rdx), *(generic64_t *) var_2, 56), 56) & 0xFF) + register_rdx), llvm_fshl_i64((uint64_t) *(generic8_t *) ((llvm_fshl_i64((uint64_t) *(generic8_t *) ((*(generic64_t *) var_2 & 0xFF) + register_rdx), *(generic64_t *) var_2, 56) & 0xFF) + register_rdx), llvm_fshl_i64((uint64_t) *(generic8_t *) ((*(generic64_t *) var_2 & 0xFF) + register_rdx), *(generic64_t *) var_2, 56), 56), 56) & 0xFF) + register_rdx), llvm_fshl_i64((uint64_t) *(generic8_t *) ((llvm_fshl_i64((uint64_t) *(generic8_t *) ((llvm_fshl_i64((uint64_t) *(generic8_t *) ((*(generic64_t *) var_2 & 0xFF) + register_rdx), *(generic64_t *) var_2, 56) & 0xFF) + register_rdx), llvm_fshl_i64((uint64_t) *(generic8_t *) ((*(generic64_t *) var_2 & 0xFF) + register_rdx), *(generic64_t *) var_2, 56), 56) & 0xFF) + register_rdx), llvm_fshl_i64((uint64_t) *(generic8_t *) ((llvm_fshl_i64((uint64_t) *(generic8_t *) ((*(generic64_t *) var_2 & 0xFF) + register_rdx), *(generic64_t *) var_2, 56) & 0xFF) + register_rdx), llvm_fshl_i64((uint64_t) *(generic8_t *) ((*(generic64_t *) var_2 & 0xFF) + register_rdx), *(generic64_t *) var_2, 56), 56), 56), 56) & 0xFF) + register_rdx), llvm_fshl_i64((uint64_t) *(generic8_t *) ((llvm_fshl_i64((uint64_t) *(generic8_t *) ((llvm_fshl_i64((uint64_t) *(generic8_t *) ((llvm_fshl_i64((uint64_t) *(generic8_t *) ((*(generic64_t *) var_2 & 0xFF) + register_rdx), *(generic64_t *) var_2, 56) & 0xFF) + register_rdx), llvm_fshl_i64((uint64_t) *(generic8_t *) ((*(generic64_t *) var_2 & 0xFF) + register_rdx), *(generic64_t *) var_2, 56), 56) & 0xFF) + register_rdx), llvm_fshl_i64((uint64_t) *(generic8_t *) ((llvm_fshl_i64((uint64_t) *(generic8_t *) ((*(generic64_t *) var_2 & 0xFF) + register_rdx), *(generic64_t *) var_2, 56) & 0xFF) + register_rdx), llvm_fshl_i64((uint64_t) *(generic8_t *) ((*(generic64_t *) var_2 & 0xFF) + register_rdx), *(generic64_t *) var_2, 56), 56), 56) & 0xFF) + register_rdx), llvm_fshl_i64((uint64_t) *(generic8_t *) ((llvm_fshl_i64((uint64_t) *(generic8_t *) ((llvm_fshl_i64((uint64_t) *(generic8_t *) ((*(generic64_t *) var_2 & 0xFF) + register_rdx), *(generic64_t *) var_2, 56) & 0xFF) + register_rdx), llvm_fshl_i64((uint64_t) *(generic8_t *) ((*(generic64_t *) var_2 & 0xFF) + register_rdx), *(generic64_t *) var_2, 56), 56) & 0xFF) + register_rdx), llvm_fshl_i64((uint64_t) *(generic8_t *) ((llvm_fshl_i64((uint64_t) *(generic8_t *) ((*(generic64_t *) var_2 & 0xFF) + register_rdx), *(generic64_t *) var_2, 56) & 0xFF) + register_rdx), llvm_fshl_i64((uint64_t) *(generic8_t *) ((*(generic64_t *) var_2 & 0xFF) + register_rdx), *(generic64_t *) var_2, 56), 56), 56), 56), 56), 56), 56) & 0xFF) + register_rdx), llvm_fshl_i64((uint64_t) *(generic8_t *) ((llvm_fshl_i64((uint64_t) *(generic8_t *) ((llvm_fshl_i64((uint64_t) *(generic8_t *) ((llvm_fshl_i64((uint64_t) *(generic8_t *) ((llvm_fshl_i64((uint64_t) *(generic8_t *) ((llvm_fshl_i64((uint64_t) *(generic8_t *) ((llvm_fshl_i64((uint64_t) *(generic8_t *) ((*(generic64_t *) var_2 & 0xFF) + register_rdx), *(generic64_t *) var_2, 56) & 0xFF) + register_rdx), llvm_fshl_i64((uint64_t) *(generic8_t *) ((*(generic64_t *) var_2 & 0xFF) + register_rdx), *(generic64_t *) var_2, 56), 56) & 0xFF) + register_rdx), llvm_fshl_i64((uint64_t) *(generic8_t *) ((llvm_fshl_i64((uint64_t) *(generic8_t *) ((*(generic64_t *) var_2 & 0xFF) + register_rdx), *(generic64_t *) var_2, 56) & 0xFF) + register_rdx), llvm_fshl_i64((uint64_t) *(generic8_t *) ((*(generic64_t *) var_2 & 0xFF) + register_rdx), *(generic64_t *) var_2, 56), 56), 56) & 0xFF) + register_rdx), llvm_fshl_i64((uint64_t) *(generic8_t *) ((llvm_fshl_i64((uint64_t) *(generic8_t *) ((llvm_fshl_i64((uint64_t) *(generic8_t *) ((*(generic64_t *) var_2 & 0xFF) + register_rdx), *(generic64_t *) var_2, 56) & 0xFF) + register_rdx), llvm_fshl_i64((uint64_t) *(generic8_t *) ((*(generic64_t *) var_2 & 0xFF) + register_rdx), *(generic64_t *) var_2, 56), 56) & 0xFF) + register_rdx), llvm_fshl_i64((uint64_t) *(generic8_t *) ((llvm_fshl_i64((uint64_t) *(generic8_t *) ((*(generic64_t *) var_2 & 0xFF) + register_rdx), *(generic64_t *) var_2, 56) & 0xFF) + register_rdx), llvm_fshl_i64((uint64_t) *(generic8_t *) ((*(generic64_t *) var_2 & 0xFF) + register_rdx), *(generic64_t *) var_2, 56), 56), 56), 56) & 0xFF) + register_rdx), llvm_fshl_i64((uint64_t) *(generic8_t *) ((llvm_fshl_i64((uint64_t) *(generic8_t *) ((llvm_fshl_i64((uint64_t) *(generic8_t *) ((llvm_fshl_i64((uint64_t) *(generic8_t *) ((*(generic64_t *) var_2 & 0xFF) + register_rdx), *(generic64_t *) var_2, 56) & 0xFF) + register_rdx), llvm_fshl_i64((uint64_t) *(generic8_t *) ((*(generic64_t *) var_2 & 0xFF) + register_rdx), *(generic64_t *) var_2, 56), 56) & 0xFF) + register_rdx), llvm_fshl_i64((uint64_t) *(generic8_t *) ((llvm_fshl_i64((uint64_t) *(generic8_t *) ((*(generic64_t *) var_2 & 0xFF) + register_rdx), *(generic64_t *) var_2, 56) & 0xFF) + register_rdx), llvm_fshl_i64((uint64_t) *(generic8_t *) ((*(generic64_t *) var_2 & 0xFF) + register_rdx), *(generic64_t *) var_2, 56), 56), 56) & 0xFF) + register_rdx), llvm_fshl_i64((uint64_t) *(generic8_t *) ((llvm_fshl_i64((uint64_t) *(generic8_t *) ((llvm_fshl_i64((uint64_t) *(generic8_t *) ((*(generic64_t *) var_2 & 0xFF) + register_rdx), *(generic64_t *) var_2, 56) & 0xFF) + register_rdx), llvm_fshl_i64((uint64_t) *(generic8_t *) ((*(generic64_t *) var_2 & 0xFF) + register_rdx), *(generic64_t *) var_2, 56), 56) & 0xFF) + register_rdx), llvm_fshl_i64((uint64_t) *(generic8_t *) ((llvm_fshl_i64((uint64_t) *(generic8_t *) ((*(generic64_t *) var_2 & 0xFF) + register_rdx), *(generic64_t *) var_2, 56) & 0xFF) + register_rdx), llvm_fshl_i64((uint64_t) *(generic8_t *) ((*(generic64_t *) var_2 & 0xFF) + register_rdx), *(generic64_t *) var_2, 56), 56), 56), 56), 56) & 0xFF) + register_rdx), llvm_fshl_i64((uint64_t) *(generic8_t *) ((llvm_fshl_i64((uint64_t) *(generic8_t *) ((llvm_fshl_i64((uint64_t) *(generic8_t *) ((llvm_fshl_i64((uint64_t) *(generic8_t *) ((llvm_fshl_i64((uint64_t) *(generic8_t *) ((*(generic64_t *) var_2 & 0xFF) + register_rdx), *(generic64_t *) var_2, 56) & 0xFF) + register_rdx), llvm_fshl_i64((uint64_t) *(generic8_t *) ((*(generic64_t *) var_2 & 0xFF) + register_rdx), *(generic64_t *) var_2, 56), 56) & 0xFF) + register_rdx), llvm_fshl_i64((uint64_t) *(generic8_t *) ((llvm_fshl_i64((uint64_t) *(generic8_t *) ((*(generic64_t *) var_2 & 0xFF) + register_rdx), *(generic64_t *) var_2, 56) & 0xFF) + register_rdx), llvm_fshl_i64((uint64_t) *(generic8_t *) ((*(generic64_t *) var_2 & 0xFF) + register_rdx), *(generic64_t *) var_2, 56), 56), 56) & 0xFF) + register_rdx), llvm_fshl_i64((uint64_t) *(generic8_t *) ((llvm_fshl_i64((uint64_t) *(generic8_t *) ((llvm_fshl_i64((uint64_t) *(generic8_t *) ((*(generic64_t *) var_2 & 0xFF) + register_rdx), *(generic64_t *) var_2, 56) & 0xFF) + register_rdx), llvm_fshl_i64((uint64_t) *(generic8_t *) ((*(generic64_t *) var_2 & 0xFF) + register_rdx), *(generic64_t *) var_2, 56), 56) & 0xFF) + register_rdx), llvm_fshl_i64((uint64_t) *(generic8_t *) ((llvm_fshl_i64((uint64_t) *(generic8_t *) ((*(generic64_t *) var_2 & 0xFF) + register_rdx), *(generic64_t *) var_2, 56) & 0xFF) + register_rdx), llvm_fshl_i64((uint64_t) *(generic8_t *) ((*(generic64_t *) var_2 & 0xFF) + register_rdx), *(generic64_t *) var_2, 56), 56), 56), 56) & 0xFF) + register_rdx), llvm_fshl_i64((uint64_t) *(generic8_t *) ((llvm_fshl_i64((uint64_t) *(generic8_t *) ((llvm_fshl_i64((uint64_t) *(generic8_t *) ((llvm_fshl_i64((uint64_t) *(generic8_t *) ((*(generic64_t *) var_2 & 0xFF) + register_rdx), *(generic64_t *) var_2, 56) & 0xFF) + register_rdx), llvm_fshl_i64((uint64_t) *(generic8_t *) ((*(generic64_t *) var_2 & 0xFF) + register_rdx), *(generic64_t *) var_2, 56), 56) & 0xFF) + register_rdx), llvm_fshl_i64((uint64_t) *(generic8_t *) ((llvm_fshl_i64((uint64_t) *(generic8_t *) ((*(generic64_t *) var_2 & 0xFF) + register_rdx), *(generic64_t *) var_2, 56) & 0xFF) + register_rdx), llvm_fshl_i64((uint64_t) *(generic8_t *) ((*(generic64_t *) var_2 & 0xFF) + register_rdx), *(generic64_t *) var_2, 56), 56), 56) & 0xFF) + register_rdx), llvm_fshl_i64((uint64_t) *(generic8_t *) ((llvm_fshl_i64((uint64_t) *(generic8_t *) ((llvm_fshl_i64((uint64_t) *(generic8_t *) ((*(generic64_t *) var_2 & 0xFF) + register_rdx), *(generic64_t *) var_2, 56) & 0xFF) + register_rdx), llvm_fshl_i64((uint64_t) *(generic8_t *) ((*(generic64_t *) var_2 & 0xFF) + register_rdx), *(generic64_t *) var_2, 56), 56) & 0xFF) + register_rdx), llvm_fshl_i64((uint64_t) *(generic8_t *) ((llvm_fshl_i64((uint64_t) *(generic8_t *) ((*(generic64_t *) var_2 & 0xFF) + register_rdx), *(generic64_t *) var_2, 56) & 0xFF) + register_rdx), llvm_fshl_i64((uint64_t) *(generic8_t *) ((*(generic64_t *) var_2 & 0xFF) + register_rdx), *(generic64_t *) var_2, 56), 56), 56), 56), 56), 56) & 0xFF) + register_rdx), llvm_fshl_i64((uint64_t) *(generic8_t *) ((llvm_fshl_i64((uint64_t) *(generic8_t *) ((llvm_fshl_i64((uint64_t) *(generic8_t *) ((llvm_fshl_i64((uint64_t) *(generic8_t *) ((llvm_fshl_i64((uint64_t) *(generic8_t *) ((llvm_fshl_i64((uint64_t) *(generic8_t *) ((*(generic64_t *) var_2 & 0xFF) + register_rdx), *(generic64_t *) var_2, 56) & 0xFF) + register_rdx), llvm_fshl_i64((uint64_t) *(generic8_t *) ((*(generic64_t *) var_2 & 0xFF) + register_rdx), *(generic64_t *) var_2, 56), 56) & 0xFF) + register_rdx), llvm_fshl_i64((uint64_t) *(generic8_t *) ((llvm_fshl_i64((uint64_t) *(generic8_t *) ((*(generic64_t *) var_2 & 0xFF) + register_rdx), *(generic64_t *) var_2, 56) & 0xFF) + register_rdx), llvm_fshl_i64((uint64_t) *(generic8_t *) ((*(generic64_t *) var_2 & 0xFF) + register_rdx), *(generic64_t *) var_2, 56), 56), 56) & 0xFF) + register_rdx), llvm_fshl_i64((uint64_t) *(generic8_t *) ((llvm_fshl_i64((uint64_t) *(generic8_t *) ((llvm_fshl_i64((uint64_t) *(generic8_t *) ((*(generic64_t *) var_2 & 0xFF) + register_rdx), *(generic64_t *) var_2, 56) & 0xFF) + register_rdx), llvm_fshl_i64((uint64_t) *(generic8_t *) ((*(generic64_t *) var_2 & 0xFF) + register_rdx), *(generic64_t *) var_2, 56), 56) & 0xFF) + register_rdx), llvm_fshl_i64((uint64_t) *(generic8_t *) ((llvm_fshl_i64((uint64_t) *(generic8_t *) ((*(generic64_t *) var_2 & 0xFF) + register_rdx), *(generic64_t *) var_2, 56) & 0xFF) + register_rdx), llvm_fshl_i64((uint64_t) *(generic8_t *) ((*(generic64_t *) var_2 & 0xFF) + register_rdx), *(generic64_t *) var_2, 56), 56), 56), 56) & 0xFF) + register_rdx), llvm_fshl_i64((uint64_t) *(generic8_t *) ((llvm_fshl_i64((uint64_t) *(generic8_t *) ((llvm_fshl_i64((uint64_t) *(generic8_t *) ((llvm_fshl_i64((uint64_t) *(generic8_t *) ((*(generic64_t *) var_2 & 0xFF) + register_rdx), *(generic64_t *) var_2, 56) & 0xFF) + register_rdx), llvm_fshl_i64((uint64_t) *(generic8_t *) ((*(generic64_t *) var_2 & 0xFF) + register_rdx), *(generic64_t *) var_2, 56), 56) & 0xFF) + register_rdx), llvm_fshl_i64((uint64_t) *(generic8_t *) ((llvm_fshl_i64((uint64_t) *(generic8_t *) ((*(generic64_t *) var_2 & 0xFF) + register_rdx), *(generic64_t *) var_2, 56) & 0xFF) + register_rdx), llvm_fshl_i64((uint64_t) *(generic8_t *) ((*(generic64_t *) var_2 & 0xFF) + register_rdx), *(generic64_t *) var_2, 56), 56), 56) & 0xFF) + register_rdx), llvm_fshl_i64((uint64_t) *(generic8_t *) ((llvm_fshl_i64((uint64_t) *(generic8_t *) ((llvm_fshl_i64((uint64_t) *(generic8_t *) ((*(generic64_t *) var_2 & 0xFF) + register_rdx), *(generic64_t *) var_2, 56) & 0xFF) + register_rdx), llvm_fshl_i64((uint64_t) *(generic8_t *) ((*(generic64_t *) var_2 & 0xFF) + register_rdx), *(generic64_t *) var_2, 56), 56) & 0xFF) + register_rdx), llvm_fshl_i64((uint64_t) *(generic8_t *) ((llvm_fshl_i64((uint64_t) *(generic8_t *) ((*(generic64_t *) var_2 & 0xFF) + register_rdx), *(generic64_t *) var_2, 56) & 0xFF) + register_rdx), llvm_fshl_i64((uint64_t) *(generic8_t *) ((*(generic64_t *) var_2 & 0xFF) + register_rdx), *(generic64_t *) var_2, 56), 56), 56), 56), 56) & 0xFF) + register_rdx), llvm_fshl_i64((uint64_t) *(generic8_t *) ((llvm_fshl_i64((uint64_t) *(generic8_t *) ((llvm_fshl_i64((uint64_t) *(generic8_t *) ((llvm_fshl_i64((uint64_t) *(generic8_t *) ((llvm_fshl_i64((uint64_t) *(generic8_t *) ((*(generic64_t *) var_2 & 0xFF) + register_rdx), *(generic64_t *) var_2, 56) & 0xFF) + register_rdx), llvm_fshl_i64((uint64_t) *(generic8_t *) ((*(generic64_t *) var_2 & 0xFF) + register_rdx), *(generic64_t *) var_2, 56), 56) & 0xFF) + register_rdx), llvm_fshl_i64((uint64_t) *(generic8_t *) ((llvm_fshl_i64((uint64_t) *(generic8_t *) ((*(generic64_t *) var_2 & 0xFF) + register_rdx), *(generic64_t *) var_2, 56) & 0xFF) + register_rdx), llvm_fshl_i64((uint64_t) *(generic8_t *) ((*(generic64_t *) var_2 & 0xFF) + register_rdx), *(generic64_t *) var_2, 56), 56), 56) & 0xFF) + register_rdx), llvm_fshl_i64((uint64_t) *(generic8_t *) ((llvm_fshl_i64((uint64_t) *(generic8_t *) ((llvm_fshl_i64((uint64_t) *(generic8_t *) ((*(generic64_t *) var_2 & 0xFF) + register_rdx), *(generic64_t *) var_2, 56) & 0xFF) + register_rdx), llvm_fshl_i64((uint64_t) *(generic8_t *) ((*(generic64_t *) var_2 & 0xFF) + register_rdx), *(generic64_t *) var_2, 56), 56) & 0xFF) + register_rdx), llvm_fshl_i64((uint64_t) *(generic8_t *) ((llvm_fshl_i64((uint64_t) *(generic8_t *) ((*(generic64_t *) var_2 & 0xFF) + register_rdx), *(generic64_t *) var_2, 56) & 0xFF) + register_rdx), llvm_fshl_i64((uint64_t) *(generic8_t *) ((*(generic64_t *) var_2 & 0xFF) + register_rdx), *(generic64_t *) var_2, 56), 56), 56), 56) & 0xFF) + register_rdx), llvm_fshl_i64((uint64_t) *(generic8_t *) ((llvm_fshl_i64((uint64_t) *(generic8_t *) ((llvm_fshl_i64((uint64_t) *(generic8_t *) ((llvm_fshl_i64((uint64_t) *(generic8_t *) ((*(generic64_t *) var_2 & 0xFF) + register_rdx), *(generic64_t *) var_2, 56) & 0xFF) + register_rdx), llvm_fshl_i64((uint64_t) *(generic8_t *) ((*(generic64_t *) var_2 & 0xFF) + register_rdx), *(generic64_t *) var_2, 56), 56) & 0xFF) + register_rdx), llvm_fshl_i64((uint64_t) *(generic8_t *) ((llvm_fshl_i64((uint64_t) *(generic8_t *) ((*(generic64_t *) var_2 & 0xFF) + register_rdx), *(generic64_t *) var_2, 56) & 0xFF) + register_rdx), llvm_fshl_i64((uint64_t) *(generic8_t *) ((*(generic64_t *) var_2 & 0xFF) + register_rdx), *(generic64_t *) var_2, 56), 56), 56) & 0xFF) + register_rdx), llvm_fshl_i64((uint64_t) *(generic8_t *) ((llvm_fshl_i64((uint64_t) *(generic8_t *) ((llvm_fshl_i64((uint64_t) *(generic8_t *) ((*(generic64_t *) var_2 & 0xFF) + register_rdx), *(generic64_t *) var_2, 56) & 0xFF) + register_rdx), llvm_fshl_i64((uint64_t) *(generic8_t *) ((*(generic64_t *) var_2 & 0xFF) + register_rdx), *(generic64_t *) var_2, 56), 56) & 0xFF) + register_rdx), llvm_fshl_i64((uint64_t) *(generic8_t *) ((llvm_fshl_i64((uint64_t) *(generic8_t *) ((*(generic64_t *) var_2 & 0xFF) + register_rdx), *(generic64_t *) var_2, 56) & 0xFF) + register_rdx), llvm_fshl_i64((uint64_t) *(generic8_t *) ((*(generic64_t *) var_2 & 0xFF) + register_rdx), *(generic64_t *) var_2, 56), 56), 56), 56), 56), 56), 56), 56);
    var_0 = var_0 + 1;
    var_2 = var_2 + 8;
    var_1 = 33;
    var_3 = var_4;
  } while (var_0 != 2);
}

_ABI(Microsoft_x86_64)
void function_0x1400ae625_Code_x86_64(generic64_t argument_0, generic64_t argument_1, generic64_t argument_2, generic64_t argument_3, generic64_t argument_4, generic64_t argument_5, generic64_t argument_6) {
  struct_103 stack;
  generic64_t var_0;
  generic64_t var_1;
  struct_97 var_2;
  struct_98 var_3;
  struct_101 var_4;
  *(generic64_t *) ((pointer_or_number64_t) &(&stack)[1] + 8) = argument_0;
  *(generic64_t *) ((pointer_or_number64_t) &(&stack)[1] + 16) = argument_1;
  *(generic64_t *) ((pointer_or_number64_t) &(&stack)[1] + 24) = argument_2;
  *(generic64_t *) ((pointer_or_number64_t) &(&stack)[1] + 32) = argument_3;
  function_0x1400ae59b_Code_x86_64(*(generic64_t *) ((pointer_or_number64_t) &(&stack)[1] + 8), (struct_138 *) (*(generic64_t *) ((pointer_or_number64_t) &(&stack)[1] + 16) + 160), var_2);
  function_0x1400ae805_Code_x86_64((union_135 *) *(generic64_t *) ((pointer_or_number64_t) &(&stack)[1] + 8), var_4);
  function_0x1400ae5cb_Code_x86_64(*(generic64_t *) ((pointer_or_number64_t) &(&stack)[1] + 8), *(generic64_t *) ((pointer_or_number64_t) &(&stack)[1] + 24), var_3);
  var_1 = *(generic64_t *) ((pointer_or_number64_t) &(&stack)[1] + 16) + 144;
  var_0 = 0;
  generic64_t var_5;
  do {
    var_5 = *(generic64_t *) ((pointer_or_number64_t) &(&stack)[1] + 16) + 128 - (var_0 << 4);
    function_0x1400ae59b_Code_x86_64(*(generic64_t *) ((pointer_or_number64_t) &(&stack)[1] + 8), (struct_138 *) var_1, var_2);
    function_0x1400ae704_Code_x86_64(*(generic64_t *) ((pointer_or_number64_t) &(&stack)[1] + 8), *(generic64_t *) ((pointer_or_number64_t) &(&stack)[1] + 32), argument_4, argument_5, argument_6);
    function_0x1400ae805_Code_x86_64((union_135 *) *(generic64_t *) ((pointer_or_number64_t) &(&stack)[1] + 8), var_4);
    function_0x1400ae5cb_Code_x86_64(*(generic64_t *) ((pointer_or_number64_t) &(&stack)[1] + 8), *(generic64_t *) ((pointer_or_number64_t) &(&stack)[1] + 24), var_3);
    var_1 = var_1 - 16;
    var_0 = var_0 + 1;
  } while (var_5 != *(generic64_t *) ((pointer_or_number64_t) &(&stack)[1] + 16));
  function_0x1400ae59b_Code_x86_64(*(generic64_t *) ((pointer_or_number64_t) &(&stack)[1] + 8), (struct_138 *) var_5, var_2);
}

_ABI(Microsoft_x86_64)
void function_0x1400ae704_Code_x86_64(generic64_t argument_0, generic64_t argument_1, generic64_t argument_2, generic64_t argument_3, generic64_t argument_4) {
  struct_105 stack;
  generic64_t var_0;
  generic64_t var_1;
  generic64_t var_2;
  *(generic64_t *) ((pointer_or_number64_t) &(&stack)[1] + 8) = argument_0;
  *(generic64_t *) ((pointer_or_number64_t) &(&stack)[1] + 16) = argument_1;
  *(generic64_t *) &(&stack)[2] = argument_2;
  *(generic64_t *) ((pointer_or_number64_t) &(&stack)[2] + 8) = argument_3;
  var_2 = *(generic64_t *) ((pointer_or_number64_t) &(&stack)[1] + 8);
  var_0 = 0;
  var_1 = argument_0;
  do {
    stack.offset_0 = ((number32_t) (var_1 & 0xFFFFFFFFFFFFFF00) | *(generic8_t *) (*(generic64_t *) ((pointer_or_number64_t) &(&stack)[1] + 16) + (llvm_bswap_i32(*(generic32_t *) var_2) & 0xFF))) ^ *(generic8_t *) (*(generic64_t *) ((pointer_or_number64_t) &(&stack)[2] + 8) + (((uint64_t) llvm_bswap_i32(*(generic32_t *) var_2) >> 8) & 0xFF)) ^ *(generic8_t *) (*(generic64_t *) &(&stack)[2] + (((uint64_t) llvm_bswap_i32(*(generic32_t *) var_2) >> 16) & 0xFF)) ^ *(generic8_t *) (((uint64_t) llvm_bswap_i32(*(generic32_t *) var_2) >> 24) + argument_4);
    stack.offset_0 = ((number32_t) (((number32_t) (var_1 & 0xFFFFFFFFFFFFFF00) | *(generic8_t *) (*(generic64_t *) ((pointer_or_number64_t) &(&stack)[1] + 16) + (llvm_bswap_i32(*(generic32_t *) var_2) & 0xFF))) ^ *(generic8_t *) (*(generic64_t *) ((pointer_or_number64_t) &(&stack)[2] + 8) + (((uint64_t) llvm_bswap_i32(*(generic32_t *) var_2) >> 8) & 0xFF)) ^ *(generic8_t *) (*(generic64_t *) &(&stack)[2] + (((uint64_t) llvm_bswap_i32(*(generic32_t *) var_2) >> 16) & 0xFF)) ^ *(generic8_t *) (((uint64_t) llvm_bswap_i32(*(generic32_t *) var_2) >> 24) + argument_4)) << 8) | (*(generic8_t *) (*(generic64_t *) ((pointer_or_number64_t) &(&stack)[2] + 8) + (llvm_bswap_i32(*(generic32_t *) var_2) & 0xFF)) ^ *(generic8_t *) (*(generic64_t *) &(&stack)[2] + (((uint64_t) llvm_bswap_i32(*(generic32_t *) var_2) >> 8) & 0xFF)) ^ *(generic8_t *) ((((uint64_t) llvm_bswap_i32(*(generic32_t *) var_2) >> 16) & 0xFF) + argument_4) ^ *(generic8_t *) (*(generic64_t *) ((pointer_or_number64_t) &(&stack)[1] + 16) + ((uint64_t) llvm_bswap_i32(*(generic32_t *) var_2) >> 24)));
    stack.offset_0 = ((number32_t) (((number32_t) (((number32_t) (var_1 & 0xFFFFFFFFFFFFFF00) | *(generic8_t *) (*(generic64_t *) ((pointer_or_number64_t) &(&stack)[1] + 16) + (llvm_bswap_i32(*(generic32_t *) var_2) & 0xFF))) ^ *(generic8_t *) (*(generic64_t *) ((pointer_or_number64_t) &(&stack)[2] + 8) + (((uint64_t) llvm_bswap_i32(*(generic32_t *) var_2) >> 8) & 0xFF)) ^ *(generic8_t *) (*(generic64_t *) &(&stack)[2] + (((uint64_t) llvm_bswap_i32(*(generic32_t *) var_2) >> 16) & 0xFF)) ^ *(generic8_t *) (((uint64_t) llvm_bswap_i32(*(generic32_t *) var_2) >> 24) + argument_4)) << 8) | (*(generic8_t *) (*(generic64_t *) ((pointer_or_number64_t) &(&stack)[2] + 8) + (llvm_bswap_i32(*(generic32_t *) var_2) & 0xFF)) ^ *(generic8_t *) (*(generic64_t *) &(&stack)[2] + (((uint64_t) llvm_bswap_i32(*(generic32_t *) var_2) >> 8) & 0xFF)) ^ *(generic8_t *) ((((uint64_t) llvm_bswap_i32(*(generic32_t *) var_2) >> 16) & 0xFF) + argument_4) ^ *(generic8_t *) (*(generic64_t *) ((pointer_or_number64_t) &(&stack)[1] + 16) + ((uint64_t) llvm_bswap_i32(*(generic32_t *) var_2) >> 24)))) << 8) | (*(generic8_t *) (*(generic64_t *) &(&stack)[2] + (llvm_bswap_i32(*(generic32_t *) var_2) & 0xFF)) ^ *(generic8_t *) ((((uint64_t) llvm_bswap_i32(*(generic32_t *) var_2) >> 8) & 0xFF) + argument_4) ^ *(generic8_t *) (*(generic64_t *) ((pointer_or_number64_t) &(&stack)[1] + 16) + (((uint64_t) llvm_bswap_i32(*(generic32_t *) var_2) >> 16) & 0xFF)) ^ *(generic8_t *) (*(generic64_t *) ((pointer_or_number64_t) &(&stack)[2] + 8) + ((uint64_t) llvm_bswap_i32(*(generic32_t *) var_2) >> 24)));
    var_1 = ((var_1 & 0xFFFFFFFFFFFFFF00) | *(generic8_t *) ((llvm_bswap_i32(*(generic32_t *) var_2) & 0xFF) + argument_4)) ^ *(generic8_t *) (*(generic64_t *) ((pointer_or_number64_t) &(&stack)[1] + 16) + (((uint64_t) llvm_bswap_i32(*(generic32_t *) var_2) >> 8) & 0xFF)) ^ *(generic8_t *) (*(generic64_t *) ((pointer_or_number64_t) &(&stack)[2] + 8) + (((uint64_t) llvm_bswap_i32(*(generic32_t *) var_2) >> 16) & 0xFF)) ^ *(generic8_t *) (*(generic64_t *) &(&stack)[2] + ((uint64_t) llvm_bswap_i32(*(generic32_t *) var_2) >> 24));
    *(generic32_t *) var_2 = llvm_bswap_i32(((number32_t) stack.offset_0 << 8) | ((number32_t) var_1 & 0xFF));
    var_0 = var_0 + 1;
    var_2 = var_2 + 4;
  } while (var_0 != 4);
}

_ABI(raw_x86_64)
void function_0x1400ae805_Code_x86_64(union_135 *register_rcx _REG(rcx_x86_64), struct_101 stack_arguments _STACK) {
  struct_104 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;
  struct_96 var_9;
  struct_95 var_10;
  *(union_135 **) &stack_arguments = register_rcx;
  var_8 = function_0x1400ae531_Code_x86_64(&register_rcx->member_0.offset_1, var_10);
  var_7 = lshift((pointer_or_number64_t) &stack + 24, 4294967240);
  var_6 = lshift((((pointer_or_number64_t) &stack + 24) ^ 0x20) & (((pointer_or_number64_t) &stack - 8) ^ 0xFFFFFFFFFFFFFFDF), 4294967244);
  function_0x1400ae561_Code_x86_64(llvm_fshl_i32((number32_t) var_8, (number32_t) var_8, 24), &register_rcx->member_0.offset_1, var_9);
  var_5 = function_0x1400ae531_Code_x86_64(&register_rcx->member_1.offset_2, var_10);
  var_4 = lshift((pointer_or_number64_t) &stack + 24, 4294967240);
  var_3 = lshift((((pointer_or_number64_t) &stack + 24) ^ 0x20) & (((pointer_or_number64_t) &stack - 8) ^ 0xFFFFFFFFFFFFFFDF), 4294967244);
  function_0x1400ae561_Code_x86_64(llvm_fshl_i32((number32_t) var_5, (number32_t) var_5, 16), &register_rcx->member_1.offset_2, var_9);
  var_2 = function_0x1400ae531_Code_x86_64(&register_rcx->member_2.offset_3, var_10);
  var_1 = lshift((pointer_or_number64_t) &stack + 24, 4294967240);
  var_0 = lshift((((pointer_or_number64_t) &stack + 24) ^ 0x20) & (((pointer_or_number64_t) &stack - 8) ^ 0xFFFFFFFFFFFFFFDF), 4294967244);
  function_0x1400ae561_Code_x86_64(llvm_fshl_i32((number32_t) var_2, (number32_t) var_2, 8), &register_rcx->member_2.offset_3, var_9);
}

_ABI(raw_x86_64)
void function_0x1400ae894_Code_x86_64(generic64_t register_rcx _REG(rcx_x86_64), generic64_t register_rdx _REG(rdx_x86_64), generic64_t register_r8 _REG(r8_x86_64), generic64_t register_r9 _REG(r9_x86_64), struct_74 stack_arguments _STACK) {
  generic64_t var_0;
  generic64_t var_1;
  generic64_t var_2;
  stack_arguments.offset_0 = register_rcx;
  stack_arguments.offset_8 = register_rdx;
  stack_arguments.offset_16 = register_r8;
  stack_arguments.offset_24 = register_r9;
  var_2 = stack_arguments.offset_0;
  var_0 = 0;
  var_1 = function_0x1400ae90a_Code_x86_64;
  do {
    *(generic8_t *) var_2 = *(generic8_t *) var_1;
    var_1 = var_1 + 1;
    var_2 = var_2 + 1;
    var_0 = var_0 + 1;
  } while (var_0 != 256);
  generic64_t var_3;
  generic64_t var_4;
  generic64_t var_5;
  var_5 = stack_arguments.offset_8;
  var_3 = 0;
  var_4 = function_0x1400aea0a_Code_x86_64;
  do {
    *(generic8_t *) var_5 = *(generic8_t *) var_4;
    var_4 = var_4 + 1;
    var_5 = var_5 + 1;
    var_3 = var_3 + 1;
  } while (var_3 != 256);
  generic64_t var_6;
  generic64_t var_7;
  generic64_t var_8;
  var_8 = stack_arguments.offset_16;
  var_6 = 0;
  var_7 = function_0x1400aeb0a_Code_x86_64;
  do {
    *(generic8_t *) var_8 = *(generic8_t *) var_7;
    var_7 = var_7 + 1;
    var_8 = var_8 + 1;
    var_6 = var_6 + 1;
  } while (var_6 != 256);
  generic64_t var_9;
  uint8_t *var_10;
  generic64_t var_11;
  var_11 = stack_arguments.offset_24;
  var_10 = "";
  var_9 = 0;
  do {
    *(uint8_t *) var_11 = *var_10;
    var_11 = var_11 + 1;
    var_9 = var_9 + 1;
    var_10 = &var_10[1];
  } while (var_9 != 256);
}

_ABI(Microsoft_x86_64)
void function_0x1400ae90a_Code_x86_64(generic64_t argument_0, generic64_t argument_1, generic64_t argument_2, generic64_t argument_3) {
}

_ABI(Microsoft_x86_64) _Noreturn
void function_0x1400ae9b2_Code_x86_64(generic64_t argument_0, generic64_t argument_1) {
}

_ABI(Microsoft_x86_64)
void function_0x1400aea0a_Code_x86_64(generic64_t argument_0, generic64_t argument_1, generic64_t argument_2, generic64_t argument_3) {
}

_ABI(Microsoft_x86_64)
void function_0x1400aea25_Code_x86_64(generic64_t argument_0, generic64_t argument_1) {
}

_ABI(Microsoft_x86_64)
void function_0x1400aea4e_Code_x86_64(generic64_t argument_0, generic64_t argument_1, generic64_t argument_2, generic64_t argument_3) {
}

_ABI(Microsoft_x86_64)
void function_0x1400aea8e_Code_x86_64(generic64_t argument_0, generic64_t argument_1, generic64_t argument_2, generic64_t argument_3) {
  generic64_t var_0;
  generic16_t var_1;
  generic64_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;
  helper_fmov_ST0_STN_wrapper(NULL, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 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);
}

_ABI(Microsoft_x86_64)
void function_0x1400aeb0a_Code_x86_64(generic64_t argument_0, generic64_t argument_1) {
  generic64_t var_0;
  generic64_t var_1;
  generic32_t var_2;
  generic64_t var_3;
  generic64_t var_4;
  generic64_t var_5;
  generic64_t var_6;
  generic32_t var_7;
  generic64_t var_8;
  generic32_t var_9;
  generic32_t var_10;
  generic32_t var_11;
  generic64_t var_12;
  generic32_t var_13;
  generic32_t var_14;
  generic32_t var_15;
  generic64_t var_16;
  generic32_t var_17;
  generic32_t var_18;
  generic32_t var_19;
  generic64_t var_20;
  generic32_t var_21;
  generic32_t var_22;
  generic32_t var_23;
  generic64_t var_24;
  generic32_t var_25;
  generic32_t var_26;
  generic32_t var_27;
  generic64_t var_28;
  generic32_t var_29;
  generic32_t var_30;
  generic32_t var_31;
  generic64_t var_32;
  generic32_t var_33;
  generic32_t var_34;
  generic32_t var_35;
  generic32_t var_36;
  generic64_t var_37;
  generic32_t var_38;
  generic8_t var_39;
  generic64_t var_40;
  *(generic8_t *) 6329139754 = *(generic8_t *) 6329139754 + (number8_t) argument_0;
  *(generic64_t *) (*(generic64_t *) revng_undefined_local_sp() - 8) = argument_0;
  var_1 = lshift(0, 4294967272);
  var_0 = helper_rcrb_wrapper(NULL, undef(generic64_t), 1, (var_1 & 0x80) | 0x44, &var_40);
  helper_lret_protected_wrapper(NULL, 1, 4294960327, (pointer_or_number64_t) &segment_2 + 2844, undef(generic64_t), undef(generic64_t), undef(generic64_t), undef(generic64_t), 0, undef(generic64_t), argument_0, undef(generic64_t), argument_1, undef(generic64_t), *(generic64_t *) revng_undefined_local_sp() - 8, 4294967295, 514, 4243635, 0, 0, 0, 0, 15727360, 0, 13628160, 0, 0, 0, 0, 0, 0, 0, 0, 65535, 274877906944, 127, 2147549185, 0, 0, 0, 4294967295, &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);
  revng_abort("A longjmp was taken");
}

_ABI(Microsoft_x86_64)
void function_0x1400aec1c_Code_x86_64(generic64_t argument_0, generic64_t argument_1) {
  generic16_t var_0;
  generic8_t var_1;
  generic64_t var_2;
  generic16_t var_3;
  helper_fmov_FT0_STN_wrapper(NULL, 6, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, &var_2, &var_3);
  helper_fcom_ST0_FT0_wrapper(NULL, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, '\000', var_2, var_3, &var_0, &var_1);
}

_ABI(Microsoft_x86_64)
void function_0x1400aeccd_Code_x86_64(generic64_t argument_0, generic64_t argument_1) {
}

_ABI(Microsoft_x86_64) _Noreturn
void function_0x1400aed01_Code_x86_64(generic64_t argument_0, generic64_t argument_1, generic64_t argument_2, generic64_t argument_3) {
  generic64_t var_0;
  struct_74 var_1;
  struct_94 var_2;
  struct_92 var_3;
  struct_93 var_4;
  function_0x1400ae000_Code_x86_64((struct_149 *) undef(generic64_t), var_4);
  function_0x1400ae24a_Code_x86_64((struct_149 *) undef(generic64_t), var_3);
  function_0x1400ae125_Code_x86_64((struct_149 *) undef(generic64_t), var_2);
  function_0x1400ae894_Code_x86_64(undef(generic64_t), undef(generic64_t), undef(generic64_t), undef(generic64_t), var_1);
  var_0 = 0;
  generic64_t var_5;
  generic64_t var_6;
  do {
    *(generic8_t *) var_6 = *(generic8_t *) var_5;
    var_5 = var_5 - 1;
    var_6 = var_6 - 1;
    var_0 = var_0 + 1;
  } while (var_0 != 16);
  struct_91 var_7;
  function_0x1400ae36f_Code_x86_64(undef(generic64_t), undef(generic64_t), undef(generic64_t), var_7);
  if (undef(generic8_t)) {
    revng_abort("Ignoring stack arguments for this call site: stack size at call site unknown");
    function_0x1400ae625_Code_x86_64(undef(generic64_t), undef(generic64_t), undef(generic64_t), undef(generic64_t), 0, 0, 0);
    revng_abort("A longjmp was taken");
  } else {
    do {
    } while (!(true));
    revng_abort("Ignoring stack arguments for this call site: stack size at call site unknown");
    function_0x1400ae625_Code_x86_64(undef(generic64_t), undef(generic64_t), undef(generic64_t), undef(generic64_t), 0, 0, 0);
    revng_abort("A longjmp was taken");
  }
}

_ABI(raw_x86_64)
generic64_t function_0x1400aed0a_Code_x86_64(generic64_t register_rcx _REG(rcx_x86_64), generic64_t register_rdx _REG(rdx_x86_64), generic64_t register_r8 _REG(r8_x86_64), generic64_t register_r9 _REG(r9_x86_64), struct_75 stack_arguments _STACK) {
  struct_107 stack;
  generic64_t var_0;
  generic64_t var_1;
  generic64_t var_2;
  struct_74 var_3;
  struct_94 var_4;
  struct_92 var_5;
  struct_93 var_6;
  stack_arguments.offset_0 = register_rcx;
  stack_arguments.offset_8 = register_rdx;
  stack_arguments.offset_16 = register_r8;
  stack_arguments.offset_24 = register_r9;
  stack.offset_2056 = &stack.offset_232;
  function_0x1400ae000_Code_x86_64(&stack.offset_232.member_0, var_6);
  stack.offset_2080 = &stack.offset_232.member_2.offset_512;
  function_0x1400ae24a_Code_x86_64(&stack.offset_232.member_2.offset_512, var_5);
  stack.offset_2064 = &stack.offset_232.member_1.offset_256;
  function_0x1400ae125_Code_x86_64(&stack.offset_232.member_1.offset_256, var_4);
  stack.offset_2024 = &stack.offset_232.member_2.offset_512.offset_0[256];
  stack.offset_2032 = (pointer_or_number64_t) &stack.offset_232 + 1024;
  stack.offset_2040 = (pointer_or_number64_t) &stack.offset_232 + 1280;
  stack.offset_2048 = (pointer_or_number64_t) &stack.offset_232 + 1536;
  function_0x1400ae894_Code_x86_64(stack.offset_2024, stack.offset_2032, stack.offset_2040, (pointer_or_number64_t) &stack.offset_232 + 1536, var_3);
  var_1 = stack_arguments.offset_24;
  stack.offset_2072 = &stack.offset_56;
  var_2 = &stack.offset_56;
  var_0 = 0;
  do {
    *(generic8_t *) var_2 = *(generic8_t *) var_1;
    var_1 = var_1 + 1;
    var_2 = var_2 + 1;
    var_0 = var_0 + 1;
  } while (var_0 != 16);
  struct_91 var_7;
  function_0x1400ae36f_Code_x86_64((generic64_t) stack.offset_2072, (generic64_t) stack.offset_2056, (generic64_t) stack.offset_2080, var_7);
  if (stack_arguments.offset_0) {
    generic64_t var_8;
    generic64_t var_9;
    generic64_t var_10;
    var_10 = stack_arguments.offset_16;
    var_9 = stack_arguments.offset_8;
    var_8 = 0;
    do {
      var_8 = var_8 + 1;
      *(generic8_t *) var_10 = *(generic8_t *) var_9;
      var_9 = var_9 + 1;
      var_10 = var_10 + 1;
    } while (stack_arguments.offset_0 != var_8);
  }
  generic64_t var_11;
  generic64_t var_12;
  generic64_t var_13;
  var_13 = stack_arguments.offset_16;
  var_11 = var_13 + stack_arguments.offset_0;
  var_12 = 0;
  generic8_t var_14;
  do {
    function_0x1400ae625_Code_x86_64(var_13, (generic64_t) stack.offset_2072, (generic64_t) stack.offset_2064, stack.offset_2024, stack.offset_2032, stack.offset_2040, stack.offset_2048);
    var_13 = var_13 + 16;
    var_14 = (int64_t) &stack_arguments.offset_16[8 * var_12 + 8] < (int64_t) var_11;
    var_12 = var_12 + 1;
  } while (var_14);
  return 1;
}

_ABI(raw_x86_64)
generic64_t function_0x1400aee58_Code_x86_64(generic64_t register_rcx _REG(rcx_x86_64), generic64_t register_rdx _REG(rdx_x86_64), generic64_t register_r8 _REG(r8_x86_64), generic64_t register_r9 _REG(r9_x86_64), struct_76 stack_arguments _STACK) {
  struct_108 stack;
  generic64_t var_0;
  generic32_t var_1;
  generic64_t var_2;
  generic64_t var_3;
  generic64_t var_4;
  generic64_t var_5;
  var_3 = (pointer_or_number64_t) &stack + 48;
  *(generic64_t *) &stack_arguments = register_rcx;
  var_5 = &stack.offset_0.member_0.offset_312;
  var_0 = 0;
  var_1 = 17;
  var_2 = 288;
  var_4 = 16;
  do {
    generic64_t var_6;
    var_6 = var_2;
    *(generic8_t *) var_5 = '\000';
    switch ((number32_t) var_1) {
      case 17:
      {
        var_6 = var_3 > ~var_2;
      } break;
      case 33:
      {
        break;
      } break;
      case 1:
      {
        var_6 = var_2 & 0x1;
      } break;
      default:
      {
        var_6 = 0;
      } break;
    }
    var_4 = var_4 - 1;
    var_3 = var_4;
    var_0 = var_0 + 1;
    var_5 = var_5 + 1;
    var_1 = 33;
  } while (var_0 != 16);
  generic64_t var_7;
  generic64_t var_8;
  var_7 = ((cabifunction_211 *) segment_3.offset_128)(0, 342544, 12288, 4);
  var_8 = 0;
  if (var_7) {
    generic64_t var_9;
    generic64_t var_10;
    generic64_t var_11;
    stack.offset_0.member_1.offset_328 = var_7;
    var_10 = *(generic64_t *) &stack_arguments;
    var_9 = 0;
    var_11 = var_7;
    do {
      *(generic64_t *) var_11 = *(generic64_t *) var_10;
      var_10 = var_10 + 8;
      var_11 = var_11 + 8;
      var_9 = var_9 + 1;
    } while (var_9 != 42818);
    while (true) {
      generic64_t var_12;
      generic64_t var_13;
      struct_86 var_14;
      struct_75 var_15;
      var_13 = function_0x1400aed0a_Code_x86_64(342544, *(generic64_t *) &stack_arguments, *(generic64_t *) &stack_arguments, (generic64_t) &stack.offset_0.member_0.offset_312, var_15);
      var_12 = function_0x1400af583_Code_x86_64(*(generic64_t *) &stack_arguments, 342544, var_14);
      if (!var_12) {
        generic64_t var_16;
        generic64_t var_17;
        generic64_t var_18;
        var_18 = *(generic64_t *) &stack_arguments;
        var_16 = 0;
        var_17 = stack.offset_0.member_1.offset_328;
        do {
          *(generic64_t *) var_18 = *(generic64_t *) var_17;
          var_17 = var_17 + 8;
          var_18 = var_18 + 8;
          var_16 = var_16 + 1;
        } while (var_16 != 42818);
        generic64_t var_19;
        struct_77 var_20;
        var_19 = function_0x1400aef72_Code_x86_64(&stack.offset_0.member_0.offset_312.member_0, var_20);
        if (var_19) {
          continue;
        }
        var_8 = 0;
      } else {
        generic64_t var_21;
        var_21 = ((cabifunction_212 *) segment_3.offset_144)((generic64_t) stack.offset_0.member_1.offset_328, 0, 32768);
        var_8 = var_21 != 0;
      }
      break;
    }
  }
  return var_8;
}

_ABI(raw_x86_64)
generic64_t function_0x1400aef72_Code_x86_64(struct_160 *register_rcx _REG(rcx_x86_64), struct_77 stack_arguments _STACK) {
  generic64_t var_0;
  *(struct_160 **) &stack_arguments = register_rcx;
  register_rcx->offset_0 = register_rcx->offset_0 + '\001';
  var_0 = 1;
  if (register_rcx->offset_0 == '\003') {
    generic64_t var_1;
    generic64_t var_2;
    generic64_t var_3;
    var_1 = 0;
    var_2 = register_rcx;
    var_3 = register_rcx;
    generic64_t var_4;
    while (true) {
      generic64_t var_5;
      var_5 = var_1;
      ((struct_160 *) var_2)->offset_0 = '\000';
      var_4 = 0;
      if (var_3 != (pointer_or_number64_t) &register_rcx->offset_1) {
        *(generic8_t *) ((pointer_or_number64_t) &register_rcx->offset_1 + var_5 * 1) = *(generic8_t *) ((pointer_or_number64_t) &register_rcx->offset_1 + var_5 * 1) + '\001';
        var_1 = var_5 + 1;
        var_2 = (pointer_or_number64_t) &register_rcx->offset_1 + var_5 * 1;
        var_3 = &((struct_160 *) var_3)->offset_1;
        var_4 = 1;
        if (*(generic8_t *) ((pointer_or_number64_t) &register_rcx->offset_1 + var_5 * 1) == '\003') {
          continue;
        }
      }
      break;
    }
    var_0 = var_4;
  }
  return var_0;
}

_ABI(raw_x86_64)
generic64_t function_0x1400aefa7_Code_x86_64(generic64_t register_rcx _REG(rcx_x86_64), generic64_t register_rdx _REG(rdx_x86_64), generic64_t register_r8 _REG(r8_x86_64), generic64_t register_r9 _REG(r9_x86_64), struct_78 stack_arguments _STACK) {
  struct_109 stack;
  generic64_t var_0;
  generic64_t var_1;
  struct_86 var_2;
  *(generic64_t *) &stack_arguments = register_rcx;
  var_0 = function_0x1400af583_Code_x86_64(register_rcx, 342544, var_2);
  var_1 = 0;
  if (var_0) {
    generic64_t var_3;
    struct_85 var_4;
    var_3 = function_0x1400af551_Code_x86_64((struct_162 *) (*(generic64_t *) &stack_arguments + 4), var_4);
    stack.offset_288 = var_3;
    var_1 = 0;
    if (var_3) {
      struct_165 *var_5;
      struct_82 var_6;
      var_5 = function_0x1400af304_Code_x86_64(var_3, *(generic64_t *) &stack_arguments + 4, 342540, var_6);
      stack.offset_296 = var_5;
      var_1 = 0;
      if (var_5) {
        generic64_t var_7;
        struct_79 var_8;
        var_7 = function_0x1400af070_Code_x86_64(var_5, *(generic64_t *) &stack_arguments + 4, 342540, register_r9, var_8);
        var_1 = 0;
        if (var_7) {
          generic64_t var_9;
          struct_81 var_10;
          var_9 = function_0x1400af211_Code_x86_64(stack.offset_288, *(generic64_t *) &stack_arguments + 4, 342540, var_10);
          var_1 = var_9 != 0;
        }
      }
    }
  }
  return var_1;
}

_ABI(raw_x86_64)
generic64_t function_0x1400af070_Code_x86_64(struct_165 *register_rcx _REG(rcx_x86_64), generic64_t register_rdx _REG(rdx_x86_64), generic64_t register_r8 _REG(r8_x86_64), generic64_t register_r9 _REG(r9_x86_64), struct_79 stack_arguments _STACK) {
  struct_111 stack;
  generic64_t var_0;
  generic32_t var_1;
  struct_165 *var_2;
  generic64_t var_3;
  generic64_t var_4;
  generic64_t var_5;
  *(struct_165 **) &stack_arguments = register_rcx;
  var_3 = *(generic32_t *) (register_rcx->offset_60 + (pointer_or_number64_t) register_rcx + 144) + (pointer_or_number64_t) register_rcx;
  stack.offset_304 = var_3;
  var_4 = &stack.offset_312;
  var_0 = 0;
  var_1 = 1;
  var_2 = register_rcx;
  var_5 = 20;
  generic64_t var_6;
  while (true) {
    generic64_t var_7;
    var_7 = var_2;
    *(generic8_t *) var_4 = '\000';
    switch ((number32_t) var_1) {
      case 1:
      {
        var_7 = var_3 < (uint64_t) var_2;
      } break;
      case 0:
      case 5:
      {
        var_7 = (number64_t) var_2 & 0x1;
      } break;
      case 4:
      {
        break;
      } break;
      default:
      {
      } break;
    }
    var_5 = var_5 - 1;
    var_3 = var_5;
    var_0 = var_0 + 1;
    var_4 = var_4 + 1;
    var_1 = 4;
    if (var_0 != 20) {
      continue;
    }
    generic64_t var_8;
    var_8 = stack.offset_304;
    while (true) {
      generic64_t var_9;
      generic64_t var_10;
      generic64_t var_11;
      var_11 = var_8;
      var_10 = &stack.offset_312;
      var_9 = 0;
      generic8_t var_12;
      generic8_t var_13;
      while (true) {
        var_12 = *(generic8_t *) var_11;
        var_13 = (number8_t) (*(generic8_t *) var_10 - var_12);
        if (var_13) {
          break;
        }
        var_11 = var_11 + 1;
        var_10 = var_10 + 1;
        var_9 = var_9 + 1;
        if (var_9 != 20) {
          continue;
        }
        break;
      }
      generic64_t var_14;
      generic64_t var_15;
      var_15 = lshift(var_13, 0);
      var_14 = lshift((var_12 ^ (var_13 + var_12)) & (var_13 ^ (var_13 + var_12)), 4);
      var_6 = 1;
      if (var_13) {
        generic64_t var_16;
        struct_80 var_17;
        var_16 = function_0x1400af101_Code_x86_64(*(generic64_t *) &stack_arguments, (struct_123 *) var_8, var_17);
        var_8 = var_8 + 20;
        var_6 = 0;
        if (var_16) {
          continue;
        }
      }
      break;
    }
    break;
  }
  return var_6;
}

_ABI(raw_x86_64)
generic64_t function_0x1400af101_Code_x86_64(generic64_t register_rcx _REG(rcx_x86_64), struct_123 *register_rdx _REG(rdx_x86_64), struct_80 stack_arguments _STACK) {
  struct_113 stack;
  generic64_t var_0;
  generic64_t var_1;
  stack_arguments.offset_0 = register_rcx;
  stack_arguments.offset_8 = register_rdx;
  var_0 = ((cabifunction_213 *) segment_3.offset_112)(stack_arguments.offset_0 + register_rdx->offset_12);
  var_1 = 0;
  if (var_0) {
    generic32_t var_2;
    stack.offset_320 = var_0;
    stack.offset_312 = stack_arguments.offset_0 + stack_arguments.offset_8->offset_16;
    var_2 = stack_arguments.offset_8->offset_0.member_1.member_0;
    if (!var_2) {
      var_2 = stack_arguments.offset_8->offset_16;
    }
    stack.offset_304 = stack_arguments.offset_0 + var_2;
    var_1 = 1;
    if (*(generic64_t *) (stack_arguments.offset_0 + var_2)) {
      generic64_t var_3;
      generic64_t var_4;
      var_3 = *(generic64_t *) (stack_arguments.offset_0 + var_2);
      var_4 = 0;
      generic64_t var_5;
      generic64_t var_6;
      generic64_t var_7;
      do {
        var_5 = var_4;
        if ((int64_t) var_3 > -1) {
          generic64_t var_8;
          var_8 = ((cabifunction_214 *) segment_3.offset_120)(stack.offset_320, var_3 + stack_arguments.offset_0 + 2);
          var_7 = var_8;
          var_6 = 0;
          if (!var_7) {
            break;
          }
        } else {
          generic64_t var_9;
          var_9 = ((cabifunction_215 *) segment_3.offset_120)(stack.offset_320, var_3 ^ 0x8000000000000000);
          var_7 = var_9;
          var_6 = 0;
          if (!var_7) {
            break;
          }
        }
        *(generic64_t *) ((pointer_or_number64_t) stack.offset_312 + var_5) = var_7;
        var_4 = var_5 + 8;
        var_3 = *(generic64_t *) ((pointer_or_number64_t) &stack.offset_304->offset_8 + var_5 * 1);
        var_6 = 1;
      } while (var_3);
      var_1 = var_6;
    }
  }
  return var_1;
}

_ABI(raw_x86_64)
generic64_t function_0x1400af211_Code_x86_64(generic64_t register_rcx _REG(rcx_x86_64), generic64_t register_rdx _REG(rdx_x86_64), generic64_t register_r8 _REG(r8_x86_64), struct_81 stack_arguments _STACK) {
  struct_112 stack;
  generic64_t var_0;
  generic64_t var_1;
  stack_arguments.offset_0 = register_rcx;
  stack_arguments.offset_8 = register_rdx;
  stack_arguments.offset_16 = register_r8;
  stack.offset_48 = stack_arguments.offset_0->offset_2;
  stack.offset_56 = stack_arguments.offset_0->offset_44;
  stack.offset_64 = (pointer_or_number64_t) &stack_arguments.offset_0[1] + stack_arguments.offset_0->offset_128 * 8;
  stack.offset_72 = (pointer_or_number64_t) &stack_arguments.offset_0[1] + stack.offset_48 * 40 + stack_arguments.offset_0->offset_128 * 8 - stack_arguments.offset_8;
  var_0 = ((cabifunction_216 *) segment_3.offset_136)(stack.offset_56, stack.offset_72, 2, (pointer_or_number64_t) &stack.offset_72 + 264);
  var_1 = 0;
  if (var_0) {
    generic64_t var_2;
    generic64_t var_3;
    var_3 = stack.offset_64;
    var_2 = 0;
    generic64_t var_4;
    while (true) {
      generic64_t var_5;
      struct_84 var_6;
      var_5 = function_0x1400af451_Code_x86_64(var_3, stack.offset_56, stack_arguments.offset_8, (pointer_or_number64_t) &stack.offset_72 + 264, var_6);
      var_4 = 0;
      if (var_5) {
        var_2 = var_2 + 1;
        var_3 = var_3 + 40;
        var_4 = 1;
        if (stack.offset_48 != var_2) {
          continue;
        }
      }
      break;
    }
    var_1 = var_4;
  }
  return var_1;
}

_ABI(raw_x86_64)
struct_165 *function_0x1400af304_Code_x86_64(generic64_t register_rcx _REG(rcx_x86_64), generic64_t register_rdx _REG(rdx_x86_64), generic64_t register_r8 _REG(r8_x86_64), struct_82 stack_arguments _STACK) {
  struct_110 stack;
  generic64_t var_0;
  generic64_t var_1;
  stack_arguments.offset_0 = register_rcx;
  stack_arguments.offset_8 = register_rdx;
  stack_arguments.offset_16 = register_r8;
  stack.offset_64 = stack_arguments.offset_0->offset_2;
  stack.offset_72 = stack_arguments.offset_0->offset_44;
  stack.offset_80 = (pointer_or_number64_t) &stack_arguments.offset_0->offset_2 + 18;
  var_0 = ((cabifunction_217 *) segment_3.offset_136)((generic64_t) stack.offset_72, stack_arguments.offset_0->offset_76, 4, (pointer_or_number64_t) &stack.offset_80 + 264);
  var_1 = 0;
  if (var_0) {
    generic64_t var_2;
    struct_187 *var_3;
    var_3 = stack.offset_80;
    stack.offset_352 = (pointer_or_number64_t) &var_3[1] + var_3->offset_108 * 8;
    var_2 = stack.offset_64;
    stack.offset_360 = (pointer_or_number64_t) &var_3[1] + var_2 * 40 + var_3->offset_108 * 8 - (number64_t) stack_arguments.offset_8;
    if ((pointer_or_number64_t) &var_3[1] + var_2 * 40 + var_3->offset_108 * 8 != (pointer_or_number64_t) stack_arguments.offset_8) {
      generic64_t var_4;
      generic64_t var_5;
      generic64_t var_6;
      var_5 = stack_arguments.offset_8;
      var_6 = stack.offset_72;
      var_4 = 0;
      generic8_t var_7;
      do {
        *(generic8_t *) var_6 = *(generic8_t *) var_5;
        var_5 = var_5 + 1;
        var_6 = var_6 + 1;
        var_7 = (pointer_or_number64_t) &var_3->offset_108 + 3 + var_2 * 40 + var_3->offset_108 * 8 == (pointer_or_number64_t) stack_arguments.offset_8 + var_4;
        var_4 = var_4 + 1;
      } while (!(var_7));
    }
    generic64_t var_8;
    generic64_t var_9;
    var_9 = stack.offset_352;
    var_8 = 0;
    while (true) {
      generic64_t var_10;
      struct_83 var_11;
      var_10 = function_0x1400af40d_Code_x86_64(var_9, (generic64_t) stack.offset_72, (generic64_t) stack_arguments.offset_8, (pointer_or_number64_t) &stack.offset_80 + 264, var_11);
      if (!var_10) {
        var_1 = 0;
      } else {
        var_8 = var_8 + 1;
        var_9 = var_9 + 40;
        if (stack.offset_64 != var_8) {
          continue;
        }
        var_1 = stack.offset_72;
      }
      break;
    }
  }
  return (struct_165 *) var_1;
}

_ABI(raw_x86_64)
generic64_t function_0x1400af40d_Code_x86_64(generic64_t register_rcx _REG(rcx_x86_64), generic64_t register_rdx _REG(rdx_x86_64), generic64_t register_r8 _REG(r8_x86_64), generic64_t register_r9 _REG(r9_x86_64), struct_83 stack_arguments _STACK) {
  stack_arguments.offset_0 = register_rcx;
  stack_arguments.offset_8 = register_rdx;
  stack_arguments.offset_16 = register_r8;
  if (stack_arguments.offset_0->offset_16) {
    generic64_t var_0;
    generic64_t var_1;
    generic64_t var_2;
    var_1 = stack_arguments.offset_0->offset_20 + register_r8;
    var_2 = stack_arguments.offset_8 + stack_arguments.offset_0->offset_12;
    var_0 = 0;
    generic8_t var_3;
    do {
      *(generic8_t *) var_2 = *(generic8_t *) var_1;
      var_1 = var_1 + 1;
      var_2 = var_2 + 1;
      var_3 = ~var_0 == 0 - stack_arguments.offset_0->offset_16;
      var_0 = var_0 + 1;
    } while (!(var_3));
  }
  return 1;
}

_ABI(raw_x86_64)
generic64_t function_0x1400af451_Code_x86_64(generic64_t register_rcx _REG(rcx_x86_64), generic64_t register_rdx _REG(rdx_x86_64), generic64_t register_r8 _REG(r8_x86_64), generic64_t register_r9 _REG(r9_x86_64), struct_84 stack_arguments _STACK) {
  struct_114 stack;
  generic64_t var_0;
  stack_arguments.offset_0 = register_rcx;
  stack_arguments.offset_8 = register_rdx;
  stack_arguments.offset_16 = register_r8;
  var_0 = 64;
  if (!(stack_arguments.offset_0->offset_36 > (uint32_t) -536870913)) {
    var_0 = 32;
    if ((stack_arguments.offset_0->offset_36 & 0x60000000) != 1610612736) {
      var_0 = 4;
      if (!(stack_arguments.offset_0->offset_36 > (uint32_t) -1073741825)) {
        generic64_t var_1;
        var_1 = !(stack_arguments.offset_0->offset_36 & 0x40000000) ? 1 : 2;
        var_0 = var_1;
      }
    }
  }
  generic64_t var_2;
  stack.offset_48 = var_0;
  var_2 = ((cabifunction_218 *) segment_3.offset_136)(stack_arguments.offset_8 + stack_arguments.offset_0->offset_12, stack_arguments.offset_0->offset_8, var_0, (pointer_or_number64_t) &stack.offset_48 + 8);
  return var_2 != 0;
}

_ABI(raw_x86_64)
generic64_t function_0x1400af551_Code_x86_64(struct_162 *register_rcx _REG(rcx_x86_64), struct_85 stack_arguments _STACK) {
  generic64_t var_0;
  *(struct_162 **) &stack_arguments = register_rcx;
  var_0 = 0;
  if (register_rcx->offset_0 == 23117) {
    generic64_t var_1;
    var_1 = *(generic32_t *) (register_rcx->offset_60 + (pointer_or_number64_t) register_rcx) == 17744 ? register_rcx->offset_60 + (pointer_or_number64_t) register_rcx + 4 : 0;
    var_0 = var_1;
  }
  return var_0;
}

_ABI(raw_x86_64)
generic64_t function_0x1400af583_Code_x86_64(generic64_t register_rcx _REG(rcx_x86_64), generic64_t register_rdx _REG(rdx_x86_64), struct_86 stack_arguments _STACK) {
  generic64_t var_0;
  generic64_t var_1;
  generic32_t var_2;
  stack_arguments.offset_0 = register_rcx;
  stack_arguments.offset_8 = register_rdx;
  var_1 = &stack_arguments.offset_0->offset_4;
  var_0 = 0;
  var_2 = 0;
  generic8_t var_3;
  do {
    var_2 = var_2 + *(generic8_t *) var_1;
    var_3 = register_rdx - 5 == var_0;
    var_1 = var_1 + 1;
    var_0 = var_0 + 1;
  } while (!(var_3));
  return stack_arguments.offset_0->offset_0 == var_2;
}

_ABI(Microsoft_x86_64)
generic64_t function_0x1400af5c6_Code_x86_64(generic64_t argument_0, generic64_t argument_1, generic64_t argument_2, generic64_t argument_3) {
  generic64_t var_0;
  generic64_t var_1;
  var_0 = function_0x1400af5f7_Code_x86_64(argument_0, argument_1, argument_2, argument_3);
  var_1 = var_0;
  if (!var_1) {
    generic64_t var_2;
    generic64_t var_3;
    generic64_t var_4;
    struct_76 var_5;
    artificial_struct_returned_by_rawfunction_44 var_6;
    var_6 = ((rawfunction_44 *) segment_3.offset_152)(0, argument_1, argument_2, argument_3);
    var_4 = var_6.register_rax;
    var_3 = var_6.register_r9;
    var_2 = function_0x1400aee58_Code_x86_64((generic64_t) &segment_1, argument_1, argument_2, var_3, var_5);
    var_1 = 0;
    if (var_2) {
      generic64_t var_7;
      struct_78 var_8;
      var_7 = function_0x1400aefa7_Code_x86_64((generic64_t) &segment_1, argument_1, argument_2, var_3, var_8);
      var_1 = 0;
      if (var_7) {
        var_1 = *(generic32_t *) (*(generic32_t *) 5368709180 + 5368709160) + 5368709120;
      }
    }
  }
  return var_1;
}

_ABI(Microsoft_x86_64)
generic64_t function_0x1400af5f7_Code_x86_64(generic64_t argument_0, generic64_t argument_1, generic64_t argument_2, generic64_t argument_3) {
  generic64_t var_0;
  generic64_t var_1;
  struct_76 var_2;
  var_0 = function_0x1400aee58_Code_x86_64((generic64_t) &segment_1, argument_1, argument_2, argument_3, var_2);
  var_1 = 0;
  if (var_0) {
    generic64_t var_3;
    struct_78 var_4;
    var_3 = function_0x1400aefa7_Code_x86_64((generic64_t) &segment_1, argument_1, argument_2, argument_3, var_4);
    var_1 = 0;
    if (var_3) {
      var_1 = *(generic32_t *) (*(generic32_t *) 5368709180 + 5368709160) + 5368709120;
    }
  }
  return var_1;
}