LLM4Binary/decompile-bench-makefile huggingface dataset:
// File: /workspace/github_c_makefile_star2_O1/intel[P]pf-bb-config/bb_acc_common.c
// Function: acc100_reg_dump
int
acc100_reg_dump(hw_device *accel_dev,
		struct acc100_reg_dump_info *rd_db,
		int num_regs)
{
	int i = 0;
	int payload = 0;
	for (i = 0; i < num_regs; i++) {
		payload = reg_read(
				accel_dev->bar0Addr,
				rd_db[i].reg_offset);
		LOG_RESP(INFO, "%s\t\t, 0x%08x, 0x%08x", rd_db[i].reg_name,
				rd_db[i].reg_offset, payload);
	}
	return 0;
}

// Assembly:
testl %edx, %edx
jle 0x1a610
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
pushq %rax
movq %rsi, %rbx
movq %rdi, %r14
movl %edx, %r12d
shlq $0x4, %r12
leaq 0x13f60(%rip), %r15     # 0x2e510
xorl %ebp, %ebp
movq 0xb0(%r14), %rax
movl 0x8(%rbx,%rbp), %ecx
movl (%rax,%rcx), %r13d
callq 0x1ab6e
leaq 0x19903(%rip), %rcx     # 0x33ed0
movq 0x10(%rcx), %r8
movq (%rbx,%rbp), %r9
movl 0x8(%rbx,%rbp), %r10d
movl $0x2, %edi
movl $0x1, %esi
movq %r15, %rdx
movq %rax, %rcx
xorl %eax, %eax
pushq %r13
pushq %r10
callq 0x19ca8
addq $0x10, %rsp
addq $0x10, %rbp
cmpq %rbp, %r12
jne 0x1a5b2
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
xorl %eax, %eax
retq
// File: /workspace/github_c_makefile_star2_O1/intel[P]pf-bb-config/bb_acc_common.c
// Function: vrb1_reg_dump
int
vrb1_reg_dump(hw_device *accel_dev,
		struct vrb1_reg_dump_info *rd_db,
		int num_regs)
{
	int i = 0;
	int payload = 0;
	for (i = 0; i < num_regs; i++) {
		payload = reg_read(
				accel_dev->bar0Addr,
				rd_db[i].reg_offset);
		LOG_RESP(INFO, "%s\t\t, 0x%08x, 0x%08x", rd_db[i].reg_name,
				rd_db[i].reg_offset, payload);
	}
	return 0;
}

// Assembly:
testl %edx, %edx
jle 0x1a696
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
pushq %rax
movq %rsi, %rbx
movq %rdi, %r14
movl %edx, %r12d
shlq $0x4, %r12
leaq 0x13eda(%rip), %r15     # 0x2e510
xorl %ebp, %ebp
movq 0xb0(%r14), %rax
movl 0x8(%rbx,%rbp), %ecx
movl (%rax,%rcx), %r13d
callq 0x1ab6e
leaq 0x1987d(%rip), %rcx     # 0x33ed0
movq 0x10(%rcx), %r8
movq (%rbx,%rbp), %r9
movl 0x8(%rbx,%rbp), %r10d
movl $0x2, %edi
movl $0x1, %esi
movq %r15, %rdx
movq %rax, %rcx
xorl %eax, %eax
pushq %r13
pushq %r10
callq 0x19ca8
addq $0x10, %rsp
addq $0x10, %rbp
cmpq %rbp, %r12
jne 0x1a638
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
xorl %eax, %eax
retq
// File: /workspace/github_c_makefile_star2_O1/intel[P]pf-bb-config/bb_acc_common.c
// Function: acc_reg_dump
int acc_reg_dump(void *dev, int devType)
{
	hw_device *device = (hw_device *)dev;
	int num;

	if (device->device_id != devType) {
		printf("ERR: Wrong device configured\n");
		return 0;
	}
	clear_log_resp_file(dev);

	if (devType == ACC100_DEVICE_ID) {
		num = sizeof(acc100_rd_db) / sizeof(struct acc100_reg_dump_info);
		acc100_reg_dump(device, acc100_rd_db, num);
	} else if (devType == VRB1_DEVICE_ID) {
		num = sizeof(vrb1_rd_db) / sizeof(struct vrb1_reg_dump_info);
		vrb1_reg_dump(device, vrb1_rd_db, num);
	} else if (devType == VRB2_DEVICE_ID) {
		num = sizeof(vrb2_rd_db) / sizeof(struct vrb2_reg_dump_info);
		vrb2_reg_dump(device, vrb2_rd_db, num);
	} else
		LOG_RESP(ERR, "Wrong Device for ref_dump!");

	LOG_RESP_END();
	return 0;
}

// Assembly:
pushq %rbp
pushq %rbx
pushq %rax
cmpl %esi, 0x1c(%rdi)
jne 0x1a75f
movl %esi, %ebp
movq %rdi, %rbx
callq 0x1a51b
cmpl $0x57c2, %ebp           # imm = 0x57C2
je 0x1a783
cmpl $0x57c0, %ebp           # imm = 0x57C0
je 0x1a76d
cmpl $0xd5c, %ebp            # imm = 0xD5C
jne 0x1a799
leaq 0x197a0(%rip), %rsi     # 0x33ef0
movq %rbx, %rdi
movl $0x308, %edx            # imm = 0x308
callq 0x1a58d
jmp 0x1a7c0
leaq 0x14051(%rip), %rdi     # 0x2e7b7
callq 0xd0c0
jmp 0x1a7eb
leaq 0x1c7fc(%rip), %rsi     # 0x36f70
movq %rbx, %rdi
movl $0x1f1, %edx            # imm = 0x1F1
callq 0x1a613
jmp 0x1a7c0
leaq 0x1e6f6(%rip), %rsi     # 0x38e80
movq %rbx, %rdi
movl $0x1ab, %edx            # imm = 0x1AB
callq 0x1a699
jmp 0x1a7c0
callq 0x1ab6e
leaq 0x1972b(%rip), %rcx     # 0x33ed0
movq (%rcx), %r8
leaq 0x13d7d(%rip), %rdx     # 0x2e52c
xorl %edi, %edi
movl $0x1, %esi
movq %rax, %rcx
xorl %eax, %eax
callq 0x19ca8
callq 0x1ab6e
leaq 0x19704(%rip), %rcx     # 0x33ed0
movq 0x10(%rcx), %r8
leaq 0x13d77(%rip), %rdx     # 0x2e54e
movl $0x2, %edi
movl $0x1, %esi
movq %rax, %rcx
xorl %eax, %eax
callq 0x19ca8
xorl %eax, %eax
addq $0x8, %rsp
popq %rbx
popq %rbp
retq
// File: /workspace/github_c_makefile_star2_O1/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, %r15d
movl %esi, %ebp
movq %rdi, %r14
movq %rsp, %rdi
movl $0x200, %edx            # imm = 0x200
xorl %esi, %esi
callq 0xd180
testl %r15d, %r15d
je 0x1aaa7
movl %r15d, %r12d
leaq 0x13cf6(%rip), %r15     # 0x2e769
xorl %eax, %eax
movq 0xb0(%r14), %rcx
movl %ebp, %edx
movl (%rcx,%rdx), %ecx
movslq %eax, %r13
leaq (%rsp,%r13), %rdi
movl $0x400, %eax            # imm = 0x400
subl %r13d, %eax
movslq %eax, %rsi
movq %r15, %rdx
xorl %eax, %eax
callq 0xd170
addl %r13d, %eax
addl %ebx, %ebp
decq %r12
jne 0x1aa75
callq 0x1ab6e
leaq 0x1941d(%rip), %rcx     # 0x33ed0
movq 0x10(%rcx), %r8
leaq 0x13ca1(%rip), %rdx     # 0x2e75f
movq %rsp, %r9
movl $0x2, %edi
movl $0x1, %esi
movq %rax, %rcx
xorl %eax, %eax
callq 0x19ca8
addq $0x208, %rsp            # imm = 0x208
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
// File: /workspace/github_c_makefile_star2_O1/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 0x1a51b
movl 0x1c(%rbx), %eax
cmpl $0x57c2, %eax           # imm = 0x57C2
je 0x1ab3a
cmpl $0x57c0, %eax           # imm = 0x57C0
je 0x1ab30
cmpl $0xd5c, %eax            # imm = 0xD5C
jne 0x1ab42
movq %rbx, %rdi
callq 0xf64f
jmp 0x1ab42
movq %rbx, %rdi
callq 0x128e0
jmp 0x1ab42
movq %rbx, %rdi
callq 0x1620b
callq 0x1ab6e
leaq 0x19382(%rip), %rcx     # 0x33ed0
movq 0x10(%rcx), %r8
leaq 0x139f5(%rip), %rdx     # 0x2e54e
movl $0x2, %edi
movl $0x1, %esi
movq %rax, %rcx
xorl %eax, %eax
popq %rbx
jmp 0x19ca8
// File: /workspace/github_c_makefile_star2_O1/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
vpxor %xmm0, %xmm0, %xmm0
vmovdqa %ymm0, 0x80(%rsp)
movq %r8, %rax
movl $0xffffffff, %ebx       # imm = 0xFFFFFFFF
addq %rcx, %rax
jb 0xb34d
movq %r8, %r14
leaq -0x10(%r8), %r13
testb $0x1f, %r13b
setne %al
cmpq $0x20, %r13
setb %dl
orb %al, %dl
jne 0xb34d
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 0xb34d
leaq (%r14,%r12), %rax
addq $-0x10, %rax
kxorw %k0, %k0, %k0
xorl %ecx, %ecx
vmovq 0x80(%rsp,%rcx), %xmm0
vmovq (%rax,%rcx), %xmm1
vpcmpneqb %xmm1, %xmm0, %k1
korb %k1, %k0, %k0
addq $0x8, %rcx
cmpq $0x10, %rcx
jne 0xb304
kortestb %k0, %k0
jne 0xb34d
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
nopl (%rax)
// File: /workspace/github_c_makefile_star2_O1/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
movl $0x10, %edi
callq 0x10c0
testq %rax, %rax
je 0x1bee
movq %rax, %r14
leaq 0x52(%rip), %rsi        # 0x1c0d
leaq 0x71(%rip), %rdx        # 0x1c33
leaq 0x93(%rip), %rcx        # 0x1c5c
leaq 0x166(%rip), %r8        # 0x1d36
leaq 0x1c2a(%rip), %r9       # 0x3801
movq %rax, %rdi
callq 0x28c4
movl %ebx, 0x8(%r14)
movq %r14, %rax
addq $0x8, %rsp
popq %rbx
popq %r14
retq
leaq 0x1a7f(%rip), %rdi      # 0x3674
leaq 0x1a8d(%rip), %rsi      # 0x3689
leaq 0x1a9b(%rip), %rcx      # 0x369e
movl $0x11, %edx
callq 0x1060
// File: /workspace/github_c_makefile_star2_O1/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 0x1cba
movq %rsi, %rbx
testq %rsi, %rsi
je 0x1cd9
movq %rdi, %r14
leaq 0x1b8a(%rip), %rsi      # 0x3801
callq 0x2ad4
testb %al, %al
je 0x1cf8
leaq 0x1b7a(%rip), %rsi      # 0x3801
movq %rbx, %rdi
callq 0x2ad4
testb %al, %al
je 0x1d17
movl 0x8(%r14), %eax
movl 0x8(%rbx), %ecx
cmpl %ecx, %eax
setne %dl
negb %dl
cmpl %ecx, %eax
movzbl %dl, %ecx
movl $0x1, %eax
cmovbel %ecx, %eax
addq $0x8, %rsp
popq %rbx
popq %r14
retq
leaq 0x19fa(%rip), %rdi      # 0x36bb
leaq 0x19c1(%rip), %rsi      # 0x3689
leaq 0x1a3e(%rip), %rcx      # 0x370d
movl $0x2a, %edx
callq 0x1060
leaq 0x1a5d(%rip), %rdi      # 0x373d
leaq 0x19a2(%rip), %rsi      # 0x3689
leaq 0x1a1f(%rip), %rcx      # 0x370d
movl $0x2b, %edx
callq 0x1060
leaq 0x1a48(%rip), %rdi      # 0x3747
leaq 0x1983(%rip), %rsi      # 0x3689
leaq 0x1a00(%rip), %rcx      # 0x370d
movl $0x2c, %edx
callq 0x1060
leaq 0x1a43(%rip), %rdi      # 0x3761
leaq 0x1964(%rip), %rsi      # 0x3689
leaq 0x19e1(%rip), %rcx      # 0x370d
movl $0x2d, %edx
callq 0x1060
// File: /workspace/github_c_makefile_star2_O1/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
movl $0x1, %eax
movl %eax, %ebx
leal (%rbx,%rbx), %eax
cmpl %edi, %ebx
jb 0x1dc6
movl %ebx, %edi
callq 0x1df4
testl %ebx, %ebx
je 0x1df2
movl %ebx, %ecx
xorl %edx, %edx
movq 0x8(%rax), %rsi
movq $0x0, (%rsi,%rdx,8)
incq %rdx
cmpq %rdx, %rcx
jne 0x1dde
popq %rbx
retq
// File: /workspace/github_c_makefile_star2_O1/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
movl $0x18, %edi
callq 0x10c0
testq %rax, %rax
je 0x1e6a
movq %rax, %r14
leaq 0x7ea(%rip), %rsi       # 0x25fd
leaq 0x84c(%rip), %rdx       # 0x2666
leaq 0x931(%rip), %rcx       # 0x2752
leaq 0xa3a(%rip), %r8        # 0x2862
leaq 0x1ebe(%rip), %r9       # 0x3ced
movq %rax, %rdi
callq 0x28c4
cmpl $0x1, %ebx
adcl $0x0, %ebx
leaq (,%rbx,8), %rdi
callq 0x10c0
movq %rax, 0x8(%r14)
testq %rax, %rax
je 0x1e89
movl %ebx, 0x14(%r14)
movl $0x0, 0x10(%r14)
movq %r14, %rax
addq $0x8, %rsp
popq %rbx
popq %r14
retq
leaq 0x1803(%rip), %rdi      # 0x3674
leaq 0x1998(%rip), %rsi      # 0x3810
leaq 0x1c1f(%rip), %rcx      # 0x3a9e
movl $0xb5, %edx
callq 0x1060
leaq 0x1c3a(%rip), %rdi      # 0x3aca
leaq 0x1979(%rip), %rsi      # 0x3810
leaq 0x1c00(%rip), %rcx      # 0x3a9e
movl $0xc2, %edx
callq 0x1060
// File: /workspace/github_c_makefile_star2_O1/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 0x1f01
movq %rdi, %rbx
movl 0x14(%rdi), %edi
callq 0x1df4
movq %rax, %r14
movl 0x10(%rbx), %eax
movl %eax, 0x10(%r14)
cmpl $0x0, 0x14(%rbx)
je 0x1ef8
xorl %r15d, %r15d
movq 0x8(%rbx), %rax
movq (%rax,%r15,8), %rdi
callq 0x2a8f
movq 0x8(%rbx), %rax
movq (%rax,%r15,8), %rax
movq 0x8(%r14), %rcx
movq %rax, (%rcx,%r15,8)
incq %r15
movl 0x14(%rbx), %eax
cmpq %rax, %r15
jb 0x1ed0
movq %r14, %rax
popq %rbx
popq %r14
popq %r15
retq
leaq 0x1900(%rip), %rdi      # 0x3808
leaq 0x1901(%rip), %rsi      # 0x3810
leaq 0x1911(%rip), %rcx      # 0x3827
movl $0x21, %edx
callq 0x1060
// File: /workspace/github_c_makefile_star2_O1/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 0x1fdc
movq %rdx, %rbx
movq %rsi, %r15
movq %rdi, %r14
testq %rdx, %rdx
jns 0x1f6c
movl 0x10(%r14), %eax
addq %rax, %rbx
movl $0xffffffff, %eax       # imm = 0xFFFFFFFF
cmpq %rax, %rbx
jge 0x1ffb
testq %rbx, %rbx
js 0x201a
movq %r14, %rdi
movl %ebx, %esi
callq 0x2039
movq %r15, %rdi
callq 0x2a8f
movq 0x8(%r14), %rax
movq (%rax,%rbx,8), %rdi
callq 0x2a5a
movq 0x8(%r14), %rax
movq %r15, (%rax,%rbx,8)
movq %rbx, %rax
incq %rax
movl 0x10(%r14), %ecx
cmpq %rcx, %rax
jl 0x1fd6
movq 0x8(%r14), %rax
movl %ebx, %ecx
cmpq $0x0, (%rax,%rcx,8)
jne 0x1fd0
addl $-0x1, %ebx
jb 0x1fbd
movl $0xffffffff, %ebx       # imm = 0xFFFFFFFF
incl %ebx
movl %ebx, 0x10(%r14)
popq %rbx
popq %r14
popq %r15
retq
leaq 0x186e(%rip), %rdi      # 0x3851
leaq 0x1826(%rip), %rsi      # 0x3810
leaq 0x1895(%rip), %rcx      # 0x3886
movl $0x37, %edx
callq 0x1060
leaq 0x18bd(%rip), %rdi      # 0x38bf
leaq 0x1807(%rip), %rsi      # 0x3810
leaq 0x1876(%rip), %rcx      # 0x3886
movl $0x3c, %edx
callq 0x1060
leaq 0x18b1(%rip), %rdi      # 0x38d2
leaq 0x17e8(%rip), %rsi      # 0x3810
leaq 0x1857(%rip), %rcx      # 0x3886
movl $0x3d, %edx
callq 0x1060
// File: /workspace/github_c_makefile_star2_O1/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 0x20d2
movq %rdi, %rbx
movl 0x14(%rdi), %r15d
cmpl %esi, %r15d
ja 0x20c6
incl %esi
movq %r15, %rcx
movq %rcx, %rax
addq %rcx, %rcx
cmpq %rsi, %rax
jb 0x205b
movl $0xffffffff, %r12d      # imm = 0xFFFFFFFF
cmpq %r12, %rax
cmovbq %rax, %r12
leaq (,%r12,8), %rdi
callq 0x10c0
testq %rax, %rax
je 0x20f1
movq %rax, %r14
testq %r15, %r15
je 0x20b0
movq 0x8(%rbx), %rax
xorl %ecx, %ecx
movq (%rax,%rcx,8), %rdx
movq %rdx, (%r14,%rcx,8)
incq %rcx
cmpq %rcx, %r15
jne 0x2093
jmp 0x20b0
movq $0x0, (%r14,%r15,8)
incq %r15
cmpq %r15, %r12
ja 0x20a5
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 0x17e6(%rip), %rdi      # 0x38bf
leaq 0x1730(%rip), %rsi      # 0x3810
leaq 0x19ff(%rip), %rcx      # 0x3ae6
movl $0xd1, %edx
callq 0x1060
leaq 0x19e0(%rip), %rdi      # 0x3ad8
leaq 0x1711(%rip), %rsi      # 0x3810
leaq 0x19e0(%rip), %rcx      # 0x3ae6
movl $0xdc, %edx
callq 0x1060
// File: /workspace/github_c_makefile_star2_O1/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 0x2161
testq %rsi, %rsi
jns 0x213c
movl 0x10(%rdi), %eax
addq %rax, %rsi
movl $0xffffffff, %eax       # imm = 0xFFFFFFFF
cmpq %rax, %rsi
jge 0x2180
testq %rsi, %rsi
js 0x219f
movl 0x10(%rdi), %eax
cmpq %rax, %rsi
jge 0x215d
movq 0x8(%rdi), %rax
movq (%rax,%rsi,8), %rax
jmp 0x215f
xorl %eax, %eax
popq %rcx
retq
leaq 0x16e9(%rip), %rdi      # 0x3851
leaq 0x16a1(%rip), %rsi      # 0x3810
leaq 0x1767(%rip), %rcx      # 0x38dd
movl $0x50, %edx
callq 0x1060
leaq 0x1738(%rip), %rdi      # 0x38bf
leaq 0x1682(%rip), %rsi      # 0x3810
leaq 0x1748(%rip), %rcx      # 0x38dd
movl $0x54, %edx
callq 0x1060
leaq 0x172c(%rip), %rdi      # 0x38d2
leaq 0x1663(%rip), %rsi      # 0x3810
leaq 0x1729(%rip), %rcx      # 0x38dd
movl $0x55, %edx
callq 0x1060
// File: /workspace/github_c_makefile_star2_O1/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 0x222e
movq %rsi, %r14
testq %rsi, %rsi
je 0x224d
movq %rdi, %rbx
movl 0x10(%r14), %esi
addl 0x10(%rdi), %esi
jb 0x226c
decl %esi
movq %rbx, %rdi
callq 0x2039
movl 0x10(%r14), %eax
testl %eax, %eax
je 0x2225
xorl %r15d, %r15d
movq 0x8(%r14), %rax
movq (%rax,%r15,8), %rdi
callq 0x2a8f
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
movl 0x10(%r14), %eax
cmpq %rax, %r15
jb 0x21f5
addl %eax, 0x10(%rbx)
popq %rbx
popq %r14
popq %r15
retq
leaq 0x16de(%rip), %rdi      # 0x3913
leaq 0x15d4(%rip), %rsi      # 0x3810
leaq 0x16e4(%rip), %rcx      # 0x3927
movl $0x60, %edx
callq 0x1060
leaq 0x1700(%rip), %rdi      # 0x3954
leaq 0x15b5(%rip), %rsi      # 0x3810
leaq 0x16c5(%rip), %rcx      # 0x3927
movl $0x61, %edx
callq 0x1060
leaq 0x16f3(%rip), %rdi      # 0x3966
leaq 0x1596(%rip), %rsi      # 0x3810
leaq 0x16a6(%rip), %rcx      # 0x3927
movl $0x63, %edx
callq 0x1060
// File: /workspace/github_c_makefile_star2_O1/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 0x22d5
movq %rsi, %rbx
testq %rsi, %rsi
je 0x22f4
movq %rdi, %r14
cmpl $0x0, 0x10(%rdi)
je 0x22c9
xorl %r15d, %r15d
movq 0x8(%r14), %rax
movq (%rax,%r15,8), %rsi
movq %rbx, %rdi
callq 0x29d7
testb %al, %al
je 0x22cd
incq %r15
movl 0x10(%r14), %eax
cmpq %rax, %r15
jb 0x22a9
xorl %eax, %eax
jmp 0x22cf
movb $0x1, %al
popq %rbx
popq %r14
popq %r15
retq
leaq 0x1575(%rip), %rdi      # 0x3851
leaq 0x152d(%rip), %rsi      # 0x3810
leaq 0x16bb(%rip), %rcx      # 0x39a5
movl $0x78, %edx
callq 0x1060
leaq 0x16e3(%rip), %rdi      # 0x39de
leaq 0x150e(%rip), %rsi      # 0x3810
leaq 0x169c(%rip), %rcx      # 0x39a5
movl $0x79, %edx
callq 0x1060
// File: /workspace/github_c_makefile_star2_O1/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 0x2389
movq %rdx, %rcx
testq %rdx, %rdx
je 0x23a8
movq %rdi, %rbx
movsbl %sil, %edx
cmpl $-0x1, %edx
je 0x2345
cmpl $0x1, %edx
jne 0x23c7
movq 0x8(%rbx), %rdi
movl 0x14(%rbx), %esi
callq 0x23e6
movq %rax, %r14
movq 0x8(%rbx), %rdi
callq 0x1030
movq %r14, 0x8(%rbx)
movl 0x10(%rbx), %eax
testl %eax, %eax
je 0x237c
movl %eax, %ecx
leal -0x1(%rcx), %eax
cmpq $0x0, (%r14,%rax,8)
jne 0x237e
testl %eax, %eax
jne 0x2368
xorl %ecx, %ecx
jmp 0x237e
movl %eax, %ecx
movl %ecx, 0x10(%rbx)
addq $0x8, %rsp
popq %rbx
popq %r14
retq
leaq 0x14c1(%rip), %rdi      # 0x3851
leaq 0x1479(%rip), %rsi      # 0x3810
leaq 0x1650(%rip), %rcx      # 0x39ee
movl $0x8f, %edx
callq 0x1060
leaq 0x1682(%rip), %rdi      # 0x3a31
leaq 0x145a(%rip), %rsi      # 0x3810
leaq 0x1631(%rip), %rcx      # 0x39ee
movl $0x90, %edx
callq 0x1060
leaq 0x1671(%rip), %rdi      # 0x3a3f
leaq 0x143b(%rip), %rsi      # 0x3810
leaq 0x1612(%rip), %rcx      # 0x39ee
movl $0x91, %edx
callq 0x1060
// File: /workspace/github_c_makefile_star2_O1/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 0x25de
movq %rdi, %rbx
cmpl $0x0, 0x14(%rdi)
je 0x25cf
xorl %r14d, %r14d
movq 0x8(%rbx), %rax
movq (%rax,%r14,8), %rdi
callq 0x2a5a
incq %r14
movl 0x14(%rbx), %eax
cmpq %rax, %r14
jb 0x25b7
movl $0x0, 0x10(%rbx)
addq $0x8, %rsp
popq %rbx
popq %r14
retq
leaq 0x126c(%rip), %rdi      # 0x3851
leaq 0x1224(%rip), %rsi      # 0x3810
leaq 0x148b(%rip), %rcx      # 0x3a7e
movl $0xa1, %edx
callq 0x1060
// File: /workspace/github_c_makefile_star2_O1/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 0x2628
movq %rdi, %rbx
leaq 0x16e0(%rip), %rsi      # 0x3ced
callq 0x2ad4
testb %al, %al
je 0x2647
movq %rbx, %rdi
callq 0x25a2
movq 0x8(%rbx), %rdi
popq %rbx
jmp 0x1030
leaq 0x1049(%rip), %rdi      # 0x3678
leaq 0x11da(%rip), %rsi      # 0x3810
leaq 0x166e(%rip), %rcx      # 0x3cab
movl $0x17b, %edx            # imm = 0x17B
callq 0x1060
leaq 0x167a(%rip), %rdi      # 0x3cc8
leaq 0x11bb(%rip), %rsi      # 0x3810
leaq 0x164f(%rip), %rcx      # 0x3cab
movl $0x17c, %edx            # imm = 0x17C
callq 0x1060
// File: /workspace/github_c_makefile_star2_O1/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 0x2714
movq %rdi, %rbx
leaq 0x166f(%rip), %rsi      # 0x3ced
callq 0x2ad4
testb %al, %al
je 0x2733
cmpb $0x0, 0x3a06(%rip)      # 0x6098
jne 0x26b7
xorl %edi, %edi
callq 0x10b0
movl %eax, %edi
callq 0x1080
callq 0x10f0
cltq
movq %rax, 0x39f0(%rip)      # 0x60a0
movb $0x1, 0x39e1(%rip)      # 0x6098
movq 0x39e2(%rip), %r14      # 0x60a0
cmpl $0x0, 0x10(%rbx)
je 0x26f6
xorl %r15d, %r15d
movq 0x8(%rbx), %rax
movq (%rax,%r15,8), %rdi
callq 0x2998
addq %r14, %rax
movq %rax, %rcx
shlq $0xa, %rcx
addq %rax, %rcx
movq %rcx, %r14
shrq $0x6, %r14
xorq %rcx, %r14
incq %r15
movl 0x10(%rbx), %eax
cmpq %rax, %r15
jb 0x26c7
leaq (%r14,%r14,8), %rax
movq %rax, %rcx
shrq $0xb, %rcx
xorq %rax, %rcx
movq %rcx, %rax
shlq $0xf, %rax
addq %rcx, %rax
popq %rbx
popq %r14
popq %r15
retq
leaq 0xfc7(%rip), %rdi       # 0x36e2
leaq 0x10ee(%rip), %rsi      # 0x3810
leaq 0x1440(%rip), %rcx      # 0x3b69
movl $0x135, %edx            # imm = 0x135
callq 0x1060
leaq 0x1454(%rip), %rdi      # 0x3b8e
leaq 0x10cf(%rip), %rsi      # 0x3810
leaq 0x1421(%rip), %rcx      # 0x3b69
movl $0x136, %edx            # imm = 0x136
callq 0x1060
// File: /workspace/github_c_makefile_star2_O1/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 0x27e6
movq %rsi, %rbx
testq %rsi, %rsi
je 0x2805
movq %rdi, %r14
leaq 0x1575(%rip), %rsi      # 0x3ced
callq 0x2ad4
testb %al, %al
je 0x2824
leaq 0x1561(%rip), %rsi      # 0x3ced
movq %rbx, %rdi
callq 0x2ad4
testb %al, %al
je 0x2843
movl 0x10(%r14), %eax
movb $0x2, %bpl
cmpl 0x10(%rbx), %eax
jne 0x27d9
cmpl $0x0, 0x10(%r14)
je 0x27d7
xorl %r15d, %r15d
movq 0x8(%r14), %rax
movq (%rax,%r15,8), %rdi
movq 0x8(%rbx), %rax
movq (%rax,%r15,8), %rsi
callq 0x29d7
testb %al, %al
jne 0x27d9
incq %r15
movl 0x10(%r14), %eax
cmpq %rax, %r15
jb 0x27b2
xorl %ebp, %ebp
movl %ebp, %eax
addq $0x8, %rsp
popq %rbx
popq %r14
popq %r15
popq %rbp
retq
leaq 0x13c3(%rip), %rdi      # 0x3bb0
leaq 0x101c(%rip), %rsi      # 0x3810
leaq 0x13b7(%rip), %rcx      # 0x3bb2
movl $0x153, %edx            # imm = 0x153
callq 0x1060
leaq 0x13d8(%rip), %rdi      # 0x3be4
leaq 0xffd(%rip), %rsi       # 0x3810
leaq 0x1398(%rip), %rcx      # 0x3bb2
movl $0x154, %edx            # imm = 0x154
callq 0x1060
leaq 0x13bb(%rip), %rdi      # 0x3be6
leaq 0xfde(%rip), %rsi       # 0x3810
leaq 0x1379(%rip), %rcx      # 0x3bb2
movl $0x155, %edx            # imm = 0x155
callq 0x1060
leaq 0x13b8(%rip), %rdi      # 0x3c02
leaq 0xfbf(%rip), %rsi       # 0x3810
leaq 0x135a(%rip), %rcx      # 0x3bb2
movl $0x156, %edx            # imm = 0x156
callq 0x1060
// File: /workspace/github_c_makefile_star2_O1/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 %rbx
testq %rdi, %rdi
je 0x2885
movq %rdi, %rbx
leaq 0x147b(%rip), %rsi      # 0x3ced
callq 0x2ad4
testb %al, %al
je 0x28a4
movq %rbx, %rdi
callq 0x144c
popq %rbx
retq
leaq 0x1392(%rip), %rdi      # 0x3c1e
leaq 0xf7d(%rip), %rsi       # 0x3810
leaq 0x1395(%rip), %rcx      # 0x3c2f
movl $0x167, %edx            # imm = 0x167
callq 0x1060
leaq 0x13a7(%rip), %rdi      # 0x3c52
leaq 0xf5e(%rip), %rsi       # 0x3810
leaq 0x1376(%rip), %rcx      # 0x3c2f
movl $0x168, %edx            # imm = 0x168
callq 0x1060
nop
// File: /workspace/github_c_makefile_star2_O1/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 0x295a
movq %r9, %rbx
movq %r8, %r14
movq %rcx, %r12
movq %rdx, %r13
movq %rsi, %rbp
movq %rdi, %r15
movl $0x30, %edi
callq 0x10c0
movq %rax, (%r15)
testq %rax, %rax
je 0x2979
leaq 0x95(%rip), %rcx        # 0x2998
xorl %edx, %edx
cmpq %rcx, %r13
movl $0x1, (%rax)
cmoveq %rdx, %r13
movq %rbp, 0x8(%rax)
movq %r13, 0x10(%rax)
leaq 0xb6(%rip), %rax        # 0x29d7
cmpq %rax, %r12
cmoveq %rdx, %r12
movq (%r15), %rax
movq %r12, 0x18(%rax)
leaq 0x103(%rip), %rax       # 0x2a39
cmpq %rax, %r14
cmoveq %rdx, %r14
movq (%r15), %rax
movq %r14, 0x20(%rax)
movq (%r15), %rax
movq %rbx, 0x28(%rax)
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
leaq 0x1395(%rip), %rdi      # 0x3cf6
leaq 0x13a0(%rip), %rsi      # 0x3d08
leaq 0x13af(%rip), %rcx      # 0x3d1e
movl $0xe, %edx
callq 0x1060
leaq 0x1406(%rip), %rdi      # 0x3d86
leaq 0x1381(%rip), %rsi      # 0x3d08
leaq 0x1390(%rip), %rcx      # 0x3d1e
movl $0x12, %edx
callq 0x1060
// File: /workspace/github_c_makefile_star2_O1/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 0x29ab
movq (%rdi), %rax
movq 0x10(%rax), %rax
testq %rax, %rax
je 0x29ae
jmpq *%rax
xorl %eax, %eax
retq
movq %rdi, %rax
shlq $0x6, %rax
addq %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_O1/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 0x29e7
xorl %eax, %eax
jmp 0x2a31
movq %rsi, %rbx
movq %rdi, %r14
testq %rsi, %rsi
sete %al
testq %rdi, %rdi
sete %cl
orb %al, %cl
movb $0x2, %al
jne 0x2a31
movq %r14, %rdi
movq %rbx, %rsi
callq 0x2afc
testb %al, %al
je 0x2a29
movq (%r14), %rax
movq 0x18(%rax), %rax
testq %rax, %rax
je 0x2a29
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_O1/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 %rax
movq 0x35b7(%rip), %rax      # 0x5ff8
movq (%rax), %rsi
testq %rdi, %rdi
jne 0x2a53
movq %rsi, %rdi
callq 0x150e
jmp 0x2a58
callq 0x14d8
popq %rax
retq
// File: /workspace/github_c_makefile_star2_O1/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 0x2a88
movq %rdi, %rbx
movq (%rdi), %rax
decl (%rax)
jne 0x2a8a
movq 0x8(%rax), %rax
testq %rax, %rax
je 0x2a78
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_O1/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 0x2aa2
movq (%rdi), %rax
movl (%rax), %ecx
cmpl $-0x1, %ecx
je 0x2aa6
incl %ecx
movl %ecx, (%rax)
movq %rdi, %rax
retq
pushq %rax
leaq 0x12ec(%rip), %rdi      # 0x3d9a
leaq 0x1253(%rip), %rsi      # 0x3d08
leaq 0x1303(%rip), %rcx      # 0x3dbf
movl $0x40, %edx
callq 0x1060
// File: /workspace/github_c_makefile_star2_O1/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 0x2ae3
movq (%rdi), %rax
movq 0x28(%rax), %rdi
jmp 0x2af0
leaq 0x12ab(%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_O1/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 0x2b33
testq %rsi, %rsi
sete %al
testq %rdi, %rdi
sete %cl
orb %al, %cl
jne 0x2b34
pushq %rax
movq (%rsi), %rax
movq 0x28(%rax), %rsi
movq (%rdi), %rax
movq 0x28(%rax), %rdi
callq 0x1090
testl %eax, %eax
sete %al
addq $0x8, %rsp
retq
xorl %eax, %eax
retq
// File: /workspace/github_c_makefile_star2_O1/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 0xcb2(%rip), %rdi       # 0x30bf
callq 0x2210
movl $0xffffffff, %ebx       # imm = 0xFFFFFFFF
cmpl $0x2, %r14d
ja 0x2450
leal 0x1(%r14), %esi
leaq 0xbdc(%rip), %rdi       # 0x3004
xorl %ebx, %ebx
xorl %eax, %eax
callq 0x2040
movl %r14d, %edi
shlq $0xb, %rdi
addq 0x2b79(%rip), %rdi      # 0x4fb8
callq 0x2210
leaq 0xc74(%rip), %rdi       # 0x30bf
callq 0x2210
movl %ebx, %eax
popq %rbx
popq %r14
popq %rbp
retq
// File: /workspace/github_c_makefile_star2_O1/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 0x450b(%rip), %rbx      # 0x6970
movl (%rbx), %r14d
cmpl $0x2, %r14d
je 0x2485
cmpl $0x3, %r14d
jne 0x249b
leaq 0x4505(%rip), %rax      # 0x6980
movb $0x0, (%rax)
xorl %eax, %eax
jmp 0x2534
callq 0x2558
leaq 0x44f3(%rip), %rcx      # 0x6984
movl %eax, (%rcx)
testl %eax, %eax
jne 0x251d
cmpl $0x2, %r14d
ja 0x252b
xorl %edi, %edi
callq 0x2120
movl %eax, %edi
callq 0x2130
leaq 0x44be(%rip), %r14      # 0x6978
callq 0x2080
cltq
imulq $0x55555556, %rax, %rcx # imm = 0x55555556
movq %rcx, %rdx
shrq $0x3f, %rdx
shrq $0x20, %rcx
addl %edx, %ecx
leal (%rcx,%rcx,2), %ecx
negl %ecx
addl %ecx, %eax
incl %eax
movl (%rbx), %ecx
testq %rcx, %rcx
setne %dl
je 0x250b
movq (%r14), %rdx
cmpl %eax, (%rdx)
je 0x24ba
movl $0x1, %edi
movq %rdi, %rsi
cmpq %rdi, %rcx
je 0x2505
leaq 0x1(%rsi), %rdi
cmpl %eax, (%rdx,%rsi,4)
jne 0x24f4
cmpq %rcx, %rsi
setb %dl
testb %dl, %dl
jne 0x24ba
leaq 0x446e(%rip), %rcx      # 0x6984
movl %eax, (%rcx)
cmpl $0x4, %eax
jae 0x2539
leaq 0x4460(%rip), %rax      # 0x6984
movl (%rax), %edi
callq 0x25e5
leaq 0x4452(%rip), %rax      # 0x6984
movl (%rax), %eax
popq %rbx
popq %r14
popq %rbp
retq
leaq 0xad2(%rip), %rdi       # 0x3012
leaq 0xae7(%rip), %rsi       # 0x302e
leaq 0xaef(%rip), %rcx       # 0x303d
movl $0x43, %edx
callq 0x20b0
// File: /workspace/github_c_makefile_star2_O1/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
movl $0x0, -0x4(%rbp)
leaq 0x4406(%rip), %rax      # 0x6970
movl (%rax), %eax
testq %rax, %rax
je 0x258d
leaq 0x4400(%rip), %rcx      # 0x6978
movq (%rcx), %rcx
xorl %edx, %edx
movl (%rcx,%rdx,4), %esi
movb $0x1, -0x4(%rbp,%rsi)
incq %rdx
cmpq %rdx, %rax
jne 0x257d
movl $0x1, %eax
cmpb $0x0, -0x4(%rbp,%rax)
je 0x25a4
incq %rax
cmpq $0x3, %rax
jne 0x2592
xorl %eax, %eax
popq %rbp
retq
// File: /workspace/github_c_makefile_star2_O1/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 0x43bf(%rip), %rax      # 0x6970
movl (%rax), %ecx
testq %rcx, %rcx
setne %al
je 0x25e3
leaq 0x43b6(%rip), %rdx      # 0x6978
movq (%rdx), %rdx
cmpl %edi, (%rdx)
je 0x25e3
movl $0x1, %esi
movq %rsi, %rax
cmpl %eax, %ecx
je 0x25de
leaq 0x1(%rax), %rsi
cmpl %edi, (%rdx,%rax,4)
jne 0x25ce
cmpl %ecx, %eax
setb %al
popq %rbp
retq
// File: /workspace/github_c_makefile_star2_O1/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 0x4374(%rip), %r13      # 0x6970
movl (%r13), %r15d
leaq (,%r15,4), %r12
movq %r12, %rdi
callq 0x21c0
movq %rax, %r14
testq %r15, %r15
je 0x262d
leaq 0x4359(%rip), %rax      # 0x6978
movq (%rax), %rsi
movq %r14, %rdi
movq %r12, %rdx
callq 0x20f0
incl %r15d
shlq $0x2, %r15
movq %r15, %rdi
callq 0x21c0
movq %rax, %r15
leaq 0x4332(%rip), %rax      # 0x6978
movq %r15, (%rax)
movl (%r13), %r12d
testl %r12d, %r12d
je 0x266f
movl (%r13), %r12d
cmpl $0x1, %r12d
movl %r12d, %edx
adcl $0x0, %edx
shlq $0x2, %rdx
movq %r15, %rdi
movq %r14, %rsi
callq 0x20f0
movl %r12d, %eax
movl %ebx, (%r15,%rax,4)
incl %r12d
movl %r12d, (%r13)
leaq 0x42fc(%rip), %rax      # 0x6980
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_O1/GRUPO1MM1INTRO-2020-1[P]1MM1INTRO/20190925_1MM1_INTRO/test_EvalContinua.c
// Function: main
int main(int argc,char *argv[])
{
  unsigned int indice_de_reactivo,reactivo_index,ret;
  if(argc<2){
    printf("FORMA DE USO:%s <file_index_reactivos_intro>\n",
            argv[0]);
    exit(1);
  }
void run_ctor(char *);
  run_ctor(argv[1]);
unsigned int init_REACTIVO();
   if((ret=init_REACTIVO())==NUMDREAC){
unsigned int siguiente_turno();
     if((reactivo_index=siguiente_turno())>0){
#ifndef NDEBUG
       printf("reactivo_index=%u\n",reactivo_index);
#endif
       indice_de_reactivo=reactivo_index-1;
int show_reactivo(unsigned int);
       show_reactivo(indice_de_reactivo);
void save_reactivos_asignados(unsigned int);
       if(modificado){
         save_reactivos_asignados(reactivo_index);
       }
     }else{ 
       printf("Reactivos YA asignados ...\n");
       return 0;
     }
   }else{
#ifndef NDEBUG
     printf("ret=%u\n",ret);
#endif
     return -1;
   }
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r14
pushq %rbx
cmpl $0x1, %edi
jle 0x29ca
movq 0x8(%rsi), %rdi
callq 0x29e8
callq 0x2c14
movl $0xffffffff, %ebx       # imm = 0xFFFFFFFF
cmpl $0x3, %eax
jne 0x29c3
callq 0x2457
testl %eax, %eax
je 0x29b5
movl %eax, %r14d
leal -0x1(%r14), %edi
callq 0x23fc
leaq 0x3fdc(%rip), %rax      # 0x6980
xorl %ebx, %ebx
cmpb $0x1, (%rax)
jne 0x29c3
movl %r14d, %edi
callq 0x2696
jmp 0x29c3
leaq 0x765(%rip), %rdi       # 0x3121
callq 0x2210
xorl %ebx, %ebx
movl %ebx, %eax
popq %rbx
popq %r14
popq %rbp
retq
movq (%rsi), %rsi
leaq 0x71f(%rip), %rdi       # 0x30f3
xorl %eax, %eax
callq 0x2040
movl $0x1, %edi
callq 0x21a0
nopl (%rax)
// File: /workspace/github_c_makefile_star2_O1/GRUPO1MM1INTRO-2020-1[P]1MM1INTRO/20190925_1MM1_INTRO/ctors.c
// Function: init_REACTIVO()
unsigned int init_REACTIVO()
{
  unsigned int i,j=0;
  FILE *fent;
  int car,res=0;
  char nombre_de_archivo[1024];
  
  for(i=0;i<NUMDREAC;i++){
    sprintf(nombre_de_archivo,"./reactivos/reactivo%d.txt",i+1);
#ifndef NDEBUG
    printf("Abriendo %s\n",nombre_de_archivo);
#endif
    /**Apertura del i-esimo archivo de entrada*/
    fent=fopen(nombre_de_archivo,"r");
    if(fent==NULL){
      fprintf(stderr,"Error abriendo %s\n",nombre_de_archivo);
      return i;
    }
    while((car=fgetc(fent))!=EOF){
      REACTIVO[i][j++]=car;
    }
    j=0;
    /**Cierre del i-esimo archivo*/ 
    fclose(fent);
#ifndef NDEBUG
    printf("%s\n",REACTIVO[i]);
#endif
  }/*end for()*/
  return i;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x408, %rsp            # imm = 0x408
leaq 0x2541(%rip), %r12      # 0x5170
xorl %ebx, %ebx
leaq 0x1(%rbx), %r13
leaq -0x430(%rbp), %r14
movq %r14, %rdi
leaq 0x4f8(%rip), %rsi       # 0x313e
movl %r13d, %edx
xorl %eax, %eax
callq 0x2050
movq %r14, %rdi
leaq 0x4ff(%rip), %rsi       # 0x3159
callq 0x2190
testq %rax, %rax
je 0x2cbf
movq %rax, %r14
movq %rax, %rdi
callq 0x2240
cmpl $-0x1, %eax
je 0x2c95
xorl %r15d, %r15d
shlq $0xb, %rbx
movl %r15d, %ecx
incl %r15d
leaq (%rbx,%r12), %rdx
movb %al, (%rcx,%rdx)
movq %r14, %rdi
callq 0x2240
cmpl $-0x1, %eax
jne 0x2c7b
movq %r14, %rdi
callq 0x2150
movq %r13, %rbx
cmpq $0x3, %r13
jne 0x2c31
movl $0x3, %ebx
movl %ebx, %eax
addq $0x408, %rsp            # imm = 0x408
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
movq 0x2312(%rip), %rax      # 0x4fd8
movq (%rax), %rdi
leaq 0x48b(%rip), %rsi       # 0x315b
leaq -0x430(%rbp), %rdx
xorl %eax, %eax
callq 0x21e0
jmp 0x2cab