amit.lvnzn/uaf

0 lines

442.54 KB

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

_ABI(SystemV_x86_64)
void function_0x400000_Code_x86_64(generic64_t argument_0, generic64_t argument_1, generic64_t argument_2, generic64_t argument_3, generic64_t argument_4) {
  generic64_t var_0;
  generic64_t var_1;
  var_1 = lshift(0, 0);
  var_0 = lshift(0, 4);
}

_ABI(SystemV_x86_64)
void function_0x400040_Code_x86_64(generic64_t argument_0, generic64_t argument_1, generic64_t argument_2, generic64_t argument_3) {
}

_ABI(SystemV_x86_64)
void function_0x4000a6_Code_x86_64(generic64_t argument_0, generic64_t argument_1, generic64_t argument_2, generic64_t argument_3) {
}

_ABI(SystemV_x86_64)
void function_0x4000bd_Code_x86_64(generic64_t argument_0, generic64_t argument_1, generic64_t argument_2, generic64_t argument_3) {
}

_ABI(SystemV_x86_64)
void function_0x4000fa_Code_x86_64(generic64_t argument_0, generic64_t argument_1, generic64_t argument_2, generic64_t argument_3) {
}

_ABI(SystemV_x86_64) _Noreturn
void function_0x40020a_Code_x86_64(generic8_t *argument_0, generic64_t argument_1, generic64_t argument_2, generic64_t argument_3) {
  *argument_0 = *argument_0 + (number8_t) ((uint64_t) (argument_3 + 65535) >> 8);
  revng_abort("");
}

_ABI(SystemV_x86_64)
void function_0x400212_Code_x86_64(generic64_t argument_0, generic64_t argument_1, generic64_t argument_2) {
}

_ABI(SystemV_x86_64)
void _init(void) {
  call_gmon_start();
  frame_dummy();
  __do_global_ctors_aux(undef(generic64_t));
}

_ABI(SystemV_x86_64)
void _ZNSsC1Ev_2(void *const this) {
  _ZNSsC1Ev(this);
}

_ABI(SystemV_x86_64)
void _ZNSolsEi_2(void *const this, int32_t __n) {
  _ZNSolsEi(this, __n);
}

_ABI(SystemV_x86_64)
void *_Znam_2(size_t sz) {
  void *var_0;
  var_0 = _Znam(sz);
  return var_0;
}

_ABI(SystemV_x86_64)
void _ZdlPv_2(void *ptr) {
  _ZdlPv(ptr);
}

_ABI(SystemV_x86_64)
void _ZNSt8ios_base4InitC1Ev_2(void *const this) {
  _ZNSt8ios_base4InitC1Ev(this);
}

_ABI(SystemV_x86_64)
ssize_t read_2(int32_t fd, void *buf, size_t nbytes) {
  ssize_t var_0;
  var_0 = read(fd, buf, nbytes);
  return var_0;
}

_ABI(SystemV_x86_64) _Noreturn
int32_t __libc_start_main_2(cabifunction_76 *main_2, int32_t argc, int8_t **argv, cabifunction_76 *init_2, cabifunction_75 *fini, cabifunction_75 *rtld_fini, void *stack_end) {
  int32_t var_0;
  var_0 = __libc_start_main(main_2, argc, argv, init_2, fini, rtld_fini, (void *) undef(generic64_t));
  // The previous function call does not return
  return var_0;
}

_ABI(SystemV_x86_64)
int32_t system_2(const int8_t *line) {
  int32_t var_0;
  var_0 = system(line);
  return var_0;
}

_ABI(SystemV_x86_64)
int32_t __cxa_atexit_2(cabifunction_64 *func, void *arg, void *d) {
  int32_t var_0;
  var_0 = __cxa_atexit(func, arg, d);
  return var_0;
}

_ABI(SystemV_x86_64)
void _ZNSt8ios_base4InitD1Ev_2(void *const this) {
  _ZNSt8ios_base4InitD1Ev(this);
}

_ABI(raw_x86_64)
artificial_struct_returned_by_rawfunction_42 _ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc_2(pointer_or_number64_t register_rcx _REG(rcx_x86_64), pointer_or_number64_t register_rdx _REG(rdx_x86_64), pointer_or_number64_t register_rsi _REG(rsi_x86_64), pointer_or_number64_t register_rdi _REG(rdi_x86_64), pointer_or_number64_t register_r8 _REG(r8_x86_64), pointer_or_number64_t register_r9 _REG(r9_x86_64)) {
  pointer_or_number64_t var_0;
  pointer_or_number64_t var_1;
  artificial_struct_returned_by_rawfunction_42 var_2;
  var_2 = _ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc(register_rcx, register_rdx, register_rsi, register_rdi, register_r8, register_r9);
  var_1 = var_2.register_rax;
  var_0 = var_2.register_rdx;
  return (artificial_struct_returned_by_rawfunction_42) { var_1, var_0 };
}

_ABI(SystemV_x86_64)
void _ZNSsD1Ev_2(void *const this) {
  _ZNSsD1Ev(this);
}

_ABI(raw_x86_64)
artificial_struct_returned_by_rawfunction_42 _ZNSsC1EPKcRKSaIcE_2(pointer_or_number64_t register_rcx _REG(rcx_x86_64), pointer_or_number64_t register_rdx _REG(rdx_x86_64), pointer_or_number64_t register_rsi _REG(rsi_x86_64), pointer_or_number64_t register_rdi _REG(rdi_x86_64), pointer_or_number64_t register_r8 _REG(r8_x86_64), pointer_or_number64_t register_r9 _REG(r9_x86_64)) {
  pointer_or_number64_t var_0;
  pointer_or_number64_t var_1;
  artificial_struct_returned_by_rawfunction_42 var_2;
  var_2 = _ZNSsC1EPKcRKSaIcE(register_rcx, register_rdx, register_rsi, register_rdi, register_r8, register_r9);
  var_1 = var_2.register_rax;
  var_0 = var_2.register_rdx;
  return (artificial_struct_returned_by_rawfunction_42) { var_1, var_0 };
}

_ABI(SystemV_x86_64)
int32_t atoi_2(const int8_t *nptr) {
  int32_t var_0;
  var_0 = atoi(nptr);
  return var_0;
}

_ABI(raw_x86_64)
artificial_struct_returned_by_rawfunction_42 _ZStlsIcSt11char_traitsIcESaIcEERSt13basic_ostreamIT_T0_ES7_RKSbIS4_S5_T1_E_2(pointer_or_number64_t register_rcx _REG(rcx_x86_64), pointer_or_number64_t register_rdx _REG(rdx_x86_64), pointer_or_number64_t register_rsi _REG(rsi_x86_64), pointer_or_number64_t register_rdi _REG(rdi_x86_64), pointer_or_number64_t register_r8 _REG(r8_x86_64), pointer_or_number64_t register_r9 _REG(r9_x86_64)) {
  pointer_or_number64_t var_0;
  pointer_or_number64_t var_1;
  artificial_struct_returned_by_rawfunction_42 var_2;
  var_2 = _ZStlsIcSt11char_traitsIcESaIcEERSt13basic_ostreamIT_T0_ES7_RKSbIS4_S5_T1_E(register_rcx, register_rdx, register_rsi, register_rdi, register_r8, register_r9);
  var_1 = var_2.register_rax;
  var_0 = var_2.register_rdx;
  return (artificial_struct_returned_by_rawfunction_42) { var_1, var_0 };
}

_ABI(SystemV_x86_64)
void _ZNSaIcED1Ev_2(void *const this) {
  _ZNSaIcED1Ev(this);
}

_ABI(raw_x86_64)
artificial_struct_returned_by_rawfunction_42 _ZNSolsEPFRSoS_E_2(pointer_or_number64_t register_rcx _REG(rcx_x86_64), pointer_or_number64_t register_rdx _REG(rdx_x86_64), pointer_or_number64_t register_rsi _REG(rsi_x86_64), pointer_or_number64_t register_rdi _REG(rdi_x86_64), pointer_or_number64_t register_r8 _REG(r8_x86_64), pointer_or_number64_t register_r9 _REG(r9_x86_64)) {
  pointer_or_number64_t var_0;
  pointer_or_number64_t var_1;
  artificial_struct_returned_by_rawfunction_42 var_2;
  var_2 = _ZNSolsEPFRSoS_E(register_rcx, register_rdx, register_rsi, register_rdi, register_r8, register_r9);
  var_1 = var_2.register_rax;
  var_0 = var_2.register_rdx;
  return (artificial_struct_returned_by_rawfunction_42) { var_1, var_0 };
}

_ABI(raw_x86_64)
artificial_struct_returned_by_rawfunction_42 _ZSt4endlIcSt11char_traitsIcEERSt13basic_ostreamIT_T0_ES6__2(pointer_or_number64_t register_rcx _REG(rcx_x86_64), pointer_or_number64_t register_rdx _REG(rdx_x86_64), pointer_or_number64_t register_rsi _REG(rsi_x86_64), pointer_or_number64_t register_rdi _REG(rdi_x86_64), pointer_or_number64_t register_r8 _REG(r8_x86_64), pointer_or_number64_t register_r9 _REG(r9_x86_64)) {
  pointer_or_number64_t var_0;
  pointer_or_number64_t var_1;
  artificial_struct_returned_by_rawfunction_42 var_2;
  var_2 = _ZSt4endlIcSt11char_traitsIcEERSt13basic_ostreamIT_T0_ES6_(register_rcx, register_rdx, register_rsi, register_rdi, register_r8, register_r9);
  var_1 = var_2.register_rax;
  var_0 = var_2.register_rdx;
  return (artificial_struct_returned_by_rawfunction_42) { var_1, var_0 };
}

_ABI(SystemV_x86_64)
void _ZNSaIcEC1Ev_2(void *const this) {
  _ZNSaIcEC1Ev(this);
}

_ABI(SystemV_x86_64)
void __gxx_personality_v0_2(int32_t version, _Unwind_Action actions, _Unwind_Exception_Class exception_class, _Unwind_Exception_2 *ue_header, void *context) {
  __gxx_personality_v0(version, actions, exception_class, ue_header, context);
}

_ABI(SystemV_x86_64)
void *_Znwm_2(size_t sz) {
  void *var_0;
  var_0 = _Znwm(sz);
  return var_0;
}

_ABI(SystemV_x86_64)
void _Unwind_Resume_2(_Unwind_Exception *exc) {
  _Unwind_Resume(exc);
}

_ABI(raw_x86_64)
artificial_struct_returned_by_rawfunction_42 _ZNSsaSERKSs_2(pointer_or_number64_t register_rcx _REG(rcx_x86_64), pointer_or_number64_t register_rdx _REG(rdx_x86_64), pointer_or_number64_t register_rsi _REG(rsi_x86_64), pointer_or_number64_t register_rdi _REG(rdi_x86_64), pointer_or_number64_t register_r8 _REG(r8_x86_64), pointer_or_number64_t register_r9 _REG(r9_x86_64)) {
  pointer_or_number64_t var_0;
  pointer_or_number64_t var_1;
  artificial_struct_returned_by_rawfunction_42 var_2;
  var_2 = _ZNSsaSERKSs(register_rcx, register_rdx, register_rsi, register_rdi, register_r8, register_r9);
  var_1 = var_2.register_rax;
  var_0 = var_2.register_rdx;
  return (artificial_struct_returned_by_rawfunction_42) { var_1, var_0 };
}

_ABI(SystemV_x86_64)
int32_t open_2(const int8_t *file, int32_t oflag) {
  int32_t var_0;
  var_0 = open(file, oflag);
  return var_0;
}

_ABI(raw_x86_64)
artificial_struct_returned_by_rawfunction_42 _ZNSirsERj_2(pointer_or_number64_t register_rcx _REG(rcx_x86_64), pointer_or_number64_t register_rdx _REG(rdx_x86_64), pointer_or_number64_t register_rsi _REG(rsi_x86_64), pointer_or_number64_t register_rdi _REG(rdi_x86_64), pointer_or_number64_t register_r8 _REG(r8_x86_64), pointer_or_number64_t register_r9 _REG(r9_x86_64)) {
  pointer_or_number64_t var_0;
  pointer_or_number64_t var_1;
  artificial_struct_returned_by_rawfunction_42 var_2;
  var_2 = _ZNSirsERj(register_rcx, register_rdx, register_rsi, register_rdi, register_r8, register_r9);
  var_1 = var_2.register_rax;
  var_0 = var_2.register_rdx;
  return (artificial_struct_returned_by_rawfunction_42) { var_1, var_0 };
}

_ABI(SystemV_x86_64) _Noreturn
void _start(generic64_t argument_0, generic64_t argument_1, struct_204 *argument_2) {
  int32_t var_0;
  var_0 = __libc_start_main_2((cabifunction_76 *) main, (int32_t) (number32_t) *(generic64_t *) revng_undefined_local_sp(), (int8_t **) (revng_undefined_local_sp() + 8), (cabifunction_76 *) __libc_csu_init, (cabifunction_75 *) __libc_csu_fini, (cabifunction_75 *) argument_2, (void *) revng_undefined_local_sp());
  // The previous function call does not return
}

_ABI(SystemV_x86_64)
void call_gmon_start(void) {
  if (segment_1.got.offset_0) {
    ((cabifunction_257 *) segment_1.got.offset_0)();
  }
}

_ABI(SystemV_x86_64)
void __do_global_dtors_aux(void) {
  if (!segment_1.bss.offset_760) {
    segment_1.bss.offset_760 = '\001';
  }
}

_ABI(SystemV_x86_64)
void frame_dummy(void) {
}

_ABI(SystemV_x86_64) _Noreturn
void main(generic64_t argument_0, generic64_t argument_1) {
  struct_176 stack;
  void *var_0;
  pointer_or_number64_t var_1;
  pointer_or_number64_t var_2;
  void *var_3;
  pointer_or_number64_t var_4;
  pointer_or_number64_t var_5;
  generic64_t var_6;
  artificial_struct_returned_by_rawfunction_42 var_7;
  artificial_struct_returned_by_rawfunction_42 var_8;
  stack.offset_12 = (number32_t) argument_0;
  stack.offset_0 = argument_1;
  _ZNSaIcEC1Ev_2((void *const) ((pointer_or_number64_t) &stack.offset_72 + 6));
  var_7 = _ZNSsC1EPKcRKSaIcE_2(undef(generic64_t), (pointer_or_number64_t) &stack.offset_72 + 6, (pointer_or_number64_t) "Jack", (pointer_or_number64_t) &stack.offset_12 + 4, undef(generic64_t), undef(generic64_t));
  var_5 = var_7.register_rax;
  var_4 = var_7.register_rdx;
  var_3 = _Znwm_2(24);
  _ZN3ManC1ESsi((generic64_t) var_3, (pointer_or_number64_t) &stack.offset_12 + 4, 25);
  stack.offset_40 = var_3;
  _ZNSsD1Ev_2((void *const) ((pointer_or_number64_t) &stack.offset_12 + 4));
  _ZNSaIcED1Ev_2((void *const) ((pointer_or_number64_t) &stack.offset_72 + 6));
  _ZNSaIcEC1Ev_2((void *const) ((pointer_or_number64_t) &stack.offset_72 + 7));
  var_8 = _ZNSsC1EPKcRKSaIcE_2(undef(generic64_t), (pointer_or_number64_t) &stack.offset_72 + 7, (pointer_or_number64_t) "Jill", (pointer_or_number64_t) &stack.offset_12 + 20, undef(generic64_t), undef(generic64_t));
  var_2 = var_8.register_rax;
  var_1 = var_8.register_rdx;
  var_0 = _Znwm_2(24);
  _ZN5WomanC1ESsi((generic64_t) var_0, (pointer_or_number64_t) &stack.offset_12 + 20, 21);
  stack.offset_48 = var_0;
  _ZNSsD1Ev_2((void *const) ((pointer_or_number64_t) &stack.offset_12 + 20));
  _ZNSaIcED1Ev_2((void *const) ((pointer_or_number64_t) &stack.offset_72 + 7));
  var_6 = 21;
  while (true) {
    pointer_or_number64_t var_9;
    pointer_or_number64_t var_10;
    pointer_or_number64_t var_11;
    pointer_or_number64_t var_12;
    generic64_t var_13;
    generic64_t var_14;
    generic64_t var_15;
    artificial_struct_returned_by_rawfunction_42 var_16;
    artificial_struct_returned_by_rawfunction_42 var_17;
    var_13 = var_15;
    var_16 = _ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc_2(var_13, var_6, (pointer_or_number64_t) "1. use\n2. after\n3. free\n", (pointer_or_number64_t) &segment_1.bss.offset_384, undef(generic64_t), undef(generic64_t));
    var_12 = var_16.register_rax;
    var_11 = var_16.register_rdx;
    var_17 = _ZNSirsERj_2(var_13, var_11, (pointer_or_number64_t) &stack.offset_72, (pointer_or_number64_t) &segment_1.bss, undef(generic64_t), undef(generic64_t));
    var_10 = var_17.register_rax;
    var_9 = var_17.register_rdx;
    var_14 = var_9;
    switch ((number32_t) stack.offset_72) {
      case 2:
      {
        pointer_or_number64_t var_18;
        pointer_or_number64_t var_19;
        pointer_or_number64_t var_20;
        pointer_or_number64_t var_21;
        ssize_t var_22;
        int32_t var_23;
        void *var_24;
        int32_t var_25;
        artificial_struct_returned_by_rawfunction_42 var_26;
        artificial_struct_returned_by_rawfunction_42 var_27;
        var_25 = atoi_2((const int8_t *) stack.offset_0->offset_8);
        stack.offset_56 = var_25;
        var_24 = _Znam_2((size_t) var_25);
        stack.offset_64 = var_24;
        var_23 = open_2((const int8_t *) stack.offset_0->offset_16, (int32_t) 0);
        var_13 = stack.offset_64;
        var_22 = read_2(var_23, (void *) var_13, stack.offset_56);
        var_26 = _ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc_2(var_13, stack.offset_56, (pointer_or_number64_t) "your data is allocated", (pointer_or_number64_t) &segment_1.bss.offset_384, undef(generic64_t), undef(generic64_t));
        var_21 = var_26.register_rax;
        var_20 = var_26.register_rdx;
        var_27 = _ZNSolsEPFRSoS_E_2(var_13, var_20, (pointer_or_number64_t) _ZSt4endlIcSt11char_traitsIcEERSt13basic_ostreamIT_T0_ES6__2, var_21, undef(generic64_t), undef(generic64_t));
        var_19 = var_27.register_rax;
        var_18 = var_27.register_rdx;
        var_14 = var_18;
      } break;
      case 3:
      {
        if (stack.offset_40) {
          _ZN5HumanD1Ev(stack.offset_40);
          _ZdlPv_2(stack.offset_40);
        }
        var_13 = var_15;
        var_14 = var_9;
        if (stack.offset_48) {
          _ZN5HumanD1Ev(stack.offset_48);
          _ZdlPv_2(stack.offset_48);
          var_13 = var_15;
          var_14 = var_9;
        }
      } break;
      case 1:
      {
        ((cabifunction_260 *) (*stack.offset_40)->offset_8)((generic64_t) stack.offset_40);
        var_14 = (*stack.offset_48)->offset_8;
        ((cabifunction_261 *) var_14)((generic64_t) stack.offset_48);
        var_13 = var_15;
      } break;
    }
  }
}

_ABI(SystemV_x86_64)
void _Z41__static_initialization_and_destruction_0ii(generic64_t argument_0, generic64_t argument_1) {
  struct_180 stack;
  stack.offset_12 = (number32_t) argument_0;
  stack.offset_8 = (number32_t) argument_1;
  if (stack.offset_12 == 1 && (number32_t) argument_1 == 65535) {
    int32_t var_0;
    _ZNSt8ios_base4InitC1Ev_2(&segment_1.bss._ZStL8__ioinit);
    var_0 = __cxa_atexit_2((cabifunction_64 *) _ZNSt8ios_base4InitD1Ev_2, &segment_1.bss._ZStL8__ioinit, (void *) ((pointer_or_number64_t) &segment_1.data + 8));
  }
}

_ABI(SystemV_x86_64)
void _GLOBAL__sub_I_main(void) {
  _Z41__static_initialization_and_destruction_0ii(1, 65535);
}

_ABI(SystemV_x86_64)
void _ZN5Human10give_shellEv(generic64_t argument_0) {
  struct_182 stack;
  int32_t var_0;
  stack.offset_8 = argument_0;
  var_0 = system_2((const int8_t *) "/bin/sh");
}

_ABI(SystemV_x86_64)
void _ZN5Human9introduceEv(generic64_t argument_0) {
  struct_183 stack;
  pointer_or_number64_t var_0;
  pointer_or_number64_t var_1;
  pointer_or_number64_t var_2;
  pointer_or_number64_t var_3;
  pointer_or_number64_t var_4;
  pointer_or_number64_t var_5;
  pointer_or_number64_t var_6;
  pointer_or_number64_t var_7;
  pointer_or_number64_t var_8;
  pointer_or_number64_t var_9;
  pointer_or_number64_t var_10;
  pointer_or_number64_t var_11;
  artificial_struct_returned_by_rawfunction_42 var_12;
  artificial_struct_returned_by_rawfunction_42 var_13;
  artificial_struct_returned_by_rawfunction_42 var_14;
  artificial_struct_returned_by_rawfunction_42 var_15;
  artificial_struct_returned_by_rawfunction_42 var_16;
  artificial_struct_returned_by_rawfunction_42 var_17;
  stack.offset_8 = argument_0;
  var_12 = _ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc_2(undef(generic64_t), undef(generic64_t), (pointer_or_number64_t) "My name is ", (pointer_or_number64_t) &segment_1.bss.offset_384, undef(generic64_t), undef(generic64_t));
  var_11 = var_12.register_rax;
  var_10 = var_12.register_rdx;
  var_13 = _ZStlsIcSt11char_traitsIcESaIcEERSt13basic_ostreamIT_T0_ES7_RKSbIS4_S5_T1_E_2(undef(generic64_t), var_10, argument_0 + 16, var_11, undef(generic64_t), undef(generic64_t));
  var_9 = var_13.register_rax;
  var_8 = var_13.register_rdx;
  var_14 = _ZNSolsEPFRSoS_E_2(undef(generic64_t), var_8, (pointer_or_number64_t) _ZSt4endlIcSt11char_traitsIcEERSt13basic_ostreamIT_T0_ES6__2, var_9, undef(generic64_t), undef(generic64_t));
  var_7 = var_14.register_rax;
  var_6 = var_14.register_rdx;
  var_15 = _ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc_2(undef(generic64_t), var_6, (pointer_or_number64_t) "I am ", (pointer_or_number64_t) &segment_1.bss.offset_384, undef(generic64_t), undef(generic64_t));
  var_5 = var_15.register_rax;
  var_4 = var_15.register_rdx;
  _ZNSolsEi_2((void *const) var_5, (int32_t) stack.offset_8->offset_8);
  var_16 = _ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc_2(undef(generic64_t), var_4, (pointer_or_number64_t) " years old", var_5, undef(generic64_t), undef(generic64_t));
  var_3 = var_16.register_rax;
  var_2 = var_16.register_rdx;
  var_17 = _ZNSolsEPFRSoS_E_2(undef(generic64_t), var_2, (pointer_or_number64_t) _ZSt4endlIcSt11char_traitsIcEERSt13basic_ostreamIT_T0_ES6__2, var_3, undef(generic64_t), undef(generic64_t));
  var_1 = var_17.register_rax;
  var_0 = var_17.register_rdx;
}

_ABI(SystemV_x86_64)
void _ZN5HumanC2Ev(generic64_t *argument_0) {
  struct_184 stack;
  stack.offset_8 = argument_0;
  *argument_0 = (pointer_or_number64_t) &segment_0.rodata._ZTV5Human + 16;
  _ZNSsC1Ev_2(&stack.offset_8[2]);
}

_ABI(SystemV_x86_64)
void _ZN5HumanD1Ev(struct_200 **argument_0) {
  struct_179 stack;
  stack.offset_8 = argument_0;
  *argument_0 = (pointer_or_number64_t) &segment_0.rodata._ZTV5Human + 16;
  _ZNSsD1Ev_2(&stack.offset_8[2]);
}

_ABI(SystemV_x86_64)
void _ZN3ManC1ESsi(generic64_t argument_0, generic64_t argument_1, generic64_t argument_2) {
  struct_177 stack;
  pointer_or_number64_t var_0;
  pointer_or_number64_t var_1;
  artificial_struct_returned_by_rawfunction_42 var_2;
  stack.offset_24 = argument_0;
  stack.offset_16 = argument_1;
  stack.offset_12 = (number32_t) argument_2;
  _ZN5HumanC2Ev(&stack.offset_24->offset_0);
  stack.offset_24->offset_0 = (pointer_or_number64_t) &segment_0.rodata._ZTV3Man + 16;
  var_2 = _ZNSsaSERKSs_2(undef(generic64_t), (pointer_or_number64_t) &stack.offset_24[1] + 4, stack.offset_16, (pointer_or_number64_t) &stack.offset_24[1] + 4, undef(generic64_t), undef(generic64_t));
  var_1 = var_2.register_rax;
  var_0 = var_2.register_rdx;
  stack.offset_24->offset_8 = stack.offset_12;
}

_ABI(SystemV_x86_64)
void _ZN3Man9introduceEv(generic64_t argument_0) {
  struct_185 stack;
  pointer_or_number64_t var_0;
  pointer_or_number64_t var_1;
  pointer_or_number64_t var_2;
  pointer_or_number64_t var_3;
  artificial_struct_returned_by_rawfunction_42 var_4;
  artificial_struct_returned_by_rawfunction_42 var_5;
  stack.offset_8 = argument_0;
  _ZN5Human9introduceEv(argument_0);
  var_4 = _ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc_2(undef(generic64_t), undef(generic64_t), (pointer_or_number64_t) "I am a nice guy!", (pointer_or_number64_t) &segment_1.bss.offset_384, undef(generic64_t), undef(generic64_t));
  var_3 = var_4.register_rax;
  var_2 = var_4.register_rdx;
  var_5 = _ZNSolsEPFRSoS_E_2(undef(generic64_t), var_2, (pointer_or_number64_t) _ZSt4endlIcSt11char_traitsIcEERSt13basic_ostreamIT_T0_ES6__2, var_3, undef(generic64_t), undef(generic64_t));
  var_1 = var_5.register_rax;
  var_0 = var_5.register_rdx;
}

_ABI(SystemV_x86_64)
void _ZN5WomanC1ESsi(generic64_t argument_0, generic64_t argument_1, generic64_t argument_2) {
  struct_178 stack;
  pointer_or_number64_t var_0;
  pointer_or_number64_t var_1;
  artificial_struct_returned_by_rawfunction_42 var_2;
  stack.offset_24 = argument_0;
  stack.offset_16 = argument_1;
  stack.offset_12 = (number32_t) argument_2;
  _ZN5HumanC2Ev(&stack.offset_24->offset_0);
  stack.offset_24->offset_0 = (pointer_or_number64_t) &segment_0.rodata._ZTV5Woman + 16;
  var_2 = _ZNSsaSERKSs_2(undef(generic64_t), (pointer_or_number64_t) &stack.offset_24[1] + 4, stack.offset_16, (pointer_or_number64_t) &stack.offset_24[1] + 4, undef(generic64_t), undef(generic64_t));
  var_1 = var_2.register_rax;
  var_0 = var_2.register_rdx;
  stack.offset_24->offset_8 = stack.offset_12;
}

_ABI(SystemV_x86_64)
void _ZN5Woman9introduceEv(generic64_t argument_0) {
  struct_186 stack;
  pointer_or_number64_t var_0;
  pointer_or_number64_t var_1;
  pointer_or_number64_t var_2;
  pointer_or_number64_t var_3;
  artificial_struct_returned_by_rawfunction_42 var_4;
  artificial_struct_returned_by_rawfunction_42 var_5;
  stack.offset_8 = argument_0;
  _ZN5Human9introduceEv(argument_0);
  var_4 = _ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc_2(undef(generic64_t), undef(generic64_t), (pointer_or_number64_t) "I am a cute girl!", (pointer_or_number64_t) &segment_1.bss.offset_384, undef(generic64_t), undef(generic64_t));
  var_3 = var_4.register_rax;
  var_2 = var_4.register_rdx;
  var_5 = _ZNSolsEPFRSoS_E_2(undef(generic64_t), var_2, (pointer_or_number64_t) _ZSt4endlIcSt11char_traitsIcEERSt13basic_ostreamIT_T0_ES6__2, var_3, undef(generic64_t), undef(generic64_t));
  var_1 = var_5.register_rax;
  var_0 = var_5.register_rdx;
}

_ABI(SystemV_x86_64)
struct_252 __libc_csu_init(generic64_t argument_0, generic64_t argument_1, generic64_t argument_2) {
  struct_187 stack;
  struct_252 var_0;
  stack.offset_24 = &segment_1;
  _init();
  ((cabifunction_262 *) segment_1.init_array.offset_0)(argument_0 & 0xFFFFFFFF, argument_1, argument_2);
  var_0.offset_8 = argument_2;
  return var_0;
}

_ABI(SystemV_x86_64)
void __libc_csu_fini(void) {
}

_ABI(SystemV_x86_64)
void __do_global_ctors_aux(generic64_t argument_0) {
  if (segment_1.ctors.offset_0 != (pointer_or_number64_t) -1) {
    generic64_t var_0;
    generic64_t var_1;
    var_0 = 0;
    var_1 = segment_1.ctors.offset_0;
    do {
      ((cabifunction_263 *) var_1)();
      var_1 = *(generic64_t *) ((pointer_or_number64_t) &segment_1 - (var_0 << 3));
      var_0 = var_0 + 1;
    } while (var_1 != (pointer_or_number64_t) -1);
  }
}

_ABI(SystemV_x86_64)
void _fini(void) {
  __do_global_dtors_aux();
}