LLM4Binary/decompile-bench-makefile huggingface dataset:
// File: /workspace/github_c_makefile_star2_O2/intel[P]pf-bb-config/bb_acc_common.c
// Function: print_all_stat32
void
print_all_stat32(hw_device *accel_dev, uint32_t address, int num, int reg_offset)
{
	char buf[512];
	size_t len;
	uint32_t vf_idx, payload;

	memset(buf, 0, 512);
	len = 0;

	for (vf_idx = 0; vf_idx < num; vf_idx++) {
		payload = reg_read(accel_dev->bar0Addr, address + reg_offset * vf_idx);
		len = print_stat32(buf, len, 1024, payload);
	}
	LOG_RESP(INFO, "%s", buf);
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x208, %rsp            # imm = 0x208
movl %ecx, %ebx
movl %edx, %r13d
movl %esi, %ebp
movq %rdi, %r14
movq %rsp, %r15
xorl %r12d, %r12d
movl $0x200, %edx            # imm = 0x200
movq %r15, %rdi
xorl %esi, %esi
callq 0xd190
movl %r13d, %r13d
subq $0x1, %r13
jb 0x1a172
movq 0xb0(%r14), %rax
movl %ebp, %ecx
movl (%rax,%rcx), %ecx
movq %r15, %rdi
movl %r12d, %esi
movl $0x400, %edx            # imm = 0x400
callq 0x1a1ae
movl %eax, %r12d
addl %ebx, %ebp
jmp 0x1a149
callq 0x1a231
leaq 0x1ad52(%rip), %rcx     # 0x34ed0
movq 0x10(%rcx), %r8
leaq 0x145e6(%rip), %rdx     # 0x2e76f
pushq $0x2
popq %rdi
pushq $0x1
popq %rsi
movq %rsp, %r9
movq %rax, %rcx
xorl %eax, %eax
callq 0x19400
addq $0x208, %rsp            # imm = 0x208
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
// File: /workspace/github_c_makefile_star2_O2/intel[P]pf-bb-config/bb_acc_common.c
// Function: acc_device_data
void acc_device_data(void *dev)
{
	hw_device *device = (hw_device *)dev;
	clear_log_resp_file(dev);

	if (device->device_id == ACC100_DEVICE_ID)
		acc100_device_data(device);
	else if (device->device_id == VRB1_DEVICE_ID)
		vrb1_device_data(device);
	else if (device->device_id == VRB2_DEVICE_ID)
		vrb2_device_data(device);
	LOG_RESP_END();
}

// Assembly:
pushq %rbx
movq %rdi, %rbx
callq 0x19c10
movl 0x1c(%rbx), %eax
cmpl $0x57c2, %eax           # imm = 0x57C2
je 0x1a201
cmpl $0x57c0, %eax           # imm = 0x57C0
je 0x1a1f7
cmpl $0xd5c, %eax            # imm = 0xD5C
jne 0x1a209
movq %rbx, %rdi
callq 0xf53d
jmp 0x1a209
movq %rbx, %rdi
callq 0x125d2
jmp 0x1a209
movq %rbx, %rdi
callq 0x15a38
callq 0x1a231
leaq 0x1acbb(%rip), %rcx     # 0x34ed0
movq 0x10(%rcx), %r8
leaq 0x1433e(%rip), %rdx     # 0x2e55e
pushq $0x2
popq %rdi
pushq $0x1
popq %rsi
movq %rax, %rcx
xorl %eax, %eax
popq %rbx
jmp 0x19400
// File: /workspace/github_c_makefile_star2_O2/mjosaarinen[P]brutus/crypto_aead/minalpherv11/avx2/MinalpherMode.cpp
// Function: create_lprime(long long vector[4]&, unsigned char const*)
static inline void create_lprime(__m256i& ymmLp, const unsigned char *_K){
  MIE_ALIGN(128) unsigned char tmp[32] = { 0 };
  memcpy(tmp, _K, 16);
  ymmLp = _mm256_load_si256((const __m256i*)(tmp));
  minalpher_core_single_block(ymmLp);
  ymmLp = _mm256_xor_si256(ymmLp, _mm256_load_si256((const __m256i*)(tmp)));
}

// Assembly:
pushq %rbx
subq $0x20, %rsp
movq %rdi, %rbx
vmovups (%rsi), %xmm0
vmovups %ymm0, (%rsp)
vmovaps %ymm0, (%rdi)
vzeroupper
callq 0x2030
vmovups (%rsp), %ymm0
vxorps (%rbx), %ymm0, %ymm0
vmovaps %ymm0, (%rbx)
addq $0x20, %rsp
popq %rbx
vzeroupper
retq
// File: /workspace/github_c_makefile_star2_O2/mjosaarinen[P]brutus/crypto_aead/minalpherv11/avx2/MinalpherMode.cpp
// Function: tweak_update(long long vector[4]&, long long vector[4]&, int&)
static inline void tweak_update(__m256i& TWEAK, __m256i& xTWEAK, int& cnt)
{
  if ((cnt % 16) == 0)
  {
    __m256i ymmFB = _mm256_load_si256((__m256i*)FB);
    __m256i zero = _mm256_setzero_si256();

    xTWEAK = _mm256_and_si256(_mm256_cmpgt_epi8(zero, TWEAK), ymmFB);
    xTWEAK = _mm256_xor_si256(xTWEAK, _mm256_add_epi8(TWEAK, TWEAK));
  }
  cnt++;

  __m256i tmp = _mm256_permute2x128_si256(xTWEAK, TWEAK, 0x03);
  xTWEAK = _mm256_alignr_epi8(TWEAK, xTWEAK, 1);
  TWEAK  = _mm256_alignr_epi8(tmp, TWEAK, 1);

  __m256i ymmFBY = _mm256_load_si256((__m256i*)FBY);
  ymmFBY = _mm256_shuffle_epi8(xTWEAK, ymmFBY);
  ymmFBY = _mm256_permute2x128_si256(ymmFBY, ymmFBY, 0x0F);
  TWEAK  = _mm256_xor_si256(TWEAK, ymmFBY);
}

// Assembly:
movl (%rdx), %eax
testb $0xf, %al
jne 0x81cf
vpxor %xmm0, %xmm0, %xmm0
vpcmpgtb (%rdi), %ymm0, %ymm0
vpandq 0x23d7(%rip){1to4}, %ymm0, %ymm0 # 0xa590
vmovdqa %ymm0, (%rsi)
vmovdqa (%rdi), %ymm1
vpaddb %ymm1, %ymm1, %ymm1
vpxor %ymm1, %ymm0, %ymm0
vmovdqa %ymm0, (%rsi)
movl (%rdx), %eax
incl %eax
movl %eax, (%rdx)
vmovdqa (%rsi), %ymm0
vmovdqa (%rdi), %ymm1
vperm2i128 $0x21, %ymm0, %ymm1, %ymm2 # ymm2 = ymm1[2,3],ymm0[0,1]
vpalignr $0x1, %ymm0, %ymm1, %ymm0 # ymm0 = ymm0[1,2,3,4,5,6,7,8,9,10,11,12,13,14,15],ymm1[0],ymm0[17,18,19,20,21,22,23,24,25,26,27,28,29,30,31],ymm1[16]
vmovdqa %ymm0, (%rsi)
vpalignr $0x1, (%rdi), %ymm2, %ymm0 # ymm0 = mem[1,2,3,4,5,6,7,8,9,10,11,12,13,14,15],ymm2[0],mem[17,18,19,20,21,22,23,24,25,26,27,28,29,30,31],ymm2[16]
vmovdqa %ymm0, (%rdi)
vmovdqa (%rsi), %xmm1
vpshufb 0x239e(%rip), %xmm1, %xmm1 # 0xa5a0
vperm2i128 $0x28, %ymm1, %ymm1, %ymm1 # ymm1 = zero,zero,ymm1[0,1]
vpxor %ymm0, %ymm1, %ymm0
vmovdqa %ymm0, (%rdi)
vzeroupper
retq
// File: /workspace/github_c_makefile_star2_O2/mjosaarinen[P]brutus/crypto_aead/minalpherv11/avx2/MinalpherMode.cpp
// Function: create_l(long long vector[4]&, unsigned char const*, unsigned char const*)
static inline void create_l(__m256i& ymmL, const unsigned char *_K, const unsigned char *_N){
  MIE_ALIGN(128) unsigned char tmp[32] = { 0 };
  memcpy(tmp, _K, 16);
  tmp[16] = 0x40;
  memcpy(tmp + 19, _N, 13);

  ymmL = _mm256_load_si256((const __m256i*)(tmp));
  minalpher_core_single_block(ymmL);
  ymmL = _mm256_xor_si256(ymmL, _mm256_load_si256((const __m256i*)(tmp)));
}

// Assembly:
pushq %rbx
subq $0x20, %rsp
vmovdqu (%rsi), %xmm0
vpblendd $0xf0, 0x2399(%rip), %ymm0, %ymm2 # ymm2 = ymm0[0,1,2,3],mem[4,5,6,7]
movq (%rdx), %rax
vmovq %rax, %xmm0
vpinsrd $0x2, 0x8(%rdx), %xmm0, %xmm0
vpxor %xmm1, %xmm1, %xmm1
vpinsrb $0x3, %eax, %xmm1, %xmm1
movl %eax, %ecx
shrl $0x8, %ecx
vpinsrb $0x4, %ecx, %xmm1, %xmm1
movl %eax, %ecx
shrl $0x10, %ecx
vpinsrb $0x5, %ecx, %xmm1, %xmm1
movl %eax, %ecx
shrl $0x18, %ecx
vpinsrb $0x6, %ecx, %xmm1, %xmm1
movq %rax, %rcx
shrq $0x20, %rcx
vpinsrb $0x7, %ecx, %xmm1, %xmm1
movq %rax, %rcx
shrq $0x28, %rcx
vpinsrb $0x8, %ecx, %xmm1, %xmm1
movq %rax, %rcx
shrq $0x30, %rcx
vpinsrb $0x9, %ecx, %xmm1, %xmm1
shrq $0x38, %rax
vpinsrb $0xa, %eax, %xmm1, %xmm1
vpextrb $0x8, %xmm0, %eax
vpinsrb $0xb, %eax, %xmm1, %xmm1
vpextrb $0x9, %xmm0, %eax
vpinsrb $0xc, %eax, %xmm1, %xmm1
vpextrb $0xa, %xmm0, %eax
vpinsrb $0xd, %eax, %xmm1, %xmm1
vpextrb $0xb, %xmm0, %eax
vpinsrb $0xe, %eax, %xmm1, %xmm0
vpinsrb $0xf, 0xc(%rdx), %xmm0, %xmm0
movq %rdi, %rbx
vinserti128 $0x1, %xmm0, %ymm0, %ymm0
movl $0xfff80000, %eax       # imm = 0xFFF80000
kmovd %eax, %k1
vmovdqu8 %ymm0, %ymm2 {%k1}
vmovdqu %ymm2, (%rsp)
vmovdqa %ymm2, (%rdi)
vzeroupper
callq 0x2030
vmovups (%rsp), %ymm0
vxorps (%rbx), %ymm0, %ymm0
vmovaps %ymm0, (%rbx)
addq $0x20, %rsp
popq %rbx
vzeroupper
retq
// File: /workspace/github_c_makefile_star2_O2/mjosaarinen[P]brutus/crypto_aead/minalpherv11/avx2/encrypt.cpp
// Function: crypto_aead_decrypt
int crypto_aead_decrypt(
  unsigned char       *m,
  unsigned long long  *mlen,
  unsigned char       *nsec,
  const unsigned char *c,
  unsigned long long  clen,
  const unsigned char *ad,
  unsigned long long  adlen,
  const unsigned char *npub,
  const unsigned char *k
  )
{
  unsigned long long cr;
  int d, ret=0;
  MIE_ALIGN(128) unsigned char tag[32] = { 0 };

  cr = clen + adlen;
  if( (cr<clen) && (cr<adlen) ) return -1;

  clen -= TAGBYTES;
  if( clen % BLOCK_SIZE ) return -1;
  if( clen < BLOCK_SIZE ) return -1;

  //minalpher tag verification
  if (minalpher_mode_tag_generation(k, npub, ad, adlen, c, clen, tag) < 0){
    return -1;
  }
  for( d=0; d<TAGBYTES; d++ ){
    if( tag[d] != c[d+clen] ) ret |= 1;
  }
  if( ret != 0 )  return -1;

  //minalpher decryption
  if (minalpher_mode_decryption(k, npub, c, clen, m, mlen) < 0){
    return -1;
  }

  return 0;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
andq $-0x80, %rsp
subq $0x100, %rsp            # imm = 0x100
movq %rcx, %r12
movq 0x10(%rbp), %rcx
vxorps %xmm0, %xmm0, %xmm0
vmovaps %ymm0, 0x80(%rsp)
movq %r8, %rax
pushq $-0x1
popq %rbx
addq %rcx, %rax
jb 0x9d54
movq %r8, %r14
leaq -0x10(%r8), %r13
testb $0x1f, %r13b
setne %al
cmpq $0x20, %r13
setb %dl
orb %al, %dl
jne 0x9d54
movq %rdi, %r15
movq %rsi, 0x78(%rsp)
movq 0x20(%rbp), %rdi
movq 0x18(%rbp), %rsi
leaq 0x80(%rsp), %rax
movq %rax, (%rsp)
movq %r9, %rdx
movq %r12, %r8
movq %r13, %r9
vzeroupper
callq 0x20c0
testl %eax, %eax
js 0x9d54
leaq (%r14,%r12), %rax
addq $-0x10, %rax
xorl %ecx, %ecx
pushq $0x1
popq %rdx
xorl %esi, %esi
cmpq $0x10, %rcx
je 0x9d30
movb 0x80(%rsp,%rcx), %dil
cmpb (%rax,%rcx), %dil
cmovnel %edx, %esi
incq %rcx
jmp 0x9d16
testl %esi, %esi
jne 0x9d54
movq 0x20(%rbp), %rdi
movq 0x18(%rbp), %rsi
movq %r12, %rdx
movq %r13, %rcx
movq %r15, %r8
movq 0x78(%rsp), %r9
callq 0x2130
movl %eax, %ebx
sarl $0x1f, %ebx
movl %ebx, %eax
leaq -0x28(%rbp), %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
vzeroupper
retq
// File: /workspace/github_c_makefile_star2_O2/theck01[P]offbrand_lib/src/classes/obtest.c
// Function: obtest_new
obtest * obtest_new(uint32_t id){

  static const char classname[] = "obtest";

  obtest *new_instance = malloc(sizeof(obtest));
  assert(new_instance != NULL);

  /*initialize reference counting base data*/
  ob_init_base((obj *)new_instance, &obtest_destroy, &obtest_hash,
               &obtest_compare, &obtest_display, classname);

  new_instance->id = id;
  return new_instance;
}

// Assembly:
pushq %r14
pushq %rbx
pushq %rax
movl %edi, %ebx
pushq $0x10
popq %rdi
callq 0x10c0
testq %rax, %rax
je 0x1924
movq %rax, %r14
leaq 0x50(%rip), %rsi        # 0x1941
leaq 0x6d(%rip), %rdx        # 0x1965
leaq 0x8d(%rip), %rcx        # 0x198c
leaq 0x146(%rip), %r8        # 0x1a4c
leaq 0x1ef4(%rip), %r9       # 0x3801
movq %rax, %rdi
callq 0x2594
movl %ebx, 0x8(%r14)
movq %r14, %rax
addq $0x8, %rsp
popq %rbx
popq %r14
retq
leaq 0x1d49(%rip), %rdi      # 0x3674
leaq 0x1d57(%rip), %rsi      # 0x3689
leaq 0x1d65(%rip), %rcx      # 0x369e
pushq $0x11
popq %rdx
callq 0x1060
// File: /workspace/github_c_makefile_star2_O2/theck01[P]offbrand_lib/src/classes/obtest.c
// Function: obtest_compare
int8_t obtest_compare(const obj *a, const obj *b){

  assert(a != NULL);
  assert(b != NULL);
  assert(ob_has_class(a, "obtest"));
  assert(ob_has_class(b, "obtest"));

  if(((obtest *)a)->id >((obtest *)b)->id) return OB_GREATER_THAN;
  if(((obtest *)a)->id == ((obtest *)b)->id) return OB_EQUAL_TO;
  return OB_LESS_THAN;
}

// Assembly:
pushq %r14
pushq %rbx
pushq %rax
testq %rdi, %rdi
je 0x19e4
movq %rsi, %rbx
testq %rsi, %rsi
je 0x19fd
movq %rdi, %r14
leaq 0x1e5a(%rip), %rsi      # 0x3801
callq 0x27de
testb %al, %al
je 0x1a16
leaq 0x1e4a(%rip), %rsi      # 0x3801
movq %rbx, %rdi
callq 0x27de
testb %al, %al
je 0x1a2f
movl 0x8(%r14), %eax
movl 0x8(%rbx), %ecx
cmpl %ecx, %eax
setne %dl
negb %dl
cmpl %ecx, %eax
movzbl %dl, %ecx
pushq $0x1
popq %rax
cmovbel %ecx, %eax
addq $0x8, %rsp
popq %rbx
popq %r14
retq
leaq 0x1cd0(%rip), %rdi      # 0x36bb
leaq 0x1c97(%rip), %rsi      # 0x3689
leaq 0x1d14(%rip), %rcx      # 0x370d
pushq $0x2a
jmp 0x1a46
leaq 0x1d39(%rip), %rdi      # 0x373d
leaq 0x1c7e(%rip), %rsi      # 0x3689
leaq 0x1cfb(%rip), %rcx      # 0x370d
pushq $0x2b
jmp 0x1a46
leaq 0x1d2a(%rip), %rdi      # 0x3747
leaq 0x1c65(%rip), %rsi      # 0x3689
leaq 0x1ce2(%rip), %rcx      # 0x370d
pushq $0x2c
jmp 0x1a46
leaq 0x1d2b(%rip), %rdi      # 0x3761
leaq 0x1c4c(%rip), %rsi      # 0x3689
leaq 0x1cc9(%rip), %rcx      # 0x370d
pushq $0x2d
popq %rdx
callq 0x1060
// File: /workspace/github_c_makefile_star2_O2/theck01[P]offbrand_lib/src/classes/obvector.c
// Function: obvector_new
obvector * obvector_new(uint32_t initial_capacity){

  uint32_t i, new_cap;

  new_cap = 1;
  while(initial_capacity > new_cap) new_cap *= 2;
  if(new_cap > UINT32_MAX) new_cap = UINT32_MAX;

  obvector *new_instance = obvector_create_default(new_cap);
  for(i=0; i<new_cap; i++) new_instance->array[i] = NULL;

  return new_instance;
}

// Assembly:
pushq %rbx
pushq $0x1
popq %rax
movl %eax, %ebx
leal (%rbx,%rbx), %eax
cmpl %edi, %ebx
jb 0x1ae4
movl %ebx, %edi
callq 0x1b0d
movl %ebx, %ecx
xorl %edx, %edx
cmpq %rdx, %rcx
je 0x1b0b
movq 0x8(%rax), %rsi
andq $0x0, (%rsi,%rdx,8)
incq %rdx
jmp 0x1af8
popq %rbx
retq
// File: /workspace/github_c_makefile_star2_O2/theck01[P]offbrand_lib/src/classes/obvector.c
// Function: obvector_create_default
obvector * obvector_create_default(uint32_t initial_capacity){

  static const char classname[] = "obvector";

  obvector *new_instance = malloc(sizeof(obvector));
  assert(new_instance != NULL);

  /* initialize reference counting base data */
  ob_init_base((obj *)new_instance, &obvector_destroy, &obvector_hash, &obvector_compare,
           &obvector_display, classname);

  /* a vector with zero capacity cannot be created, create one with a capacity
   * of one */
  if(initial_capacity == 0){
    initial_capacity = 1;
  }

  new_instance->array = malloc(initial_capacity*sizeof(obj *));
  assert(new_instance->array != NULL);

  new_instance->capacity = initial_capacity;
  new_instance->length = 0;

  return new_instance;
}

// Assembly:
pushq %r14
pushq %rbx
pushq %rax
movl %edi, %ebx
pushq $0x18
popq %rdi
callq 0x10c0
testq %rax, %rax
je 0x1b7e
movq %rax, %r14
leaq 0x732(%rip), %rsi       # 0x225c
leaq 0x794(%rip), %rdx       # 0x22c5
leaq 0x872(%rip), %rcx       # 0x23aa
leaq 0x972(%rip), %r8        # 0x24b1
leaq 0x21a7(%rip), %r9       # 0x3ced
movq %rax, %rdi
callq 0x2594
cmpl $0x1, %ebx
adcl $0x0, %ebx
leaq (,%rbx,8), %rdi
callq 0x10c0
movq %rax, 0x8(%r14)
testq %rax, %rax
je 0x1b9d
movl %ebx, 0x14(%r14)
andl $0x0, 0x10(%r14)
movq %r14, %rax
addq $0x8, %rsp
popq %rbx
popq %r14
retq
leaq 0x1aef(%rip), %rdi      # 0x3674
leaq 0x1c84(%rip), %rsi      # 0x3810
leaq 0x1f0b(%rip), %rcx      # 0x3a9e
movl $0xb5, %edx
callq 0x1060
leaq 0x1f26(%rip), %rdi      # 0x3aca
leaq 0x1c65(%rip), %rsi      # 0x3810
leaq 0x1eec(%rip), %rcx      # 0x3a9e
movl $0xc2, %edx
callq 0x1060
// File: /workspace/github_c_makefile_star2_O2/theck01[P]offbrand_lib/src/classes/obvector.c
// Function: obvector_copy
obvector * obvector_copy(const obvector *to_copy){

  uint32_t i;
  obvector *new_vec;

  /* if there is nothing to copy, do nothing */
  assert(to_copy);

  new_vec = obvector_create_default(to_copy->capacity);
  new_vec->length = to_copy->length;

  for(i=0; i<to_copy->capacity; i++){
    ob_retain(to_copy->array[i]);
    new_vec->array[i] = to_copy->array[i];
  }

  return new_vec;
}

// Assembly:
pushq %r15
pushq %r14
pushq %rbx
testq %rdi, %rdi
je 0x1c11
movq %rdi, %rbx
movl 0x14(%rdi), %edi
callq 0x1b0d
movq %rax, %r14
movl 0x10(%rbx), %eax
movl %eax, 0x10(%r14)
xorl %r15d, %r15d
movl 0x14(%rbx), %eax
cmpq %rax, %r15
jae 0x1c08
movq 0x8(%rbx), %rax
movq (%rax,%r15,8), %rdi
callq 0x279b
movq 0x8(%rbx), %rax
movq (%rax,%r15,8), %rax
movq 0x8(%r14), %rcx
movq %rax, (%rcx,%r15,8)
incq %r15
jmp 0x1bde
movq %r14, %rax
popq %rbx
popq %r14
popq %r15
retq
leaq 0x1bf0(%rip), %rdi      # 0x3808
leaq 0x1bf1(%rip), %rsi      # 0x3810
leaq 0x1c01(%rip), %rcx      # 0x3827
pushq $0x21
popq %rdx
callq 0x1060
// File: /workspace/github_c_makefile_star2_O2/theck01[P]offbrand_lib/src/classes/obvector.c
// Function: obvector_store_at_index
void obvector_store_at_index(obvector *v, obj *to_store, int64_t index){

  assert(v != NULL);

  /* if negatively indexing, index from the end of the array backwards */
  if(index < 0) index += v->length;

  assert(index < UINT32_MAX); /* assert not indexing beyond capacity */
  assert(index >= 0); /* assert not negative indexing after offset */

  /* ensure vector can store element at index */
  obvector_resize(v, (uint32_t)index);

  ob_retain(to_store);
  ob_release(v->array[index]);
  v->array[index] = to_store;

  /* find vector length if modifying beyond known length */
  if(index+1 >= v->length)
    v->length = obvector_find_valid_precursor(v->array, index) + 1;

  return;
}

// Assembly:
pushq %r15
pushq %r14
pushq %rbx
testq %rdi, %rdi
je 0x1cec
movq %rdx, %r14
movq %rsi, %r15
movq %rdi, %rbx
testq %rdx, %rdx
js 0x1c97
movl $0xffffffff, %eax       # imm = 0xFFFFFFFF
cmpq %rax, %r14
jb 0x1c9f
leaq 0x1c3d(%rip), %rdi      # 0x38bf
leaq 0x1b87(%rip), %rsi      # 0x3810
leaq 0x1bf6(%rip), %rcx      # 0x3886
pushq $0x3c
jmp 0x1d1c
movl 0x10(%rbx), %eax
addq %rax, %r14
js 0x1d05
movq %rbx, %rdi
movl %r14d, %esi
callq 0x1d22
movq %r15, %rdi
callq 0x279b
movq 0x8(%rbx), %rax
movq (%rax,%r14,8), %rdi
callq 0x2766
movq 0x8(%rbx), %rax
movq %r15, (%rax,%r14,8)
movq %r14, %rax
incq %rax
movl 0x10(%rbx), %ecx
cmpq %rcx, %rax
jb 0x1ce6
movq 0x8(%rbx), %rdi
movl %r14d, %esi
callq 0x1df1
incl %eax
movl %eax, 0x10(%rbx)
popq %rbx
popq %r14
popq %r15
retq
leaq 0x1b5e(%rip), %rdi      # 0x3851
leaq 0x1b16(%rip), %rsi      # 0x3810
leaq 0x1b85(%rip), %rcx      # 0x3886
pushq $0x37
jmp 0x1d1c
leaq 0x1bc6(%rip), %rdi      # 0x38d2
leaq 0x1afd(%rip), %rsi      # 0x3810
leaq 0x1b6c(%rip), %rcx      # 0x3886
pushq $0x3d
popq %rdx
callq 0x1060
// File: /workspace/github_c_makefile_star2_O2/theck01[P]offbrand_lib/src/classes/obvector.c
// Function: obvector_resize
void obvector_resize(obvector *v, uint32_t index){

  uint32_t i;
  uint64_t new_cap;
  obj **array;

  assert(index < UINT32_MAX);

  if(index < v->capacity) return;

  /* find the next power of two capacity that can store the index */
  new_cap = v->capacity;
  while(index+1 > new_cap) new_cap *= 2;
  if(new_cap > UINT32_MAX) new_cap = UINT32_MAX;

  array = malloc(new_cap*sizeof(obj *));

  assert(array != NULL);
  for(i=0; i<v->capacity; i++) array[i] = v->array[i];
  for(i=v->capacity; i<new_cap; i++) array[i] = NULL;

  free(v->array);
  v->array = array;
  v->capacity = new_cap;

  return;
}

// Assembly:
pushq %r15
pushq %r14
pushq %r12
pushq %rbx
pushq %rax
cmpl $-0x1, %esi
je 0x1db3
movq %rdi, %rbx
movl 0x14(%rdi), %r15d
cmpl %esi, %r15d
ja 0x1da7
incl %esi
movq %r15, %rcx
movq %rcx, %rax
addq %rcx, %rcx
cmpq %rsi, %rax
jb 0x1d44
movl $0xffffffff, %r12d      # imm = 0xFFFFFFFF
cmpq %r12, %rax
cmovbq %rax, %r12
leaq (,%r12,8), %rdi
callq 0x10c0
testq %rax, %rax
je 0x1dd2
movq %rax, %r14
xorl %eax, %eax
cmpq %rax, %r15
je 0x1d91
movq 0x8(%rbx), %rcx
movq (%rcx,%rax,8), %rcx
movq %rcx, (%r14,%rax,8)
incq %rax
jmp 0x1d73
andq $0x0, (%r14,%r15,8)
incq %r15
cmpl %r12d, %r15d
jb 0x1d89
movq 0x8(%rbx), %rdi
callq 0x1030
movq %r14, 0x8(%rbx)
movl %r12d, 0x14(%rbx)
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r14
popq %r15
retq
leaq 0x1b05(%rip), %rdi      # 0x38bf
leaq 0x1a4f(%rip), %rsi      # 0x3810
leaq 0x1d1e(%rip), %rcx      # 0x3ae6
movl $0xd1, %edx
callq 0x1060
leaq 0x1cff(%rip), %rdi      # 0x3ad8
leaq 0x1a30(%rip), %rsi      # 0x3810
leaq 0x1cff(%rip), %rcx      # 0x3ae6
movl $0xdc, %edx
callq 0x1060
// File: /workspace/github_c_makefile_star2_O2/theck01[P]offbrand_lib/src/classes/obvector.c
// Function: obvector_obj_at_index
obj * obvector_obj_at_index(const obvector *v, int64_t index){

  assert(v != NULL);

  /* if negatively indexing, index from the end of the array backwards */
  if(index < 0) index += v->length;
  assert(index < UINT32_MAX); /* assert not indexing beyond capacity */
  assert(index >= 0); /* assert not negative indexing beyond 0 index */

  if(index < v->length) return v->array[index];
  return NULL;
}

// Assembly:
pushq %rax
testq %rdi, %rdi
je 0x1e3b
testq %rsi, %rsi
js 0x1e20
movl $0xfffffffe, %eax       # imm = 0xFFFFFFFE
cmpq %rax, %rsi
ja 0x1e54
movl 0x10(%rdi), %eax
jmp 0x1e28
movl 0x10(%rdi), %eax
addq %rax, %rsi
js 0x1e6d
cmpq %rax, %rsi
jae 0x1e37
movq 0x8(%rdi), %rax
movq (%rax,%rsi,8), %rax
jmp 0x1e39
xorl %eax, %eax
popq %rcx
retq
leaq 0x1a0f(%rip), %rdi      # 0x3851
leaq 0x19c7(%rip), %rsi      # 0x3810
leaq 0x1a8d(%rip), %rcx      # 0x38dd
pushq $0x50
jmp 0x1e84
leaq 0x1a64(%rip), %rdi      # 0x38bf
leaq 0x19ae(%rip), %rsi      # 0x3810
leaq 0x1a74(%rip), %rcx      # 0x38dd
pushq $0x54
jmp 0x1e84
leaq 0x1a5e(%rip), %rdi      # 0x38d2
leaq 0x1995(%rip), %rsi      # 0x3810
leaq 0x1a5b(%rip), %rcx      # 0x38dd
pushq $0x55
popq %rdx
callq 0x1060
// File: /workspace/github_c_makefile_star2_O2/theck01[P]offbrand_lib/src/classes/obvector.c
// Function: obvector_concat
void obvector_concat(obvector *destination, obvector *to_append){

  uint64_t i;

  assert(destination != NULL);
  assert(to_append != NULL);
  /* make sure that the two vectors will not overflow when concatenated */
  assert(destination->length + to_append->length >= destination->length);

  /* ensure vector can store all elements in to_append */
  obvector_resize(destination, destination->length + to_append->length - 1);

  /* copy contents of to_append */
  for(i=0; i<to_append->length; i++){
    ob_retain((obj *)to_append->array[i]);
    destination->array[i+destination->length] = to_append->array[i];
  }

  destination->length += to_append->length;

  return;
}

// Assembly:
pushq %r15
pushq %r14
pushq %rbx
testq %rdi, %rdi
je 0x1ef0
movq %rsi, %r14
testq %rsi, %rsi
je 0x1f09
movq %rdi, %rbx
movl 0x10(%r14), %esi
addl 0x10(%rdi), %esi
jb 0x1f22
decl %esi
movq %rbx, %rdi
callq 0x1d22
xorl %r15d, %r15d
movl 0x10(%r14), %eax
cmpq %rax, %r15
jae 0x1ee7
movq 0x8(%r14), %rax
movq (%rax,%r15,8), %rdi
callq 0x279b
movq 0x8(%r14), %rax
movq (%rax,%r15,8), %rax
movl 0x10(%rbx), %ecx
shlq $0x3, %rcx
addq 0x8(%rbx), %rcx
movq %rax, (%rcx,%r15,8)
incq %r15
jmp 0x1eb5
addl %eax, 0x10(%rbx)
popq %rbx
popq %r14
popq %r15
retq
leaq 0x1a1c(%rip), %rdi      # 0x3913
leaq 0x1912(%rip), %rsi      # 0x3810
leaq 0x1a22(%rip), %rcx      # 0x3927
pushq $0x60
jmp 0x1f39
leaq 0x1a44(%rip), %rdi      # 0x3954
leaq 0x18f9(%rip), %rsi      # 0x3810
leaq 0x1a09(%rip), %rcx      # 0x3927
pushq $0x61
jmp 0x1f39
leaq 0x1a3d(%rip), %rdi      # 0x3966
leaq 0x18e0(%rip), %rsi      # 0x3810
leaq 0x19f0(%rip), %rcx      # 0x3927
pushq $0x63
popq %rdx
callq 0x1060
// File: /workspace/github_c_makefile_star2_O2/theck01[P]offbrand_lib/src/classes/obvector.c
// Function: obvector_find_obj
uint8_t obvector_find_obj(const obvector *v, const obj *to_find){

  uint32_t i;

  assert(v != NULL);
  assert(to_find != NULL);

  for(i=0; i<v->length; i++){
    /* if the object exists in the vector */
    if(ob_compare(to_find, v->array[i]) == OB_EQUAL_TO){
      return 1;
    }
  }

  return 0;
}

// Assembly:
pushq %r15
pushq %r14
pushq %rbx
testq %rdi, %rdi
je 0x1f83
movq %rsi, %rbx
testq %rsi, %rsi
je 0x1f9c
movq %rdi, %r14
xorl %r15d, %r15d
movl 0x10(%r14), %eax
cmpq %rax, %r15
jae 0x1f7b
movq 0x8(%r14), %rax
movq (%rax,%r15,8), %rsi
movq %rbx, %rdi
callq 0x26af
incq %r15
testb %al, %al
jne 0x1f57
movb $0x1, %al
jmp 0x1f7d
xorl %eax, %eax
popq %rbx
popq %r14
popq %r15
retq
leaq 0x18c7(%rip), %rdi      # 0x3851
leaq 0x187f(%rip), %rsi      # 0x3810
leaq 0x1a0d(%rip), %rcx      # 0x39a5
pushq $0x78
jmp 0x1fb3
leaq 0x1a3b(%rip), %rdi      # 0x39de
leaq 0x1866(%rip), %rsi      # 0x3810
leaq 0x19f4(%rip), %rcx      # 0x39a5
pushq $0x79
popq %rdx
callq 0x1060
// File: /workspace/github_c_makefile_star2_O2/theck01[P]offbrand_lib/src/classes/obvector.c
// Function: obvector_sort_with_funct
void obvector_sort_with_funct(obvector *v, int8_t order, ob_compare_fptr funct){

  obj **sorted;

  assert(v != NULL);
  assert(funct != NULL);
  assert(order == OB_LEAST_TO_GREATEST || order == OB_GREATEST_TO_LEAST);

  sorted = obvector_recursive_sort(v->array, v->capacity, order, funct);

  free(v->array);
  v->array = sorted;
  v->length = obvector_find_valid_precursor(v->array, v->length-1) + 1;

  return;
}

// Assembly:
pushq %r14
pushq %rbx
pushq %rax
testq %rdi, %rdi
je 0x201d
movq %rdx, %rcx
testq %rdx, %rdx
je 0x203c
movq %rdi, %rbx
movsbl %sil, %edx
cmpl $-0x1, %edx
je 0x1fe7
cmpl $0x1, %edx
jne 0x205b
movq 0x8(%rbx), %rdi
movl 0x14(%rbx), %esi
callq 0x207a
movq %rax, %r14
movq 0x8(%rbx), %rdi
callq 0x1030
movq %r14, 0x8(%rbx)
movl 0x10(%rbx), %esi
decl %esi
movq %r14, %rdi
callq 0x1df1
incl %eax
movl %eax, 0x10(%rbx)
addq $0x8, %rsp
popq %rbx
popq %r14
retq
leaq 0x182d(%rip), %rdi      # 0x3851
leaq 0x17e5(%rip), %rsi      # 0x3810
leaq 0x19bc(%rip), %rcx      # 0x39ee
movl $0x8f, %edx
callq 0x1060
leaq 0x19ee(%rip), %rdi      # 0x3a31
leaq 0x17c6(%rip), %rsi      # 0x3810
leaq 0x199d(%rip), %rcx      # 0x39ee
movl $0x90, %edx
callq 0x1060
leaq 0x19dd(%rip), %rdi      # 0x3a3f
leaq 0x17a7(%rip), %rsi      # 0x3810
leaq 0x197e(%rip), %rcx      # 0x39ee
movl $0x91, %edx
callq 0x1060
// File: /workspace/github_c_makefile_star2_O2/theck01[P]offbrand_lib/src/classes/obvector.c
// Function: obvector_clear
void obvector_clear(obvector *v){

  uint32_t i;

  assert(v != NULL);

  for(i=0; i<v->capacity; i++){
    ob_release(v->array[i]);
  }

  v->length = 0;

  return;
}

// Assembly:
pushq %r14
pushq %rbx
pushq %rax
testq %rdi, %rdi
je 0x223d
movq %rdi, %rbx
xorl %r14d, %r14d
movl 0x14(%rbx), %eax
cmpq %rax, %r14
jae 0x2231
movq 0x8(%rbx), %rax
movq (%rax,%r14,8), %rdi
callq 0x2766
incq %r14
jmp 0x2217
andl $0x0, 0x10(%rbx)
addq $0x8, %rsp
popq %rbx
popq %r14
retq
leaq 0x160d(%rip), %rdi      # 0x3851
leaq 0x15c5(%rip), %rsi      # 0x3810
leaq 0x182c(%rip), %rcx      # 0x3a7e
movl $0xa1, %edx
callq 0x1060
// File: /workspace/github_c_makefile_star2_O2/theck01[P]offbrand_lib/src/classes/obvector.c
// Function: obvector_destroy
void obvector_destroy(obj *to_dealloc){

  /* cast generic obj to obvector */
  obvector *instance = (obvector *)to_dealloc;

  assert(instance != NULL);
  assert(ob_has_class(to_dealloc, "obvector"));

  obvector_clear(instance); /* ob_release all objs contained in vector */
  free(instance->array);

  return;
}

// Assembly:
pushq %rbx
testq %rdi, %rdi
je 0x2287
movq %rdi, %rbx
leaq 0x1a81(%rip), %rsi      # 0x3ced
callq 0x27de
testb %al, %al
je 0x22a6
movq %rbx, %rdi
callq 0x2208
movq 0x8(%rbx), %rdi
popq %rbx
jmp 0x1030
leaq 0x13ea(%rip), %rdi      # 0x3678
leaq 0x157b(%rip), %rsi      # 0x3810
leaq 0x1a0f(%rip), %rcx      # 0x3cab
movl $0x17b, %edx            # imm = 0x17B
callq 0x1060
leaq 0x1a1b(%rip), %rdi      # 0x3cc8
leaq 0x155c(%rip), %rsi      # 0x3810
leaq 0x19f0(%rip), %rcx      # 0x3cab
movl $0x17c, %edx            # imm = 0x17C
callq 0x1060
// File: /workspace/github_c_makefile_star2_O2/theck01[P]offbrand_lib/src/classes/obvector.c
// Function: obvector_hash
ob_hash_t obvector_hash(const obj *to_hash){

  static int8_t init = 0;
  static ob_hash_t seed;

  uint32_t i;
  ob_hash_t value;
  obvector *instance = (obvector *)to_hash;

  assert(to_hash);
  assert(ob_has_class(to_hash, "obvector"));

  if(init == 0){
    srand(time(NULL));
    seed = rand();
    init = 1;
  }

  value = seed;
  for(i=0; i<instance->length; i++){
    value += ob_hash(instance->array[i]);
    value += value << 10;
    value ^= value >> 6;
  }

  value += value << 3;
  value ^= value >> 11;
  value += value << 15;

  return value;
}

// Assembly:
pushq %r15
pushq %r14
pushq %rbx
testq %rdi, %rdi
je 0x236c
movq %rdi, %rbx
leaq 0x1a10(%rip), %rsi      # 0x3ced
callq 0x27de
testb %al, %al
je 0x238b
cmpb $0x1, 0x3da7(%rip)      # 0x6098
jne 0x22fc
movq 0x3da6(%rip), %r14      # 0x60a0
jmp 0x2320
xorl %edi, %edi
callq 0x10b0
movl %eax, %edi
callq 0x1080
callq 0x10f0
movslq %eax, %r14
movq %r14, 0x3d87(%rip)      # 0x60a0
movb $0x1, 0x3d78(%rip)      # 0x6098
xorl %r15d, %r15d
movl 0x10(%rbx), %eax
cmpq %rax, %r15
jae 0x2351
movq 0x8(%rbx), %rax
movq (%rax,%r15,8), %rdi
callq 0x2676
addq %r14, %rax
imulq $0x401, %rax, %rax      # imm = 0x401
movq %rax, %r14
shrq $0x6, %r14
xorq %rax, %r14
incq %r15
jmp 0x2323
leaq (%r14,%r14,8), %rax
movq %rax, %rcx
shrq $0xb, %rcx
xorq %rax, %rcx
imulq $0x8001, %rcx, %rax     # imm = 0x8001
popq %rbx
popq %r14
popq %r15
retq
leaq 0x136f(%rip), %rdi      # 0x36e2
leaq 0x1496(%rip), %rsi      # 0x3810
leaq 0x17e8(%rip), %rcx      # 0x3b69
movl $0x135, %edx            # imm = 0x135
callq 0x1060
leaq 0x17fc(%rip), %rdi      # 0x3b8e
leaq 0x1477(%rip), %rsi      # 0x3810
leaq 0x17c9(%rip), %rcx      # 0x3b69
movl $0x136, %edx            # imm = 0x136
callq 0x1060
// File: /workspace/github_c_makefile_star2_O2/theck01[P]offbrand_lib/src/classes/obvector.c
// Function: obvector_compare
int8_t obvector_compare(const obj *a, const obj *b){

  uint32_t i;
  const obvector *comp_a = (obvector *)a;
  const obvector *comp_b = (obvector *)b;

  assert(a);
  assert(b);
  assert(ob_has_class(a, "obvector"));
  assert(ob_has_class(b, "obvector"));

  if(comp_a->length != comp_b->length) return OB_NOT_EQUAL;

  for(i=0; i<comp_a->length; i++)
    if(ob_compare(comp_a->array[i], comp_b->array[i]) != OB_EQUAL_TO)
      return OB_NOT_EQUAL;

  return OB_EQUAL_TO;
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %rbx
pushq %rax
testq %rdi, %rdi
je 0x2435
movq %rsi, %rbx
testq %rsi, %rsi
je 0x2454
movq %rdi, %r14
leaq 0x1921(%rip), %rsi      # 0x3ced
callq 0x27de
testb %al, %al
je 0x2473
leaq 0x190d(%rip), %rsi      # 0x3ced
movq %rbx, %rdi
callq 0x27de
testb %al, %al
je 0x2492
movl 0x10(%r14), %eax
movb $0x2, %bpl
cmpl 0x10(%rbx), %eax
jne 0x2428
xorl %r15d, %r15d
movl 0x10(%r14), %eax
cmpq %rax, %r15
jae 0x2426
movq 0x8(%r14), %rax
movq (%rax,%r15,8), %rdi
movq 0x8(%rbx), %rax
movq (%rax,%r15,8), %rsi
callq 0x26af
incq %r15
testb %al, %al
je 0x23ff
jmp 0x2428
xorl %ebp, %ebp
movl %ebp, %eax
addq $0x8, %rsp
popq %rbx
popq %r14
popq %r15
popq %rbp
retq
leaq 0x1774(%rip), %rdi      # 0x3bb0
leaq 0x13cd(%rip), %rsi      # 0x3810
leaq 0x1768(%rip), %rcx      # 0x3bb2
movl $0x153, %edx            # imm = 0x153
callq 0x1060
leaq 0x1789(%rip), %rdi      # 0x3be4
leaq 0x13ae(%rip), %rsi      # 0x3810
leaq 0x1749(%rip), %rcx      # 0x3bb2
movl $0x154, %edx            # imm = 0x154
callq 0x1060
leaq 0x176c(%rip), %rdi      # 0x3be6
leaq 0x138f(%rip), %rsi      # 0x3810
leaq 0x172a(%rip), %rcx      # 0x3bb2
movl $0x155, %edx            # imm = 0x155
callq 0x1060
leaq 0x1769(%rip), %rdi      # 0x3c02
leaq 0x1370(%rip), %rsi      # 0x3810
leaq 0x170b(%rip), %rcx      # 0x3bb2
movl $0x156, %edx            # imm = 0x156
callq 0x1060
// File: /workspace/github_c_makefile_star2_O2/theck01[P]offbrand_lib/src/classes/obvector.c
// Function: obvector_display
void obvector_display(const obj *to_print){

  uint32_t i;
  obvector *v = (obvector *)to_print;

  assert(to_print != NULL);
  assert(ob_has_class(to_print, "obvector"));
  fprintf(stderr, "obvector with %u elements\n", v->length);

  for(i=0; i<v->length; i++){
    fprintf(stderr, "[index: %u]\n", i);
    ob_display(v->array[i]);
    fprintf(stderr, "\n");
  }

  fprintf(stderr, "[vector end]\n");
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r12
pushq %rbx
testq %rdi, %rdi
je 0x2555
movq %rdi, %rbx
leaq 0x1821(%rip), %rsi      # 0x3ced
callq 0x27de
testb %al, %al
je 0x2574
movq 0x3b18(%rip), %r12      # 0x5ff8
movq (%r12), %rdi
movl 0x10(%rbx), %edx
leaq 0x1787(%rip), %rsi      # 0x3c75
xorl %eax, %eax
callq 0x10a0
leaq 0x1794(%rip), %r14      # 0x3c90
pushq $0xa
popq %rbp
xorl %r15d, %r15d
movl 0x10(%rbx), %eax
movq (%r12), %rcx
cmpq %rax, %r15
jae 0x253b
movq %rcx, %rdi
movq %r14, %rsi
movl %r15d, %edx
xorl %eax, %eax
callq 0x10a0
movq 0x8(%rbx), %rax
movq (%rax,%r15,8), %rdi
callq 0x2711
movq (%r12), %rsi
movl %ebp, %edi
callq 0x1070
incq %r15
jmp 0x2502
leaq 0x175b(%rip), %rdi      # 0x3c9d
pushq $0xd
popq %rsi
pushq $0x1
popq %rdx
popq %rbx
popq %r12
popq %r14
popq %r15
popq %rbp
jmp 0x10e0
leaq 0x16c2(%rip), %rdi      # 0x3c1e
leaq 0x12ad(%rip), %rsi      # 0x3810
leaq 0x16c5(%rip), %rcx      # 0x3c2f
movl $0x167, %edx            # imm = 0x167
callq 0x1060
leaq 0x16d7(%rip), %rdi      # 0x3c52
leaq 0x128e(%rip), %rsi      # 0x3810
leaq 0x16a6(%rip), %rcx      # 0x3c2f
movl $0x168, %edx            # imm = 0x168
callq 0x1060
nop
// File: /workspace/github_c_makefile_star2_O2/theck01[P]offbrand_lib/src/offbrand_stdlib.c
// Function: ob_init_base
void ob_init_base(obj *instance, ob_dealloc_fptr dealloc_funct,
                  ob_hash_fptr hash_funct, ob_compare_fptr compare_funct,
                  ob_display_fptr display_funct, const char *classname){

  assert(classname != NULL);

  *instance = malloc(sizeof(struct obj_struct));

  assert((*instance) != NULL);

  (*instance)->references = 1;

  (*instance)->dealloc = dealloc_funct;

  if(hash_funct != &ob_hash) (*instance)->hash = hash_funct;
  else (*instance)->hash = NULL;

  if(compare_funct != &ob_compare) (*instance)->compare = compare_funct;
  else (*instance)->compare = NULL;

  if(display_funct != &ob_display) (*instance)->display = display_funct;
  else (*instance)->display = NULL;

  (*instance)->classname = classname;

  return;
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
pushq %rax
testq %r9, %r9
je 0x2640
movq %r9, %rbx
movq %r8, %r14
movq %rcx, %r12
movq %rdx, %r15
movq %rsi, %r13
movq %rdi, %rbp
pushq $0x30
popq %rdi
callq 0x10c0
movq %rax, (%rbp)
testq %rax, %rax
je 0x2659
movl $0x1, (%rax)
movq %r13, 0x8(%rax)
movq %r12, %xmm0
movq %r15, %xmm1
punpcklqdq %xmm0, %xmm1    # xmm1 = xmm1[0],xmm0[0]
leaq 0xc1(%rip), %rcx        # 0x26af
movq %rcx, %xmm0
leaq 0x7c(%rip), %rcx        # 0x2676
movq %rcx, %xmm2
punpcklqdq %xmm0, %xmm2    # xmm2 = xmm2[0],xmm0[0]
pcmpeqd %xmm1, %xmm2
pshufd $0xb1, %xmm2, %xmm0     # xmm0 = xmm2[1,0,3,2]
pand %xmm2, %xmm0
pandn %xmm1, %xmm0
movdqu %xmm0, 0x10(%rax)
leaq 0xf1(%rip), %rcx        # 0x2711
xorl %edx, %edx
cmpq %rcx, %r14
cmovneq %r14, %rdx
movq %rdx, 0x20(%rax)
movq %rbx, 0x28(%rax)
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
leaq 0x16af(%rip), %rdi      # 0x3cf6
leaq 0x16ba(%rip), %rsi      # 0x3d08
leaq 0x16c9(%rip), %rcx      # 0x3d1e
pushq $0xe
jmp 0x2670
leaq 0x1726(%rip), %rdi      # 0x3d86
leaq 0x16a1(%rip), %rsi      # 0x3d08
leaq 0x16b0(%rip), %rcx      # 0x3d1e
pushq $0x12
popq %rdx
callq 0x1060
// File: /workspace/github_c_makefile_star2_O2/theck01[P]offbrand_lib/src/offbrand_stdlib.c
// Function: ob_hash
ob_hash_t ob_hash(const obj *to_hash){

  ob_hash_t retval;

  if(!to_hash) return 0;

  if((*to_hash)->hash) retval = (*to_hash)->hash(to_hash);
  else{
    retval = (ob_hash_t)to_hash;
    retval += (retval << 6);
    retval ^= (retval >> 10);
    retval += (retval >> 7);
    retval ^= (retval << 12);
  }

  return retval;
}

// Assembly:
testq %rdi, %rdi
je 0x2689
movq (%rdi), %rax
movq 0x10(%rax), %rax
testq %rax, %rax
je 0x268c
jmpq *%rax
xorl %eax, %eax
retq
imulq $0x41, %rdi, %rax
movq %rax, %rcx
shrq $0xa, %rcx
xorq %rax, %rcx
movq %rcx, %rdx
shrq $0x7, %rdx
addq %rcx, %rdx
movq %rdx, %rax
shlq $0xc, %rax
xorq %rdx, %rax
retq
// File: /workspace/github_c_makefile_star2_O2/theck01[P]offbrand_lib/src/offbrand_stdlib.c
// Function: ob_compare
int8_t ob_compare(const obj *a, const obj *b){

  int8_t retval;

  if(a == NULL && b == NULL) return OB_EQUAL_TO;
  else if(a == NULL || b == NULL) return OB_NOT_EQUAL;


  if(ob_has_same_class(a, b) && (*a)->compare != NULL)
    retval = (*a)->compare(a, b);
  else if(a == b) retval = OB_EQUAL_TO;
  else retval = OB_NOT_EQUAL;

  return retval;
}

// Assembly:
pushq %r14
pushq %rbx
pushq %rax
movq %rdi, %rax
orq %rsi, %rax
jne 0x26bf
xorl %eax, %eax
jmp 0x2709
movq %rsi, %rbx
movq %rdi, %r14
testq %rsi, %rsi
sete %al
testq %rdi, %rdi
sete %cl
orb %al, %cl
movb $0x2, %al
jne 0x2709
movq %r14, %rdi
movq %rbx, %rsi
callq 0x2806
testb %al, %al
je 0x2701
movq (%r14), %rax
movq 0x18(%rax), %rax
testq %rax, %rax
je 0x2701
movq %r14, %rdi
movq %rbx, %rsi
addq $0x8, %rsp
popq %rbx
popq %r14
jmpq *%rax
cmpq %rbx, %r14
setne %al
addb %al, %al
addq $0x8, %rsp
popq %rbx
popq %r14
retq
// File: /workspace/github_c_makefile_star2_O2/theck01[P]offbrand_lib/src/offbrand_stdlib.c
// Function: ob_display
void ob_display(const obj *to_print){
  if(!to_print){
    fprintf(stderr, "NULL value\n");
    return;
  }

  fprintf(stderr, "Instance of class %s, at address 0x%p\n",
                  (*to_print)->classname, to_print);
  if((*to_print)->display) (*to_print)->display(to_print);
}

// Assembly:
pushq %rbx
movq 0x38df(%rip), %rax      # 0x5ff8
movq (%rax), %rcx
testq %rdi, %rdi
jne 0x2734
leaq 0x16ad(%rip), %rdi      # 0x3dd5
pushq $0xb
popq %rsi
pushq $0x1
popq %rdx
popq %rbx
jmp 0x10e0
movq %rdi, %rbx
movq (%rdi), %rax
movq 0x28(%rax), %rdx
leaq 0x169c(%rip), %rsi      # 0x3de1
movq %rcx, %rdi
movq %rbx, %rcx
xorl %eax, %eax
callq 0x10a0
movq (%rbx), %rax
movq 0x20(%rax), %rax
testq %rax, %rax
je 0x2764
movq %rbx, %rdi
popq %rbx
jmpq *%rax
popq %rbx
retq
// File: /workspace/github_c_makefile_star2_O2/theck01[P]offbrand_lib/src/offbrand_stdlib.c
// Function: ob_release
obj * ob_release(obj *instance){

  if(!instance) return NULL;

  /* if no other part of the program references the instance, destroy it */
  if(--((*instance)->references) <= 0){

    /* call class specific memory cleanup, if it exists */
    if((*instance)->dealloc)
      (*instance)->dealloc(instance);

    free((struct obj_struct *)*instance); /* free reference counted base */
    free(instance); /* free the entire object */

    return NULL;
  }

  return instance;
}

// Assembly:
pushq %rbx
testq %rdi, %rdi
je 0x2794
movq %rdi, %rbx
movq (%rdi), %rdi
decl (%rdi)
jne 0x2796
movq 0x8(%rdi), %rax
testq %rax, %rax
je 0x2787
movq %rbx, %rdi
callq *%rax
movq (%rbx), %rdi
callq 0x1030
movq %rbx, %rdi
callq 0x1030
xorl %ebx, %ebx
movq %rbx, %rax
popq %rbx
retq
// File: /workspace/github_c_makefile_star2_O2/theck01[P]offbrand_lib/src/offbrand_stdlib.c
// Function: ob_retain
obj * ob_retain(obj *instance){

  if(!instance) return instance;

  assert((*instance)->references < UINT32_MAX); /* reference count > UINT32_MAX
                                                   cannot be handled by lib */
  ++((*instance)->references);

  return instance;
}

// Assembly:
testq %rdi, %rdi
je 0x27ae
movq (%rdi), %rax
movl (%rax), %ecx
cmpl $-0x1, %ecx
je 0x27b2
incl %ecx
movl %ecx, (%rax)
movq %rdi, %rax
retq
pushq %rax
leaq 0x15e0(%rip), %rdi      # 0x3d9a
leaq 0x1547(%rip), %rsi      # 0x3d08
leaq 0x15f7(%rip), %rcx      # 0x3dbf
pushq $0x40
popq %rdx
callq 0x1060
// File: /workspace/github_c_makefile_star2_O2/theck01[P]offbrand_lib/src/offbrand_stdlib.c
// Function: ob_has_class
uint8_t ob_has_class(const obj *a, const char *classname){

  if(!a){
    if(strcmp(classname, "NULL") == 0) return 1;
    return 0;
  }
  if(strcmp((*a)->classname, classname) == 0) return 1;
  else return 0;
}

// Assembly:
pushq %rax
testq %rdi, %rdi
je 0x27ed
movq (%rdi), %rax
movq 0x28(%rax), %rdi
jmp 0x27fa
leaq 0x15a1(%rip), %rax      # 0x3d95
movq %rsi, %rdi
movq %rax, %rsi
callq 0x1090
testl %eax, %eax
sete %al
popq %rcx
retq
// File: /workspace/github_c_makefile_star2_O2/theck01[P]offbrand_lib/src/offbrand_stdlib.c
// Function: ob_has_same_class
uint8_t ob_has_same_class(const obj *a, const obj *b){
  /* if both NULL, both are of the "NULL" class */
  if(!a && !b) return 1;
  else if(!a || !b) return 0;
  return ob_has_class(a, (*b)->classname);
}

// Assembly:
movb $0x1, %al
movq %rdi, %rcx
orq %rsi, %rcx
je 0x282e
testq %rsi, %rsi
sete %al
testq %rdi, %rdi
sete %cl
orb %al, %cl
jne 0x282c
movq (%rsi), %rax
movq 0x28(%rax), %rsi
jmp 0x27de
xorl %eax, %eax
retq
// File: /workspace/github_c_makefile_star2_O2/GRUPO1MM1INTRO-2020-1[P]1MM1INTRO/20190925_1MM1_INTRO/EvalContinua.c
// Function: show_reactivo(unsigned int)
int show_reactivo(unsigned int index)
{
  printf("\n/************************************************/\n");
  if((index>=0)&&(index<NUMDREAC)){
    printf("REACTIVO %u:\n",index+1);
    printf("%s\n",REACTIVO[index]);
    printf("\n/************************************************/\n");
  }else{
    return -1;
  }
  return 0;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r14
pushq %rbx
movl %edi, %r14d
leaq 0xcf2(%rip), %rdi       # 0x30bf
callq 0x21e0
cmpl $0x2, %r14d
ja 0x240d
leal 0x1(%r14), %esi
leaq 0xc21(%rip), %rdi       # 0x3004
xorl %ebx, %ebx
xorl %eax, %eax
callq 0x2030
movl %r14d, %edi
shlq $0xb, %rdi
addq 0x2bc6(%rip), %rdi      # 0x4fc0
callq 0x21e0
leaq 0xcb9(%rip), %rdi       # 0x30bf
callq 0x21e0
jmp 0x2410
pushq $-0x1
popq %rbx
movl %ebx, %eax
popq %rbx
popq %r14
popq %rbp
retq
// File: /workspace/github_c_makefile_star2_O2/GRUPO1MM1INTRO-2020-1[P]1MM1INTRO/20190925_1MM1_INTRO/EvalContinua.c
// Function: siguiente_turno()
unsigned int siguiente_turno(){
  int candidato_a_ser_reactivo_en_turno;
  if(cantidad_de_reactivos_usados==NUMDREAC){
    modificado=false;
    return 0;
  }
  if((NUMDREAC-cantidad_de_reactivos_usados)==1){
unsigned int usar_NUMDREAC_buckets();
    if((reactivo_en_turno=usar_NUMDREAC_buckets())>0){
//printf("candidato_a_ser_reactivo_en_turno=%u\n",candidato_a_ser_reactivo_en_turno);
      goto actualizacion;
    }
  }
  if(cantidad_de_reactivos_usados<NUMDREAC){
    srand(time(NULL));
    candidato_a_ser_reactivo_en_turno=1+rand()%NUMDREAC;
bool asignado(unsigned int);
    while(asignado(candidato_a_ser_reactivo_en_turno)){
      candidato_a_ser_reactivo_en_turno=1+rand()%NUMDREAC;
    }
    reactivo_en_turno=candidato_a_ser_reactivo_en_turno;
    assert(reactivo_en_turno<=NUMDREAC);
void actualizar_reactivos_usados(unsigned int);
actualizacion:
    actualizar_reactivos_usados(reactivo_en_turno);
  }
  return reactivo_en_turno;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r14
pushq %rbx
leaq 0x452b(%rip), %rax      # 0x6950
movl (%rax), %eax
cmpl $0x2, %eax
je 0x243f
cmpl $0x3, %eax
jne 0x2455
leaq 0x4528(%rip), %rax      # 0x6960
movb $0x0, (%rax)
xorl %eax, %eax
jmp 0x249f
callq 0x24c1
movl %eax, %ebx
leaq 0x4517(%rip), %rax      # 0x6964
movl %ebx, (%rax)
testl %ebx, %ebx
jne 0x248f
jmp 0x2457
jae 0x2496
xorl %edi, %edi
callq 0x2120
movl %eax, %edi
callq 0x2130
pushq $0x3
popq %r14
callq 0x2080
cltd
idivl %r14d
movl %edx, %ebx
incl %ebx
movl %ebx, %edi
callq 0x2510
testb %al, %al
jne 0x2469
leaq 0x44dc(%rip), %rax      # 0x6964
movl %ebx, (%rax)
cmpl $0x4, %ebx
jae 0x24a4
movl %ebx, %edi
callq 0x2542
leaq 0x44c7(%rip), %rax      # 0x6964
movl (%rax), %eax
popq %rbx
popq %r14
popq %rbp
retq
leaq 0xb67(%rip), %rdi       # 0x3012
leaq 0xb7c(%rip), %rsi       # 0x302e
leaq 0xb84(%rip), %rcx       # 0x303d
pushq $0x43
popq %rdx
callq 0x20c0
// File: /workspace/github_c_makefile_star2_O2/GRUPO1MM1INTRO-2020-1[P]1MM1INTRO/20190925_1MM1_INTRO/EvalContinua.c
// Function: usar_NUMDREAC_buckets()
unsigned int usar_NUMDREAC_buckets()
{
  char bucket[NUMDREAC+1]={0};        /* buckets o cubetas a utilizar */
  int i;
  for(i=0;i<cantidad_de_reactivos_usados;i++){
    bucket[reactivos_usados[i]]=1;
  }
  for(i=1;i<NUMDREAC;i++){
    if(bucket[i]==0){
      return i;
    }
  }
  return 0;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
andl $0x0, -0x4(%rbp)
leaq 0x4480(%rip), %rax      # 0x6950
movl (%rax), %eax
leaq 0x447f(%rip), %rcx      # 0x6958
movq (%rcx), %rcx
xorl %edx, %edx
cmpq %rdx, %rax
je 0x24f0
movl (%rcx,%rdx,4), %esi
movb $0x1, -0x4(%rbp,%rsi)
incq %rdx
jmp 0x24de
movabsq $0x1, %rax
cmpq $0x3, %rax
je 0x250c
cmpb $0x0, -0x4(%rbp,%rax)
je 0x250e
incq %rax
jmp 0x24fa
xorl %eax, %eax
popq %rbp
retq
// File: /workspace/github_c_makefile_star2_O2/GRUPO1MM1INTRO-2020-1[P]1MM1INTRO/20190925_1MM1_INTRO/EvalContinua.c
// Function: asignado(unsigned int)
bool asignado(unsigned int candidato)
{
  unsigned int i;
  for(i=0;i<cantidad_de_reactivos_usados;i++){
    if(*(reactivos_usados+i)==candidato){
      return true;
    }
  }
  return false;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
leaq 0x4435(%rip), %rax      # 0x6950
movl (%rax), %eax
leaq 0x4434(%rip), %rcx      # 0x6958
movq (%rcx), %rcx
xorl %esi, %esi
movq %rsi, %rdx
cmpq %rsi, %rax
je 0x253a
leaq 0x1(%rdx), %rsi
cmpl %edi, (%rcx,%rdx,4)
jne 0x2529
cmpq %rax, %rdx
setb %al
popq %rbp
retq
// File: /workspace/github_c_makefile_star2_O2/GRUPO1MM1INTRO-2020-1[P]1MM1INTRO/20190925_1MM1_INTRO/EvalContinua.c
// Function: actualizar_reactivos_usados(unsigned int)
void actualizar_reactivos_usados(unsigned int reactivo_en_uso)
{
  unsigned int i,*tmp=(unsigned int *)malloc(cantidad_de_reactivos_usados*sizeof(unsigned int));
  for(i=0;i<cantidad_de_reactivos_usados;i++){
    *(tmp+i)=reactivos_usados[i];
  }
  reactivos_usados=(unsigned int *)malloc(
                   (cantidad_de_reactivos_usados+1)*sizeof(unsigned int));
  for(i=0;i<cantidad_de_reactivos_usados;i++){
    reactivos_usados[i]=*(tmp+i);
  }
  reactivos_usados[cantidad_de_reactivos_usados]=reactivo_en_uso;
  cantidad_de_reactivos_usados++;
  modificado=true;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
pushq %rax
movl %edi, %ebx
leaq 0x43f7(%rip), %rax      # 0x6950
movl (%rax), %r12d
leaq (,%r12,4), %rdi
callq 0x2190
movq %rax, %r14
leaq 0x43e5(%rip), %r13      # 0x6958
movq (%r13), %rax
xorl %ecx, %ecx
cmpq %rcx, %r12
je 0x258a
movl (%rax,%rcx,4), %edx
movl %edx, (%r14,%rcx,4)
incq %rcx
jmp 0x2579
leal 0x1(%r12), %r15d
leaq (,%r15,4), %rdi
callq 0x2190
movq %rax, (%r13)
xorl %ecx, %ecx
cmpq %rcx, %r12
je 0x25b3
movl (%r14,%rcx,4), %edx
movl %edx, (%rax,%rcx,4)
incq %rcx
jmp 0x25a2
movl %ebx, (%rax,%r12,4)
leaq 0x4392(%rip), %rax      # 0x6950
movl %r15d, (%rax)
leaq 0x4398(%rip), %rax      # 0x6960
movb $0x1, (%rax)
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
// File: /workspace/github_c_makefile_star2_O2/GRUPO1MM1INTRO-2020-1[P]1MM1INTRO/20190925_1MM1_INTRO/EvalContinua.c
// Function: save_reactivos_asignados(unsigned int)
void save_reactivos_asignados(unsigned int reactivo_index)
{
  int i;
  char str[10];
  string strturno;
  printf("Guardando los indices de %u reactivos ya asignados.\n",cantidad_de_reactivos_usados);
  if(modificado){
    //ofstream out(File_Name1.c_str());
    ofstream out(File_Name1);
    if(out){
        out<<cantidad_de_reactivos_usados<<endl;
        out<<reactivos_usados[0];
        for(i=1;i<cantidad_de_reactivos_usados;i++){
          sprintf(str,",%d",reactivos_usados[i]);
          strturno=string(str);
          out<<strturno;
        }
      out.close();
    }
  } 
  modificado=false;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x258, %rsp            # imm = 0x258
leaq -0x40(%rbp), %rax
movq %rax, -0x10(%rax)
andq $0x0, -0x8(%rax)
movb $0x0, (%rax)
leaq 0x434b(%rip), %rax      # 0x6950
movl (%rax), %esi
leaq 0xa4e(%rip), %rdi       # 0x305c
xorl %eax, %eax
callq 0x2030
leaq 0x4344(%rip), %rbx      # 0x6960
cmpb $0x1, (%rbx)
jne 0x2721
leaq 0x433c(%rip), %rax      # 0x6968
movq (%rax), %rsi
leaq -0x280(%rbp), %rdi
pushq $0x10
popq %rdx
callq 0x2150
movq -0x280(%rbp), %rax
movq -0x18(%rax), %rax
testb $0x5, -0x260(%rbp,%rax)
jne 0x2715
leaq 0x42f2(%rip), %rax      # 0x6950
movl (%rax), %esi
leaq -0x280(%rbp), %rdi
callq 0x20d0
movq %rax, %rdi
callq 0x20b0
leaq 0x42dd(%rip), %rax      # 0x6958
movq (%rax), %rax
movl (%rax), %esi
leaq -0x280(%rbp), %rdi
callq 0x20d0
pushq $0x1
popq %r12
leaq -0x5a(%rbp), %r14
leaq -0x80(%rbp), %r15
leaq -0x50(%rbp), %r13
leaq -0x280(%rbp), %rbx
leaq 0x42a6(%rip), %rax      # 0x6950
movl (%rax), %eax
cmpq %rax, %r12
jae 0x2702
leaq 0x42a0(%rip), %rax      # 0x6958
movq (%rax), %rax
movl (%rax,%r12,4), %edx
movq %r14, %rdi
leaq 0x9c8(%rip), %rsi       # 0x3091
xorl %eax, %eax
callq 0x2040
movq %r15, %rdi
movq %r14, %rsi
leaq -0x29(%rbp), %rdx
callq 0x2768
movq %r13, %rdi
movq %r15, %rsi
callq 0x2180
movq %r15, %rdi
callq 0x20a0
movq %rbx, %rdi
movq %r13, %rsi
callq 0x2110
incq %r12
jmp 0x26a3
leaq -0x280(%rbp), %rdi
callq 0x21a0
leaq 0x424b(%rip), %rbx      # 0x6960
leaq -0x280(%rbp), %rdi
callq 0x21c0
movb $0x0, (%rbx)
leaq -0x50(%rbp), %rdi
callq 0x20a0
addq $0x258, %rsp            # imm = 0x258
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
movq %rax, %rbx
jmp 0x2757
jmp 0x2748
jmp 0x2748
movq %rax, %rbx
leaq -0x280(%rbp), %rdi
callq 0x21c0
leaq -0x50(%rbp), %rdi
callq 0x20a0
movq %rbx, %rdi
callq 0x2220