LLM4Binary/decompile-bench-makefile huggingface dataset:
// File: /workspace/github_c_makefile_star2_O1/tabemann[P]attoforth/src/runtime/prim.c
// Function: af_prim_f_lt
void af_prim_f_lt(af_task_t* task) {
  af_float_t value0;
  af_float_t value1;
  AF_VERIFY_FLOAT_STACK_READ(task, 2);
  AF_VERIFY_DATA_STACK_EXPAND(task, 1);
  value1 = *task->float_stack_current++;
  value0 = *task->float_stack_current++;
  *(--task->data_stack_current) = (af_cell_t)(value0 < value1 ? -1 : 0);
  AF_ADVANCE_IP(task, 1);
}

// Assembly:
movq 0x60(%rdi), %rax
movq 0x68(%rdi), %rcx
leaq 0x8(%rcx), %rdx
movq %rdx, 0x68(%rdi)
movsd (%rcx), %xmm0
leaq 0x10(%rcx), %rdx
movq %rdx, 0x68(%rdi)
xorl %edx, %edx
ucomisd 0x8(%rcx), %xmm0
seta %dl
negq %rdx
leaq -0x8(%rax), %rcx
movq %rcx, 0x60(%rdi)
movq %rdx, -0x8(%rax)
movq 0x58(%rdi), %rax
leaq 0x8(%rax), %rcx
testq %rax, %rax
cmovneq %rcx, %rax
movq %rax, 0x58(%rdi)
retq
// File: /workspace/github_c_makefile_star2_O1/tabemann[P]attoforth/src/runtime/prim.c
// Function: af_prim_f_lte
void af_prim_f_lte(af_task_t* task) {
  af_float_t value0;
  af_float_t value1;
  AF_VERIFY_FLOAT_STACK_READ(task, 2);
  AF_VERIFY_DATA_STACK_EXPAND(task, 1);
  value1 = *task->float_stack_current++;
  value0 = *task->float_stack_current++;
  *(--task->data_stack_current) = (af_cell_t)(value0 <= value1 ? -1 : 0);
}

// Assembly:
movq 0x60(%rdi), %rax
movq 0x68(%rdi), %rcx
leaq 0x8(%rcx), %rdx
movq %rdx, 0x68(%rdi)
movsd (%rcx), %xmm0
leaq 0x10(%rcx), %rdx
movq %rdx, 0x68(%rdi)
xorl %edx, %edx
ucomisd 0x8(%rcx), %xmm0
adcq $-0x1, %rdx
leaq -0x8(%rax), %rcx
movq %rcx, 0x60(%rdi)
movq %rdx, -0x8(%rax)
retq
// File: /workspace/github_c_makefile_star2_O1/tabemann[P]attoforth/src/runtime/prim.c
// Function: af_prim_d_add
void af_prim_d_add(af_task_t* task) {
  af_sign_2cell_t value0;
  af_sign_2cell_t value1;
  AF_VERIFY_DATA_STACK_READ(task, 4);
  AF_LOAD_SIGN_2CELL(task, 2, value0);
  AF_LOAD_SIGN_2CELL(task, 0, value1);
  task->data_stack_current += 2;
  AF_STORE_2CELL(task, 0, value0 + value1);
  AF_ADVANCE_IP(task, 1);
}

// Assembly:
movq 0x60(%rdi), %rax
leaq 0x10(%rax), %rcx
movq (%rax), %rdx
movq 0x8(%rax), %rsi
addq 0x18(%rax), %rsi
adcq 0x10(%rax), %rdx
movq %rcx, 0x60(%rdi)
movq %rdx, 0x10(%rax)
movq %rsi, 0x18(%rax)
movq 0x58(%rdi), %rax
leaq 0x8(%rax), %rcx
testq %rax, %rax
cmoveq %rax, %rcx
movq %rcx, 0x58(%rdi)
retq
// File: /workspace/github_c_makefile_star2_O1/tabemann[P]attoforth/src/runtime/prim.c
// Function: af_prim_d_div
void af_prim_d_div(af_task_t* task) {
  af_global_t* global = task->global;
  af_sign_2cell_t value0;
  af_sign_2cell_t value1;
  AF_VERIFY_DATA_STACK_READ(task, 4);
  AF_LOAD_SIGN_2CELL(task, 2, value0);
  AF_LOAD_SIGN_2CELL(task, 0, value1);
  if(value1 == 0) {
    af_handle_divide_by_zero(global, task);
    return;
  }
  task->data_stack_current += 2;
  AF_STORE_2CELL(task, 0, value0 / value1);
  AF_ADVANCE_IP(task, 1);
}

// Assembly:
pushq %r14
pushq %rbx
pushq %rax
movq %rdi, %rbx
movq 0x60(%rdi), %r14
movq (%r14), %rcx
movq 0x8(%r14), %rdx
movq %rdx, %rax
orq %rcx, %rax
je 0x7eba
movq 0x10(%r14), %rsi
movq 0x18(%r14), %rdi
leaq 0x10(%r14), %rax
movq %rax, 0x60(%rbx)
callq 0xd560
movq %rdx, 0x10(%r14)
movq %rax, 0x18(%r14)
movq 0x58(%rbx), %rax
leaq 0x8(%rax), %rcx
testq %rax, %rax
cmovneq %rcx, %rax
movq %rax, 0x58(%rbx)
addq $0x8, %rsp
popq %rbx
popq %r14
retq
movq (%rbx), %rdi
movq %rbx, %rsi
addq $0x8, %rsp
popq %rbx
popq %r14
jmp 0x35ba
// File: /workspace/github_c_makefile_star2_O1/tabemann[P]attoforth/src/runtime/prim.c
// Function: af_prim_d_u_div
void af_prim_d_u_div(af_task_t* task) {
  af_global_t* global = task->global;
  af_2cell_t value0;
  af_2cell_t value1;
  AF_VERIFY_DATA_STACK_READ(task, 4);
  AF_LOAD_2CELL(task, 2, value0);
  AF_LOAD_2CELL(task, 0, value1);
  if(value1 == 0) {
    af_handle_divide_by_zero(global, task);
    return;
  }
  task->data_stack_current += 2;
  AF_STORE_2CELL(task, 0, value0 / value1);
  AF_ADVANCE_IP(task, 1);
}

// Assembly:
pushq %r14
pushq %rbx
pushq %rax
movq %rdi, %rbx
movq 0x60(%rdi), %r14
movq (%r14), %rcx
movq 0x8(%r14), %rdx
movq %rdx, %rax
orq %rcx, %rax
je 0x7f82
movq 0x10(%r14), %rsi
movq 0x18(%r14), %rdi
leaq 0x10(%r14), %rax
movq %rax, 0x60(%rbx)
callq 0xd870
movq %rdx, 0x10(%r14)
movq %rax, 0x18(%r14)
movq 0x58(%rbx), %rax
leaq 0x8(%rax), %rcx
testq %rax, %rax
cmovneq %rcx, %rax
movq %rax, 0x58(%rbx)
addq $0x8, %rsp
popq %rbx
popq %r14
retq
movq (%rbx), %rdi
movq %rbx, %rsi
addq $0x8, %rsp
popq %rbx
popq %r14
jmp 0x35ba
// File: /workspace/github_c_makefile_star2_O1/tabemann[P]attoforth/src/runtime/prim.c
// Function: af_prim_d_and
void af_prim_d_and(af_task_t* task) {
  af_2cell_t value0;
  af_2cell_t value1;
  AF_VERIFY_DATA_STACK_READ(task, 4);
  AF_LOAD_2CELL(task, 2, value0);
  AF_LOAD_2CELL(task, 0, value1);
  task->data_stack_current += 2;
  AF_STORE_2CELL(task, 0, value0 & value1);
  AF_ADVANCE_IP(task, 1);
}

// Assembly:
movq 0x60(%rdi), %rax
leaq 0x10(%rax), %rcx
movq (%rax), %rdx
andq 0x10(%rax), %rdx
movq 0x8(%rax), %rsi
andq 0x18(%rax), %rsi
movq %rcx, 0x60(%rdi)
movq %rdx, 0x10(%rax)
movq %rsi, 0x18(%rax)
movq 0x58(%rdi), %rax
leaq 0x8(%rax), %rcx
testq %rax, %rax
cmoveq %rax, %rcx
movq %rcx, 0x58(%rdi)
retq
// File: /workspace/github_c_makefile_star2_O1/tabemann[P]attoforth/src/runtime/prim.c
// Function: af_prim_d_lshift
void af_prim_d_lshift(af_task_t* task) {
  af_2cell_t value0;
  af_cell_t value1;
  AF_VERIFY_DATA_STACK_READ(task, 3);
  AF_LOAD_2CELL(task, 1, value0);
  value1 = *task->data_stack_current++;
  AF_STORE_2CELL(task, 0, value0 << value1);
  AF_ADVANCE_IP(task, 1);
}

// Assembly:
movq 0x60(%rdi), %rax
leaq 0x8(%rax), %rcx
movq 0x8(%rax), %rdx
movq 0x10(%rax), %rsi
movq %rcx, 0x60(%rdi)
movb (%rax), %cl
movq %rsi, %r8
shlq %cl, %r8
shldq %cl, %rsi, %rdx
xorl %esi, %esi
testb $0x40, %cl
cmovneq %r8, %rdx
cmoveq %r8, %rsi
movq %rdx, 0x8(%rax)
movq %rsi, 0x10(%rax)
movq 0x58(%rdi), %rax
leaq 0x8(%rax), %rcx
testq %rax, %rax
cmoveq %rax, %rcx
movq %rcx, 0x58(%rdi)
retq
// File: /workspace/github_c_makefile_star2_O1/tabemann[P]attoforth/src/runtime/prim.c
// Function: af_prim_d_arshift
void af_prim_d_arshift(af_task_t* task) {
  af_sign_2cell_t value0;
  af_cell_t value1;
  AF_VERIFY_DATA_STACK_READ(task, 3);
  AF_LOAD_SIGN_2CELL(task, 1, value0);
  value1 = *task->data_stack_current++;
  AF_STORE_2CELL(task, 0, value0 >> value1);
  AF_ADVANCE_IP(task, 1);
}

// Assembly:
movq 0x60(%rdi), %rax
leaq 0x8(%rax), %rcx
movq 0x8(%rax), %rdx
movq 0x10(%rax), %rsi
movq %rcx, 0x60(%rdi)
movb (%rax), %cl
movq %rdx, %r8
sarq %cl, %r8
shrdq %cl, %rdx, %rsi
sarq $0x3f, %rdx
testb $0x40, %cl
cmovneq %r8, %rsi
cmoveq %r8, %rdx
movq %rdx, 0x8(%rax)
movq %rsi, 0x10(%rax)
movq 0x58(%rdi), %rax
leaq 0x8(%rax), %rcx
testq %rax, %rax
cmoveq %rax, %rcx
movq %rcx, 0x58(%rdi)
retq
// File: /workspace/github_c_makefile_star2_O1/tabemann[P]attoforth/src/runtime/prim.c
// Function: af_prim_d_lt
void af_prim_d_lt(af_task_t* task) {
  af_sign_2cell_t value0;
  af_sign_2cell_t value1;
  AF_VERIFY_DATA_STACK_READ(task, 4);
  AF_LOAD_SIGN_2CELL(task, 2, value0);
  AF_LOAD_SIGN_2CELL(task, 0, value1);
  task->data_stack_current += 3;
  *task->data_stack_current = (af_cell_t)(value0 < value1 ? -1 : 0);
  AF_ADVANCE_IP(task, 1);
}

// Assembly:
movq 0x60(%rdi), %rax
movq 0x18(%rax), %rcx
cmpq 0x8(%rax), %rcx
movq 0x10(%rax), %rcx
sbbq (%rax), %rcx
leaq 0x18(%rax), %rcx
movq %rcx, 0x60(%rdi)
setl %cl
movzbl %cl, %ecx
negq %rcx
movq %rcx, 0x18(%rax)
movq 0x58(%rdi), %rax
leaq 0x8(%rax), %rcx
testq %rax, %rax
cmoveq %rax, %rcx
movq %rcx, 0x58(%rdi)
retq
// File: /workspace/github_c_makefile_star2_O1/tabemann[P]attoforth/src/runtime/prim.c
// Function: af_prim_d_u_lt
void af_prim_d_u_lt(af_task_t* task) {
  af_2cell_t value0;
  af_2cell_t value1;
  AF_VERIFY_DATA_STACK_READ(task, 4);
  AF_LOAD_2CELL(task, 2, value0);
  AF_LOAD_2CELL(task, 0, value1);
  task->data_stack_current += 3;
  *task->data_stack_current = (af_cell_t)(value0 < value1 ? -1 : 0);
  AF_ADVANCE_IP(task, 1);
}

// Assembly:
movq 0x60(%rdi), %rax
movq 0x18(%rax), %rcx
xorl %edx, %edx
cmpq 0x8(%rax), %rcx
movq 0x10(%rax), %rcx
sbbq (%rax), %rcx
leaq 0x18(%rax), %rcx
sbbq %rdx, %rdx
movq %rcx, 0x60(%rdi)
movq %rdx, 0x18(%rax)
movq 0x58(%rdi), %rax
leaq 0x8(%rax), %rcx
testq %rax, %rax
cmoveq %rax, %rcx
movq %rcx, 0x58(%rdi)
retq
// File: /workspace/github_c_makefile_star2_O1/tabemann[P]attoforth/src/runtime/prim.c
// Function: af_prim_add_store
void af_prim_add_store(af_task_t* task) {
  AF_VERIFY_DATA_STACK_READ(task, 2);
  *(af_cell_t*)(*task->data_stack_current) +=
    *(task->data_stack_current + 1);
  task->data_stack_current += 2;
  AF_ADVANCE_IP(task, 1);
}

// Assembly:
movq 0x60(%rdi), %rax
movq (%rax), %rcx
movq 0x8(%rax), %rdx
addq %rdx, (%rcx)
addq $0x10, %rax
movq %rax, 0x60(%rdi)
movq 0x58(%rdi), %rax
leaq 0x8(%rax), %rcx
testq %rax, %rax
cmoveq %rax, %rcx
movq %rcx, 0x58(%rdi)
retq
// File: /workspace/github_c_makefile_star2_O1/tabemann[P]attoforth/src/runtime/prim.c
// Function: af_prim_w_store
void af_prim_w_store(af_task_t* task) {
  AF_VERIFY_DATA_STACK_READ(task, 2);
  *(uint32_t*)(*task->data_stack_current) =
    *(task->data_stack_current + 1) & 0xFFFFFFFF;
  task->data_stack_current += 2;
  AF_ADVANCE_IP(task, 1);
}

// Assembly:
movq 0x60(%rdi), %rax
movl 0x8(%rax), %ecx
movq (%rax), %rdx
movl %ecx, (%rdx)
addq $0x10, %rax
movq %rax, 0x60(%rdi)
movq 0x58(%rdi), %rax
leaq 0x8(%rax), %rcx
testq %rax, %rax
cmoveq %rax, %rcx
movq %rcx, 0x58(%rdi)
retq
// File: /workspace/github_c_makefile_star2_O1/tabemann[P]attoforth/src/runtime/prim.c
// Function: af_prim_h_store
void af_prim_h_store(af_task_t* task) {
  AF_VERIFY_DATA_STACK_READ(task, 2);
  *(uint16_t*)(*task->data_stack_current) =
    *(task->data_stack_current + 1) & 0xFFFF;
  task->data_stack_current += 2;
  AF_ADVANCE_IP(task, 1);
}

// Assembly:
movq 0x60(%rdi), %rax
movzwl 0x8(%rax), %ecx
movq (%rax), %rdx
movw %cx, (%rdx)
addq $0x10, %rax
movq %rax, 0x60(%rdi)
movq 0x58(%rdi), %rax
leaq 0x8(%rax), %rcx
testq %rax, %rax
cmoveq %rax, %rcx
movq %rcx, 0x58(%rdi)
retq
// File: /workspace/github_c_makefile_star2_O1/tabemann[P]attoforth/src/runtime/prim.c
// Function: af_prim_c_store
void af_prim_c_store(af_task_t* task) {
  AF_VERIFY_DATA_STACK_READ(task, 2);
  *(af_byte_t*)(*task->data_stack_current) =
    *(task->data_stack_current + 1) & 0xFF;
  task->data_stack_current += 2;
  AF_ADVANCE_IP(task, 1);
}

// Assembly:
movq 0x60(%rdi), %rax
movb 0x8(%rax), %cl
movq (%rax), %rax
movb %cl, (%rax)
addq $0x10, 0x60(%rdi)
movq 0x58(%rdi), %rax
leaq 0x8(%rax), %rcx
testq %rax, %rax
cmoveq %rax, %rcx
movq %rcx, 0x58(%rdi)
retq
// File: /workspace/github_c_makefile_star2_O1/tabemann[P]attoforth/src/runtime/prim.c
// Function: af_prim_from_r
void af_prim_from_r(af_task_t* task) {
  AF_VERIFY_DATA_STACK_EXPAND(task, 1);
  AF_VERIFY_RETURN_STACK_READ(task, 1);
  *(--task->data_stack_current) =
    *(af_cell_t*)(task->return_stack_current++);
  AF_ADVANCE_IP(task, 1);
}

// Assembly:
movq 0x60(%rdi), %rax
movq 0x70(%rdi), %rcx
leaq 0x8(%rcx), %rdx
movq %rdx, 0x70(%rdi)
movq (%rcx), %rcx
leaq -0x8(%rax), %rdx
movq %rdx, 0x60(%rdi)
movq %rcx, -0x8(%rax)
movq 0x58(%rdi), %rax
leaq 0x8(%rax), %rcx
testq %rax, %rax
cmovneq %rcx, %rax
movq %rax, 0x58(%rdi)
retq
// File: /workspace/github_c_makefile_star2_O1/tabemann[P]attoforth/src/runtime/prim.c
// Function: af_prim_r_fetch
void af_prim_r_fetch(af_task_t* task) {
  AF_VERIFY_DATA_STACK_EXPAND(task, 1);
  AF_VERIFY_RETURN_STACK_READ(task, 1);
  *(--task->data_stack_current) =
    *(af_cell_t*)(task->return_stack_current);
  AF_ADVANCE_IP(task, 1);
}

// Assembly:
movq 0x60(%rdi), %rax
movq 0x70(%rdi), %rcx
movq (%rcx), %rcx
leaq -0x8(%rax), %rdx
movq %rdx, 0x60(%rdi)
movq %rcx, -0x8(%rax)
movq 0x58(%rdi), %rax
leaq 0x8(%rax), %rcx
testq %rax, %rax
cmovneq %rcx, %rax
movq %rax, 0x58(%rdi)
retq
// File: /workspace/github_c_makefile_star2_O1/tabemann[P]attoforth/src/runtime/prim.c
// Function: af_prim_does_at
void af_prim_does_at(af_task_t* task) {
  AF_VERIFY_WORD_CREATED(task);
  AF_VERIFY_NOT_INTERACTIVE(task);
  task->most_recent_word->code = af_prim_do_does;
  task->most_recent_word->secondary =
    (af_compiled_t*)((task->interpreter_pointer + 1)->compiled_cell);
  AF_ADVANCE_IP(task, 2);
}

// Assembly:
movq 0xe0(%rdi), %rax
leaq 0x3463(%rip), %rcx      # 0xbc9c
movq %rcx, (%rax)
movq 0x58(%rdi), %rcx
movq 0x8(%rcx), %rdx
movq %rdx, 0x20(%rax)
leaq 0x10(%rcx), %rax
testq %rcx, %rcx
cmoveq %rcx, %rax
movq %rax, 0x58(%rdi)
retq
// File: /workspace/github_c_makefile_star2_O1/tabemann[P]attoforth/src/runtime/prim.c
// Function: af_prim_name_to_string
void af_prim_name_to_string(af_task_t* task) {
  af_word_t* word;
  AF_VERIFY_DATA_STACK_READ(task, 1);
  AF_VERIFY_DATA_STACK_EXPAND(task, 1);
  word = (af_word_t*)(*task->data_stack_current);
  *task->data_stack_current = (af_cell_t)AF_WORD_NAME_DATA(word);
  *(--task->data_stack_current) = (af_cell_t)AF_WORD_NAME_LEN(word);
  AF_ADVANCE_IP(task, 1);
}

// Assembly:
movq 0x60(%rdi), %rax
movq (%rax), %rcx
leaq -0x1(%rcx), %rdx
movzbl -0x1(%rcx), %esi
subq %rsi, %rdx
movq %rdx, (%rax)
movzbl -0x1(%rcx), %ecx
leaq -0x8(%rax), %rdx
movq %rdx, 0x60(%rdi)
movq %rcx, -0x8(%rax)
movq 0x58(%rdi), %rax
leaq 0x8(%rax), %rcx
testq %rax, %rax
cmovneq %rcx, %rax
movq %rax, 0x58(%rdi)
retq
// File: /workspace/github_c_makefile_star2_O1/tabemann[P]attoforth/src/runtime/prim.c
// Function: af_prim_sp_fetch
void af_prim_sp_fetch(af_task_t* task) {
  af_cell_t* addr;
  AF_VERIFY_DATA_STACK_EXPAND(task, 1);
  addr = task->data_stack_current;
  *(--task->data_stack_current) = (af_cell_t)addr;
  AF_ADVANCE_IP(task, 1);
}

// Assembly:
movq 0x60(%rdi), %rax
leaq -0x8(%rax), %rcx
movq %rcx, 0x60(%rdi)
movq %rax, -0x8(%rax)
movq 0x58(%rdi), %rax
leaq 0x8(%rax), %rcx
testq %rax, %rax
cmovneq %rcx, %rax
movq %rax, 0x58(%rdi)
retq
// File: /workspace/github_c_makefile_star2_O1/tabemann[P]attoforth/src/runtime/prim.c
// Function: af_prim_t_fetch
void af_prim_t_fetch(af_task_t* task) {
  af_cell_t offset;
  af_task_t* target_task;
  AF_VERIFY_DATA_STACK_READ(task, 2);
  offset = *(task->data_stack_current + 1);
  target_task = (af_task_t*)(*task->data_stack_current);
  *(++task->data_stack_current) =
    *(af_cell_t*)(target_task->task_local_space_base + offset);
  AF_ADVANCE_IP(task, 1);
}

// Assembly:
movq 0x60(%rdi), %rax
leaq 0x8(%rax), %rcx
movq (%rax), %rdx
movq 0x8(%rax), %rsi
movq 0x120(%rdx), %rdx
movq (%rdx,%rsi), %rdx
movq %rcx, 0x60(%rdi)
movq %rdx, 0x8(%rax)
movq 0x58(%rdi), %rax
leaq 0x8(%rax), %rcx
testq %rax, %rax
cmovneq %rcx, %rax
movq %rax, 0x58(%rdi)
retq
// File: /workspace/github_c_makefile_star2_O1/tabemann[P]attoforth/src/runtime/prim.c
// Function: af_prim_t_store
void af_prim_t_store(af_task_t* task) {
  af_cell_t value;
  af_cell_t offset;
  af_task_t* target_task;
  AF_VERIFY_DATA_STACK_READ(task, 3);
  target_task = (af_task_t*)(*task->data_stack_current++);
  offset = *task->data_stack_current++;
  value = *task->data_stack_current++;
  *(af_cell_t*)(target_task->task_local_space_base + offset) = value;
  AF_ADVANCE_IP(task, 1);
}

// Assembly:
movq 0x60(%rdi), %rax
leaq 0x8(%rax), %rcx
movq %rcx, 0x60(%rdi)
movq (%rax), %rcx
leaq 0x10(%rax), %rdx
movq %rdx, 0x60(%rdi)
movq 0x8(%rax), %rdx
leaq 0x18(%rax), %rsi
movq %rsi, 0x60(%rdi)
movq 0x10(%rax), %rax
movq 0x120(%rcx), %rcx
movq %rax, (%rcx,%rdx)
movq 0x58(%rdi), %rax
leaq 0x8(%rax), %rcx
testq %rax, %rax
cmovneq %rcx, %rax
movq %rax, 0x58(%rdi)
retq
// File: /workspace/github_c_makefile_star2_O1/tabemann[P]attoforth/src/runtime/prim.c
// Function: af_prim_wt_fetch
void af_prim_wt_fetch(af_task_t* task) {
  af_cell_t offset;
  af_task_t* target_task;
  AF_VERIFY_DATA_STACK_READ(task, 2);
  offset = *(task->data_stack_current + 1);
  target_task = (af_task_t*)(*task->data_stack_current);
  *(++task->data_stack_current) =
    *(uint32_t*)(target_task->task_local_space_base + offset);
  AF_ADVANCE_IP(task, 1);
}

// Assembly:
movq 0x60(%rdi), %rax
leaq 0x8(%rax), %rcx
movq (%rax), %rdx
movq 0x8(%rax), %rsi
movq 0x120(%rdx), %rdx
movl (%rdx,%rsi), %edx
movq %rcx, 0x60(%rdi)
movq %rdx, 0x8(%rax)
movq 0x58(%rdi), %rax
leaq 0x8(%rax), %rcx
testq %rax, %rax
cmovneq %rcx, %rax
movq %rax, 0x58(%rdi)
retq
// File: /workspace/github_c_makefile_star2_O1/tabemann[P]attoforth/src/runtime/prim.c
// Function: af_prim_wt_store
void af_prim_wt_store(af_task_t* task) {
  af_cell_t value;
  af_cell_t offset;
  af_task_t* target_task;
  AF_VERIFY_DATA_STACK_READ(task, 3);
  target_task = (af_task_t*)(*task->data_stack_current++);
  offset = *task->data_stack_current++;
  value = *task->data_stack_current++;
  *(uint32_t*)(target_task->task_local_space_base + offset) =
    value & 0xFFFFFFFF;
  AF_ADVANCE_IP(task, 1);
}

// Assembly:
movq 0x60(%rdi), %rax
leaq 0x8(%rax), %rcx
movq %rcx, 0x60(%rdi)
movq (%rax), %rcx
leaq 0x10(%rax), %rdx
movq %rdx, 0x60(%rdi)
movq 0x8(%rax), %rdx
leaq 0x18(%rax), %rsi
movq %rsi, 0x60(%rdi)
movl 0x10(%rax), %eax
movq 0x120(%rcx), %rcx
movl %eax, (%rcx,%rdx)
movq 0x58(%rdi), %rax
leaq 0x8(%rax), %rcx
testq %rax, %rax
cmovneq %rcx, %rax
movq %rax, 0x58(%rdi)
retq
// File: /workspace/github_c_makefile_star2_O1/tabemann[P]attoforth/src/runtime/prim.c
// Function: af_prim_ht_fetch
void af_prim_ht_fetch(af_task_t* task) {
  af_cell_t offset;
  af_task_t* target_task;
  AF_VERIFY_DATA_STACK_READ(task, 2);
  offset = *(task->data_stack_current + 1);
  target_task = (af_task_t*)(*task->data_stack_current);
  *(++task->data_stack_current) =
    *(uint16_t*)(target_task->task_local_space_base + offset);
  AF_ADVANCE_IP(task, 1);
}

// Assembly:
movq 0x60(%rdi), %rax
leaq 0x8(%rax), %rcx
movq (%rax), %rdx
movq 0x8(%rax), %rsi
movq 0x120(%rdx), %rdx
movzwl (%rdx,%rsi), %edx
movq %rcx, 0x60(%rdi)
movq %rdx, 0x8(%rax)
movq 0x58(%rdi), %rax
leaq 0x8(%rax), %rcx
testq %rax, %rax
cmovneq %rcx, %rax
movq %rax, 0x58(%rdi)
retq
// File: /workspace/github_c_makefile_star2_O1/tabemann[P]attoforth/src/runtime/prim.c
// Function: af_prim_ht_store
void af_prim_ht_store(af_task_t* task) {
  af_cell_t value;
  af_cell_t offset;
  af_task_t* target_task;
  AF_VERIFY_DATA_STACK_READ(task, 3);
  target_task = (af_task_t*)(*task->data_stack_current++);
  offset = *task->data_stack_current++;
  value = *task->data_stack_current++;
  *(uint16_t*)(target_task->task_local_space_base + offset) =
    value & 0xFFFF;
  AF_ADVANCE_IP(task, 1);
}

// Assembly:
movq 0x60(%rdi), %rax
leaq 0x8(%rax), %rcx
movq %rcx, 0x60(%rdi)
movq (%rax), %rcx
leaq 0x10(%rax), %rdx
movq %rdx, 0x60(%rdi)
movq 0x8(%rax), %rdx
leaq 0x18(%rax), %rsi
movq %rsi, 0x60(%rdi)
movzwl 0x10(%rax), %eax
movq 0x120(%rcx), %rcx
movw %ax, (%rcx,%rdx)
movq 0x58(%rdi), %rax
leaq 0x8(%rax), %rcx
testq %rax, %rax
cmovneq %rcx, %rax
movq %rax, 0x58(%rdi)
retq
// File: /workspace/github_c_makefile_star2_O1/tabemann[P]attoforth/src/runtime/prim.c
// Function: af_prim_ct_fetch
void af_prim_ct_fetch(af_task_t* task) {
  af_cell_t offset;
  af_task_t* target_task;
  AF_VERIFY_DATA_STACK_READ(task, 2);
  offset = *(task->data_stack_current + 1);
  target_task = (af_task_t*)(*task->data_stack_current);
  *(++task->data_stack_current) =
    *(af_byte_t*)(target_task->task_local_space_base + offset);
  AF_ADVANCE_IP(task, 1);
}

// Assembly:
movq 0x60(%rdi), %rax
leaq 0x8(%rax), %rcx
movq (%rax), %rdx
movq 0x8(%rax), %rsi
movq 0x120(%rdx), %rdx
movzbl (%rdx,%rsi), %edx
movq %rcx, 0x60(%rdi)
movq %rdx, 0x8(%rax)
movq 0x58(%rdi), %rax
leaq 0x8(%rax), %rcx
testq %rax, %rax
cmovneq %rcx, %rax
movq %rax, 0x58(%rdi)
retq
// File: /workspace/github_c_makefile_star2_O1/tabemann[P]attoforth/src/runtime/prim.c
// Function: af_prim_ct_store
void af_prim_ct_store(af_task_t* task) {
  af_cell_t value;
  af_cell_t offset;
  af_task_t* target_task;
  AF_VERIFY_DATA_STACK_READ(task, 3);
  target_task = (af_task_t*)(*task->data_stack_current++);
  offset = *task->data_stack_current++;
  value = *task->data_stack_current++;
  *(af_byte_t*)(target_task->task_local_space_base + offset) = value & 0xFF;
  AF_ADVANCE_IP(task, 1);
}

// Assembly:
movq 0x60(%rdi), %rax
leaq 0x8(%rax), %rcx
movq %rcx, 0x60(%rdi)
movq (%rax), %rcx
leaq 0x10(%rax), %rdx
movq %rdx, 0x60(%rdi)
movq 0x8(%rax), %rdx
leaq 0x18(%rax), %rsi
movq %rsi, 0x60(%rdi)
movb 0x10(%rax), %al
movq 0x120(%rcx), %rcx
movb %al, (%rcx,%rdx)
movq 0x58(%rdi), %rax
leaq 0x8(%rax), %rcx
testq %rax, %rax
cmovneq %rcx, %rax
movq %rax, 0x58(%rdi)
retq
// File: /workspace/github_c_makefile_star2_O1/tabemann[P]attoforth/src/runtime/prim.c
// Function: af_prim_ft_fetch
void af_prim_ft_fetch(af_task_t* task) {
  af_cell_t offset;
  af_task_t* target_task;
  AF_VERIFY_DATA_STACK_READ(task, 2);
  AF_VERIFY_FLOAT_STACK_EXPAND(task, 1);
  target_task = (af_task_t*)(*task->data_stack_current++);
  offset = *(task->data_stack_current++);
  *(--task->float_stack_current) =
    *(af_float_t*)(target_task->task_local_space_base + offset);
  AF_ADVANCE_IP(task, 1);
}

// Assembly:
movq 0x60(%rdi), %rax
movq 0x68(%rdi), %rcx
leaq 0x8(%rax), %rdx
movq %rdx, 0x60(%rdi)
movq (%rax), %rdx
leaq 0x10(%rax), %rsi
movq %rsi, 0x60(%rdi)
movq 0x8(%rax), %rax
movq 0x120(%rdx), %rdx
movsd (%rdx,%rax), %xmm0
leaq -0x8(%rcx), %rax
movq %rax, 0x68(%rdi)
movsd %xmm0, -0x8(%rcx)
movq 0x58(%rdi), %rax
leaq 0x8(%rax), %rcx
testq %rax, %rax
cmovneq %rcx, %rax
movq %rax, 0x58(%rdi)
retq
// File: /workspace/github_c_makefile_star2_O1/tabemann[P]attoforth/src/runtime/prim.c
// Function: af_prim_ft_store
void af_prim_ft_store(af_task_t* task) {
  af_float_t value;
  af_cell_t offset;
  af_task_t* target_task;
  AF_VERIFY_DATA_STACK_READ(task, 2);
  AF_VERIFY_FLOAT_STACK_READ(task, 1);
  target_task = (af_task_t*)(*task->data_stack_current++);
  offset = *task->data_stack_current++;
  value = *task->float_stack_current++;
  *(af_float_t*)(target_task->task_local_space_base + offset) = value;
  AF_ADVANCE_IP(task, 1);
}

// Assembly:
movq 0x60(%rdi), %rax
movq 0x68(%rdi), %rcx
leaq 0x8(%rax), %rdx
movq %rdx, 0x60(%rdi)
movq (%rax), %rdx
leaq 0x10(%rax), %rsi
movq %rsi, 0x60(%rdi)
movq 0x8(%rax), %rax
leaq 0x8(%rcx), %rsi
movq %rsi, 0x68(%rdi)
movsd (%rcx), %xmm0
movq 0x120(%rdx), %rcx
movsd %xmm0, (%rcx,%rax)
movq 0x58(%rdi), %rax
leaq 0x8(%rax), %rcx
testq %rax, %rax
cmovneq %rcx, %rax
movq %rax, 0x58(%rdi)
retq
// File: /workspace/github_c_makefile_star2_O1/tabemann[P]attoforth/src/runtime/prim.c
// Function: af_prim_sft_store
void af_prim_sft_store(af_task_t* task) {
  af_float_t value;
  af_cell_t offset;
  af_task_t* target_task;
  AF_VERIFY_DATA_STACK_READ(task, 2);
  AF_VERIFY_FLOAT_STACK_READ(task, 1);
  target_task = (af_task_t*)(*task->data_stack_current++);
  offset = *task->data_stack_current++;
  value = *task->float_stack_current++;
  *(af_sfloat_t*)(target_task->task_local_space_base + offset) = value;
  AF_ADVANCE_IP(task, 1);
}

// Assembly:
movq 0x60(%rdi), %rax
movq 0x68(%rdi), %rcx
leaq 0x8(%rax), %rdx
movq %rdx, 0x60(%rdi)
movq (%rax), %rdx
leaq 0x10(%rax), %rsi
movq %rsi, 0x60(%rdi)
movq 0x8(%rax), %rax
leaq 0x8(%rcx), %rsi
movq %rsi, 0x68(%rdi)
cvtsd2ss (%rcx), %xmm0
movq 0x120(%rdx), %rcx
movss %xmm0, (%rcx,%rax)
movq 0x58(%rdi), %rax
leaq 0x8(%rax), %rcx
testq %rax, %rax
cmovneq %rcx, %rax
movq %rax, 0x58(%rdi)
retq
// File: /workspace/github_c_makefile_star2_O1/tabemann[P]attoforth/src/runtime/prim.c
// Function: af_prim_task_local
void af_prim_task_local(af_task_t* task) {
  af_global_t* global = task->global;
  void* default_data;
  af_cell_t size;
  af_cell_t allocated_size;
  af_task_t* current_task;
  AF_VERIFY_DATA_STACK_READ(task, 2);
  default_data = (void*)(*(task->data_stack_current + 1));
  size = *task->data_stack_current;
  allocated_size = global->task_local_space_size_allocated;
  if(allocated_size + size > global->task_local_space_size) {
    af_cell_t new_space_size = global->task_local_space_size * 2;
    current_task = global->first_task;
    if(new_space_size < allocated_size + size) {
      new_space_size = allocated_size + size;
    }
    global->default_task_local_space_base =
      realloc(global->default_task_local_space_base, new_space_size);
    while(current_task) {
      current_task->task_local_space_base =
	realloc(current_task->task_local_space_base, new_space_size);
      current_task = current_task->next_task;
    }
    global->task_local_space_size = new_space_size;
  }
  memcpy(global->default_task_local_space_base + allocated_size,
	 default_data, size);
  current_task = global->first_task;
  while(current_task) {
    memcpy(current_task->task_local_space_base + allocated_size,
	   default_data, size);
    current_task = current_task->next_task;
  }
  *(++task->data_stack_current) = allocated_size;
  global->task_local_space_size_allocated += size;
  AF_ADVANCE_IP(task, 1);
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
pushq %rax
movq (%rdi), %r13
movq %rdi, (%rsp)
movq 0x60(%rdi), %rax
movq (%rax), %r14
movq 0x8(%rax), %r15
movq 0x1d8(%r13), %r12
movq 0x1e0(%r13), %rbp
leaq (%r14,%rbp), %rax
cmpq %r12, %rax
jbe 0x8f93
addq %r12, %r12
movq (%r13), %rbx
movq 0x1e8(%r13), %rdi
cmpq %rax, %r12
cmovbeq %rax, %r12
movq %r12, %rsi
callq 0x2230
movq %rax, 0x1e8(%r13)
testq %rbx, %rbx
je 0x8f8c
movq 0x120(%rbx), %rdi
movq %r12, %rsi
callq 0x2230
movq %rax, 0x120(%rbx)
movq 0x8(%rbx), %rbx
jmp 0x8f6b
movq %r12, 0x1d8(%r13)
movq 0x1e8(%r13), %rdi
addq %rbp, %rdi
movq %r15, %rsi
movq %r14, %rdx
callq 0x21f0
movq (%r13), %rbx
testq %rbx, %rbx
je 0x8fcc
movq 0x120(%rbx), %rdi
addq %rbp, %rdi
movq %r15, %rsi
movq %r14, %rdx
callq 0x21f0
movq 0x8(%rbx), %rbx
jmp 0x8fac
movq (%rsp), %rdx
movq 0x60(%rdx), %rax
leaq 0x8(%rax), %rcx
movq %rcx, 0x60(%rdx)
movq %rbp, 0x8(%rax)
addq %r14, 0x1e0(%r13)
movq 0x58(%rdx), %rax
leaq 0x8(%rax), %rcx
testq %rax, %rax
cmovneq %rcx, %rax
movq %rax, 0x58(%rdx)
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
// File: /workspace/github_c_makefile_star2_O1/tabemann[P]attoforth/src/runtime/prim.c
// Function: af_prim_global_trace
void af_prim_global_trace(af_task_t* task) {
  af_global_t* global = task->global;
  AF_VERIFY_DATA_STACK_READ(task, 1);
  global->do_trace = (af_bool_t)(*(task->data_stack_current++));
  AF_ADVANCE_IP(task, 1);
}

// Assembly:
movq (%rdi), %rax
movq 0x60(%rdi), %rcx
leaq 0x8(%rcx), %rdx
movq %rdx, 0x60(%rdi)
movq (%rcx), %rcx
movq %rcx, 0x200(%rax)
movq 0x58(%rdi), %rax
leaq 0x8(%rax), %rcx
testq %rax, %rax
cmovneq %rcx, %rax
movq %rax, 0x58(%rdi)
retq
// File: /workspace/github_c_makefile_star2_O1/tabemann[P]attoforth/src/runtime/prim.c
// Function: af_prim_tick
void af_prim_tick(af_task_t* task) {
  af_global_t* global = task->global;
  af_byte_t* name;
  af_cell_t name_length;
  af_word_t* word;
  AF_VERIFY_DATA_STACK_EXPAND(task, 1);
  if(!af_parse_name_available(global, task)) {
    af_handle_word_expected(global, task);
    return;
  }
  name = af_parse_name(global, task, &name_length);

  if(!(word = af_lookup(global, task, name, name_length))) {
#ifdef DEBUG
    af_byte_t* buffer = malloc(name_length + 1);
    memcpy(buffer, name, name_length);
    buffer[name_length] = 0;
    fprintf(stderr, "Got name: \"%s\"\n", buffer);
    free(buffer);
#endif
    
    af_handle_word_not_found(global, task);
    return;
  }
  *(--task->data_stack_current) = (af_cell_t)word;
  AF_ADVANCE_IP(task, 1);
}

// Assembly:
pushq %r15
pushq %r14
pushq %rbx
subq $0x10, %rsp
movq %rdi, %rbx
movq (%rdi), %r14
movq %r14, %rdi
movq %rbx, %rsi
callq 0x3db7
testq %rax, %rax
je 0x9101
leaq 0x8(%rsp), %r15
movq %r14, %rdi
movq %rbx, %rsi
movq %r15, %rdx
callq 0x3e65
movq (%r15), %rcx
movq %r14, %rdi
movq %rbx, %rsi
movq %rax, %rdx
callq 0x383a
testq %rax, %rax
je 0x9115
movq 0x60(%rbx), %rcx
leaq -0x8(%rcx), %rdx
movq %rdx, 0x60(%rbx)
movq %rax, -0x8(%rcx)
movq 0x58(%rbx), %rax
leaq 0x8(%rax), %rcx
testq %rax, %rax
cmovneq %rcx, %rax
movq %rax, 0x58(%rbx)
jmp 0x9120
movq %r14, %rdi
movq %rbx, %rsi
addq $0x10, %rsp
popq %rbx
popq %r14
popq %r15
jmp 0x34f2
movq %r14, %rdi
movq %rbx, %rsi
callq 0x356a
addq $0x10, %rsp
popq %rbx
popq %r14
popq %r15
retq
// File: /workspace/github_c_makefile_star2_O1/tabemann[P]attoforth/src/runtime/prim.c
// Function: af_prim_bracket_tick
void af_prim_bracket_tick(af_task_t* task) {
  af_global_t* global = task->global;
  af_byte_t* name;
  af_cell_t name_length;
  af_word_t* word;
  af_compiled_t* code;
  AF_VERIFY_COMPILING(task);
  if(!af_parse_name_available(global, task)) {
    af_handle_word_expected(global, task);
    return;
  }
  if(!(code = af_allot(global, task, sizeof(af_compiled_t) * 2))) {
    return;
  }
  name = af_parse_name(global, task, &name_length);
  if(!(word = af_lookup(global, task, name, name_length))) {
#ifdef DEBUG
    af_byte_t* buffer = malloc(name_length + 1);
    memcpy(buffer, name, name_length);
    buffer[name_length] = 0;
    fprintf(stderr, "Got name: \"%s\"\n", buffer);
    free(buffer);
#endif

    af_handle_word_not_found(global, task);
    return;
  }
  code->compiled_call = global->builtin_literal_runtime;
  (code + 1)->compiled_cell = (af_cell_t)word;
  AF_ADVANCE_IP(task, 1);
}

// Assembly:
pushq %r15
pushq %r14
pushq %r12
pushq %rbx
pushq %rax
movq %rdi, %rbx
movq (%rdi), %r14
movq %r14, %rdi
movq %rbx, %rsi
callq 0x3db7
testq %rax, %rax
je 0x91ab
movl $0x10, %edx
movq %r14, %rdi
movq %rbx, %rsi
callq 0x3759
testq %rax, %rax
je 0x91cc
movq %rax, %r15
movq %rsp, %r12
movq %r14, %rdi
movq %rbx, %rsi
movq %r12, %rdx
callq 0x3e65
movq (%r12), %rcx
movq %r14, %rdi
movq %rbx, %rsi
movq %rax, %rdx
callq 0x383a
testq %rax, %rax
je 0x91c1
movq 0x180(%r14), %rcx
movq %rcx, (%r15)
movq %rax, 0x8(%r15)
movq 0x58(%rbx), %rax
leaq 0x8(%rax), %rcx
testq %rax, %rax
cmoveq %rax, %rcx
movq %rcx, 0x58(%rbx)
jmp 0x91cc
movq %r14, %rdi
movq %rbx, %rsi
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r14
popq %r15
jmp 0x34f2
movq %r14, %rdi
movq %rbx, %rsi
callq 0x356a
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r14
popq %r15
retq
// File: /workspace/github_c_makefile_star2_O1/tabemann[P]attoforth/src/runtime/prim.c
// Function: af_prim_to_data
void af_prim_to_data(af_task_t* task) {
  af_global_t* global = task->global;
  af_task_t* target_task;
  af_cell_t value;
  AF_VERIFY_DATA_STACK_READ(task, 2);
  target_task = (af_task_t*)(*task->data_stack_current++);
  value = *task->data_stack_current++;
  af_push_data(global, target_task, value);
  AF_ADVANCE_IP(task, 1);
}

// Assembly:
pushq %rbx
movq %rdi, %rbx
movq (%rdi), %rdi
movq 0x60(%rbx), %rax
leaq 0x8(%rax), %rcx
movq %rcx, 0x60(%rbx)
movq (%rax), %rsi
leaq 0x10(%rax), %rcx
movq %rcx, 0x60(%rbx)
movq 0x8(%rax), %rdx
callq 0x30f7
movq 0x58(%rbx), %rax
leaq 0x8(%rax), %rcx
testq %rax, %rax
cmovneq %rcx, %rax
movq %rax, 0x58(%rbx)
popq %rbx
retq
// File: /workspace/github_c_makefile_star2_O1/tabemann[P]attoforth/src/runtime/prim.c
// Function: af_prim_to_float
void af_prim_to_float(af_task_t* task) {
  af_global_t* global = task->global;
  af_task_t* target_task;
  af_float_t value;
  AF_VERIFY_DATA_STACK_READ(task, 1);
  AF_VERIFY_FLOAT_STACK_READ(task, 1);
  target_task = (af_task_t*)(*task->data_stack_current++);
  value = *task->float_stack_current++;
  af_push_float(global, target_task, value);
  AF_ADVANCE_IP(task, 1);
}

// Assembly:
pushq %rbx
movq %rdi, %rbx
movq (%rdi), %rdi
movq 0x60(%rbx), %rax
leaq 0x8(%rax), %rcx
movq %rcx, 0x60(%rbx)
movq (%rax), %rsi
movq 0x68(%rbx), %rax
leaq 0x8(%rax), %rcx
movq %rcx, 0x68(%rbx)
movsd (%rax), %xmm0
callq 0x3108
movq 0x58(%rbx), %rax
leaq 0x8(%rax), %rcx
testq %rax, %rax
cmovneq %rcx, %rax
movq %rax, 0x58(%rbx)
popq %rbx
retq
// File: /workspace/github_c_makefile_star2_O1/tabemann[P]attoforth/src/runtime/prim.c
// Function: af_prim_allocate
void af_prim_allocate(af_task_t* task) {
  void* data;
  AF_VERIFY_DATA_STACK_READ(task, 1);
  AF_VERIFY_DATA_STACK_EXPAND(task, 1);
  if(!(data = malloc((size_t)(*task->data_stack_current)))) {
    *task->data_stack_current = (af_cell_t)NULL;
    *(--task->data_stack_current) = 1;
    return;
  }
  *task->data_stack_current = (af_cell_t)data;
  *(--task->data_stack_current) = 0;
  AF_ADVANCE_IP(task, 1);
}

// Assembly:
pushq %r14
pushq %rbx
pushq %rax
movq %rdi, %rbx
movq 0x60(%rdi), %r14
movq (%r14), %rdi
callq 0x2220
testq %rax, %rax
je 0x953f
movq %rax, (%r14)
leaq -0x8(%r14), %rax
movq %rax, 0x60(%rbx)
movq $0x0, -0x8(%r14)
movq 0x58(%rbx), %rax
leaq 0x8(%rax), %rcx
testq %rax, %rax
cmovneq %rcx, %rax
movq %rax, 0x58(%rbx)
jmp 0x9556
movq $0x0, (%r14)
leaq -0x8(%r14), %rax
movq %rax, 0x60(%rbx)
movq $0x1, -0x8(%r14)
addq $0x8, %rsp
popq %rbx
popq %r14
retq
// File: /workspace/github_c_makefile_star2_O1/tabemann[P]attoforth/src/runtime/prim.c
// Function: af_prim_free
void af_prim_free(af_task_t* task) {
  AF_VERIFY_DATA_STACK_READ(task, 1);
  free((void*)(*task->data_stack_current));
  *task->data_stack_current = 0;
  AF_ADVANCE_IP(task, 1);
}

// Assembly:
pushq %rbx
movq %rdi, %rbx
movq 0x60(%rdi), %rax
movq (%rax), %rdi
callq 0x2050
movq 0x60(%rbx), %rax
movq $0x0, (%rax)
movq 0x58(%rbx), %rax
leaq 0x8(%rax), %rcx
testq %rax, %rax
cmoveq %rax, %rcx
movq %rcx, 0x58(%rbx)
popq %rbx
retq
// File: /workspace/github_c_makefile_star2_O1/tabemann[P]attoforth/src/runtime/prim.c
// Function: af_prim_resize
void af_prim_resize(af_task_t* task) {
  void* data;
  AF_VERIFY_DATA_STACK_READ(task, 2);
  if(!(data = realloc((void*)(*(task->data_stack_current + 1)),
		      (size_t)(*task->data_stack_current)))) {
    *(task->data_stack_current + 1) = (af_cell_t)NULL;
    *task->data_stack_current = 1;
    return;
  }
  *(task->data_stack_current + 1) = (af_cell_t)data;
  *task->data_stack_current = 0;
  AF_ADVANCE_IP(task, 1);
}

// Assembly:
pushq %rbx
movq %rdi, %rbx
movq 0x60(%rdi), %rax
movq (%rax), %rsi
movq 0x8(%rax), %rdi
callq 0x2230
testq %rax, %rax
je 0x95cb
movq 0x60(%rbx), %rcx
movq %rax, 0x8(%rcx)
movq $0x0, (%rcx)
movq 0x58(%rbx), %rax
leaq 0x8(%rax), %rcx
testq %rax, %rax
cmoveq %rax, %rcx
movq %rcx, 0x58(%rbx)
jmp 0x95de
movq 0x60(%rbx), %rax
movq $0x0, 0x8(%rax)
movq $0x1, (%rax)
popq %rbx
retq
// File: /workspace/github_c_makefile_star2_O1/tabemann[P]attoforth/src/runtime/prim.c
// Function: af_prim_allot
void af_prim_allot(af_task_t* task) {
  af_global_t* global = task->global;
  AF_VERIFY_DATA_STACK_READ(task, 1);
  if(!af_allot(global, task, (ssize_t)(*task->data_stack_current++))) {
    return;
  }
  AF_ADVANCE_IP(task, 1);
}

// Assembly:
pushq %rbx
movq %rdi, %rbx
movq (%rdi), %rdi
movq 0x60(%rbx), %rax
leaq 0x8(%rax), %rcx
movq %rcx, 0x60(%rbx)
movq (%rax), %rdx
movq %rbx, %rsi
callq 0x3759
testq %rax, %rax
je 0x9616
movq 0x58(%rbx), %rax
leaq 0x8(%rax), %rcx
testq %rax, %rax
cmoveq %rax, %rcx
movq %rcx, 0x58(%rbx)
popq %rbx
retq
// File: /workspace/github_c_makefile_star2_O1/tabemann[P]attoforth/src/runtime/prim.c
// Function: af_prim_word
void af_prim_word(af_task_t* task) {
  af_global_t* global = task->global;
  af_byte_t delimiter;
  af_byte_t* text;
  AF_VERIFY_DATA_STACK_READ(task, 1);
  delimiter = (af_byte_t)(*task->data_stack_current & 0xFF);
  text = af_word(global, task, delimiter);
  *task->data_stack_current = (af_cell_t)text;
  AF_ADVANCE_IP(task, 1);
}

// Assembly:
pushq %rbx
movq %rdi, %rbx
movq (%rdi), %rdi
movq 0x60(%rbx), %rax
movzbl (%rax), %edx
movq %rbx, %rsi
callq 0x3cff
movq 0x60(%rbx), %rcx
movq %rax, (%rcx)
movq 0x58(%rbx), %rax
leaq 0x8(%rax), %rcx
testq %rax, %rax
cmoveq %rax, %rcx
movq %rcx, 0x58(%rbx)
popq %rbx
retq
// File: /workspace/github_c_makefile_star2_O1/tabemann[P]attoforth/src/runtime/prim.c
// Function: af_prim_parse_name
void af_prim_parse_name(af_task_t* task) {
  af_global_t* global = task->global;
  af_byte_t* text;
  af_cell_t length;
  AF_VERIFY_DATA_STACK_EXPAND(task, 2);
  if(!af_parse_name_available(global, task)) {
    *(--task->data_stack_current) = (af_cell_t)NULL;
    *(--task->data_stack_current) = 0;
  } else {
    text = af_parse_name(global, task, &length);
    *(--task->data_stack_current) = (af_cell_t)text;
    *(--task->data_stack_current) = length;
  }
  AF_ADVANCE_IP(task, 1);
}

// Assembly:
pushq %r15
pushq %r14
pushq %rbx
subq $0x10, %rsp
movq %rdi, %rbx
movq (%rdi), %r14
movq %r14, %rdi
movq %rbx, %rsi
callq 0x3db7
testq %rax, %rax
je 0x9691
leaq 0x8(%rsp), %r15
movq %r14, %rdi
movq %rbx, %rsi
movq %r15, %rdx
callq 0x3e65
movq 0x60(%rbx), %rcx
leaq -0x8(%rcx), %rdx
movq %rdx, 0x60(%rbx)
movq %rax, -0x8(%rcx)
movq (%r15), %rax
jmp 0x96a7
movq 0x60(%rbx), %rcx
leaq -0x8(%rcx), %rax
movq %rax, 0x60(%rbx)
movq $0x0, -0x8(%rcx)
xorl %eax, %eax
leaq -0x10(%rcx), %rdx
movq %rdx, 0x60(%rbx)
movq %rax, -0x10(%rcx)
movq 0x58(%rbx), %rax
leaq 0x8(%rax), %rcx
testq %rax, %rax
cmovneq %rcx, %rax
movq %rax, 0x58(%rbx)
addq $0x10, %rsp
popq %rbx
popq %r14
popq %r15
retq
// File: /workspace/github_c_makefile_star2_O1/tabemann[P]attoforth/src/runtime/prim.c
// Function: af_prim_parse_number
void af_prim_parse_number(af_task_t* task) {
  af_global_t* global = task->global;
  af_byte_t* text;
  af_cell_t length;
  af_sign_cell_t result;
  af_bool_t success;
  AF_VERIFY_DATA_STACK_READ(task, 2);
  text = (af_byte_t*)(*(task->data_stack_current + 1));
  length = *task->data_stack_current;
  success = af_parse_number(global, task->base, text, length, &result);
  *(task->data_stack_current + 1) = (af_cell_t)result;
  *task->data_stack_current = (af_cell_t)success;
  AF_ADVANCE_IP(task, 1);
}

// Assembly:
pushq %r14
pushq %rbx
pushq %rax
movq %rdi, %rbx
movq (%rdi), %rdi
movq 0x60(%rbx), %rax
movq 0xf0(%rbx), %rsi
movq (%rax), %rcx
movq 0x8(%rax), %rdx
movq %rsp, %r14
movq %r14, %r8
callq 0x3892
movq (%r14), %rcx
movq 0x60(%rbx), %rdx
movq %rcx, 0x8(%rdx)
movq %rax, (%rdx)
movq 0x58(%rbx), %rax
leaq 0x8(%rax), %rcx
testq %rax, %rax
cmoveq %rax, %rcx
movq %rcx, 0x58(%rbx)
addq $0x8, %rsp
popq %rbx
popq %r14
retq
// File: /workspace/github_c_makefile_star2_O1/tabemann[P]attoforth/src/runtime/prim.c
// Function: af_prim_parse_2number
void af_prim_parse_2number(af_task_t* task) {
  af_global_t* global = task->global;
  af_byte_t* text;
  af_cell_t length;
  af_sign_2cell_t result;
  af_bool_t success;
  AF_VERIFY_DATA_STACK_READ(task, 2);
  AF_VERIFY_DATA_STACK_EXPAND(task, 1);
  text = (af_byte_t*)(*(task->data_stack_current + 1));
  length = *task->data_stack_current;
  success = af_parse_2number(global, task->base, text, length, &result);
  AF_STORE_2CELL(task, 0, result);
  *(--task->data_stack_current) = (af_cell_t)success;
  AF_ADVANCE_IP(task, 1);
}

// Assembly:
pushq %r14
pushq %rbx
subq $0x18, %rsp
movq %rdi, %rbx
movq (%rdi), %rdi
movq 0x60(%rbx), %rax
movq 0xf0(%rbx), %rsi
movq (%rax), %rcx
movq 0x8(%rax), %rdx
movq %rsp, %r14
movq %r14, %r8
callq 0x3ab9
movq (%r14), %rcx
movq 0x8(%r14), %rdx
movq 0x60(%rbx), %rsi
movq %rdx, (%rsi)
movq %rcx, 0x8(%rsi)
leaq -0x8(%rsi), %rcx
movq %rcx, 0x60(%rbx)
movq %rax, -0x8(%rsi)
movq 0x58(%rbx), %rax
leaq 0x8(%rax), %rcx
testq %rax, %rax
cmovneq %rcx, %rax
movq %rax, 0x58(%rbx)
addq $0x18, %rsp
popq %rbx
popq %r14
retq
// File: /workspace/github_c_makefile_star2_O1/tabemann[P]attoforth/src/runtime/prim.c
// Function: af_prim_parse_float
void af_prim_parse_float(af_task_t* task) {
  af_global_t* global = task->global;
  af_byte_t* text;
  af_cell_t length;
  af_float_t result;
  af_bool_t success;
  AF_VERIFY_DATA_STACK_READ(task, 2);
  AF_VERIFY_FLOAT_STACK_EXPAND(task, 1);
  text = (af_byte_t*)(*(task->data_stack_current + 1));
  length = *task->data_stack_current;
  success = af_parse_float(global, text, length, &result);
  *(--task->float_stack_current) = result;
  *(++task->data_stack_current) = (af_cell_t)success;
  AF_ADVANCE_IP(task, 1);
}

// Assembly:
pushq %r14
pushq %rbx
pushq %rax
movq %rdi, %rbx
movq (%rdi), %rdi
movq 0x60(%rbx), %rax
movq (%rax), %rdx
movq 0x8(%rax), %rsi
movq %rsp, %r14
movq %r14, %rcx
callq 0x39ef
movsd (%r14), %xmm0
movq 0x68(%rbx), %rcx
leaq -0x8(%rcx), %rdx
movq %rdx, 0x68(%rbx)
movsd %xmm0, -0x8(%rcx)
movq 0x60(%rbx), %rcx
leaq 0x8(%rcx), %rdx
movq %rdx, 0x60(%rbx)
movq %rax, 0x8(%rcx)
movq 0x58(%rbx), %rax
leaq 0x8(%rax), %rcx
testq %rax, %rax
cmovneq %rcx, %rax
movq %rax, 0x58(%rbx)
addq $0x8, %rsp
popq %rbx
popq %r14
retq
// File: /workspace/github_c_makefile_star2_O1/tabemann[P]attoforth/src/runtime/prim.c
// Function: af_prim_format_number
void af_prim_format_number(af_task_t* task) {
  af_byte_t buffer[64];
  af_byte_t* current = buffer + sizeof(buffer);
  af_cell_t length = 0;
  af_cell_t value;
  af_bool_t negative = FALSE;
  AF_VERIFY_DATA_STACK_READ(task, 1);
  AF_VERIFY_DATA_STACK_EXPAND(task, 1);
  value = *task->data_stack_current;
  if(value == 0) {
    *(--current) = '0';
    length++;
  } else if(task->base == 10) {
    af_sign_cell_t signed_value = (af_sign_cell_t)value;
    if(signed_value < 0) {
      negative = TRUE;
      value = (af_cell_t)(-signed_value);
    }
    while(value > 0) {
      af_byte_t part = value % 10;
      part += '0';
      value /= 10;
      *(--current) = part;
      length++;
    }
    if(negative) {
      *(--current) = '-';
      length++;
    }
  } else if(task->base >= 2 && task->base <= 36) {
    while(value > 0) {
      af_byte_t part = value % task->base;
      if(part < 10) {
	part += '0';
      } else {
	part += 'A' - 10;
      }
      value /= task->base;
      *(--current) = part;
      length++;
    }
  }
  memcpy(task->data_space_current, current, length);
  *task->data_stack_current = (af_cell_t)task->data_space_current;
  *(--task->data_stack_current) = length;
  AF_ADVANCE_IP(task, 1);
}

// Assembly:
pushq %r14
pushq %rbx
subq $0x48, %rsp
movq %rdi, %rbx
movq 0x60(%rdi), %rax
movq (%rax), %rcx
testq %rcx, %rcx
je 0x985f
movq 0xf0(%rbx), %rdi
cmpq $0xa, %rdi
jne 0x986f
movq %rcx, %rdi
negq %rdi
cmovsq %rcx, %rdi
movl $0x1, %r14d
leaq 0x3f(%rsp), %rsi
movabsq $-0x3333333333333333, %r8 # imm = 0xCCCCCCCCCCCCCCCD
movq %rdi, %rax
mulq %r8
shrq $0x3, %rdx
leal (%rdx,%rdx), %eax
leal (%rax,%rax,4), %eax
movl %edi, %r9d
subl %eax, %r9d
orb $0x30, %r9b
movb %r9b, (%rsi)
decq %rsi
incq %r14
cmpq $0x9, %rdi
movq %rdx, %rdi
ja 0x9826
testq %rcx, %rcx
js 0x98c1
incq %rsi
decq %r14
jmp 0x98c4
leaq 0x3f(%rsp), %rsi
movb $0x30, (%rsi)
movl $0x1, %r14d
jmp 0x98c4
leaq 0x40(%rsp), %rsi
leaq -0x2(%rdi), %rax
xorl %r14d, %r14d
cmpq $0x22, %rax
ja 0x98c4
movq %rcx, %rax
xorl %edx, %edx
divq %rdi
movl %edx, %r8d
andl $0x3e, %r8d
movl %edx, %r9d
orb $0x30, %r9b
addb $0x37, %dl
cmpl $0xa, %r8d
movzbl %r9b, %r8d
movzbl %dl, %edx
cmovbl %r8d, %edx
movb %dl, 0x3f(%rsp,%r14)
decq %r14
cmpq %rcx, %rdi
movq %rax, %rcx
jbe 0x9881
addq %r14, %rsi
negq %r14
jmp 0x98c4
movb $0x2d, (%rsi)
movq 0xc8(%rbx), %rdi
movq %r14, %rdx
callq 0x21f0
movq 0x60(%rbx), %rax
movq 0xc8(%rbx), %rcx
movq %rcx, (%rax)
leaq -0x8(%rax), %rcx
movq %rcx, 0x60(%rbx)
movq %r14, -0x8(%rax)
movq 0x58(%rbx), %rax
leaq 0x8(%rax), %rcx
testq %rax, %rax
cmovneq %rcx, %rax
movq %rax, 0x58(%rbx)
addq $0x48, %rsp
popq %rbx
popq %r14
retq
// File: /workspace/github_c_makefile_star2_O1/tabemann[P]attoforth/src/runtime/prim.c
// Function: af_prim_format_unsigned_number
void af_prim_format_unsigned_number(af_task_t* task) {
  af_byte_t buffer[64];
  af_byte_t* current = buffer + sizeof(buffer);
  af_cell_t length = 0;
  af_cell_t value;
  af_bool_t negative = FALSE;
  AF_VERIFY_DATA_STACK_READ(task, 1);
  AF_VERIFY_DATA_STACK_EXPAND(task, 1);
  value = *task->data_stack_current;
  if(value == 0) {
    *(--current) = '0';
    length++;
  } else if(task->base >= 2 && task->base <= 36) {
    while(value > 0) {
      af_byte_t part = value % task->base;
      if(part < 10) {
	part += '0';
      } else {
	part += 'A' - 10;
      }
      value /= task->base;
      *(--current) = part;
      length++;
    }
  }
  memcpy(task->data_space_current, current, length);
  *task->data_stack_current = (af_cell_t)task->data_space_current;
  *(--task->data_stack_current) = length;
  AF_ADVANCE_IP(task, 1);
}

// Assembly:
pushq %r14
pushq %rbx
subq $0x48, %rsp
movq %rdi, %rbx
movq 0x60(%rdi), %rax
movq (%rax), %rcx
testq %rcx, %rcx
je 0x9977
leaq 0x40(%rsp), %rsi
movq 0xf0(%rbx), %rdi
leaq -0x2(%rdi), %rax
xorl %r14d, %r14d
cmpq $0x22, %rax
ja 0x9985
movq %rcx, %rax
xorl %edx, %edx
divq %rdi
movl %edx, %r8d
andl $0x3e, %r8d
movl %edx, %r9d
orb $0x30, %r9b
addb $0x37, %dl
cmpl $0xa, %r8d
movzbl %r9b, %r8d
movzbl %dl, %edx
cmovbl %r8d, %edx
movb %dl, 0x3f(%rsp,%r14)
decq %r14
cmpq %rcx, %rdi
movq %rax, %rcx
jbe 0x9937
addq %r14, %rsi
negq %r14
jmp 0x9985
leaq 0x3f(%rsp), %rsi
movb $0x30, (%rsi)
movl $0x1, %r14d
movq 0xc8(%rbx), %rdi
movq %r14, %rdx
callq 0x21f0
movq 0x60(%rbx), %rax
movq 0xc8(%rbx), %rcx
movq %rcx, (%rax)
leaq -0x8(%rax), %rcx
movq %rcx, 0x60(%rbx)
movq %r14, -0x8(%rax)
movq 0x58(%rbx), %rax
leaq 0x8(%rax), %rcx
testq %rax, %rax
cmovneq %rcx, %rax
movq %rax, 0x58(%rbx)
addq $0x48, %rsp
popq %rbx
popq %r14
retq
// File: /workspace/github_c_makefile_star2_O1/tabemann[P]attoforth/src/runtime/prim.c
// Function: af_prim_format_2number
void af_prim_format_2number(af_task_t* task) {
  af_byte_t buffer[128];
  af_byte_t* current = buffer + sizeof(buffer);
  af_cell_t length = 0;
  af_2cell_t value;
  af_bool_t negative = FALSE;
  AF_VERIFY_DATA_STACK_READ(task, 2);
  AF_LOAD_2CELL(task, 0, value);
  if(value == 0) {
    *(--current) = '0';
    length++;
  } else if(task->base == 10) {
    af_sign_2cell_t signed_value = (af_sign_2cell_t)value;
    if(signed_value < 0) {
      negative = TRUE;
      value = (af_2cell_t)(-signed_value);
    }
    while(value > 0) {
      af_byte_t part = value % 10;
      part += '0';
      value /= 10;
      *(--current) = part;
      length++;
    }
    if(negative) {
      *(--current) = '-';
      length++;
    }
  } else if(task->base >= 2 && task->base <= 36) {
    while(value > 0) {
      af_byte_t part = value % task->base;
      if(part < 10) {
	part += '0';
      } else {
	part += 'A' - 10;
      }
      value /= task->base;
      *(--current) = part;
      length++;
    }
  }
  memcpy(task->data_space_current, current, length);
  *(task->data_stack_current + 1) = (af_cell_t)task->data_space_current;
  *task->data_stack_current = length;
  AF_ADVANCE_IP(task, 1);
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x98, %rsp
movq %rdi, %r13
movq 0x60(%rdi), %rax
movq (%rax), %r12
movq 0x8(%rax), %rbx
movq %rbx, %rax
orq %r12, %rax
je 0x9a88
movq 0xf0(%r13), %rbp
cmpq $0xa, %rbp
jne 0x9a9c
movq %r13, 0x8(%rsp)
xorl %ebp, %ebp
movq %rbx, %r13
negq %r13
sbbq %r12, %rbp
testq %r12, %r12
cmovnsq %r12, %rbp
cmovnsq %rbx, %r13
movl $0x1, %r15d
leaq 0x8f(%rsp), %r14
movl $0x9, %ebx
movl $0xa, %edx
movq %r13, %rdi
movq %rbp, %rsi
xorl %ecx, %ecx
callq 0xd870
movq %rax, %rcx
addq %rax, %rcx
leaq (%rcx,%rcx,4), %rcx
movl %r13d, %esi
subl %ecx, %esi
orb $0x30, %sil
movb %sil, (%r14)
decq %r14
incq %r15
cmpq %r13, %rbx
movl $0x0, %ecx
sbbq %rbp, %rcx
movq %rax, %r13
movq %rdx, %rbp
jb 0x9a33
testq %r12, %r12
js 0x9b0d
incq %r14
decq %r15
jmp 0x9b11
leaq 0x8f(%rsp), %r14
movb $0x30, (%r14)
movl $0x1, %r15d
jmp 0x9b16
leaq 0x90(%rsp), %r14
leaq -0x2(%rbp), %rax
xorl %r15d, %r15d
cmpq $0x22, %rax
ja 0x9b16
movq %rbx, %rdi
movq %r12, %rsi
movq %rbp, %rdx
xorl %ecx, %ecx
callq 0xd870
movq %rax, %rcx
imulq %rbp, %rcx
movq %rbx, %rsi
subq %rcx, %rsi
movl %esi, %ecx
andl $0x3e, %ecx
movl %esi, %edi
orb $0x30, %dil
addb $0x37, %sil
cmpl $0xa, %ecx
movzbl %dil, %ecx
movzbl %sil, %esi
cmovbl %ecx, %esi
movb %sil, 0x8f(%rsp,%r15)
decq %r15
cmpq %rbp, %rbx
sbbq $0x0, %r12
movq %rax, %rbx
movq %rdx, %r12
jae 0x9ab1
addq %r15, %r14
negq %r15
jmp 0x9b16
movb $0x2d, (%r14)
movq 0x8(%rsp), %r13
movq 0xc8(%r13), %rdi
movq %r14, %rsi
movq %r15, %rdx
callq 0x21f0
movq 0x60(%r13), %rax
movq 0xc8(%r13), %rcx
movq %rcx, 0x8(%rax)
movq %r15, (%rax)
movq 0x58(%r13), %rax
leaq 0x8(%rax), %rcx
testq %rax, %rax
cmoveq %rax, %rcx
movq %rcx, 0x58(%r13)
addq $0x98, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq