revng-3064e6a/humidity-stucco-almanac

0 lines

3.35 MB

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

_ABI(SystemV_x86)
void function_0x8049000_Code_x86(void) {
  function_0x80490c0_Code_x86();
  if (*(generic32_t *) NULL) {
    ((cabifunction_125 *) *(generic32_t *) NULL)();
  }
}

_ABI(raw_x86)
artificial_struct_returned_by_rawfunction_28 __libc_start_main_2(void) {
  pointer_or_number32_t var_0;
  pointer_or_number32_t var_1;
  artificial_struct_returned_by_rawfunction_28 var_2;
  var_2 = __libc_start_main();
  var_1 = var_2.register_eax;
  var_0 = var_2.register_edx;
  return (artificial_struct_returned_by_rawfunction_28) { var_1, var_0 };
}

_ABI(SystemV_x86) _Noreturn
void function_0x8049046_Code_x86(void) {
  *(generic32_t *) (revng_undefined_local_sp() - 4) = 8;
  *(generic32_t *) (revng_undefined_local_sp() - 8) = segment_3.got_plt.offset_4;
  revng_abort("A longjmp was taken");
}

_ABI(SystemV_x86) _Noreturn
void function_0x8049056_Code_x86(void) {
  *(generic32_t *) (revng_undefined_local_sp() - 4) = 16;
  *(generic32_t *) (revng_undefined_local_sp() - 8) = segment_3.got_plt.offset_4;
  revng_abort("A longjmp was taken");
}

_ABI(raw_x86)
artificial_struct_returned_by_rawfunction_28 puts_2(void) {
  pointer_or_number32_t var_0;
  pointer_or_number32_t var_1;
  artificial_struct_returned_by_rawfunction_28 var_2;
  var_2 = puts();
  var_1 = var_2.register_eax;
  var_0 = var_2.register_edx;
  return (artificial_struct_returned_by_rawfunction_28) { var_1, var_0 };
}

_ABI(SystemV_x86) _Noreturn
void function_0x8049070_Code_x86(void) {
  struct_93 stack;
  artificial_struct_returned_by_rawfunction_28 var_0;
  stack.offset_24 = &(&stack)[1];
  function_0x8049099_Code_x86();
  stack.offset_16 = 0;
  stack.offset_12 = 0;
  stack.offset_8 = &(&stack)[1].offset_4;
  stack.offset_4 = *(generic32_t *) &(&stack)[1];
  var_0 = __libc_start_main_2();
}

_ABI(SystemV_x86)
void function_0x8049099_Code_x86(void) {
}

_ABI(SystemV_x86)
void function_0x80490c0_Code_x86(void) {
}

_ABI(SystemV_x86)
void function_0x80490d0_Code_x86(void) {
}

_ABI(SystemV_x86)
void function_0x8049150_Code_x86(void) {
  if (!segment_3.bss.offset_0) {
    function_0x80490d0_Code_x86();
    segment_3.bss.offset_0 = '\001';
  }
}

_ABI(SystemV_x86)
void function_0x8049180_Code_x86(void) {
}

_ABI(SystemV_x86) _Noreturn
void function_0x8049cc9_Code_x86(void) {
  generic32_t var_0;
  generic32_t var_1;
  generic32_t var_2;
  generic32_t var_3;
  generic32_t var_4;
  generic32_t var_5;
  generic32_t var_6;
  generic32_t var_7;
  generic32_t var_8;
  generic32_t var_9;
  generic32_t var_10;
  generic32_t var_11;
  generic32_t var_12;
  generic32_t var_13;
  generic32_t var_14;
  generic32_t var_15;
  generic32_t var_16;
  generic32_t var_17;
  generic32_t var_18;
  generic32_t var_19;
  generic32_t var_20;
  generic32_t var_21;
  generic32_t var_22;
  generic32_t var_23;
  generic32_t var_24;
  generic32_t var_25;
  generic32_t var_26;
  generic32_t var_27;
  generic32_t var_28;
  generic32_t var_29;
  generic32_t var_30;
  generic32_t var_31;
  generic32_t var_32;
  generic32_t var_33;
  generic32_t var_34;
  generic32_t var_35;
  generic32_t var_36;
  generic32_t var_37;
  generic32_t var_38;
  generic32_t var_39;
  generic32_t var_40;
  generic32_t var_41;
  generic32_t var_42;
  generic32_t var_43;
  generic32_t var_44;
  generic32_t var_45;
  *(generic32_t *) (revng_undefined_local_sp() - 5) = 29;
  *(cabifunction_132 **) (revng_undefined_local_sp() - 9) = function_0x8049d00_Code_x86;
  helper_lret_protected_wrapper(NULL, 1, 0, 0, revng_undefined_local_sp() - 5, undef(generic32_t), 0, 29, undef(generic32_t), 33, (pointer_or_number32_t) &segment_1 + 3327, 0, undef(generic32_t), revng_undefined_local_sp() - 9, 0, 0, 0, 514, 272646323, 257, 43, 4294967295, 13628160, 35, 13630208, 43, 13628160, 43, 4294967295, 13628160, 0, 4294967295, 13628160, 43, 4294967295, 13628160, 0, 65535, 1107140608, 71, 2147549185, 328224, 0, 0, 543, 4294967295, 0, 4294967295, 0, &var_0, &var_1, &var_2, &var_3, &var_4, &var_5, &var_6, &var_7, &var_8, &var_9, &var_10, &var_11, &var_12, &var_13, &var_14, &var_15, &var_16, &var_17, &var_18, &var_19, &var_20, &var_21, &var_22, &var_23, &var_24, &var_25, &var_26, &var_27, &var_28, &var_29, &var_30, &var_31, &var_32, &var_33, &var_34, &var_35, &var_36, &var_37, &var_38, &var_39, &var_40, &var_41, &var_42, &var_43, &var_44, &var_45);
  revng_abort("A longjmp was taken");
}

_ABI(SystemV_x86) _Noreturn
void function_0x8049d00_Code_x86(generic32_t argument_0, generic32_t argument_1, generic32_t argument_2, generic32_t argument_3, generic32_t argument_4, generic32_t argument_5) {
  generic32_t var_0;
  generic32_t var_1;
  generic32_t var_2;
  generic32_t var_3;
  generic32_t var_4;
  generic32_t var_5;
  generic32_t var_6;
  generic32_t var_7;
  generic32_t var_8;
  generic32_t var_9;
  generic32_t var_10;
  generic32_t var_11;
  generic32_t var_12;
  generic32_t var_13;
  generic32_t var_14;
  generic32_t var_15;
  generic32_t var_16;
  generic32_t var_17;
  generic32_t var_18;
  generic32_t var_19;
  generic32_t var_20;
  generic32_t var_21;
  generic32_t var_22;
  generic32_t var_23;
  generic32_t var_24;
  generic32_t var_25;
  generic32_t var_26;
  generic32_t var_27;
  generic32_t var_28;
  generic32_t var_29;
  generic32_t var_30;
  generic32_t var_31;
  generic32_t var_32;
  generic32_t var_33;
  generic32_t var_34;
  generic32_t var_35;
  generic32_t var_36;
  generic32_t var_37;
  generic32_t var_38;
  generic32_t var_39;
  generic32_t var_40;
  generic32_t var_41;
  generic32_t var_42;
  generic32_t var_43;
  generic32_t var_44;
  generic32_t var_45;
  generic32_t var_46;
  generic32_t var_47;
  generic32_t var_48;
  generic32_t var_49;
  generic32_t var_50;
  generic32_t var_51;
  var_46 = argument_0;
  var_47 = argument_1;
  var_48 = argument_2;
  var_49 = argument_3;
  var_50 = argument_4;
  var_51 = argument_5;
  *(generic32_t *) ((*(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 36) << 3) + *(generic32_t *) revng_undefined_local_sp() - 1472) = *(generic32_t *) ((*(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 36) << 3) + *(generic32_t *) revng_undefined_local_sp() - 832) ^ *(generic32_t *) ((*(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 36) << 3) + *(generic32_t *) revng_undefined_local_sp() - 1408);
  *(generic32_t *) ((*(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 36) << 3) + *(generic32_t *) revng_undefined_local_sp() - 1468) = *(generic32_t *) ((*(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 36) << 3) + *(generic32_t *) revng_undefined_local_sp() - 828) ^ *(generic32_t *) ((*(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 36) << 3) + *(generic32_t *) revng_undefined_local_sp() - 1404);
  *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 164) = argument_4 - 15426;
  *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 168) = *(generic32_t *) revng_undefined_local_sp() - 1536 + (*(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 36) << 3);
  *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 172) = *(generic32_t *) revng_undefined_local_sp() - 1472 + (*(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 36) << 3);
  *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 176) = *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 36) + (*(generic32_t *) revng_undefined_local_sp() - 2056);
  var_51 = argument_4 - 15426;
  var_50 = argument_4;
  var_49 = *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 36) + (*(generic32_t *) revng_undefined_local_sp() - 2056);
  var_48 = *(generic32_t *) revng_undefined_local_sp() - 1536 + (*(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 36) << 3);
  var_47 = *(generic32_t *) revng_undefined_local_sp() - 1472 + (*(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 36) << 3);
  var_46 = *(generic32_t *) ((*(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 36) << 3) + *(generic32_t *) revng_undefined_local_sp() - 1404);
  *(generic32_t *) revng_undefined_local_sp() = *(generic32_t *) revng_undefined_local_sp();
  *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 180) = *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 164);
  *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 184) = *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 168);
  *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 188) = *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 172);
  *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 192) = *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 176);
  *(generic32_t *) (revng_undefined_local_sp() - 4) = 51;
  *(generic32_t *) (revng_undefined_local_sp() - 8) = *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 180);
  helper_lret_protected_wrapper(NULL, 1, 0, 0, *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 180), *(generic32_t *) revng_undefined_local_sp(), 51, *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 176), function_0x8049e02_Code_x86, *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 188), (pointer_or_number32_t) &segment_1 + 3585, 0, *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 184), revng_undefined_local_sp() - 8, 0, 0, 0, 514, 272646323, 257, 43, 4294967295, 13628160, 35, 13630208, 43, 13628160, 43, 4294967295, 13628160, 0, 4294967295, 13628160, 43, 4294967295, 13628160, 0, 65535, 1107140608, 71, 2147549185, 328224, 0, 0, 543, 4294967295, 0, 4294967295, 0, &var_0, &var_1, &var_2, &var_3, &var_4, &var_5, &var_6, &var_7, &var_8, &var_9, &var_10, &var_11, &var_12, &var_13, &var_14, &var_15, &var_16, &var_17, &var_18, &var_19, &var_20, &var_21, &var_22, &var_23, &var_24, &var_25, &var_26, &var_27, &var_28, &var_29, &var_30, &var_31, &var_32, &var_33, &var_34, &var_35, &var_36, &var_37, &var_38, &var_39, &var_40, &var_41, &var_42, &var_43, &var_44, &var_45);
  revng_abort("A longjmp was taken");
}

_ABI(SystemV_x86) _Noreturn
void function_0x8049e02_Code_x86(void) {
  generic32_t var_0;
  generic32_t var_1;
  generic32_t var_2;
  generic32_t var_3;
  generic32_t var_4;
  generic32_t var_5;
  generic32_t var_6;
  generic32_t var_7;
  generic32_t var_8;
  generic32_t var_9;
  generic32_t var_10;
  generic32_t var_11;
  generic32_t var_12;
  generic32_t var_13;
  generic32_t var_14;
  generic32_t var_15;
  generic32_t var_16;
  generic32_t var_17;
  generic32_t var_18;
  generic32_t var_19;
  generic32_t var_20;
  generic32_t var_21;
  generic32_t var_22;
  generic32_t var_23;
  generic32_t var_24;
  generic32_t var_25;
  generic32_t var_26;
  generic32_t var_27;
  generic32_t var_28;
  generic32_t var_29;
  generic32_t var_30;
  generic32_t var_31;
  generic32_t var_32;
  generic32_t var_33;
  generic32_t var_34;
  generic32_t var_35;
  generic32_t var_36;
  generic32_t var_37;
  generic32_t var_38;
  generic32_t var_39;
  generic32_t var_40;
  generic32_t var_41;
  generic32_t var_42;
  generic32_t var_43;
  generic32_t var_44;
  generic32_t var_45;
  *(generic32_t *) (revng_undefined_local_sp() - 5) = 29;
  *(cabifunction_134 **) (revng_undefined_local_sp() - 9) = function_0x8049e39_Code_x86;
  helper_lret_protected_wrapper(NULL, 1, 0, 0, revng_undefined_local_sp() - 5, undef(generic32_t), 0, 29, undef(generic32_t), 33, (pointer_or_number32_t) &segment_1 + 3640, 0, undef(generic32_t), revng_undefined_local_sp() - 9, 0, 0, 0, 514, 272646323, 257, 43, 4294967295, 13628160, 35, 13630208, 43, 13628160, 43, 4294967295, 13628160, 0, 4294967295, 13628160, 43, 4294967295, 13628160, 0, 65535, 1107140608, 71, 2147549185, 328224, 0, 0, 543, 4294967295, 0, 4294967295, 0, &var_0, &var_1, &var_2, &var_3, &var_4, &var_5, &var_6, &var_7, &var_8, &var_9, &var_10, &var_11, &var_12, &var_13, &var_14, &var_15, &var_16, &var_17, &var_18, &var_19, &var_20, &var_21, &var_22, &var_23, &var_24, &var_25, &var_26, &var_27, &var_28, &var_29, &var_30, &var_31, &var_32, &var_33, &var_34, &var_35, &var_36, &var_37, &var_38, &var_39, &var_40, &var_41, &var_42, &var_43, &var_44, &var_45);
  revng_abort("A longjmp was taken");
}

_ABI(SystemV_x86) _Noreturn
void function_0x8049e39_Code_x86(generic32_t argument_0, generic32_t argument_1, generic32_t argument_2, generic32_t argument_3, generic32_t argument_4, generic32_t argument_5) {
  generic32_t var_0;
  generic32_t var_1;
  generic32_t var_2;
  generic32_t var_3;
  generic32_t var_4;
  generic32_t var_5;
  generic32_t var_6;
  generic32_t var_7;
  generic32_t var_8;
  generic32_t var_9;
  generic32_t var_10;
  generic32_t var_11;
  generic32_t var_12;
  generic32_t var_13;
  generic32_t var_14;
  generic32_t var_15;
  generic32_t var_16;
  generic32_t var_17;
  generic32_t var_18;
  generic32_t var_19;
  generic32_t var_20;
  generic32_t var_21;
  generic32_t var_22;
  generic32_t var_23;
  generic32_t var_24;
  generic32_t var_25;
  generic32_t var_26;
  generic32_t var_27;
  generic32_t var_28;
  generic32_t var_29;
  generic32_t var_30;
  generic32_t var_31;
  generic32_t var_32;
  generic32_t var_33;
  generic32_t var_34;
  generic32_t var_35;
  generic32_t var_36;
  generic32_t var_37;
  generic32_t var_38;
  generic32_t var_39;
  generic32_t var_40;
  generic32_t var_41;
  generic32_t var_42;
  generic32_t var_43;
  generic32_t var_44;
  generic32_t var_45;
  generic32_t var_46;
  generic32_t var_47;
  generic32_t var_48;
  generic32_t var_49;
  generic32_t var_50;
  generic32_t var_51;
  var_46 = argument_0;
  var_47 = argument_1;
  var_48 = argument_2;
  var_49 = argument_3;
  var_50 = argument_4;
  var_51 = argument_5;
  *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 132) = var_50 - 15897;
  *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 136) = *(generic32_t *) revng_undefined_local_sp() - 1600 + (*(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 36) << 3);
  *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 140) = *(generic32_t *) revng_undefined_local_sp() - 1536 + (*(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 36) << 3);
  *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 144) = *(generic32_t *) revng_undefined_local_sp() - 960 + (*(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 36) << 3);
  var_51 = var_50 - 15897;
  var_50 = var_50;
  var_49 = *(generic32_t *) revng_undefined_local_sp() - 960 + (*(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 36) << 3);
  var_48 = *(generic32_t *) revng_undefined_local_sp() - 1600 + (*(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 36) << 3);
  var_47 = *(generic32_t *) revng_undefined_local_sp() - 1536 + (*(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 36) << 3);
  var_46 = var_46;
  *(generic32_t *) revng_undefined_local_sp() = *(generic32_t *) revng_undefined_local_sp();
  *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 148) = *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 132);
  *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 152) = *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 136);
  *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 156) = *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 140);
  *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 160) = *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 144);
  *(generic32_t *) (revng_undefined_local_sp() - 4) = 51;
  *(generic32_t *) (revng_undefined_local_sp() - 8) = *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 148);
  helper_lret_protected_wrapper(NULL, 1, 0, 0, *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 148), *(generic32_t *) revng_undefined_local_sp(), 51, *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 144), function_0x8049f07_Code_x86, *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 156), (pointer_or_number32_t) &segment_1 + 3846, 0, *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 152), revng_undefined_local_sp() - 8, 0, 0, 0, 514, 272646323, 257, 43, 4294967295, 13628160, 35, 13630208, 43, 13628160, 43, 4294967295, 13628160, 0, 4294967295, 13628160, 43, 4294967295, 13628160, 0, 65535, 1107140608, 71, 2147549185, 328224, 0, 0, 543, 4294967295, 0, 4294967295, 0, &var_0, &var_1, &var_2, &var_3, &var_4, &var_5, &var_6, &var_7, &var_8, &var_9, &var_10, &var_11, &var_12, &var_13, &var_14, &var_15, &var_16, &var_17, &var_18, &var_19, &var_20, &var_21, &var_22, &var_23, &var_24, &var_25, &var_26, &var_27, &var_28, &var_29, &var_30, &var_31, &var_32, &var_33, &var_34, &var_35, &var_36, &var_37, &var_38, &var_39, &var_40, &var_41, &var_42, &var_43, &var_44, &var_45);
  revng_abort("A longjmp was taken");
}

_ABI(SystemV_x86) _Noreturn
void function_0x8049f07_Code_x86(void) {
  generic32_t var_0;
  generic32_t var_1;
  generic32_t var_2;
  generic32_t var_3;
  generic32_t var_4;
  generic32_t var_5;
  generic32_t var_6;
  generic32_t var_7;
  generic32_t var_8;
  generic32_t var_9;
  generic32_t var_10;
  generic32_t var_11;
  generic32_t var_12;
  generic32_t var_13;
  generic32_t var_14;
  generic32_t var_15;
  generic32_t var_16;
  generic32_t var_17;
  generic32_t var_18;
  generic32_t var_19;
  generic32_t var_20;
  generic32_t var_21;
  generic32_t var_22;
  generic32_t var_23;
  generic32_t var_24;
  generic32_t var_25;
  generic32_t var_26;
  generic32_t var_27;
  generic32_t var_28;
  generic32_t var_29;
  generic32_t var_30;
  generic32_t var_31;
  generic32_t var_32;
  generic32_t var_33;
  generic32_t var_34;
  generic32_t var_35;
  generic32_t var_36;
  generic32_t var_37;
  generic32_t var_38;
  generic32_t var_39;
  generic32_t var_40;
  generic32_t var_41;
  generic32_t var_42;
  generic32_t var_43;
  generic32_t var_44;
  generic32_t var_45;
  *(generic32_t *) (revng_undefined_local_sp() - 5) = 29;
  *(cabifunction_136 **) (revng_undefined_local_sp() - 9) = function_0x8049f3e_Code_x86;
  helper_lret_protected_wrapper(NULL, 1, 0, 0, revng_undefined_local_sp() - 5, undef(generic32_t), 0, 29, undef(generic32_t), 33, (pointer_or_number32_t) &segment_1 + 3901, 0, undef(generic32_t), revng_undefined_local_sp() - 9, 0, 0, 0, 514, 272646323, 257, 43, 4294967295, 13628160, 35, 13630208, 43, 13628160, 43, 4294967295, 13628160, 0, 4294967295, 13628160, 43, 4294967295, 13628160, 0, 65535, 1107140608, 71, 2147549185, 328224, 0, 0, 543, 4294967295, 0, 4294967295, 0, &var_0, &var_1, &var_2, &var_3, &var_4, &var_5, &var_6, &var_7, &var_8, &var_9, &var_10, &var_11, &var_12, &var_13, &var_14, &var_15, &var_16, &var_17, &var_18, &var_19, &var_20, &var_21, &var_22, &var_23, &var_24, &var_25, &var_26, &var_27, &var_28, &var_29, &var_30, &var_31, &var_32, &var_33, &var_34, &var_35, &var_36, &var_37, &var_38, &var_39, &var_40, &var_41, &var_42, &var_43, &var_44, &var_45);
  revng_abort("A longjmp was taken");
}

_ABI(SystemV_x86) _Noreturn
void function_0x8049f3e_Code_x86(generic32_t argument_0, generic32_t argument_1, generic32_t argument_2, generic32_t argument_3, generic32_t argument_4, generic32_t argument_5) {
  generic32_t var_0;
  generic32_t var_1;
  generic32_t var_2;
  generic32_t var_3;
  generic32_t var_4;
  generic32_t var_5;
  generic32_t var_6;
  generic32_t var_7;
  generic32_t var_8;
  generic32_t var_9;
  generic32_t var_10;
  generic32_t var_11;
  generic32_t var_12;
  generic32_t var_13;
  generic32_t var_14;
  generic32_t var_15;
  generic32_t var_16;
  generic32_t var_17;
  generic32_t var_18;
  generic32_t var_19;
  generic32_t var_20;
  generic32_t var_21;
  generic32_t var_22;
  generic32_t var_23;
  generic32_t var_24;
  generic32_t var_25;
  generic32_t var_26;
  generic32_t var_27;
  generic32_t var_28;
  generic32_t var_29;
  generic32_t var_30;
  generic32_t var_31;
  generic32_t var_32;
  generic32_t var_33;
  generic32_t var_34;
  generic32_t var_35;
  generic32_t var_36;
  generic32_t var_37;
  generic32_t var_38;
  generic32_t var_39;
  generic32_t var_40;
  generic32_t var_41;
  generic32_t var_42;
  generic32_t var_43;
  generic32_t var_44;
  generic32_t var_45;
  generic32_t var_46;
  generic32_t var_47;
  generic32_t var_48;
  generic32_t var_49;
  generic32_t var_50;
  generic32_t var_51;
  var_46 = argument_0;
  var_47 = argument_1;
  var_48 = argument_2;
  var_49 = argument_3;
  var_50 = argument_4;
  var_51 = argument_5;
  *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 100) = var_50 - 15588;
  *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 104) = *(generic32_t *) revng_undefined_local_sp() - 1664 + (*(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 36) << 3);
  *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 108) = *(generic32_t *) revng_undefined_local_sp() - 1600 + (*(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 36) << 3);
  *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 112) = *(generic32_t *) revng_undefined_local_sp() - 1600 + (*(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 36) << 3);
  var_51 = var_50 - 15588;
  var_50 = var_50;
  var_49 = *(generic32_t *) revng_undefined_local_sp() - 1600 + (*(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 36) << 3);
  var_48 = *(generic32_t *) revng_undefined_local_sp() - 1664 + (*(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 36) << 3);
  var_47 = *(generic32_t *) revng_undefined_local_sp() - 1600 + (*(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 36) << 3);
  var_46 = var_46;
  *(generic32_t *) revng_undefined_local_sp() = *(generic32_t *) revng_undefined_local_sp();
  *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 116) = *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 100);
  *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 120) = *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 104);
  *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 124) = *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 108);
  *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 128) = *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 112);
  *(generic32_t *) (revng_undefined_local_sp() - 4) = 51;
  *(generic32_t *) (revng_undefined_local_sp() - 8) = *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 116);
  helper_lret_protected_wrapper(NULL, 1, 0, 0, *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 116), *(generic32_t *) revng_undefined_local_sp(), 51, *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 112), function_0x8049fdc_Code_x86, *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 124), (pointer_or_number32_t) &segment_1 + 4059, 0, *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 120), revng_undefined_local_sp() - 8, 0, 0, 0, 514, 272646323, 257, 43, 4294967295, 13628160, 35, 13630208, 43, 13628160, 43, 4294967295, 13628160, 0, 4294967295, 13628160, 43, 4294967295, 13628160, 0, 65535, 1107140608, 71, 2147549185, 328224, 0, 0, 543, 4294967295, 0, 4294967295, 0, &var_0, &var_1, &var_2, &var_3, &var_4, &var_5, &var_6, &var_7, &var_8, &var_9, &var_10, &var_11, &var_12, &var_13, &var_14, &var_15, &var_16, &var_17, &var_18, &var_19, &var_20, &var_21, &var_22, &var_23, &var_24, &var_25, &var_26, &var_27, &var_28, &var_29, &var_30, &var_31, &var_32, &var_33, &var_34, &var_35, &var_36, &var_37, &var_38, &var_39, &var_40, &var_41, &var_42, &var_43, &var_44, &var_45);
  revng_abort("A longjmp was taken");
}

_ABI(SystemV_x86) _Noreturn
void function_0x8049fdc_Code_x86(void) {
  generic32_t var_0;
  generic32_t var_1;
  generic32_t var_2;
  generic32_t var_3;
  generic32_t var_4;
  generic32_t var_5;
  generic32_t var_6;
  generic32_t var_7;
  generic32_t var_8;
  generic32_t var_9;
  generic32_t var_10;
  generic32_t var_11;
  generic32_t var_12;
  generic32_t var_13;
  generic32_t var_14;
  generic32_t var_15;
  generic32_t var_16;
  generic32_t var_17;
  generic32_t var_18;
  generic32_t var_19;
  generic32_t var_20;
  generic32_t var_21;
  generic32_t var_22;
  generic32_t var_23;
  generic32_t var_24;
  generic32_t var_25;
  generic32_t var_26;
  generic32_t var_27;
  generic32_t var_28;
  generic32_t var_29;
  generic32_t var_30;
  generic32_t var_31;
  generic32_t var_32;
  generic32_t var_33;
  generic32_t var_34;
  generic32_t var_35;
  generic32_t var_36;
  generic32_t var_37;
  generic32_t var_38;
  generic32_t var_39;
  generic32_t var_40;
  generic32_t var_41;
  generic32_t var_42;
  generic32_t var_43;
  generic32_t var_44;
  generic32_t var_45;
  *(generic32_t *) (revng_undefined_local_sp() - 5) = 29;
  *(cabifunction_138 **) (revng_undefined_local_sp() - 9) = function_0x804a013_Code_x86;
  helper_lret_protected_wrapper(NULL, 1, 0, 0, revng_undefined_local_sp() - 5, undef(generic32_t), 0, 29, undef(generic32_t), 33, (pointer_or_number32_t) &segment_1 + 4114, 0, undef(generic32_t), revng_undefined_local_sp() - 9, 0, 0, 0, 514, 272646323, 257, 43, 4294967295, 13628160, 35, 13630208, 43, 13628160, 43, 4294967295, 13628160, 0, 4294967295, 13628160, 43, 4294967295, 13628160, 0, 65535, 1107140608, 71, 2147549185, 328224, 0, 0, 543, 4294967295, 0, 4294967295, 0, &var_0, &var_1, &var_2, &var_3, &var_4, &var_5, &var_6, &var_7, &var_8, &var_9, &var_10, &var_11, &var_12, &var_13, &var_14, &var_15, &var_16, &var_17, &var_18, &var_19, &var_20, &var_21, &var_22, &var_23, &var_24, &var_25, &var_26, &var_27, &var_28, &var_29, &var_30, &var_31, &var_32, &var_33, &var_34, &var_35, &var_36, &var_37, &var_38, &var_39, &var_40, &var_41, &var_42, &var_43, &var_44, &var_45);
  revng_abort("A longjmp was taken");
}

_ABI(SystemV_x86) _Noreturn
void function_0x804a013_Code_x86(generic32_t argument_0, generic32_t argument_1, generic32_t argument_2, generic32_t argument_3, generic32_t argument_4, generic32_t argument_5) {
  generic32_t var_0;
  generic32_t var_1;
  generic32_t var_2;
  generic32_t var_3;
  generic32_t var_4;
  generic32_t var_5;
  generic32_t var_6;
  generic32_t var_7;
  generic32_t var_8;
  generic32_t var_9;
  generic32_t var_10;
  generic32_t var_11;
  generic32_t var_12;
  generic32_t var_13;
  generic32_t var_14;
  generic32_t var_15;
  generic32_t var_16;
  generic32_t var_17;
  generic32_t var_18;
  generic32_t var_19;
  generic32_t var_20;
  generic32_t var_21;
  generic32_t var_22;
  generic32_t var_23;
  generic32_t var_24;
  generic32_t var_25;
  generic32_t var_26;
  generic32_t var_27;
  generic32_t var_28;
  generic32_t var_29;
  generic32_t var_30;
  generic32_t var_31;
  generic32_t var_32;
  generic32_t var_33;
  generic32_t var_34;
  generic32_t var_35;
  generic32_t var_36;
  generic32_t var_37;
  generic32_t var_38;
  generic32_t var_39;
  generic32_t var_40;
  generic32_t var_41;
  generic32_t var_42;
  generic32_t var_43;
  generic32_t var_44;
  generic32_t var_45;
  generic32_t var_46;
  generic32_t var_47;
  generic32_t var_48;
  generic32_t var_49;
  generic32_t var_50;
  generic32_t var_51;
  var_46 = argument_0;
  var_47 = argument_1;
  var_48 = argument_2;
  var_49 = argument_3;
  var_50 = argument_4;
  var_51 = argument_5;
  *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 68) = var_50 - 15627;
  *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 72) = *(generic32_t *) revng_undefined_local_sp() - 1728 + (*(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 36) << 3);
  *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 76) = *(generic32_t *) revng_undefined_local_sp() - 1664 + (*(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 36) << 3);
  *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 80) = *(generic32_t *) revng_undefined_local_sp() - 1664 + (*(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 36) << 3);
  var_51 = var_50 - 15627;
  var_50 = var_50;
  var_49 = *(generic32_t *) revng_undefined_local_sp() - 1664 + (*(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 36) << 3);
  var_48 = *(generic32_t *) revng_undefined_local_sp() - 1728 + (*(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 36) << 3);
  var_47 = *(generic32_t *) revng_undefined_local_sp() - 1664 + (*(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 36) << 3);
  var_46 = var_46;
  *(generic32_t *) revng_undefined_local_sp() = *(generic32_t *) revng_undefined_local_sp();
  *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 84) = *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 68);
  *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 88) = *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 72);
  *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 92) = *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 76);
  *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 96) = *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 80);
  *(generic32_t *) (revng_undefined_local_sp() - 4) = 51;
  *(generic32_t *) (revng_undefined_local_sp() - 8) = *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 84);
  helper_lret_protected_wrapper(NULL, 1, 0, 0, *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 84), *(generic32_t *) revng_undefined_local_sp(), 51, *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 80), function_0x804a0b1_Code_x86, *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 92), (pointer_or_number32_t) &segment_1 + 4272, 0, *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 88), revng_undefined_local_sp() - 8, 0, 0, 0, 514, 272646323, 257, 43, 4294967295, 13628160, 35, 13630208, 43, 13628160, 43, 4294967295, 13628160, 0, 4294967295, 13628160, 43, 4294967295, 13628160, 0, 65535, 1107140608, 71, 2147549185, 328224, 0, 0, 543, 4294967295, 0, 4294967295, 0, &var_0, &var_1, &var_2, &var_3, &var_4, &var_5, &var_6, &var_7, &var_8, &var_9, &var_10, &var_11, &var_12, &var_13, &var_14, &var_15, &var_16, &var_17, &var_18, &var_19, &var_20, &var_21, &var_22, &var_23, &var_24, &var_25, &var_26, &var_27, &var_28, &var_29, &var_30, &var_31, &var_32, &var_33, &var_34, &var_35, &var_36, &var_37, &var_38, &var_39, &var_40, &var_41, &var_42, &var_43, &var_44, &var_45);
  revng_abort("A longjmp was taken");
}

_ABI(SystemV_x86) _Noreturn
void function_0x804a0b1_Code_x86(void) {
  generic32_t var_0;
  generic32_t var_1;
  generic32_t var_2;
  generic32_t var_3;
  generic32_t var_4;
  generic32_t var_5;
  generic32_t var_6;
  generic32_t var_7;
  generic32_t var_8;
  generic32_t var_9;
  generic32_t var_10;
  generic32_t var_11;
  generic32_t var_12;
  generic32_t var_13;
  generic32_t var_14;
  generic32_t var_15;
  generic32_t var_16;
  generic32_t var_17;
  generic32_t var_18;
  generic32_t var_19;
  generic32_t var_20;
  generic32_t var_21;
  generic32_t var_22;
  generic32_t var_23;
  generic32_t var_24;
  generic32_t var_25;
  generic32_t var_26;
  generic32_t var_27;
  generic32_t var_28;
  generic32_t var_29;
  generic32_t var_30;
  generic32_t var_31;
  generic32_t var_32;
  generic32_t var_33;
  generic32_t var_34;
  generic32_t var_35;
  generic32_t var_36;
  generic32_t var_37;
  generic32_t var_38;
  generic32_t var_39;
  generic32_t var_40;
  generic32_t var_41;
  generic32_t var_42;
  generic32_t var_43;
  generic32_t var_44;
  generic32_t var_45;
  *(generic32_t *) (revng_undefined_local_sp() - 5) = 29;
  *(cabifunction_140 **) (revng_undefined_local_sp() - 9) = function_0x804a0e8_Code_x86;
  helper_lret_protected_wrapper(NULL, 1, 0, 0, revng_undefined_local_sp() - 5, undef(generic32_t), 0, 29, undef(generic32_t), 33, (pointer_or_number32_t) &segment_1 + 4327, 0, undef(generic32_t), revng_undefined_local_sp() - 9, 0, 0, 0, 514, 272646323, 257, 43, 4294967295, 13628160, 35, 13630208, 43, 13628160, 43, 4294967295, 13628160, 0, 4294967295, 13628160, 43, 4294967295, 13628160, 0, 65535, 1107140608, 71, 2147549185, 328224, 0, 0, 543, 4294967295, 0, 4294967295, 0, &var_0, &var_1, &var_2, &var_3, &var_4, &var_5, &var_6, &var_7, &var_8, &var_9, &var_10, &var_11, &var_12, &var_13, &var_14, &var_15, &var_16, &var_17, &var_18, &var_19, &var_20, &var_21, &var_22, &var_23, &var_24, &var_25, &var_26, &var_27, &var_28, &var_29, &var_30, &var_31, &var_32, &var_33, &var_34, &var_35, &var_36, &var_37, &var_38, &var_39, &var_40, &var_41, &var_42, &var_43, &var_44, &var_45);
  revng_abort("A longjmp was taken");
}

_ABI(SystemV_x86) _Noreturn
void function_0x804a0e8_Code_x86(generic32_t argument_0, generic32_t argument_1, generic32_t *argument_2, generic32_t argument_3, generic32_t argument_4, generic32_t *argument_5) {
  generic32_t var_0;
  generic32_t var_1;
  generic32_t var_2;
  generic32_t var_3;
  generic32_t var_4;
  generic32_t var_5;
  generic32_t var_6;
  generic32_t var_7;
  generic32_t var_8;
  generic32_t var_9;
  generic32_t var_10;
  generic32_t var_11;
  generic32_t var_12;
  generic32_t var_13;
  generic32_t var_14;
  generic32_t var_15;
  generic32_t var_16;
  generic32_t var_17;
  generic32_t var_18;
  generic32_t var_19;
  generic32_t var_20;
  generic32_t var_21;
  generic32_t var_22;
  generic32_t var_23;
  generic32_t var_24;
  generic32_t var_25;
  generic32_t var_26;
  generic32_t var_27;
  generic32_t var_28;
  generic32_t var_29;
  generic32_t var_30;
  generic32_t var_31;
  generic32_t var_32;
  generic32_t var_33;
  generic32_t var_34;
  generic32_t var_35;
  generic32_t var_36;
  generic32_t var_37;
  generic32_t var_38;
  generic32_t var_39;
  generic32_t var_40;
  generic32_t var_41;
  generic32_t var_42;
  generic32_t var_43;
  generic32_t var_44;
  generic32_t var_45;
  generic32_t var_46;
  generic32_t var_47;
  generic32_t var_48;
  generic32_t var_49;
  generic32_t var_50;
  generic32_t var_51;
  generic32_t var_52;
  generic32_t var_53;
  generic32_t var_54;
  generic32_t var_55;
  generic32_t var_56;
  generic32_t var_57;
  generic32_t var_58;
  generic32_t var_59;
  generic32_t var_60;
  generic32_t var_61;
  generic32_t var_62;
  generic32_t var_63;
  generic32_t var_64;
  generic32_t var_65;
  generic32_t var_66;
  generic32_t var_67;
  generic32_t var_68;
  generic32_t var_69;
  generic32_t var_70;
  generic32_t var_71;
  generic32_t var_72;
  generic32_t var_73;
  generic32_t var_74;
  generic32_t var_75;
  generic32_t var_76;
  generic32_t var_77;
  generic32_t var_78;
  generic32_t var_79;
  generic32_t var_80;
  generic32_t var_81;
  generic32_t var_82;
  generic32_t var_83;
  generic32_t var_84;
  generic32_t var_85;
  generic32_t var_86;
  generic32_t var_87;
  generic32_t var_88;
  generic32_t var_89;
  generic32_t var_90;
  generic32_t var_91;
  generic32_t var_92;
  generic32_t var_93;
  generic32_t var_94;
  generic32_t var_95;
  generic32_t var_96;
  generic32_t var_97;
  var_92 = argument_0;
  var_93 = argument_1;
  var_94 = argument_2;
  var_95 = argument_3;
  var_96 = argument_4;
  var_97 = argument_5;
  *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 36) = *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 36) + 1;
  if ((int32_t) *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 36) > (int32_t) 6 && (int32_t) *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 36) < (int32_t) 2147483647) {
    *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 2072) = 2863311530;
    *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 2068) = 2863311530;
    *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 64) = ~*(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 2072);
    *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 60) = 1431655765;
    *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 40) = 0;
    *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 2080) = 0;
    *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 2076) = 0;
    *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 2088) = 0;
    *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 2084) = 0;
    *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 2096) = 0;
    *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 2092) = 0;
    *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 2104) = 0;
    *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 2100) = 0;
    *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 324) = var_96 - 15757;
    *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 328) = *(generic32_t *) revng_undefined_local_sp() - 2080;
    *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 332) = *(generic32_t *) revng_undefined_local_sp() - 1728 + (*(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 40) << 3);
    *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 336) = *(generic32_t *) revng_undefined_local_sp() - 2072;
    var_97 = *(generic32_t *) revng_undefined_local_sp() - 2072;
    var_96 = var_96;
    var_95 = var_96 - 15757;
    var_94 = *(generic32_t *) revng_undefined_local_sp() - 2080;
    var_93 = *(generic32_t *) revng_undefined_local_sp() - 1728 + (*(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 40) << 3);
    var_92 = var_92;
    *(generic32_t *) revng_undefined_local_sp() = *(generic32_t *) revng_undefined_local_sp();
    *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 340) = *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 324);
    *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 344) = *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 328);
    *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 348) = *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 332);
    *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 352) = *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 336);
    *(generic32_t *) (revng_undefined_local_sp() - 4) = 51;
    *(generic32_t *) (revng_undefined_local_sp() - 8) = *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 340);
    helper_lret_protected_wrapper(NULL, 1, 0, 0, *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 340), *(generic32_t *) revng_undefined_local_sp(), 51, *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 336), function_0x804a236_Code_x86, *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 348), (pointer_or_number32_t) &segment_1 + 4661, 0, *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 344), revng_undefined_local_sp() - 8, 0, 0, 0, 514, 272646323, 257, 43, 4294967295, 13628160, 35, 13630208, 43, 13628160, 43, 4294967295, 13628160, 0, 4294967295, 13628160, 43, 4294967295, 13628160, 0, 65535, 1107140608, 71, 2147549185, 328224, 0, 0, 543, 4294967295, 0, 4294967295, 0, &var_0, &var_1, &var_2, &var_3, &var_4, &var_5, &var_6, &var_7, &var_8, &var_9, &var_10, &var_11, &var_12, &var_13, &var_14, &var_15, &var_16, &var_17, &var_18, &var_19, &var_20, &var_21, &var_22, &var_23, &var_24, &var_25, &var_26, &var_27, &var_28, &var_29, &var_30, &var_31, &var_32, &var_33, &var_34, &var_35, &var_36, &var_37, &var_38, &var_39, &var_40, &var_41, &var_42, &var_43, &var_44, &var_45);
    revng_abort("A longjmp was taken");
  } else {
    *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 196) = var_96 - 15982;
    *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 200) = *(generic32_t *) revng_undefined_local_sp() - 1408 + ((*(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 36) + 1) << 3);
    *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 204) = *(generic32_t *) revng_undefined_local_sp() - 704 + ((*(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 36) + 1) << 3);
    *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 208) = *(generic32_t *) revng_undefined_local_sp() - 768 + ((*(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 36) + 1) << 3);
    var_97 = var_96 - 15982;
    var_96 = var_96;
    var_95 = *(generic32_t *) revng_undefined_local_sp() - 768 + ((*(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 36) + 1) << 3);
    var_94 = *(generic32_t *) revng_undefined_local_sp() - 1408 + ((*(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 36) + 1) << 3);
    var_93 = *(generic32_t *) revng_undefined_local_sp() - 704 + ((*(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 36) + 1) << 3);
    var_92 = var_92;
    *(generic32_t *) revng_undefined_local_sp() = *(generic32_t *) revng_undefined_local_sp();
    *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 212) = *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 196);
    *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 216) = *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 200);
    *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 220) = *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 204);
    *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 224) = *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 208);
    *(generic32_t *) (revng_undefined_local_sp() - 4) = 51;
    *(generic32_t *) (revng_undefined_local_sp() - 8) = *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 212);
    helper_lret_protected_wrapper(NULL, 1, 0, 0, *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 212), *(generic32_t *) revng_undefined_local_sp(), 51, *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 208), function_0x8049cc9_Code_x86, *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 220), (pointer_or_number32_t) &segment_1 + 3272, 0, *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 216), revng_undefined_local_sp() - 8, 0, 0, 0, 514, 272646323, 257, 43, 4294967295, 13628160, 35, 13630208, 43, 13628160, 43, 4294967295, 13628160, 0, 4294967295, 13628160, 43, 4294967295, 13628160, 0, 65535, 1107140608, 71, 2147549185, 328224, 0, 0, 543, 4294967295, 0, 4294967295, 0, &var_46, &var_47, &var_48, &var_49, &var_50, &var_51, &var_52, &var_53, &var_54, &var_55, &var_56, &var_57, &var_58, &var_59, &var_60, &var_61, &var_62, &var_63, &var_64, &var_65, &var_66, &var_67, &var_68, &var_69, &var_70, &var_71, &var_72, &var_73, &var_74, &var_75, &var_76, &var_77, &var_78, &var_79, &var_80, &var_81, &var_82, &var_83, &var_84, &var_85, &var_86, &var_87, &var_88, &var_89, &var_90, &var_91);
    revng_abort("A longjmp was taken");
  }
}

_ABI(SystemV_x86) _Noreturn
void function_0x804a236_Code_x86(void) {
  generic32_t var_0;
  generic32_t var_1;
  generic32_t var_2;
  generic32_t var_3;
  generic32_t var_4;
  generic32_t var_5;
  generic32_t var_6;
  generic32_t var_7;
  generic32_t var_8;
  generic32_t var_9;
  generic32_t var_10;
  generic32_t var_11;
  generic32_t var_12;
  generic32_t var_13;
  generic32_t var_14;
  generic32_t var_15;
  generic32_t var_16;
  generic32_t var_17;
  generic32_t var_18;
  generic32_t var_19;
  generic32_t var_20;
  generic32_t var_21;
  generic32_t var_22;
  generic32_t var_23;
  generic32_t var_24;
  generic32_t var_25;
  generic32_t var_26;
  generic32_t var_27;
  generic32_t var_28;
  generic32_t var_29;
  generic32_t var_30;
  generic32_t var_31;
  generic32_t var_32;
  generic32_t var_33;
  generic32_t var_34;
  generic32_t var_35;
  generic32_t var_36;
  generic32_t var_37;
  generic32_t var_38;
  generic32_t var_39;
  generic32_t var_40;
  generic32_t var_41;
  generic32_t var_42;
  generic32_t var_43;
  generic32_t var_44;
  generic32_t var_45;
  *(generic32_t *) (revng_undefined_local_sp() - 5) = 29;
  *(cabifunction_142 **) (revng_undefined_local_sp() - 9) = function_0x804a26d_Code_x86;
  helper_lret_protected_wrapper(NULL, 1, 0, 0, revng_undefined_local_sp() - 5, undef(generic32_t), 0, 29, undef(generic32_t), 33, (pointer_or_number32_t) &segment_1 + 4716, 0, undef(generic32_t), revng_undefined_local_sp() - 9, 0, 0, 0, 514, 272646323, 257, 43, 4294967295, 13628160, 35, 13630208, 43, 13628160, 43, 4294967295, 13628160, 0, 4294967295, 13628160, 43, 4294967295, 13628160, 0, 65535, 1107140608, 71, 2147549185, 328224, 0, 0, 543, 4294967295, 0, 4294967295, 0, &var_0, &var_1, &var_2, &var_3, &var_4, &var_5, &var_6, &var_7, &var_8, &var_9, &var_10, &var_11, &var_12, &var_13, &var_14, &var_15, &var_16, &var_17, &var_18, &var_19, &var_20, &var_21, &var_22, &var_23, &var_24, &var_25, &var_26, &var_27, &var_28, &var_29, &var_30, &var_31, &var_32, &var_33, &var_34, &var_35, &var_36, &var_37, &var_38, &var_39, &var_40, &var_41, &var_42, &var_43, &var_44, &var_45);
  revng_abort("A longjmp was taken");
}

_ABI(SystemV_x86) _Noreturn
void function_0x804a26d_Code_x86(generic32_t argument_0, generic32_t argument_1, generic32_t argument_2, generic32_t argument_3, generic32_t argument_4, generic32_t *argument_5) {
  generic32_t var_0;
  generic32_t var_1;
  generic32_t var_2;
  generic32_t var_3;
  generic32_t var_4;
  generic32_t var_5;
  generic32_t var_6;
  generic32_t var_7;
  generic32_t var_8;
  generic32_t var_9;
  generic32_t var_10;
  generic32_t var_11;
  generic32_t var_12;
  generic32_t var_13;
  generic32_t var_14;
  generic32_t var_15;
  generic32_t var_16;
  generic32_t var_17;
  generic32_t var_18;
  generic32_t var_19;
  generic32_t var_20;
  generic32_t var_21;
  generic32_t var_22;
  generic32_t var_23;
  generic32_t var_24;
  generic32_t var_25;
  generic32_t var_26;
  generic32_t var_27;
  generic32_t var_28;
  generic32_t var_29;
  generic32_t var_30;
  generic32_t var_31;
  generic32_t var_32;
  generic32_t var_33;
  generic32_t var_34;
  generic32_t var_35;
  generic32_t var_36;
  generic32_t var_37;
  generic32_t var_38;
  generic32_t var_39;
  generic32_t var_40;
  generic32_t var_41;
  generic32_t var_42;
  generic32_t var_43;
  generic32_t var_44;
  generic32_t var_45;
  generic32_t var_46;
  generic32_t var_47;
  generic32_t var_48;
  generic32_t var_49;
  generic32_t var_50;
  generic32_t var_51;
  var_46 = argument_0;
  var_47 = argument_1;
  var_48 = argument_2;
  var_49 = argument_3;
  var_50 = argument_4;
  var_51 = argument_5;
  *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 2088) = *(generic32_t *) ((*(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 40) << 3) + 8 + *(generic32_t *) revng_undefined_local_sp() - 1728) & *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 64);
  *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 2084) = *(generic32_t *) ((*(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 40) << 3) + 8 + *(generic32_t *) revng_undefined_local_sp() - 1724) & *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 60);
  *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 292) = var_50 - 15692;
  *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 296) = *(generic32_t *) revng_undefined_local_sp() - 1728 + (*(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 40) << 3);
  *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 300) = *(generic32_t *) revng_undefined_local_sp() - 2080;
  *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 304) = *(generic32_t *) revng_undefined_local_sp() - 2088;
  var_51 = *(generic32_t *) revng_undefined_local_sp() - 2088;
  var_50 = var_50;
  var_49 = var_50 - 15692;
  var_48 = *(generic32_t *) revng_undefined_local_sp() - 2080;
  var_47 = *(generic32_t *) revng_undefined_local_sp() - 1728 + (*(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 40) << 3);
  var_46 = var_46;
  *(generic32_t *) revng_undefined_local_sp() = *(generic32_t *) revng_undefined_local_sp();
  *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 308) = *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 292);
  *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 312) = *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 296);
  *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 316) = *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 300);
  *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 320) = *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 304);
  *(generic32_t *) (revng_undefined_local_sp() - 4) = 51;
  *(generic32_t *) (revng_undefined_local_sp() - 8) = *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 308);
  helper_lret_protected_wrapper(NULL, 1, 0, 0, *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 308), *(generic32_t *) revng_undefined_local_sp(), 51, *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 304), function_0x804a34d_Code_x86, *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 316), (pointer_or_number32_t) &segment_1 + 4940, 0, *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 312), revng_undefined_local_sp() - 8, 0, 0, 0, 514, 272646323, 257, 43, 4294967295, 13628160, 35, 13630208, 43, 13628160, 43, 4294967295, 13628160, 0, 4294967295, 13628160, 43, 4294967295, 13628160, 0, 65535, 1107140608, 71, 2147549185, 328224, 0, 0, 543, 4294967295, 0, 4294967295, 0, &var_0, &var_1, &var_2, &var_3, &var_4, &var_5, &var_6, &var_7, &var_8, &var_9, &var_10, &var_11, &var_12, &var_13, &var_14, &var_15, &var_16, &var_17, &var_18, &var_19, &var_20, &var_21, &var_22, &var_23, &var_24, &var_25, &var_26, &var_27, &var_28, &var_29, &var_30, &var_31, &var_32, &var_33, &var_34, &var_35, &var_36, &var_37, &var_38, &var_39, &var_40, &var_41, &var_42, &var_43, &var_44, &var_45);
  revng_abort("A longjmp was taken");
}

_ABI(SystemV_x86) _Noreturn
void function_0x804a34d_Code_x86(void) {
  generic32_t var_0;
  generic32_t var_1;
  generic32_t var_2;
  generic32_t var_3;
  generic32_t var_4;
  generic32_t var_5;
  generic32_t var_6;
  generic32_t var_7;
  generic32_t var_8;
  generic32_t var_9;
  generic32_t var_10;
  generic32_t var_11;
  generic32_t var_12;
  generic32_t var_13;
  generic32_t var_14;
  generic32_t var_15;
  generic32_t var_16;
  generic32_t var_17;
  generic32_t var_18;
  generic32_t var_19;
  generic32_t var_20;
  generic32_t var_21;
  generic32_t var_22;
  generic32_t var_23;
  generic32_t var_24;
  generic32_t var_25;
  generic32_t var_26;
  generic32_t var_27;
  generic32_t var_28;
  generic32_t var_29;
  generic32_t var_30;
  generic32_t var_31;
  generic32_t var_32;
  generic32_t var_33;
  generic32_t var_34;
  generic32_t var_35;
  generic32_t var_36;
  generic32_t var_37;
  generic32_t var_38;
  generic32_t var_39;
  generic32_t var_40;
  generic32_t var_41;
  generic32_t var_42;
  generic32_t var_43;
  generic32_t var_44;
  generic32_t var_45;
  *(generic32_t *) (revng_undefined_local_sp() - 5) = 29;
  *(cabifunction_144 **) (revng_undefined_local_sp() - 9) = function_0x804a384_Code_x86;
  helper_lret_protected_wrapper(NULL, 1, 0, 0, revng_undefined_local_sp() - 5, undef(generic32_t), 0, 29, undef(generic32_t), 33, (pointer_or_number32_t) &segment_1 + 4995, 0, undef(generic32_t), revng_undefined_local_sp() - 9, 0, 0, 0, 514, 272646323, 257, 43, 4294967295, 13628160, 35, 13630208, 43, 13628160, 43, 4294967295, 13628160, 0, 4294967295, 13628160, 43, 4294967295, 13628160, 0, 65535, 1107140608, 71, 2147549185, 328224, 0, 0, 543, 4294967295, 0, 4294967295, 0, &var_0, &var_1, &var_2, &var_3, &var_4, &var_5, &var_6, &var_7, &var_8, &var_9, &var_10, &var_11, &var_12, &var_13, &var_14, &var_15, &var_16, &var_17, &var_18, &var_19, &var_20, &var_21, &var_22, &var_23, &var_24, &var_25, &var_26, &var_27, &var_28, &var_29, &var_30, &var_31, &var_32, &var_33, &var_34, &var_35, &var_36, &var_37, &var_38, &var_39, &var_40, &var_41, &var_42, &var_43, &var_44, &var_45);
  revng_abort("A longjmp was taken");
}

_ABI(SystemV_x86) _Noreturn
void function_0x804a384_Code_x86(generic32_t argument_0, generic32_t argument_1, generic32_t argument_2, generic32_t argument_3, generic32_t argument_4, generic32_t argument_5) {
  generic32_t var_0;
  generic32_t var_1;
  generic32_t var_2;
  generic32_t var_3;
  generic32_t var_4;
  generic32_t var_5;
  generic32_t var_6;
  generic32_t var_7;
  generic32_t var_8;
  generic32_t var_9;
  generic32_t var_10;
  generic32_t var_11;
  generic32_t var_12;
  generic32_t var_13;
  generic32_t var_14;
  generic32_t var_15;
  generic32_t var_16;
  generic32_t var_17;
  generic32_t var_18;
  generic32_t var_19;
  generic32_t var_20;
  generic32_t var_21;
  generic32_t var_22;
  generic32_t var_23;
  generic32_t var_24;
  generic32_t var_25;
  generic32_t var_26;
  generic32_t var_27;
  generic32_t var_28;
  generic32_t var_29;
  generic32_t var_30;
  generic32_t var_31;
  generic32_t var_32;
  generic32_t var_33;
  generic32_t var_34;
  generic32_t var_35;
  generic32_t var_36;
  generic32_t var_37;
  generic32_t var_38;
  generic32_t var_39;
  generic32_t var_40;
  generic32_t var_41;
  generic32_t var_42;
  generic32_t var_43;
  generic32_t var_44;
  generic32_t var_45;
  generic32_t var_46;
  generic32_t var_47;
  generic32_t var_48;
  generic32_t var_49;
  generic32_t var_50;
  generic32_t var_51;
  var_46 = argument_0;
  var_47 = argument_1;
  var_48 = argument_2;
  var_49 = argument_3;
  var_50 = argument_4;
  var_51 = argument_5;
  *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 2096) = *(generic32_t *) ((*(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 40) << 3) + *(generic32_t *) revng_undefined_local_sp() - 1664) & *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 64);
  *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 2092) = *(generic32_t *) ((*(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 40) << 3) + *(generic32_t *) revng_undefined_local_sp() - 1660) & *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 60);
  *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 260) = var_50 - 15757;
  *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 264) = *(generic32_t *) revng_undefined_local_sp() - 2104;
  *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 268) = *(generic32_t *) revng_undefined_local_sp() + (*(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 40) << 3) - 1656;
  *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 272) = *(generic32_t *) revng_undefined_local_sp() - 2072;
  var_51 = *(generic32_t *) revng_undefined_local_sp() - 2072;
  var_50 = var_50;
  var_49 = var_50 - 15757;
  var_48 = *(generic32_t *) revng_undefined_local_sp() - 2104;
  var_47 = *(generic32_t *) revng_undefined_local_sp() + (*(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 40) << 3) - 1656;
  var_46 = var_46;
  *(generic32_t *) revng_undefined_local_sp() = *(generic32_t *) revng_undefined_local_sp();
  *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 276) = *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 260);
  *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 280) = *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 264);
  *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 284) = *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 268);
  *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 288) = *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 272);
  *(generic32_t *) (revng_undefined_local_sp() - 4) = 51;
  *(generic32_t *) (revng_undefined_local_sp() - 8) = *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 276);
  helper_lret_protected_wrapper(NULL, 1, 0, 0, *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 276), *(generic32_t *) revng_undefined_local_sp(), 51, *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 272), function_0x804a464_Code_x86, *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 284), (pointer_or_number32_t) &segment_1 + 5219, 0, *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 280), revng_undefined_local_sp() - 8, 0, 0, 0, 514, 272646323, 257, 43, 4294967295, 13628160, 35, 13630208, 43, 13628160, 43, 4294967295, 13628160, 0, 4294967295, 13628160, 43, 4294967295, 13628160, 0, 65535, 1107140608, 71, 2147549185, 328224, 0, 0, 543, 4294967295, 0, 4294967295, 0, &var_0, &var_1, &var_2, &var_3, &var_4, &var_5, &var_6, &var_7, &var_8, &var_9, &var_10, &var_11, &var_12, &var_13, &var_14, &var_15, &var_16, &var_17, &var_18, &var_19, &var_20, &var_21, &var_22, &var_23, &var_24, &var_25, &var_26, &var_27, &var_28, &var_29, &var_30, &var_31, &var_32, &var_33, &var_34, &var_35, &var_36, &var_37, &var_38, &var_39, &var_40, &var_41, &var_42, &var_43, &var_44, &var_45);
  revng_abort("A longjmp was taken");
}

_ABI(SystemV_x86) _Noreturn
void function_0x804a464_Code_x86(void) {
  generic32_t var_0;
  generic32_t var_1;
  generic32_t var_2;
  generic32_t var_3;
  generic32_t var_4;
  generic32_t var_5;
  generic32_t var_6;
  generic32_t var_7;
  generic32_t var_8;
  generic32_t var_9;
  generic32_t var_10;
  generic32_t var_11;
  generic32_t var_12;
  generic32_t var_13;
  generic32_t var_14;
  generic32_t var_15;
  generic32_t var_16;
  generic32_t var_17;
  generic32_t var_18;
  generic32_t var_19;
  generic32_t var_20;
  generic32_t var_21;
  generic32_t var_22;
  generic32_t var_23;
  generic32_t var_24;
  generic32_t var_25;
  generic32_t var_26;
  generic32_t var_27;
  generic32_t var_28;
  generic32_t var_29;
  generic32_t var_30;
  generic32_t var_31;
  generic32_t var_32;
  generic32_t var_33;
  generic32_t var_34;
  generic32_t var_35;
  generic32_t var_36;
  generic32_t var_37;
  generic32_t var_38;
  generic32_t var_39;
  generic32_t var_40;
  generic32_t var_41;
  generic32_t var_42;
  generic32_t var_43;
  generic32_t var_44;
  generic32_t var_45;
  *(generic32_t *) (revng_undefined_local_sp() - 5) = 29;
  *(cabifunction_146 **) (revng_undefined_local_sp() - 9) = function_0x804a49b_Code_x86;
  helper_lret_protected_wrapper(NULL, 1, 0, 0, revng_undefined_local_sp() - 5, undef(generic32_t), 0, 29, undef(generic32_t), 33, (pointer_or_number32_t) &segment_1 + 5274, 0, undef(generic32_t), revng_undefined_local_sp() - 9, 0, 0, 0, 514, 272646323, 257, 43, 4294967295, 13628160, 35, 13630208, 43, 13628160, 43, 4294967295, 13628160, 0, 4294967295, 13628160, 43, 4294967295, 13628160, 0, 65535, 1107140608, 71, 2147549185, 328224, 0, 0, 543, 4294967295, 0, 4294967295, 0, &var_0, &var_1, &var_2, &var_3, &var_4, &var_5, &var_6, &var_7, &var_8, &var_9, &var_10, &var_11, &var_12, &var_13, &var_14, &var_15, &var_16, &var_17, &var_18, &var_19, &var_20, &var_21, &var_22, &var_23, &var_24, &var_25, &var_26, &var_27, &var_28, &var_29, &var_30, &var_31, &var_32, &var_33, &var_34, &var_35, &var_36, &var_37, &var_38, &var_39, &var_40, &var_41, &var_42, &var_43, &var_44, &var_45);
  revng_abort("A longjmp was taken");
}

_ABI(SystemV_x86) _Noreturn
void function_0x804a49b_Code_x86(generic32_t argument_0, generic32_t argument_1, generic32_t argument_2, generic32_t argument_3, generic32_t argument_4, generic32_t argument_5) {
  generic32_t var_0;
  generic32_t var_1;
  generic32_t var_2;
  generic32_t var_3;
  generic32_t var_4;
  generic32_t var_5;
  generic32_t var_6;
  generic32_t var_7;
  generic32_t var_8;
  generic32_t var_9;
  generic32_t var_10;
  generic32_t var_11;
  generic32_t var_12;
  generic32_t var_13;
  generic32_t var_14;
  generic32_t var_15;
  generic32_t var_16;
  generic32_t var_17;
  generic32_t var_18;
  generic32_t var_19;
  generic32_t var_20;
  generic32_t var_21;
  generic32_t var_22;
  generic32_t var_23;
  generic32_t var_24;
  generic32_t var_25;
  generic32_t var_26;
  generic32_t var_27;
  generic32_t var_28;
  generic32_t var_29;
  generic32_t var_30;
  generic32_t var_31;
  generic32_t var_32;
  generic32_t var_33;
  generic32_t var_34;
  generic32_t var_35;
  generic32_t var_36;
  generic32_t var_37;
  generic32_t var_38;
  generic32_t var_39;
  generic32_t var_40;
  generic32_t var_41;
  generic32_t var_42;
  generic32_t var_43;
  generic32_t var_44;
  generic32_t var_45;
  generic32_t var_46;
  generic32_t var_47;
  generic32_t var_48;
  generic32_t var_49;
  generic32_t var_50;
  generic32_t var_51;
  var_46 = argument_0;
  var_47 = argument_1;
  var_48 = argument_2;
  var_49 = argument_3;
  var_50 = argument_4;
  var_51 = argument_5;
  *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 228) = var_50 - 15692;
  *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 232) = *(generic32_t *) revng_undefined_local_sp() + (*(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 40) << 3) - 1720;
  *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 236) = *(generic32_t *) revng_undefined_local_sp() - 2096;
  *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 240) = *(generic32_t *) revng_undefined_local_sp() - 2104;
  var_51 = *(generic32_t *) revng_undefined_local_sp() - 2104;
  var_50 = var_50;
  var_49 = var_50 - 15692;
  var_48 = *(generic32_t *) revng_undefined_local_sp() - 2096;
  var_47 = *(generic32_t *) revng_undefined_local_sp() + (*(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 40) << 3) - 1720;
  var_46 = var_46;
  *(generic32_t *) revng_undefined_local_sp() = *(generic32_t *) revng_undefined_local_sp();
  *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 244) = *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 228);
  *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 248) = *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 232);
  *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 252) = *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 236);
  *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 256) = *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 240);
  *(generic32_t *) (revng_undefined_local_sp() - 4) = 51;
  *(generic32_t *) (revng_undefined_local_sp() - 8) = *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 244);
  helper_lret_protected_wrapper(NULL, 1, 0, 0, *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 244), *(generic32_t *) revng_undefined_local_sp(), 51, *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 240), function_0x804a558_Code_x86, *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 252), (pointer_or_number32_t) &segment_1 + 5463, 0, *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 248), revng_undefined_local_sp() - 8, 0, 0, 0, 514, 272646323, 257, 43, 4294967295, 13628160, 35, 13630208, 43, 13628160, 43, 4294967295, 13628160, 0, 4294967295, 13628160, 43, 4294967295, 13628160, 0, 65535, 1107140608, 71, 2147549185, 328224, 0, 0, 543, 4294967295, 0, 4294967295, 0, &var_0, &var_1, &var_2, &var_3, &var_4, &var_5, &var_6, &var_7, &var_8, &var_9, &var_10, &var_11, &var_12, &var_13, &var_14, &var_15, &var_16, &var_17, &var_18, &var_19, &var_20, &var_21, &var_22, &var_23, &var_24, &var_25, &var_26, &var_27, &var_28, &var_29, &var_30, &var_31, &var_32, &var_33, &var_34, &var_35, &var_36, &var_37, &var_38, &var_39, &var_40, &var_41, &var_42, &var_43, &var_44, &var_45);
  revng_abort("A longjmp was taken");
}

_ABI(SystemV_x86) _Noreturn
void function_0x804a558_Code_x86(void) {
  generic32_t var_0;
  generic32_t var_1;
  generic32_t var_2;
  generic32_t var_3;
  generic32_t var_4;
  generic32_t var_5;
  generic32_t var_6;
  generic32_t var_7;
  generic32_t var_8;
  generic32_t var_9;
  generic32_t var_10;
  generic32_t var_11;
  generic32_t var_12;
  generic32_t var_13;
  generic32_t var_14;
  generic32_t var_15;
  generic32_t var_16;
  generic32_t var_17;
  generic32_t var_18;
  generic32_t var_19;
  generic32_t var_20;
  generic32_t var_21;
  generic32_t var_22;
  generic32_t var_23;
  generic32_t var_24;
  generic32_t var_25;
  generic32_t var_26;
  generic32_t var_27;
  generic32_t var_28;
  generic32_t var_29;
  generic32_t var_30;
  generic32_t var_31;
  generic32_t var_32;
  generic32_t var_33;
  generic32_t var_34;
  generic32_t var_35;
  generic32_t var_36;
  generic32_t var_37;
  generic32_t var_38;
  generic32_t var_39;
  generic32_t var_40;
  generic32_t var_41;
  generic32_t var_42;
  generic32_t var_43;
  generic32_t var_44;
  generic32_t var_45;
  *(generic32_t *) (revng_undefined_local_sp() - 5) = 29;
  *(cabifunction_148 **) (revng_undefined_local_sp() - 9) = function_0x804a58f_Code_x86;
  helper_lret_protected_wrapper(NULL, 1, 0, 0, revng_undefined_local_sp() - 5, undef(generic32_t), 0, 29, undef(generic32_t), 33, (pointer_or_number32_t) &segment_1 + 5518, 0, undef(generic32_t), revng_undefined_local_sp() - 9, 0, 0, 0, 514, 272646323, 257, 43, 4294967295, 13628160, 35, 13630208, 43, 13628160, 43, 4294967295, 13628160, 0, 4294967295, 13628160, 43, 4294967295, 13628160, 0, 65535, 1107140608, 71, 2147549185, 328224, 0, 0, 543, 4294967295, 0, 4294967295, 0, &var_0, &var_1, &var_2, &var_3, &var_4, &var_5, &var_6, &var_7, &var_8, &var_9, &var_10, &var_11, &var_12, &var_13, &var_14, &var_15, &var_16, &var_17, &var_18, &var_19, &var_20, &var_21, &var_22, &var_23, &var_24, &var_25, &var_26, &var_27, &var_28, &var_29, &var_30, &var_31, &var_32, &var_33, &var_34, &var_35, &var_36, &var_37, &var_38, &var_39, &var_40, &var_41, &var_42, &var_43, &var_44, &var_45);
  revng_abort("A longjmp was taken");
}

_ABI(SystemV_x86) _Noreturn
void function_0x804a58f_Code_x86(generic32_t argument_0, generic32_t argument_1, generic32_t *argument_2, generic32_t argument_3, generic32_t argument_4, generic32_t argument_5) {
  generic32_t var_0;
  generic32_t var_1;
  generic32_t var_2;
  generic32_t var_3;
  generic32_t var_4;
  generic32_t var_5;
  generic32_t var_6;
  generic32_t var_7;
  generic32_t var_8;
  generic32_t var_9;
  generic32_t var_10;
  generic32_t var_11;
  generic32_t var_12;
  generic32_t var_13;
  generic32_t var_14;
  generic32_t var_15;
  generic32_t var_16;
  generic32_t var_17;
  generic32_t var_18;
  generic32_t var_19;
  generic32_t var_20;
  generic32_t var_21;
  generic32_t var_22;
  generic32_t var_23;
  generic32_t var_24;
  generic32_t var_25;
  generic32_t var_26;
  generic32_t var_27;
  generic32_t var_28;
  generic32_t var_29;
  generic32_t var_30;
  generic32_t var_31;
  generic32_t var_32;
  generic32_t var_33;
  generic32_t var_34;
  generic32_t var_35;
  generic32_t var_36;
  generic32_t var_37;
  generic32_t var_38;
  generic32_t var_39;
  generic32_t var_40;
  generic32_t var_41;
  generic32_t var_42;
  generic32_t var_43;
  generic32_t var_44;
  generic32_t var_45;
  generic32_t var_46;
  generic32_t var_47;
  generic32_t var_48;
  generic32_t var_49;
  generic32_t var_50;
  generic32_t var_51;
  generic32_t var_52;
  generic32_t var_53;
  generic32_t var_54;
  generic32_t var_55;
  generic32_t var_56;
  generic32_t var_57;
  generic32_t var_58;
  generic32_t var_59;
  generic32_t var_60;
  generic32_t var_61;
  generic32_t var_62;
  generic32_t var_63;
  generic32_t var_64;
  generic32_t var_65;
  generic32_t var_66;
  generic32_t var_67;
  generic32_t var_68;
  generic32_t var_69;
  generic32_t var_70;
  generic32_t var_71;
  generic32_t var_72;
  generic32_t var_73;
  generic32_t var_74;
  generic32_t var_75;
  generic32_t var_76;
  generic32_t var_77;
  generic32_t var_78;
  generic32_t var_79;
  generic32_t var_80;
  generic32_t var_81;
  generic32_t var_82;
  generic32_t var_83;
  generic32_t var_84;
  generic32_t var_85;
  generic32_t var_86;
  generic32_t var_87;
  generic32_t var_88;
  generic32_t var_89;
  generic32_t var_90;
  generic32_t var_91;
  generic32_t var_92;
  generic32_t var_93;
  generic32_t var_94;
  generic32_t var_95;
  generic32_t var_96;
  generic32_t var_97;
  var_92 = argument_0;
  var_93 = argument_1;
  var_94 = argument_2;
  var_95 = argument_3;
  var_96 = argument_4;
  var_97 = argument_5;
  *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 40) = *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 40) + 2;
  if ((int32_t) *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 40) > (int32_t) 5 && (int32_t) *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 40) < (int32_t) 2147483646) {
    *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 44) = 0;
    *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 548) = var_96 - 15982;
    *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 552) = *(generic32_t *) revng_undefined_local_sp() - 1984;
    *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 556) = *(generic32_t *) revng_undefined_local_sp() - 1728;
    *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 560) = *(generic32_t *) revng_undefined_local_sp() - 896;
    var_97 = var_96 - 15982;
    var_96 = var_96;
    var_95 = *(generic32_t *) revng_undefined_local_sp() - 896;
    var_94 = *(generic32_t *) revng_undefined_local_sp() - 1984;
    var_93 = *(generic32_t *) revng_undefined_local_sp() - 1728;
    var_92 = var_92;
    *(generic32_t *) revng_undefined_local_sp() = *(generic32_t *) revng_undefined_local_sp();
    *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 564) = *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 548);
    *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 568) = *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 552);
    *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 572) = *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 556);
    *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 576) = *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 560);
    *(generic32_t *) (revng_undefined_local_sp() - 4) = 51;
    *(generic32_t *) (revng_undefined_local_sp() - 8) = *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 564);
    helper_lret_protected_wrapper(NULL, 1, 0, 0, *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 564), *(generic32_t *) revng_undefined_local_sp(), 51, *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 560), function_0x804a677_Code_x86, *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 572), (pointer_or_number32_t) &segment_1 + 5750, 0, *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 568), revng_undefined_local_sp() - 8, 0, 0, 0, 514, 272646323, 257, 43, 4294967295, 13628160, 35, 13630208, 43, 13628160, 43, 4294967295, 13628160, 0, 4294967295, 13628160, 43, 4294967295, 13628160, 0, 65535, 1107140608, 71, 2147549185, 328224, 0, 0, 543, 4294967295, 0, 4294967295, 0, &var_0, &var_1, &var_2, &var_3, &var_4, &var_5, &var_6, &var_7, &var_8, &var_9, &var_10, &var_11, &var_12, &var_13, &var_14, &var_15, &var_16, &var_17, &var_18, &var_19, &var_20, &var_21, &var_22, &var_23, &var_24, &var_25, &var_26, &var_27, &var_28, &var_29, &var_30, &var_31, &var_32, &var_33, &var_34, &var_35, &var_36, &var_37, &var_38, &var_39, &var_40, &var_41, &var_42, &var_43, &var_44, &var_45);
    revng_abort("A longjmp was taken");
  } else {
    *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 2080) = 0;
    *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 2076) = 0;
    *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 2088) = 0;
    *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 2084) = 0;
    *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 2096) = 0;
    *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 2092) = 0;
    *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 2104) = 0;
    *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 2100) = 0;
    *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 324) = var_96 - 15757;
    *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 328) = *(generic32_t *) revng_undefined_local_sp() - 2080;
    *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 332) = *(generic32_t *) revng_undefined_local_sp() - 1728 + (*(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 40) << 3);
    *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 336) = *(generic32_t *) revng_undefined_local_sp() - 2072;
    var_97 = *(generic32_t *) revng_undefined_local_sp() - 2072;
    var_96 = var_96;
    var_95 = var_96 - 15757;
    var_94 = *(generic32_t *) revng_undefined_local_sp() - 2080;
    var_93 = *(generic32_t *) revng_undefined_local_sp() - 1728 + (*(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 40) << 3);
    var_92 = var_92;
    *(generic32_t *) revng_undefined_local_sp() = *(generic32_t *) revng_undefined_local_sp();
    *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 340) = *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 324);
    *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 344) = *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 328);
    *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 348) = *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 332);
    *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 352) = *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 336);
    *(generic32_t *) (revng_undefined_local_sp() - 4) = 51;
    *(generic32_t *) (revng_undefined_local_sp() - 8) = *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 340);
    helper_lret_protected_wrapper(NULL, 1, 0, 0, *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 340), *(generic32_t *) revng_undefined_local_sp(), 51, *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 336), function_0x804a236_Code_x86, *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 348), (pointer_or_number32_t) &segment_1 + 4661, 0, *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 344), revng_undefined_local_sp() - 8, 0, 0, 0, 514, 272646323, 257, 43, 4294967295, 13628160, 35, 13630208, 43, 13628160, 43, 4294967295, 13628160, 0, 4294967295, 13628160, 43, 4294967295, 13628160, 0, 65535, 1107140608, 71, 2147549185, 328224, 0, 0, 543, 4294967295, 0, 4294967295, 0, &var_46, &var_47, &var_48, &var_49, &var_50, &var_51, &var_52, &var_53, &var_54, &var_55, &var_56, &var_57, &var_58, &var_59, &var_60, &var_61, &var_62, &var_63, &var_64, &var_65, &var_66, &var_67, &var_68, &var_69, &var_70, &var_71, &var_72, &var_73, &var_74, &var_75, &var_76, &var_77, &var_78, &var_79, &var_80, &var_81, &var_82, &var_83, &var_84, &var_85, &var_86, &var_87, &var_88, &var_89, &var_90, &var_91);
    revng_abort("A longjmp was taken");
  }
}

_ABI(SystemV_x86) _Noreturn
void function_0x804a677_Code_x86(void) {
  generic32_t var_0;
  generic32_t var_1;
  generic32_t var_2;
  generic32_t var_3;
  generic32_t var_4;
  generic32_t var_5;
  generic32_t var_6;
  generic32_t var_7;
  generic32_t var_8;
  generic32_t var_9;
  generic32_t var_10;
  generic32_t var_11;
  generic32_t var_12;
  generic32_t var_13;
  generic32_t var_14;
  generic32_t var_15;
  generic32_t var_16;
  generic32_t var_17;
  generic32_t var_18;
  generic32_t var_19;
  generic32_t var_20;
  generic32_t var_21;
  generic32_t var_22;
  generic32_t var_23;
  generic32_t var_24;
  generic32_t var_25;
  generic32_t var_26;
  generic32_t var_27;
  generic32_t var_28;
  generic32_t var_29;
  generic32_t var_30;
  generic32_t var_31;
  generic32_t var_32;
  generic32_t var_33;
  generic32_t var_34;
  generic32_t var_35;
  generic32_t var_36;
  generic32_t var_37;
  generic32_t var_38;
  generic32_t var_39;
  generic32_t var_40;
  generic32_t var_41;
  generic32_t var_42;
  generic32_t var_43;
  generic32_t var_44;
  generic32_t var_45;
  *(generic32_t *) (revng_undefined_local_sp() - 5) = 29;
  *(cabifunction_150 **) (revng_undefined_local_sp() - 9) = function_0x804a6ae_Code_x86;
  helper_lret_protected_wrapper(NULL, 1, 0, 0, revng_undefined_local_sp() - 5, undef(generic32_t), 0, 29, undef(generic32_t), 33, (pointer_or_number32_t) &segment_1 + 5805, 0, undef(generic32_t), revng_undefined_local_sp() - 9, 0, 0, 0, 514, 272646323, 257, 43, 4294967295, 13628160, 35, 13630208, 43, 13628160, 43, 4294967295, 13628160, 0, 4294967295, 13628160, 43, 4294967295, 13628160, 0, 65535, 1107140608, 71, 2147549185, 328224, 0, 0, 543, 4294967295, 0, 4294967295, 0, &var_0, &var_1, &var_2, &var_3, &var_4, &var_5, &var_6, &var_7, &var_8, &var_9, &var_10, &var_11, &var_12, &var_13, &var_14, &var_15, &var_16, &var_17, &var_18, &var_19, &var_20, &var_21, &var_22, &var_23, &var_24, &var_25, &var_26, &var_27, &var_28, &var_29, &var_30, &var_31, &var_32, &var_33, &var_34, &var_35, &var_36, &var_37, &var_38, &var_39, &var_40, &var_41, &var_42, &var_43, &var_44, &var_45);
  revng_abort("A longjmp was taken");
}

_ABI(SystemV_x86) _Noreturn
void function_0x804a6ae_Code_x86(generic32_t argument_0, generic32_t argument_1, generic32_t argument_2, generic32_t argument_3, generic32_t argument_4, generic32_t argument_5) {
  generic32_t var_0;
  generic32_t var_1;
  generic32_t var_2;
  generic32_t var_3;
  generic32_t var_4;
  generic32_t var_5;
  generic32_t var_6;
  generic32_t var_7;
  generic32_t var_8;
  generic32_t var_9;
  generic32_t var_10;
  generic32_t var_11;
  generic32_t var_12;
  generic32_t var_13;
  generic32_t var_14;
  generic32_t var_15;
  generic32_t var_16;
  generic32_t var_17;
  generic32_t var_18;
  generic32_t var_19;
  generic32_t var_20;
  generic32_t var_21;
  generic32_t var_22;
  generic32_t var_23;
  generic32_t var_24;
  generic32_t var_25;
  generic32_t var_26;
  generic32_t var_27;
  generic32_t var_28;
  generic32_t var_29;
  generic32_t var_30;
  generic32_t var_31;
  generic32_t var_32;
  generic32_t var_33;
  generic32_t var_34;
  generic32_t var_35;
  generic32_t var_36;
  generic32_t var_37;
  generic32_t var_38;
  generic32_t var_39;
  generic32_t var_40;
  generic32_t var_41;
  generic32_t var_42;
  generic32_t var_43;
  generic32_t var_44;
  generic32_t var_45;
  generic32_t var_46;
  generic32_t var_47;
  generic32_t var_48;
  generic32_t var_49;
  generic32_t var_50;
  generic32_t var_51;
  var_46 = argument_0;
  var_47 = argument_1;
  var_48 = argument_2;
  var_49 = argument_3;
  var_50 = argument_4;
  var_51 = argument_5;
  *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 516) = var_50 - 15306;
  *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 520) = *(generic32_t *) revng_undefined_local_sp() - 1792 + (*(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 44) << 3);
  *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 524) = *(generic32_t *) revng_undefined_local_sp() - 1984 + (*(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 44) << 3);
  *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 528) = *(generic32_t *) revng_undefined_local_sp() - 1152 + (*(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 44) << 3);
  var_51 = var_50 - 15306;
  var_50 = var_50;
  var_49 = *(generic32_t *) revng_undefined_local_sp() - 1152 + (*(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 44) << 3);
  var_48 = *(generic32_t *) revng_undefined_local_sp() - 1792 + (*(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 44) << 3);
  var_47 = *(generic32_t *) revng_undefined_local_sp() - 1984 + (*(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 44) << 3);
  var_46 = var_46;
  *(generic32_t *) revng_undefined_local_sp() = *(generic32_t *) revng_undefined_local_sp();
  *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 532) = *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 516);
  *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 536) = *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 520);
  *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 540) = *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 524);
  *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 544) = *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 528);
  *(generic32_t *) (revng_undefined_local_sp() - 4) = 51;
  *(generic32_t *) (revng_undefined_local_sp() - 8) = *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 532);
  helper_lret_protected_wrapper(NULL, 1, 0, 0, *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 532), *(generic32_t *) revng_undefined_local_sp(), 51, *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 528), function_0x804a77c_Code_x86, *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 540), (pointer_or_number32_t) &segment_1 + 6011, 0, *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 536), revng_undefined_local_sp() - 8, 0, 0, 0, 514, 272646323, 257, 43, 4294967295, 13628160, 35, 13630208, 43, 13628160, 43, 4294967295, 13628160, 0, 4294967295, 13628160, 43, 4294967295, 13628160, 0, 65535, 1107140608, 71, 2147549185, 328224, 0, 0, 543, 4294967295, 0, 4294967295, 0, &var_0, &var_1, &var_2, &var_3, &var_4, &var_5, &var_6, &var_7, &var_8, &var_9, &var_10, &var_11, &var_12, &var_13, &var_14, &var_15, &var_16, &var_17, &var_18, &var_19, &var_20, &var_21, &var_22, &var_23, &var_24, &var_25, &var_26, &var_27, &var_28, &var_29, &var_30, &var_31, &var_32, &var_33, &var_34, &var_35, &var_36, &var_37, &var_38, &var_39, &var_40, &var_41, &var_42, &var_43, &var_44, &var_45);
  revng_abort("A longjmp was taken");
}

_ABI(SystemV_x86) _Noreturn
void function_0x804a77c_Code_x86(void) {
  generic32_t var_0;
  generic32_t var_1;
  generic32_t var_2;
  generic32_t var_3;
  generic32_t var_4;
  generic32_t var_5;
  generic32_t var_6;
  generic32_t var_7;
  generic32_t var_8;
  generic32_t var_9;
  generic32_t var_10;
  generic32_t var_11;
  generic32_t var_12;
  generic32_t var_13;
  generic32_t var_14;
  generic32_t var_15;
  generic32_t var_16;
  generic32_t var_17;
  generic32_t var_18;
  generic32_t var_19;
  generic32_t var_20;
  generic32_t var_21;
  generic32_t var_22;
  generic32_t var_23;
  generic32_t var_24;
  generic32_t var_25;
  generic32_t var_26;
  generic32_t var_27;
  generic32_t var_28;
  generic32_t var_29;
  generic32_t var_30;
  generic32_t var_31;
  generic32_t var_32;
  generic32_t var_33;
  generic32_t var_34;
  generic32_t var_35;
  generic32_t var_36;
  generic32_t var_37;
  generic32_t var_38;
  generic32_t var_39;
  generic32_t var_40;
  generic32_t var_41;
  generic32_t var_42;
  generic32_t var_43;
  generic32_t var_44;
  generic32_t var_45;
  *(generic32_t *) (revng_undefined_local_sp() - 5) = 29;
  *(cabifunction_152 **) (revng_undefined_local_sp() - 9) = function_0x804a7b3_Code_x86;
  helper_lret_protected_wrapper(NULL, 1, 0, 0, revng_undefined_local_sp() - 5, undef(generic32_t), 0, 29, undef(generic32_t), 33, (pointer_or_number32_t) &segment_1 + 6066, 0, undef(generic32_t), revng_undefined_local_sp() - 9, 0, 0, 0, 514, 272646323, 257, 43, 4294967295, 13628160, 35, 13630208, 43, 13628160, 43, 4294967295, 13628160, 0, 4294967295, 13628160, 43, 4294967295, 13628160, 0, 65535, 1107140608, 71, 2147549185, 328224, 0, 0, 543, 4294967295, 0, 4294967295, 0, &var_0, &var_1, &var_2, &var_3, &var_4, &var_5, &var_6, &var_7, &var_8, &var_9, &var_10, &var_11, &var_12, &var_13, &var_14, &var_15, &var_16, &var_17, &var_18, &var_19, &var_20, &var_21, &var_22, &var_23, &var_24, &var_25, &var_26, &var_27, &var_28, &var_29, &var_30, &var_31, &var_32, &var_33, &var_34, &var_35, &var_36, &var_37, &var_38, &var_39, &var_40, &var_41, &var_42, &var_43, &var_44, &var_45);
  revng_abort("A longjmp was taken");
}

_ABI(SystemV_x86) _Noreturn
void function_0x804a7b3_Code_x86(generic32_t argument_0, generic32_t argument_1, generic32_t argument_2, generic32_t argument_3, generic32_t argument_4, generic32_t argument_5) {
  generic32_t var_0;
  generic32_t var_1;
  generic32_t var_2;
  generic32_t var_3;
  generic32_t var_4;
  generic32_t var_5;
  generic32_t var_6;
  generic32_t var_7;
  generic32_t var_8;
  generic32_t var_9;
  generic32_t var_10;
  generic32_t var_11;
  generic32_t var_12;
  generic32_t var_13;
  generic32_t var_14;
  generic32_t var_15;
  generic32_t var_16;
  generic32_t var_17;
  generic32_t var_18;
  generic32_t var_19;
  generic32_t var_20;
  generic32_t var_21;
  generic32_t var_22;
  generic32_t var_23;
  generic32_t var_24;
  generic32_t var_25;
  generic32_t var_26;
  generic32_t var_27;
  generic32_t var_28;
  generic32_t var_29;
  generic32_t var_30;
  generic32_t var_31;
  generic32_t var_32;
  generic32_t var_33;
  generic32_t var_34;
  generic32_t var_35;
  generic32_t var_36;
  generic32_t var_37;
  generic32_t var_38;
  generic32_t var_39;
  generic32_t var_40;
  generic32_t var_41;
  generic32_t var_42;
  generic32_t var_43;
  generic32_t var_44;
  generic32_t var_45;
  generic32_t var_46;
  generic32_t var_47;
  generic32_t var_48;
  generic32_t var_49;
  generic32_t var_50;
  generic32_t var_51;
  var_46 = argument_0;
  var_47 = argument_1;
  var_48 = argument_2;
  var_49 = argument_3;
  var_50 = argument_4;
  var_51 = argument_5;
  *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 484) = var_50 - 15242;
  *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 488) = *(generic32_t *) revng_undefined_local_sp() - 1856 + (*(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 44) << 3);
  *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 492) = *(generic32_t *) revng_undefined_local_sp() - 1984 + (*(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 44) << 3);
  *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 496) = *(generic32_t *) revng_undefined_local_sp() - 1152 + (*(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 44) << 3);
  var_51 = var_50 - 15242;
  var_50 = var_50;
  var_49 = *(generic32_t *) revng_undefined_local_sp() - 1152 + (*(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 44) << 3);
  var_48 = *(generic32_t *) revng_undefined_local_sp() - 1856 + (*(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 44) << 3);
  var_47 = *(generic32_t *) revng_undefined_local_sp() - 1984 + (*(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 44) << 3);
  var_46 = var_46;
  *(generic32_t *) revng_undefined_local_sp() = *(generic32_t *) revng_undefined_local_sp();
  *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 500) = *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 484);
  *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 504) = *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 488);
  *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 508) = *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 492);
  *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 512) = *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 496);
  *(generic32_t *) (revng_undefined_local_sp() - 4) = 51;
  *(generic32_t *) (revng_undefined_local_sp() - 8) = *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 500);
  helper_lret_protected_wrapper(NULL, 1, 0, 0, *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 500), *(generic32_t *) revng_undefined_local_sp(), 51, *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 496), function_0x804a881_Code_x86, *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 508), (pointer_or_number32_t) &segment_1 + 6272, 0, *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 504), revng_undefined_local_sp() - 8, 0, 0, 0, 514, 272646323, 257, 43, 4294967295, 13628160, 35, 13630208, 43, 13628160, 43, 4294967295, 13628160, 0, 4294967295, 13628160, 43, 4294967295, 13628160, 0, 65535, 1107140608, 71, 2147549185, 328224, 0, 0, 543, 4294967295, 0, 4294967295, 0, &var_0, &var_1, &var_2, &var_3, &var_4, &var_5, &var_6, &var_7, &var_8, &var_9, &var_10, &var_11, &var_12, &var_13, &var_14, &var_15, &var_16, &var_17, &var_18, &var_19, &var_20, &var_21, &var_22, &var_23, &var_24, &var_25, &var_26, &var_27, &var_28, &var_29, &var_30, &var_31, &var_32, &var_33, &var_34, &var_35, &var_36, &var_37, &var_38, &var_39, &var_40, &var_41, &var_42, &var_43, &var_44, &var_45);
  revng_abort("A longjmp was taken");
}

_ABI(SystemV_x86) _Noreturn
void function_0x804a881_Code_x86(void) {
  generic32_t var_0;
  generic32_t var_1;
  generic32_t var_2;
  generic32_t var_3;
  generic32_t var_4;
  generic32_t var_5;
  generic32_t var_6;
  generic32_t var_7;
  generic32_t var_8;
  generic32_t var_9;
  generic32_t var_10;
  generic32_t var_11;
  generic32_t var_12;
  generic32_t var_13;
  generic32_t var_14;
  generic32_t var_15;
  generic32_t var_16;
  generic32_t var_17;
  generic32_t var_18;
  generic32_t var_19;
  generic32_t var_20;
  generic32_t var_21;
  generic32_t var_22;
  generic32_t var_23;
  generic32_t var_24;
  generic32_t var_25;
  generic32_t var_26;
  generic32_t var_27;
  generic32_t var_28;
  generic32_t var_29;
  generic32_t var_30;
  generic32_t var_31;
  generic32_t var_32;
  generic32_t var_33;
  generic32_t var_34;
  generic32_t var_35;
  generic32_t var_36;
  generic32_t var_37;
  generic32_t var_38;
  generic32_t var_39;
  generic32_t var_40;
  generic32_t var_41;
  generic32_t var_42;
  generic32_t var_43;
  generic32_t var_44;
  generic32_t var_45;
  *(generic32_t *) (revng_undefined_local_sp() - 5) = 29;
  *(cabifunction_154 **) (revng_undefined_local_sp() - 9) = function_0x804a8b8_Code_x86;
  helper_lret_protected_wrapper(NULL, 1, 0, 0, revng_undefined_local_sp() - 5, undef(generic32_t), 0, 29, undef(generic32_t), 33, (pointer_or_number32_t) &segment_1 + 6327, 0, undef(generic32_t), revng_undefined_local_sp() - 9, 0, 0, 0, 514, 272646323, 257, 43, 4294967295, 13628160, 35, 13630208, 43, 13628160, 43, 4294967295, 13628160, 0, 4294967295, 13628160, 43, 4294967295, 13628160, 0, 65535, 1107140608, 71, 2147549185, 328224, 0, 0, 543, 4294967295, 0, 4294967295, 0, &var_0, &var_1, &var_2, &var_3, &var_4, &var_5, &var_6, &var_7, &var_8, &var_9, &var_10, &var_11, &var_12, &var_13, &var_14, &var_15, &var_16, &var_17, &var_18, &var_19, &var_20, &var_21, &var_22, &var_23, &var_24, &var_25, &var_26, &var_27, &var_28, &var_29, &var_30, &var_31, &var_32, &var_33, &var_34, &var_35, &var_36, &var_37, &var_38, &var_39, &var_40, &var_41, &var_42, &var_43, &var_44, &var_45);
  revng_abort("A longjmp was taken");
}

_ABI(SystemV_x86) _Noreturn
void function_0x804a8b8_Code_x86(generic32_t argument_0, generic32_t argument_1, generic32_t argument_2, generic32_t argument_3, generic32_t argument_4, generic32_t argument_5) {
  generic32_t var_0;
  generic32_t var_1;
  generic32_t var_2;
  generic32_t var_3;
  generic32_t var_4;
  generic32_t var_5;
  generic32_t var_6;
  generic32_t var_7;
  generic32_t var_8;
  generic32_t var_9;
  generic32_t var_10;
  generic32_t var_11;
  generic32_t var_12;
  generic32_t var_13;
  generic32_t var_14;
  generic32_t var_15;
  generic32_t var_16;
  generic32_t var_17;
  generic32_t var_18;
  generic32_t var_19;
  generic32_t var_20;
  generic32_t var_21;
  generic32_t var_22;
  generic32_t var_23;
  generic32_t var_24;
  generic32_t var_25;
  generic32_t var_26;
  generic32_t var_27;
  generic32_t var_28;
  generic32_t var_29;
  generic32_t var_30;
  generic32_t var_31;
  generic32_t var_32;
  generic32_t var_33;
  generic32_t var_34;
  generic32_t var_35;
  generic32_t var_36;
  generic32_t var_37;
  generic32_t var_38;
  generic32_t var_39;
  generic32_t var_40;
  generic32_t var_41;
  generic32_t var_42;
  generic32_t var_43;
  generic32_t var_44;
  generic32_t var_45;
  generic32_t var_46;
  generic32_t var_47;
  generic32_t var_48;
  generic32_t var_49;
  generic32_t var_50;
  generic32_t var_51;
  var_46 = argument_0;
  var_47 = argument_1;
  var_48 = argument_2;
  var_49 = argument_3;
  var_50 = argument_4;
  var_51 = argument_5;
  *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 452) = var_50 - 15897;
  *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 456) = *(generic32_t *) revng_undefined_local_sp() - 1920 + (*(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 44) << 3);
  *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 460) = *(generic32_t *) revng_undefined_local_sp() - 1792 + (*(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 44) << 3);
  *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 464) = *(generic32_t *) revng_undefined_local_sp() - 1152 + (*(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 44) << 3);
  var_51 = var_50 - 15897;
  var_50 = var_50;
  var_49 = *(generic32_t *) revng_undefined_local_sp() - 1152 + (*(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 44) << 3);
  var_48 = *(generic32_t *) revng_undefined_local_sp() - 1920 + (*(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 44) << 3);
  var_47 = *(generic32_t *) revng_undefined_local_sp() - 1792 + (*(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 44) << 3);
  var_46 = var_46;
  *(generic32_t *) revng_undefined_local_sp() = *(generic32_t *) revng_undefined_local_sp();
  *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 468) = *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 452);
  *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 472) = *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 456);
  *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 476) = *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 460);
  *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 480) = *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 464);
  *(generic32_t *) (revng_undefined_local_sp() - 4) = 51;
  *(generic32_t *) (revng_undefined_local_sp() - 8) = *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 468);
  helper_lret_protected_wrapper(NULL, 1, 0, 0, *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 468), *(generic32_t *) revng_undefined_local_sp(), 51, *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 464), function_0x804a986_Code_x86, *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 476), (pointer_or_number32_t) &segment_1 + 6533, 0, *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 472), revng_undefined_local_sp() - 8, 0, 0, 0, 514, 272646323, 257, 43, 4294967295, 13628160, 35, 13630208, 43, 13628160, 43, 4294967295, 13628160, 0, 4294967295, 13628160, 43, 4294967295, 13628160, 0, 65535, 1107140608, 71, 2147549185, 328224, 0, 0, 543, 4294967295, 0, 4294967295, 0, &var_0, &var_1, &var_2, &var_3, &var_4, &var_5, &var_6, &var_7, &var_8, &var_9, &var_10, &var_11, &var_12, &var_13, &var_14, &var_15, &var_16, &var_17, &var_18, &var_19, &var_20, &var_21, &var_22, &var_23, &var_24, &var_25, &var_26, &var_27, &var_28, &var_29, &var_30, &var_31, &var_32, &var_33, &var_34, &var_35, &var_36, &var_37, &var_38, &var_39, &var_40, &var_41, &var_42, &var_43, &var_44, &var_45);
  revng_abort("A longjmp was taken");
}

_ABI(SystemV_x86) _Noreturn
void function_0x804a986_Code_x86(void) {
  generic32_t var_0;
  generic32_t var_1;
  generic32_t var_2;
  generic32_t var_3;
  generic32_t var_4;
  generic32_t var_5;
  generic32_t var_6;
  generic32_t var_7;
  generic32_t var_8;
  generic32_t var_9;
  generic32_t var_10;
  generic32_t var_11;
  generic32_t var_12;
  generic32_t var_13;
  generic32_t var_14;
  generic32_t var_15;
  generic32_t var_16;
  generic32_t var_17;
  generic32_t var_18;
  generic32_t var_19;
  generic32_t var_20;
  generic32_t var_21;
  generic32_t var_22;
  generic32_t var_23;
  generic32_t var_24;
  generic32_t var_25;
  generic32_t var_26;
  generic32_t var_27;
  generic32_t var_28;
  generic32_t var_29;
  generic32_t var_30;
  generic32_t var_31;
  generic32_t var_32;
  generic32_t var_33;
  generic32_t var_34;
  generic32_t var_35;
  generic32_t var_36;
  generic32_t var_37;
  generic32_t var_38;
  generic32_t var_39;
  generic32_t var_40;
  generic32_t var_41;
  generic32_t var_42;
  generic32_t var_43;
  generic32_t var_44;
  generic32_t var_45;
  *(generic32_t *) (revng_undefined_local_sp() - 5) = 29;
  *(cabifunction_156 **) (revng_undefined_local_sp() - 9) = function_0x804a9bd_Code_x86;
  helper_lret_protected_wrapper(NULL, 1, 0, 0, revng_undefined_local_sp() - 5, undef(generic32_t), 0, 29, undef(generic32_t), 33, (pointer_or_number32_t) &segment_1 + 6588, 0, undef(generic32_t), revng_undefined_local_sp() - 9, 0, 0, 0, 514, 272646323, 257, 43, 4294967295, 13628160, 35, 13630208, 43, 13628160, 43, 4294967295, 13628160, 0, 4294967295, 13628160, 43, 4294967295, 13628160, 0, 65535, 1107140608, 71, 2147549185, 328224, 0, 0, 543, 4294967295, 0, 4294967295, 0, &var_0, &var_1, &var_2, &var_3, &var_4, &var_5, &var_6, &var_7, &var_8, &var_9, &var_10, &var_11, &var_12, &var_13, &var_14, &var_15, &var_16, &var_17, &var_18, &var_19, &var_20, &var_21, &var_22, &var_23, &var_24, &var_25, &var_26, &var_27, &var_28, &var_29, &var_30, &var_31, &var_32, &var_33, &var_34, &var_35, &var_36, &var_37, &var_38, &var_39, &var_40, &var_41, &var_42, &var_43, &var_44, &var_45);
  revng_abort("A longjmp was taken");
}

_ABI(SystemV_x86) _Noreturn
void function_0x804a9bd_Code_x86(generic32_t argument_0, generic32_t argument_1, generic32_t argument_2, generic32_t argument_3, generic32_t argument_4, generic32_t argument_5) {
  generic32_t var_0;
  generic32_t var_1;
  generic32_t var_2;
  generic32_t var_3;
  generic32_t var_4;
  generic32_t var_5;
  generic32_t var_6;
  generic32_t var_7;
  generic32_t var_8;
  generic32_t var_9;
  generic32_t var_10;
  generic32_t var_11;
  generic32_t var_12;
  generic32_t var_13;
  generic32_t var_14;
  generic32_t var_15;
  generic32_t var_16;
  generic32_t var_17;
  generic32_t var_18;
  generic32_t var_19;
  generic32_t var_20;
  generic32_t var_21;
  generic32_t var_22;
  generic32_t var_23;
  generic32_t var_24;
  generic32_t var_25;
  generic32_t var_26;
  generic32_t var_27;
  generic32_t var_28;
  generic32_t var_29;
  generic32_t var_30;
  generic32_t var_31;
  generic32_t var_32;
  generic32_t var_33;
  generic32_t var_34;
  generic32_t var_35;
  generic32_t var_36;
  generic32_t var_37;
  generic32_t var_38;
  generic32_t var_39;
  generic32_t var_40;
  generic32_t var_41;
  generic32_t var_42;
  generic32_t var_43;
  generic32_t var_44;
  generic32_t var_45;
  generic32_t var_46;
  generic32_t var_47;
  generic32_t var_48;
  generic32_t var_49;
  generic32_t var_50;
  generic32_t var_51;
  var_46 = argument_0;
  var_47 = argument_1;
  var_48 = argument_2;
  var_49 = argument_3;
  var_50 = argument_4;
  var_51 = argument_5;
  *(generic32_t *) ((*(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 44) << 3) + *(generic32_t *) revng_undefined_local_sp() - 1984) = *(generic32_t *) ((*(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 44) << 3) + *(generic32_t *) revng_undefined_local_sp() - 1856) + *(generic32_t *) ((*(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 44) << 3) + *(generic32_t *) revng_undefined_local_sp() - 1920);
  *(generic32_t *) ((*(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 44) << 3) + *(generic32_t *) revng_undefined_local_sp() - 1980) = *(generic32_t *) ((*(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 44) << 3) + *(generic32_t *) revng_undefined_local_sp() - 1852) + *(generic32_t *) ((*(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 44) << 3) + *(generic32_t *) revng_undefined_local_sp() - 1916) + (*(generic32_t *) ((*(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 44) << 3) + *(generic32_t *) revng_undefined_local_sp() - 1856) + *(generic32_t *) ((*(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 44) << 3) + *(generic32_t *) revng_undefined_local_sp() - 1920) < *(generic32_t *) ((*(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 44) << 3) + *(generic32_t *) revng_undefined_local_sp() - 1920));
  *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 420) = argument_4 - 15366;
  *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 424) = *(generic32_t *) revng_undefined_local_sp() - 1408 + (*(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 44) << 3);
  *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 428) = *(generic32_t *) revng_undefined_local_sp() - 1984 + (*(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 44) << 3);
  *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 432) = *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 44) + (*(generic32_t *) revng_undefined_local_sp() - 2064);
  var_51 = argument_4 - 15366;
  var_50 = argument_4;
  var_49 = *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 44) + (*(generic32_t *) revng_undefined_local_sp() - 2064);
  var_48 = *(generic32_t *) revng_undefined_local_sp() - 1408 + (*(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 44) << 3);
  var_47 = *(generic32_t *) revng_undefined_local_sp() - 1984 + (*(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 44) << 3);
  var_46 = *(generic32_t *) ((*(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 44) << 3) + *(generic32_t *) revng_undefined_local_sp() - 1916);
  *(generic32_t *) revng_undefined_local_sp() = *(generic32_t *) revng_undefined_local_sp();
  *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 436) = *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 420);
  *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 440) = *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 424);
  *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 444) = *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 428);
  *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 448) = *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 432);
  *(generic32_t *) (revng_undefined_local_sp() - 4) = 51;
  *(generic32_t *) (revng_undefined_local_sp() - 8) = *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 436);
  helper_lret_protected_wrapper(NULL, 1, 0, 0, *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 436), *(generic32_t *) revng_undefined_local_sp(), 51, *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 432), function_0x804aabf_Code_x86, *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 444), (pointer_or_number32_t) &segment_1 + 6846, 0, *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 440), revng_undefined_local_sp() - 8, 0, 0, 0, 514, 272646323, 257, 43, 4294967295, 13628160, 35, 13630208, 43, 13628160, 43, 4294967295, 13628160, 0, 4294967295, 13628160, 43, 4294967295, 13628160, 0, 65535, 1107140608, 71, 2147549185, 328224, 0, 0, 543, 4294967295, 0, 4294967295, 0, &var_0, &var_1, &var_2, &var_3, &var_4, &var_5, &var_6, &var_7, &var_8, &var_9, &var_10, &var_11, &var_12, &var_13, &var_14, &var_15, &var_16, &var_17, &var_18, &var_19, &var_20, &var_21, &var_22, &var_23, &var_24, &var_25, &var_26, &var_27, &var_28, &var_29, &var_30, &var_31, &var_32, &var_33, &var_34, &var_35, &var_36, &var_37, &var_38, &var_39, &var_40, &var_41, &var_42, &var_43, &var_44, &var_45);
  revng_abort("A longjmp was taken");
}

_ABI(SystemV_x86) _Noreturn
void function_0x804aabf_Code_x86(void) {
  generic32_t var_0;
  generic32_t var_1;
  generic32_t var_2;
  generic32_t var_3;
  generic32_t var_4;
  generic32_t var_5;
  generic32_t var_6;
  generic32_t var_7;
  generic32_t var_8;
  generic32_t var_9;
  generic32_t var_10;
  generic32_t var_11;
  generic32_t var_12;
  generic32_t var_13;
  generic32_t var_14;
  generic32_t var_15;
  generic32_t var_16;
  generic32_t var_17;
  generic32_t var_18;
  generic32_t var_19;
  generic32_t var_20;
  generic32_t var_21;
  generic32_t var_22;
  generic32_t var_23;
  generic32_t var_24;
  generic32_t var_25;
  generic32_t var_26;
  generic32_t var_27;
  generic32_t var_28;
  generic32_t var_29;
  generic32_t var_30;
  generic32_t var_31;
  generic32_t var_32;
  generic32_t var_33;
  generic32_t var_34;
  generic32_t var_35;
  generic32_t var_36;
  generic32_t var_37;
  generic32_t var_38;
  generic32_t var_39;
  generic32_t var_40;
  generic32_t var_41;
  generic32_t var_42;
  generic32_t var_43;
  generic32_t var_44;
  generic32_t var_45;
  *(generic32_t *) (revng_undefined_local_sp() - 5) = 29;
  *(cabifunction_158 **) (revng_undefined_local_sp() - 9) = function_0x804aaf6_Code_x86;
  helper_lret_protected_wrapper(NULL, 1, 0, 0, revng_undefined_local_sp() - 5, undef(generic32_t), 0, 29, undef(generic32_t), 33, (pointer_or_number32_t) &segment_1 + 6901, 0, undef(generic32_t), revng_undefined_local_sp() - 9, 0, 0, 0, 514, 272646323, 257, 43, 4294967295, 13628160, 35, 13630208, 43, 13628160, 43, 4294967295, 13628160, 0, 4294967295, 13628160, 43, 4294967295, 13628160, 0, 65535, 1107140608, 71, 2147549185, 328224, 0, 0, 543, 4294967295, 0, 4294967295, 0, &var_0, &var_1, &var_2, &var_3, &var_4, &var_5, &var_6, &var_7, &var_8, &var_9, &var_10, &var_11, &var_12, &var_13, &var_14, &var_15, &var_16, &var_17, &var_18, &var_19, &var_20, &var_21, &var_22, &var_23, &var_24, &var_25, &var_26, &var_27, &var_28, &var_29, &var_30, &var_31, &var_32, &var_33, &var_34, &var_35, &var_36, &var_37, &var_38, &var_39, &var_40, &var_41, &var_42, &var_43, &var_44, &var_45);
  revng_abort("A longjmp was taken");
}

_ABI(SystemV_x86) _Noreturn
void function_0x804aaf6_Code_x86(generic32_t argument_0, generic32_t argument_1, generic32_t argument_2, generic32_t argument_3, generic32_t argument_4, generic32_t argument_5) {
  generic32_t var_0;
  generic32_t var_1;
  generic32_t var_2;
  generic32_t var_3;
  generic32_t var_4;
  generic32_t var_5;
  generic32_t var_6;
  generic32_t var_7;
  generic32_t var_8;
  generic32_t var_9;
  generic32_t var_10;
  generic32_t var_11;
  generic32_t var_12;
  generic32_t var_13;
  generic32_t var_14;
  generic32_t var_15;
  generic32_t var_16;
  generic32_t var_17;
  generic32_t var_18;
  generic32_t var_19;
  generic32_t var_20;
  generic32_t var_21;
  generic32_t var_22;
  generic32_t var_23;
  generic32_t var_24;
  generic32_t var_25;
  generic32_t var_26;
  generic32_t var_27;
  generic32_t var_28;
  generic32_t var_29;
  generic32_t var_30;
  generic32_t var_31;
  generic32_t var_32;
  generic32_t var_33;
  generic32_t var_34;
  generic32_t var_35;
  generic32_t var_36;
  generic32_t var_37;
  generic32_t var_38;
  generic32_t var_39;
  generic32_t var_40;
  generic32_t var_41;
  generic32_t var_42;
  generic32_t var_43;
  generic32_t var_44;
  generic32_t var_45;
  generic32_t var_46;
  generic32_t var_47;
  generic32_t var_48;
  generic32_t var_49;
  generic32_t var_50;
  generic32_t var_51;
  var_46 = argument_0;
  var_47 = argument_1;
  var_48 = argument_2;
  var_49 = argument_3;
  var_50 = argument_4;
  var_51 = argument_5;
  *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 388) = var_50 - 15825;
  *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 392) = *(generic32_t *) revng_undefined_local_sp() - 1472 + (*(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 44) << 3);
  *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 396) = *(generic32_t *) revng_undefined_local_sp() - 1408 + (*(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 44) << 3);
  *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 400) = *(generic32_t *) revng_undefined_local_sp() - 1280 + (*(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 44) << 3);
  var_51 = var_50 - 15825;
  var_50 = var_50;
  var_49 = *(generic32_t *) revng_undefined_local_sp() - 1280 + (*(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 44) << 3);
  var_48 = *(generic32_t *) revng_undefined_local_sp() - 1472 + (*(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 44) << 3);
  var_47 = *(generic32_t *) revng_undefined_local_sp() - 1408 + (*(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 44) << 3);
  var_46 = var_46;
  *(generic32_t *) revng_undefined_local_sp() = *(generic32_t *) revng_undefined_local_sp();
  *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 404) = *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 388);
  *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 408) = *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 392);
  *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 412) = *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 396);
  *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 416) = *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 400);
  *(generic32_t *) (revng_undefined_local_sp() - 4) = 51;
  *(generic32_t *) (revng_undefined_local_sp() - 8) = *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 404);
  helper_lret_protected_wrapper(NULL, 1, 0, 0, *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 404), *(generic32_t *) revng_undefined_local_sp(), 51, *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 400), function_0x804abc4_Code_x86, *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 412), (pointer_or_number32_t) &segment_1 + 7107, 0, *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 408), revng_undefined_local_sp() - 8, 0, 0, 0, 514, 272646323, 257, 43, 4294967295, 13628160, 35, 13630208, 43, 13628160, 43, 4294967295, 13628160, 0, 4294967295, 13628160, 43, 4294967295, 13628160, 0, 65535, 1107140608, 71, 2147549185, 328224, 0, 0, 543, 4294967295, 0, 4294967295, 0, &var_0, &var_1, &var_2, &var_3, &var_4, &var_5, &var_6, &var_7, &var_8, &var_9, &var_10, &var_11, &var_12, &var_13, &var_14, &var_15, &var_16, &var_17, &var_18, &var_19, &var_20, &var_21, &var_22, &var_23, &var_24, &var_25, &var_26, &var_27, &var_28, &var_29, &var_30, &var_31, &var_32, &var_33, &var_34, &var_35, &var_36, &var_37, &var_38, &var_39, &var_40, &var_41, &var_42, &var_43, &var_44, &var_45);
  revng_abort("A longjmp was taken");
}

_ABI(SystemV_x86) _Noreturn
void function_0x804abc4_Code_x86(void) {
  generic32_t var_0;
  generic32_t var_1;
  generic32_t var_2;
  generic32_t var_3;
  generic32_t var_4;
  generic32_t var_5;
  generic32_t var_6;
  generic32_t var_7;
  generic32_t var_8;
  generic32_t var_9;
  generic32_t var_10;
  generic32_t var_11;
  generic32_t var_12;
  generic32_t var_13;
  generic32_t var_14;
  generic32_t var_15;
  generic32_t var_16;
  generic32_t var_17;
  generic32_t var_18;
  generic32_t var_19;
  generic32_t var_20;
  generic32_t var_21;
  generic32_t var_22;
  generic32_t var_23;
  generic32_t var_24;
  generic32_t var_25;
  generic32_t var_26;
  generic32_t var_27;
  generic32_t var_28;
  generic32_t var_29;
  generic32_t var_30;
  generic32_t var_31;
  generic32_t var_32;
  generic32_t var_33;
  generic32_t var_34;
  generic32_t var_35;
  generic32_t var_36;
  generic32_t var_37;
  generic32_t var_38;
  generic32_t var_39;
  generic32_t var_40;
  generic32_t var_41;
  generic32_t var_42;
  generic32_t var_43;
  generic32_t var_44;
  generic32_t var_45;
  *(generic32_t *) (revng_undefined_local_sp() - 5) = 29;
  *(cabifunction_160 **) (revng_undefined_local_sp() - 9) = function_0x804abfb_Code_x86;
  helper_lret_protected_wrapper(NULL, 1, 0, 0, revng_undefined_local_sp() - 5, undef(generic32_t), 0, 29, undef(generic32_t), 33, (pointer_or_number32_t) &segment_1 + 7162, 0, undef(generic32_t), revng_undefined_local_sp() - 9, 0, 0, 0, 514, 272646323, 257, 43, 4294967295, 13628160, 35, 13630208, 43, 13628160, 43, 4294967295, 13628160, 0, 4294967295, 13628160, 43, 4294967295, 13628160, 0, 65535, 1107140608, 71, 2147549185, 328224, 0, 0, 543, 4294967295, 0, 4294967295, 0, &var_0, &var_1, &var_2, &var_3, &var_4, &var_5, &var_6, &var_7, &var_8, &var_9, &var_10, &var_11, &var_12, &var_13, &var_14, &var_15, &var_16, &var_17, &var_18, &var_19, &var_20, &var_21, &var_22, &var_23, &var_24, &var_25, &var_26, &var_27, &var_28, &var_29, &var_30, &var_31, &var_32, &var_33, &var_34, &var_35, &var_36, &var_37, &var_38, &var_39, &var_40, &var_41, &var_42, &var_43, &var_44, &var_45);
  revng_abort("A longjmp was taken");
}

_ABI(SystemV_x86) _Noreturn
void function_0x804abfb_Code_x86(generic32_t argument_0, generic32_t argument_1, generic32_t argument_2, generic32_t argument_3, generic32_t argument_4, generic32_t argument_5) {
  generic32_t var_0;
  generic32_t var_1;
  generic32_t var_2;
  generic32_t var_3;
  generic32_t var_4;
  generic32_t var_5;
  generic32_t var_6;
  generic32_t var_7;
  generic32_t var_8;
  generic32_t var_9;
  generic32_t var_10;
  generic32_t var_11;
  generic32_t var_12;
  generic32_t var_13;
  generic32_t var_14;
  generic32_t var_15;
  generic32_t var_16;
  generic32_t var_17;
  generic32_t var_18;
  generic32_t var_19;
  generic32_t var_20;
  generic32_t var_21;
  generic32_t var_22;
  generic32_t var_23;
  generic32_t var_24;
  generic32_t var_25;
  generic32_t var_26;
  generic32_t var_27;
  generic32_t var_28;
  generic32_t var_29;
  generic32_t var_30;
  generic32_t var_31;
  generic32_t var_32;
  generic32_t var_33;
  generic32_t var_34;
  generic32_t var_35;
  generic32_t var_36;
  generic32_t var_37;
  generic32_t var_38;
  generic32_t var_39;
  generic32_t var_40;
  generic32_t var_41;
  generic32_t var_42;
  generic32_t var_43;
  generic32_t var_44;
  generic32_t var_45;
  generic32_t var_46;
  generic32_t var_47;
  generic32_t var_48;
  generic32_t var_49;
  generic32_t var_50;
  generic32_t var_51;
  var_46 = argument_0;
  var_47 = argument_1;
  var_48 = argument_2;
  var_49 = argument_3;
  var_50 = argument_4;
  var_51 = argument_5;
  *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 2112) = *(generic32_t *) ((*(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 44) << 3) + *(generic32_t *) revng_undefined_local_sp() - 1024);
  *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 2108) = *(generic32_t *) ((*(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 44) << 3) + *(generic32_t *) revng_undefined_local_sp() - 1020);
  *(generic32_t *) ((*(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 44) << 3) + *(generic32_t *) revng_undefined_local_sp() - 1536) = (number32_t) (*(generic32_t *) ((*(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 44) << 3) + *(generic32_t *) revng_undefined_local_sp() - 1472) * *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 2112));
  *(generic32_t *) ((*(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 44) << 3) + *(generic32_t *) revng_undefined_local_sp() - 1532) = *(generic32_t *) ((*(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 44) << 3) + *(generic32_t *) revng_undefined_local_sp() - 1472) * *(generic32_t *) ((*(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 44) << 3) + *(generic32_t *) revng_undefined_local_sp() - 1020) + *(generic32_t *) ((*(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 44) << 3) + *(generic32_t *) revng_undefined_local_sp() - 1024) * *(generic32_t *) ((*(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 44) << 3) + *(generic32_t *) revng_undefined_local_sp() - 1468) + (number32_t) ((uint64_t) (*(generic32_t *) ((*(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 44) << 3) + *(generic32_t *) revng_undefined_local_sp() - 1472) * *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 2112)) >> 32);
  *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 356) = argument_4 - 15188;
  *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 360) = *(generic32_t *) revng_undefined_local_sp() - 2048 + (*(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 44) << 3);
  *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 364) = *(generic32_t *) revng_undefined_local_sp() - 1536 + (*(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 44) << 3);
  *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 368) = *(generic32_t *) revng_undefined_local_sp() - 1216 + (*(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 44) << 3);
  var_51 = argument_4 - 15188;
  var_50 = argument_4;
  var_49 = *(generic32_t *) revng_undefined_local_sp() - 1216 + (*(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 44) << 3);
  var_48 = *(generic32_t *) revng_undefined_local_sp() - 2048 + (*(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 44) << 3);
  var_47 = *(generic32_t *) revng_undefined_local_sp() - 1536 + (*(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 44) << 3);
  var_46 = *(generic32_t *) ((*(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 44) << 3) + *(generic32_t *) revng_undefined_local_sp() - 1468);
  *(generic32_t *) revng_undefined_local_sp() = *(generic32_t *) revng_undefined_local_sp();
  *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 372) = *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 356);
  *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 376) = *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 360);
  *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 380) = *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 364);
  *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 384) = *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 368);
  *(generic32_t *) (revng_undefined_local_sp() - 4) = 51;
  *(generic32_t *) (revng_undefined_local_sp() - 8) = *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 372);
  helper_lret_protected_wrapper(NULL, 1, 0, 0, *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 372), *(generic32_t *) revng_undefined_local_sp(), 51, *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 368), function_0x804ad28_Code_x86, *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 380), (pointer_or_number32_t) &segment_1 + 7463, 0, *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 376), revng_undefined_local_sp() - 8, 0, 0, 0, 514, 272646323, 257, 43, 4294967295, 13628160, 35, 13630208, 43, 13628160, 43, 4294967295, 13628160, 0, 4294967295, 13628160, 43, 4294967295, 13628160, 0, 65535, 1107140608, 71, 2147549185, 328224, 0, 0, 543, 4294967295, 0, 4294967295, 0, &var_0, &var_1, &var_2, &var_3, &var_4, &var_5, &var_6, &var_7, &var_8, &var_9, &var_10, &var_11, &var_12, &var_13, &var_14, &var_15, &var_16, &var_17, &var_18, &var_19, &var_20, &var_21, &var_22, &var_23, &var_24, &var_25, &var_26, &var_27, &var_28, &var_29, &var_30, &var_31, &var_32, &var_33, &var_34, &var_35, &var_36, &var_37, &var_38, &var_39, &var_40, &var_41, &var_42, &var_43, &var_44, &var_45);
  revng_abort("A longjmp was taken");
}

_ABI(SystemV_x86) _Noreturn
void function_0x804ad28_Code_x86(void) {
  generic32_t var_0;
  generic32_t var_1;
  generic32_t var_2;
  generic32_t var_3;
  generic32_t var_4;
  generic32_t var_5;
  generic32_t var_6;
  generic32_t var_7;
  generic32_t var_8;
  generic32_t var_9;
  generic32_t var_10;
  generic32_t var_11;
  generic32_t var_12;
  generic32_t var_13;
  generic32_t var_14;
  generic32_t var_15;
  generic32_t var_16;
  generic32_t var_17;
  generic32_t var_18;
  generic32_t var_19;
  generic32_t var_20;
  generic32_t var_21;
  generic32_t var_22;
  generic32_t var_23;
  generic32_t var_24;
  generic32_t var_25;
  generic32_t var_26;
  generic32_t var_27;
  generic32_t var_28;
  generic32_t var_29;
  generic32_t var_30;
  generic32_t var_31;
  generic32_t var_32;
  generic32_t var_33;
  generic32_t var_34;
  generic32_t var_35;
  generic32_t var_36;
  generic32_t var_37;
  generic32_t var_38;
  generic32_t var_39;
  generic32_t var_40;
  generic32_t var_41;
  generic32_t var_42;
  generic32_t var_43;
  generic32_t var_44;
  generic32_t var_45;
  *(generic32_t *) (revng_undefined_local_sp() - 5) = 29;
  *(cabifunction_162 **) (revng_undefined_local_sp() - 9) = function_0x804ad5f_Code_x86;
  helper_lret_protected_wrapper(NULL, 1, 0, 0, revng_undefined_local_sp() - 5, undef(generic32_t), 0, 29, undef(generic32_t), 33, (pointer_or_number32_t) &segment_1 + 7518, 0, undef(generic32_t), revng_undefined_local_sp() - 9, 0, 0, 0, 514, 272646323, 257, 43, 4294967295, 13628160, 35, 13630208, 43, 13628160, 43, 4294967295, 13628160, 0, 4294967295, 13628160, 43, 4294967295, 13628160, 0, 65535, 1107140608, 71, 2147549185, 328224, 0, 0, 543, 4294967295, 0, 4294967295, 0, &var_0, &var_1, &var_2, &var_3, &var_4, &var_5, &var_6, &var_7, &var_8, &var_9, &var_10, &var_11, &var_12, &var_13, &var_14, &var_15, &var_16, &var_17, &var_18, &var_19, &var_20, &var_21, &var_22, &var_23, &var_24, &var_25, &var_26, &var_27, &var_28, &var_29, &var_30, &var_31, &var_32, &var_33, &var_34, &var_35, &var_36, &var_37, &var_38, &var_39, &var_40, &var_41, &var_42, &var_43, &var_44, &var_45);
  revng_abort("A longjmp was taken");
}

_ABI(SystemV_x86) _Noreturn
void function_0x804ad5f_Code_x86(generic32_t argument_0, generic32_t argument_1, generic32_t argument_2, generic32_t argument_3, generic32_t argument_4, generic32_t argument_5) {
  generic32_t var_0;
  generic32_t var_1;
  generic32_t var_2;
  generic32_t var_3;
  generic32_t var_4;
  generic32_t var_5;
  generic32_t var_6;
  generic32_t var_7;
  generic32_t var_8;
  generic32_t var_9;
  generic32_t var_10;
  generic32_t var_11;
  generic32_t var_12;
  generic32_t var_13;
  generic32_t var_14;
  generic32_t var_15;
  generic32_t var_16;
  generic32_t var_17;
  generic32_t var_18;
  generic32_t var_19;
  generic32_t var_20;
  generic32_t var_21;
  generic32_t var_22;
  generic32_t var_23;
  generic32_t var_24;
  generic32_t var_25;
  generic32_t var_26;
  generic32_t var_27;
  generic32_t var_28;
  generic32_t var_29;
  generic32_t var_30;
  generic32_t var_31;
  generic32_t var_32;
  generic32_t var_33;
  generic32_t var_34;
  generic32_t var_35;
  generic32_t var_36;
  generic32_t var_37;
  generic32_t var_38;
  generic32_t var_39;
  generic32_t var_40;
  generic32_t var_41;
  generic32_t var_42;
  generic32_t var_43;
  generic32_t var_44;
  generic32_t var_45;
  generic32_t var_46;
  generic32_t var_47;
  generic32_t var_48;
  generic32_t var_49;
  generic32_t var_50;
  generic32_t var_51;
  var_46 = argument_0;
  var_47 = argument_1;
  var_48 = argument_2;
  var_49 = argument_3;
  var_50 = argument_4;
  var_51 = argument_5;
  *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 44) = *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 44) + 1;
  if ((int32_t) *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 44) > (int32_t) 6 && (int32_t) *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 44) < (int32_t) 2147483647) {
    generic32_t var_52;
    *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 48) = 1;
    *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 52) = 0;
    var_52 = 0;
    while (true) {
      *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 2112) = *(generic32_t *) ((var_52 << 3) + *(generic32_t *) revng_undefined_local_sp() - 2048);
      *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 2116) = *(generic32_t *) ((var_52 << 3) + *(generic32_t *) revng_undefined_local_sp() - 1344);
      if (*(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 2112) == *(generic32_t *) ((var_52 << 3) + *(generic32_t *) revng_undefined_local_sp() - 1344) && *(generic32_t *) ((var_52 << 3) + *(generic32_t *) revng_undefined_local_sp() - 1340) == *(generic32_t *) ((var_52 << 3) + *(generic32_t *) revng_undefined_local_sp() - 2044)) {
        var_52 = *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 52) + 1;
        *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 52) = var_52;
        if (!((int32_t) *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 52) > (int32_t) 6 && (int32_t) *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 52) < (int32_t) 2147483647)) {
          continue;
        }
      } else {
        *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 48) = 0;
      }
      break;
    }
    if (!*(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 48)) {
      pointer_or_number32_t var_53;
      pointer_or_number32_t var_54;
      artificial_struct_returned_by_rawfunction_28 var_55;
      var_48 = var_50 - 8164;
      var_55 = puts_2();
      var_54 = var_55.register_eax;
      var_53 = var_55.register_edx;
      revng_abort("A longjmp was taken");
    } else {
      pointer_or_number32_t var_56;
      pointer_or_number32_t var_57;
      artificial_struct_returned_by_rawfunction_28 var_58;
      var_48 = var_50 - 8172;
      var_58 = puts_2();
      var_57 = var_58.register_eax;
      var_56 = var_58.register_edx;
      revng_abort("A longjmp was taken");
    }
  } else {
    *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 548) = var_50 - 15982;
    *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 552) = *(generic32_t *) revng_undefined_local_sp() - 1984 + ((*(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 44) + 1) << 3);
    *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 556) = *(generic32_t *) revng_undefined_local_sp() - 1728 + ((*(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 44) + 1) << 3);
    *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 560) = *(generic32_t *) revng_undefined_local_sp() - 896 + ((*(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 44) + 1) << 3);
    var_51 = var_50 - 15982;
    var_50 = var_50;
    var_49 = *(generic32_t *) revng_undefined_local_sp() - 896 + ((*(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 44) + 1) << 3);
    var_48 = *(generic32_t *) revng_undefined_local_sp() - 1984 + ((*(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 44) + 1) << 3);
    var_47 = *(generic32_t *) revng_undefined_local_sp() - 1728 + ((*(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 44) + 1) << 3);
    var_46 = var_46;
    *(generic32_t *) revng_undefined_local_sp() = *(generic32_t *) revng_undefined_local_sp();
    *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 564) = *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 548);
    *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 568) = *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 552);
    *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 572) = *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 556);
    *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 576) = *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 560);
    *(generic32_t *) (revng_undefined_local_sp() - 4) = 51;
    *(generic32_t *) (revng_undefined_local_sp() - 8) = *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 564);
    helper_lret_protected_wrapper(NULL, 1, 0, 0, *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 564), *(generic32_t *) revng_undefined_local_sp(), 51, *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 560), function_0x804a677_Code_x86, *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 572), (pointer_or_number32_t) &segment_1 + 5750, 0, *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 568), revng_undefined_local_sp() - 8, 0, 0, 0, 514, 272646323, 257, 43, 4294967295, 13628160, 35, 13630208, 43, 13628160, 43, 4294967295, 13628160, 0, 4294967295, 13628160, 43, 4294967295, 13628160, 0, 65535, 1107140608, 71, 2147549185, 328224, 0, 0, 543, 4294967295, 0, 4294967295, 0, &var_0, &var_1, &var_2, &var_3, &var_4, &var_5, &var_6, &var_7, &var_8, &var_9, &var_10, &var_11, &var_12, &var_13, &var_14, &var_15, &var_16, &var_17, &var_18, &var_19, &var_20, &var_21, &var_22, &var_23, &var_24, &var_25, &var_26, &var_27, &var_28, &var_29, &var_30, &var_31, &var_32, &var_33, &var_34, &var_35, &var_36, &var_37, &var_38, &var_39, &var_40, &var_41, &var_42, &var_43, &var_44, &var_45);
    revng_abort("A longjmp was taken");
  }
}

_ABI(SystemV_x86)
void function_0x804ae20_Code_x86(void) {
  function_0x80490c0_Code_x86();
}