LLM4Binary/decompile-bench-makefile huggingface dataset:
// File: /workspace/github_c_makefile_star2_O0/mirth-lang[P]mirth/bin/mirth1.c
// Function: mtp_mirth_type_CType_Void
static STR* mtp_mirth_type_CType_Void (struct mirth_type_CType in_CType_1) {
	struct mirth_type_CType_Void v3 = *in_CType_1.ptr.Void;
	if (!--(in_CType_1.ptr.Void->refs)) {
		free(in_CType_1.ptr.Void);
	} else {
		incref(MKSTR(v3.mStr));
	}
	return v3.mStr;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x60, %rsp
movl %edi, -0x10(%rbp)
movq %rsi, -0x8(%rbp)
movq -0x8(%rbp), %rax
movq (%rax), %rcx
movq %rcx, -0x20(%rbp)
movq 0x8(%rax), %rax
movq %rax, -0x18(%rbp)
movq -0x8(%rbp), %rcx
movl (%rcx), %eax
addl $-0x1, %eax
movl %eax, (%rcx)
cmpl $0x0, %eax
jne 0x16ce30
movq -0x8(%rbp), %rdi
callq 0x5030
jmp 0x16ced7
jmp 0x16ce32
movq -0x18(%rbp), %rax
movq %rax, -0x30(%rbp)
leaq 0x224317(%rip), %rax    # 0x391158
orq $0x1, %rax
movq %rax, -0x28(%rbp)
movq -0x28(%rbp), %rax
andq $0x1, %rax
cmpq $0x0, %rax
je 0x16ced3
movq -0x18(%rbp), %rax
movq %rax, -0x40(%rbp)
leaq 0x2242f2(%rip), %rax    # 0x391158
orq $0x1, %rax
movq %rax, -0x38(%rbp)
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0x40(%rbp), %rax
cmpq $0x0, %rax
je 0x16ced3
movq -0x18(%rbp), %rax
movq %rax, -0x50(%rbp)
leaq 0x2242c7(%rip), %rax    # 0x391158
orq $0x1, %rax
movq %rax, -0x48(%rbp)
movq -0x50(%rbp), %rax
andq $0x3, %rax
cmpq $0x0, %rax
jne 0x16ced3
movq -0x18(%rbp), %rax
movq %rax, -0x60(%rbp)
leaq 0x2242a2(%rip), %rax    # 0x391158
orq $0x1, %rax
movq %rax, -0x58(%rbp)
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0x60(%rbp), %rax
movl (%rax), %ecx
addl $0x1, %ecx
movl %ecx, (%rax)
jmp 0x16ced5
jmp 0x16ced7
movq -0x18(%rbp), %rax
addq $0x60, %rsp
popq %rbp
retq
nopw %cs:(%rax,%rax)
// File: /workspace/github_c_makefile_star2_O0/mirth-lang[P]mirth/bin/mirth1.c
// Function: mirth_type_CTypeStack_free
static void mirth_type_CTypeStack_free (VAL vself) {
	ASSERT(vself.tag == TAG_mirth_type_CTypeStack);
	struct mirth_type_CTypeStack* self = vself.data.ptr;
	decref(MK_std_maybe_Maybe_1(self->mbasezy));
	decref(MK_std_list_List_1(self->mparts));
	free(self);
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0xc0, %rsp
movq %rdi, -0x10(%rbp)
movq %rsi, -0x8(%rbp)
movq -0x8(%rbp), %rax
leaq 0x224e92(%rip), %rcx    # 0x392a60
orq $0x1, %rcx
cmpq %rcx, %rax
je 0x16dc01
movl $0x2, %edi
leaq 0x1ecde6(%rip), %rsi    # 0x35a9c9
movl $0x54, %edx
callq 0x5060
callq 0x5310
callq 0x53b0
movl $0x1, %edi
callq 0x5130
jmp 0x16dc03
movq -0x10(%rbp), %rax
movq %rax, -0x18(%rbp)
movq -0x18(%rbp), %rax
movl 0x8(%rax), %edi
movq 0x10(%rax), %rsi
callq 0x133a0
movq %rax, -0x28(%rbp)
movq %rdx, -0x20(%rbp)
movq -0x20(%rbp), %rax
andq $0x1, %rax
cmpq $0x0, %rax
je 0x16dce0
movq -0x18(%rbp), %rax
movl 0x8(%rax), %edi
movq 0x10(%rax), %rsi
callq 0x133a0
movq %rax, -0x38(%rbp)
movq %rdx, -0x30(%rbp)
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0x38(%rbp), %rax
cmpq $0x0, %rax
je 0x16dce0
movq -0x18(%rbp), %rax
movl 0x8(%rax), %edi
movq 0x10(%rax), %rsi
callq 0x133a0
movq %rax, -0x48(%rbp)
movq %rdx, -0x40(%rbp)
movq -0x48(%rbp), %rax
andq $0x3, %rax
cmpq $0x0, %rax
jne 0x16dce0
movq -0x18(%rbp), %rax
movl 0x8(%rax), %edi
movq 0x10(%rax), %rsi
callq 0x133a0
movq %rax, -0x58(%rbp)
movq %rdx, -0x50(%rbp)
movabsq $0xfffffffffffc, %rcx   # imm = 0xFFFFFFFFFFFC
andq -0x58(%rbp), %rcx
movl (%rcx), %eax
addl $-0x1, %eax
movl %eax, (%rcx)
cmpl $0x0, %eax
jne 0x16dcde
movq -0x18(%rbp), %rax
movl 0x8(%rax), %edi
movq 0x10(%rax), %rsi
callq 0x133a0
movq %rax, -0x68(%rbp)
movq %rdx, -0x60(%rbp)
movq -0x68(%rbp), %rdi
movq -0x60(%rbp), %rsi
callq 0x127c0
jmp 0x16dce0
jmp 0x16dce2
jmp 0x16dce4
movq -0x18(%rbp), %rax
movl 0x18(%rax), %edi
movq 0x20(%rax), %rsi
callq 0x12780
movq %rax, -0x78(%rbp)
movq %rdx, -0x70(%rbp)
movq -0x70(%rbp), %rax
andq $0x1, %rax
cmpq $0x0, %rax
je 0x16dde1
movq -0x18(%rbp), %rax
movl 0x18(%rax), %edi
movq 0x20(%rax), %rsi
callq 0x12780
movq %rax, -0x88(%rbp)
movq %rdx, -0x80(%rbp)
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0x88(%rbp), %rax
cmpq $0x0, %rax
je 0x16dde1
movq -0x18(%rbp), %rax
movl 0x18(%rax), %edi
movq 0x20(%rax), %rsi
callq 0x12780
movq %rax, -0x98(%rbp)
movq %rdx, -0x90(%rbp)
movq -0x98(%rbp), %rax
andq $0x3, %rax
cmpq $0x0, %rax
jne 0x16dde1
movq -0x18(%rbp), %rax
movl 0x18(%rax), %edi
movq 0x20(%rax), %rsi
callq 0x12780
movq %rax, -0xa8(%rbp)
movq %rdx, -0xa0(%rbp)
movabsq $0xfffffffffffc, %rcx   # imm = 0xFFFFFFFFFFFC
andq -0xa8(%rbp), %rcx
movl (%rcx), %eax
addl $-0x1, %eax
movl %eax, (%rcx)
cmpl $0x0, %eax
jne 0x16dddf
movq -0x18(%rbp), %rax
movl 0x18(%rax), %edi
movq 0x20(%rax), %rsi
callq 0x12780
movq %rax, -0xb8(%rbp)
movq %rdx, -0xb0(%rbp)
movq -0xb8(%rbp), %rdi
movq -0xb0(%rbp), %rsi
callq 0x127c0
jmp 0x16dde1
jmp 0x16dde3
movq -0x18(%rbp), %rdi
callq 0x5030
addq $0xc0, %rsp
popq %rbp
retq
nopw %cs:(%rax,%rax)
// File: /workspace/github_c_makefile_star2_O0/mirth-lang[P]mirth/bin/mirth1.c
// Function: mtp_mirth_type_CTypeStackPart_Cons
static struct mirth_type_CType mtp_mirth_type_CTypeStackPart_Cons (struct mirth_type_CTypeStackPart in_CTypeStackPart_1) {
	struct mirth_type_CTypeStackPart_Cons v3 = *in_CTypeStackPart_1.ptr.Cons;
	if (!--(in_CTypeStackPart_1.ptr.Cons->refs)) {
		free(in_CTypeStackPart_1.ptr.Cons);
	} else {
		incref(MK_mirth_type_CType(v3.mCType));
	}
	return v3.mCType;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x80, %rsp
movl %edi, -0x20(%rbp)
movq %rsi, -0x18(%rbp)
movq -0x18(%rbp), %rax
movq (%rax), %rcx
movq %rcx, -0x38(%rbp)
movq 0x8(%rax), %rcx
movq %rcx, -0x30(%rbp)
movq 0x10(%rax), %rax
movq %rax, -0x28(%rbp)
movq -0x18(%rbp), %rcx
movl (%rcx), %eax
addl $-0x1, %eax
movl %eax, (%rcx)
cmpl $0x0, %eax
jne 0x16df3b
movq -0x18(%rbp), %rdi
callq 0x5030
jmp 0x16dfd6
jmp 0x16df3d
movl -0x30(%rbp), %edi
movq -0x28(%rbp), %rsi
callq 0x720b0
movq %rax, -0x48(%rbp)
movq %rdx, -0x40(%rbp)
movq -0x40(%rbp), %rax
andq $0x1, %rax
cmpq $0x0, %rax
je 0x16dfd2
movl -0x30(%rbp), %edi
movq -0x28(%rbp), %rsi
callq 0x720b0
movq %rax, -0x58(%rbp)
movq %rdx, -0x50(%rbp)
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0x58(%rbp), %rax
cmpq $0x0, %rax
je 0x16dfd2
movl -0x30(%rbp), %edi
movq -0x28(%rbp), %rsi
callq 0x720b0
movq %rax, -0x68(%rbp)
movq %rdx, -0x60(%rbp)
movq -0x68(%rbp), %rax
andq $0x3, %rax
cmpq $0x0, %rax
jne 0x16dfd2
movl -0x30(%rbp), %edi
movq -0x28(%rbp), %rsi
callq 0x720b0
movq %rax, -0x78(%rbp)
movq %rdx, -0x70(%rbp)
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0x78(%rbp), %rax
movl (%rax), %ecx
addl $0x1, %ecx
movl %ecx, (%rax)
jmp 0x16dfd4
jmp 0x16dfd6
movups -0x30(%rbp), %xmm0
movaps %xmm0, -0x10(%rbp)
movl -0x10(%rbp), %eax
movq -0x8(%rbp), %rdx
addq $0x80, %rsp
popq %rbp
retq
nop
// File: /workspace/github_c_makefile_star2_O0/mirth-lang[P]mirth/bin/mirth1.c
// Function: mtp_mirth_type_CTypeStackPart_ConsLabel
static struct mirth_type_CType mtp_mirth_type_CTypeStackPart_ConsLabel (struct mirth_type_CTypeStackPart in_CTypeStackPart_1, uint64_t *out_Label_3) {
	struct mirth_type_CTypeStackPart_ConsLabel v4 = *in_CTypeStackPart_1.ptr.ConsLabel;
	if (!--(in_CTypeStackPart_1.ptr.ConsLabel->refs)) {
		free(in_CTypeStackPart_1.ptr.ConsLabel);
	} else {
		incref(MK_mirth_type_CType(v4.mCType));
	}
	*out_Label_3 = v4.mLabel;
	return v4.mCType;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x90, %rsp
movl %edi, -0x20(%rbp)
movq %rsi, -0x18(%rbp)
movq %rdx, -0x28(%rbp)
movq -0x18(%rbp), %rax
movq (%rax), %rcx
movq %rcx, -0x48(%rbp)
movq 0x8(%rax), %rcx
movq %rcx, -0x40(%rbp)
movq 0x10(%rax), %rcx
movq %rcx, -0x38(%rbp)
movq 0x18(%rax), %rax
movq %rax, -0x30(%rbp)
movq -0x18(%rbp), %rcx
movl (%rcx), %eax
addl $-0x1, %eax
movl %eax, (%rcx)
cmpl $0x0, %eax
jne 0x16e047
movq -0x18(%rbp), %rdi
callq 0x5030
jmp 0x16e0e8
jmp 0x16e049
movl -0x40(%rbp), %edi
movq -0x38(%rbp), %rsi
callq 0x720b0
movq %rax, -0x58(%rbp)
movq %rdx, -0x50(%rbp)
movq -0x50(%rbp), %rax
andq $0x1, %rax
cmpq $0x0, %rax
je 0x16e0e4
movl -0x40(%rbp), %edi
movq -0x38(%rbp), %rsi
callq 0x720b0
movq %rax, -0x68(%rbp)
movq %rdx, -0x60(%rbp)
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0x68(%rbp), %rax
cmpq $0x0, %rax
je 0x16e0e4
movl -0x40(%rbp), %edi
movq -0x38(%rbp), %rsi
callq 0x720b0
movq %rax, -0x78(%rbp)
movq %rdx, -0x70(%rbp)
movq -0x78(%rbp), %rax
andq $0x3, %rax
cmpq $0x0, %rax
jne 0x16e0e4
movl -0x40(%rbp), %edi
movq -0x38(%rbp), %rsi
callq 0x720b0
movq %rax, -0x88(%rbp)
movq %rdx, -0x80(%rbp)
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0x88(%rbp), %rax
movl (%rax), %ecx
addl $0x1, %ecx
movl %ecx, (%rax)
jmp 0x16e0e6
jmp 0x16e0e8
movq -0x30(%rbp), %rcx
movq -0x28(%rbp), %rax
movq %rcx, (%rax)
movups -0x40(%rbp), %xmm0
movaps %xmm0, -0x10(%rbp)
movl -0x10(%rbp), %eax
movq -0x8(%rbp), %rdx
addq $0x90, %rsp
popq %rbp
retq
nopl (%rax,%rax)
// File: /workspace/github_c_makefile_star2_O0/mirth-lang[P]mirth/bin/mirth1.c
// Function: mtp_mirth_type_CTypeStackPart_With
static struct mirth_type_CType mtp_mirth_type_CTypeStackPart_With (struct mirth_type_CTypeStackPart in_CTypeStackPart_1) {
	struct mirth_type_CTypeStackPart_With v3 = *in_CTypeStackPart_1.ptr.With;
	if (!--(in_CTypeStackPart_1.ptr.With->refs)) {
		free(in_CTypeStackPart_1.ptr.With);
	} else {
		incref(MK_mirth_type_CType(v3.mCType));
	}
	return v3.mCType;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x80, %rsp
movl %edi, -0x20(%rbp)
movq %rsi, -0x18(%rbp)
movq -0x18(%rbp), %rax
movq (%rax), %rcx
movq %rcx, -0x38(%rbp)
movq 0x8(%rax), %rcx
movq %rcx, -0x30(%rbp)
movq 0x10(%rax), %rax
movq %rax, -0x28(%rbp)
movq -0x18(%rbp), %rcx
movl (%rcx), %eax
addl $-0x1, %eax
movl %eax, (%rcx)
cmpl $0x0, %eax
jne 0x16e15b
movq -0x18(%rbp), %rdi
callq 0x5030
jmp 0x16e1f6
jmp 0x16e15d
movl -0x30(%rbp), %edi
movq -0x28(%rbp), %rsi
callq 0x720b0
movq %rax, -0x48(%rbp)
movq %rdx, -0x40(%rbp)
movq -0x40(%rbp), %rax
andq $0x1, %rax
cmpq $0x0, %rax
je 0x16e1f2
movl -0x30(%rbp), %edi
movq -0x28(%rbp), %rsi
callq 0x720b0
movq %rax, -0x58(%rbp)
movq %rdx, -0x50(%rbp)
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0x58(%rbp), %rax
cmpq $0x0, %rax
je 0x16e1f2
movl -0x30(%rbp), %edi
movq -0x28(%rbp), %rsi
callq 0x720b0
movq %rax, -0x68(%rbp)
movq %rdx, -0x60(%rbp)
movq -0x68(%rbp), %rax
andq $0x3, %rax
cmpq $0x0, %rax
jne 0x16e1f2
movl -0x30(%rbp), %edi
movq -0x28(%rbp), %rsi
callq 0x720b0
movq %rax, -0x78(%rbp)
movq %rdx, -0x70(%rbp)
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0x78(%rbp), %rax
movl (%rax), %ecx
addl $0x1, %ecx
movl %ecx, (%rax)
jmp 0x16e1f4
jmp 0x16e1f6
movups -0x30(%rbp), %xmm0
movaps %xmm0, -0x10(%rbp)
movl -0x10(%rbp), %eax
movq -0x8(%rbp), %rdx
addq $0x80, %rsp
popq %rbp
retq
nop
// File: /workspace/github_c_makefile_star2_O0/mirth-lang[P]mirth/bin/mirth1.c
// Function: mtp_mirth_type_CTypeStackPart_WithLabel
static struct mirth_type_CType mtp_mirth_type_CTypeStackPart_WithLabel (struct mirth_type_CTypeStackPart in_CTypeStackPart_1, uint64_t *out_Label_3) {
	struct mirth_type_CTypeStackPart_WithLabel v4 = *in_CTypeStackPart_1.ptr.WithLabel;
	if (!--(in_CTypeStackPart_1.ptr.WithLabel->refs)) {
		free(in_CTypeStackPart_1.ptr.WithLabel);
	} else {
		incref(MK_mirth_type_CType(v4.mCType));
	}
	*out_Label_3 = v4.mLabel;
	return v4.mCType;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x90, %rsp
movl %edi, -0x20(%rbp)
movq %rsi, -0x18(%rbp)
movq %rdx, -0x28(%rbp)
movq -0x18(%rbp), %rax
movq (%rax), %rcx
movq %rcx, -0x48(%rbp)
movq 0x8(%rax), %rcx
movq %rcx, -0x40(%rbp)
movq 0x10(%rax), %rcx
movq %rcx, -0x38(%rbp)
movq 0x18(%rax), %rax
movq %rax, -0x30(%rbp)
movq -0x18(%rbp), %rcx
movl (%rcx), %eax
addl $-0x1, %eax
movl %eax, (%rcx)
cmpl $0x0, %eax
jne 0x16e267
movq -0x18(%rbp), %rdi
callq 0x5030
jmp 0x16e308
jmp 0x16e269
movl -0x40(%rbp), %edi
movq -0x38(%rbp), %rsi
callq 0x720b0
movq %rax, -0x58(%rbp)
movq %rdx, -0x50(%rbp)
movq -0x50(%rbp), %rax
andq $0x1, %rax
cmpq $0x0, %rax
je 0x16e304
movl -0x40(%rbp), %edi
movq -0x38(%rbp), %rsi
callq 0x720b0
movq %rax, -0x68(%rbp)
movq %rdx, -0x60(%rbp)
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0x68(%rbp), %rax
cmpq $0x0, %rax
je 0x16e304
movl -0x40(%rbp), %edi
movq -0x38(%rbp), %rsi
callq 0x720b0
movq %rax, -0x78(%rbp)
movq %rdx, -0x70(%rbp)
movq -0x78(%rbp), %rax
andq $0x3, %rax
cmpq $0x0, %rax
jne 0x16e304
movl -0x40(%rbp), %edi
movq -0x38(%rbp), %rsi
callq 0x720b0
movq %rax, -0x88(%rbp)
movq %rdx, -0x80(%rbp)
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0x88(%rbp), %rax
movl (%rax), %ecx
addl $0x1, %ecx
movl %ecx, (%rax)
jmp 0x16e306
jmp 0x16e308
movq -0x30(%rbp), %rcx
movq -0x28(%rbp), %rax
movq %rcx, (%rax)
movups -0x40(%rbp), %xmm0
movaps %xmm0, -0x10(%rbp)
movl -0x10(%rbp), %eax
movq -0x8(%rbp), %rdx
addq $0x90, %rsp
popq %rbp
retq
nopl (%rax,%rax)
// File: /workspace/github_c_makefile_star2_O0/mirth-lang[P]mirth/bin/mirth1.c
// Function: mirth_external_ExternalBlockPart_free
void mirth_external_ExternalBlockPart_free (VAL v) {
	struct mirth_external_ExternalBlockPart self = V_mirth_external_ExternalBlockPart(v);
	switch (self.tag) {
		case mirth_external_ExternalBlockPart_EBPCode: {
			decref(MKSTR(self.ptr.EBPCode->mStr));
			free(self.ptr.EBPCode);
		} break;
		case mirth_external_ExternalBlockPart_EBPDef: {
			free(self.ptr.EBPDef);
		} break;
	}
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x80, %rsp
movq %rdi, -0x10(%rbp)
movq %rsi, -0x8(%rbp)
movq -0x10(%rbp), %rdi
movq -0x8(%rbp), %rsi
callq 0x16e8d0
movl %eax, -0x20(%rbp)
movq %rdx, -0x18(%rbp)
movl -0x20(%rbp), %eax
movl %eax, -0x74(%rbp)
testl %eax, %eax
je 0x16e6d4
jmp 0x16e6c3
movl -0x74(%rbp), %eax
subl $0x1, %eax
je 0x16e7cb
jmp 0x16e7d4
jmp 0x16e6d6
movq -0x18(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0x30(%rbp)
leaq 0x222a6f(%rip), %rax    # 0x391158
orq $0x1, %rax
movq %rax, -0x28(%rbp)
movq -0x28(%rbp), %rax
andq $0x1, %rax
cmpq $0x0, %rax
je 0x16e7be
movq -0x18(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0x40(%rbp)
leaq 0x222a42(%rip), %rax    # 0x391158
orq $0x1, %rax
movq %rax, -0x38(%rbp)
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0x40(%rbp), %rax
cmpq $0x0, %rax
je 0x16e7be
movq -0x18(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0x50(%rbp)
leaq 0x222a0f(%rip), %rax    # 0x391158
orq $0x1, %rax
movq %rax, -0x48(%rbp)
movq -0x50(%rbp), %rax
andq $0x3, %rax
cmpq $0x0, %rax
jne 0x16e7be
movq -0x18(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0x60(%rbp)
leaq 0x2229e6(%rip), %rax    # 0x391158
orq $0x1, %rax
movq %rax, -0x58(%rbp)
movabsq $0xfffffffffffc, %rcx   # imm = 0xFFFFFFFFFFFC
andq -0x60(%rbp), %rcx
movl (%rcx), %eax
addl $-0x1, %eax
movl %eax, (%rcx)
cmpl $0x0, %eax
jne 0x16e7bc
movq -0x18(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0x70(%rbp)
leaq 0x2229b1(%rip), %rax    # 0x391158
orq $0x1, %rax
movq %rax, -0x68(%rbp)
movq -0x70(%rbp), %rdi
movq -0x68(%rbp), %rsi
callq 0x127c0
jmp 0x16e7be
jmp 0x16e7c0
movq -0x18(%rbp), %rdi
callq 0x5030
jmp 0x16e7d4
movq -0x18(%rbp), %rdi
callq 0x5030
addq $0x80, %rsp
popq %rbp
retq
nopl (%rax)
// File: /workspace/github_c_makefile_star2_O0/mirth-lang[P]mirth/bin/mirth1.c
// Function: mw_mirth_external_ExternalBlock_Alloczx
static uint64_t mw_mirth_external_ExternalBlock_Alloczx (struct mirth_mirth_zaMirth* in_zaMirth_1, struct mirth_mirth_zaMirth* *out_zaMirth_2) {
	void* v4 = mbuf_mirth_external_ExternalBlock_NumBuffer;
	uint64_t v5 = *(uint64_t*)v4;
	uint64_t v6 = 1ULL;
	uint64_t v7 = (v5 + v6);
	void* v8 = mbuf_mirth_external_ExternalBlock_NumBuffer;
	*(uint64_t*)v8 = v7;
	uint64_t v9 = v7;
	*out_zaMirth_2 = in_zaMirth_1;
	return v9;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
movq %rdi, -0x8(%rbp)
movq %rsi, -0x10(%rbp)
leaq 0x1227795(%rip), %rax   # 0x13960b8
movq %rax, -0x18(%rbp)
movq -0x18(%rbp), %rax
movq (%rax), %rax
movq %rax, -0x20(%rbp)
movq $0x1, -0x28(%rbp)
movq -0x20(%rbp), %rax
addq -0x28(%rbp), %rax
movq %rax, -0x30(%rbp)
leaq 0x122776b(%rip), %rax   # 0x13960b8
movq %rax, -0x38(%rbp)
movq -0x30(%rbp), %rcx
movq -0x38(%rbp), %rax
movq %rcx, (%rax)
movq -0x30(%rbp), %rax
movq %rax, -0x40(%rbp)
movq -0x8(%rbp), %rcx
movq -0x10(%rbp), %rax
movq %rcx, (%rax)
movq -0x40(%rbp), %rax
popq %rbp
retq
nopw %cs:(%rax,%rax)
// File: /workspace/github_c_makefile_star2_O0/mirth-lang[P]mirth/bin/mirth1.c
// Function: mw_mirth_buffer_Buffer_Makezx
static uint64_t mw_mirth_buffer_Buffer_Makezx (struct mirth_mirth_zaMirth* in_zaMirth_1, struct std_maybe_Maybe_1 in_Maybe_2, uint64_t in_Token_3, INT in_Sizze_4, uint64_t in_Name_5, struct mirth_mirth_zaMirth* *out_zaMirth_6) {
	struct mirth_mirth_zaMirth* v8;
	uint64_t v9 = mw_mirth_buffer_Buffer_Alloczx(in_zaMirth_1, &v8);
	void* v10 = field_mut(&mfld_mirth_buffer_Buffer_doc, v9);
	mut_set(MK_std_maybe_Maybe_1(in_Maybe_2), v10);
	void* v11 = field_mut(&mfld_mirth_buffer_Buffer_head, v9);
	mut_set(MK_mirth_token_Token(in_Token_3), v11);
	void* v12 = field_mut(&mfld_mirth_buffer_Buffer_sizze, v9);
	mut_set(MKINT(in_Sizze_4), v12);
	void* v13 = field_mut(&mfld_mirth_buffer_Buffer_name, v9);
	mut_set(MK_mirth_name_Name(in_Name_5), v13);
	*out_zaMirth_6 = v8;
	return v9;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0xa0, %rsp
movq 0x10(%rbp), %rax
movl %esi, -0x10(%rbp)
movq %rdx, -0x8(%rbp)
movq %r8, -0x18(%rbp)
movq %rdi, -0x20(%rbp)
movq %rcx, -0x28(%rbp)
movq %r9, -0x30(%rbp)
movq -0x20(%rbp), %rdi
leaq -0x38(%rbp), %rsi
callq 0x16ffe0
movq %rax, -0x40(%rbp)
movq -0x40(%rbp), %rsi
leaq 0x12269a6(%rip), %rdi   # 0x13960e8
callq 0x40d30
movq %rax, -0x48(%rbp)
movl -0x10(%rbp), %edi
movq -0x8(%rbp), %rsi
callq 0x133a0
movq %rax, -0x58(%rbp)
movq %rdx, -0x50(%rbp)
movq -0x48(%rbp), %rdx
movq -0x58(%rbp), %rdi
movq -0x50(%rbp), %rsi
callq 0x431a0
movq -0x40(%rbp), %rsi
leaq 0x12257a5(%rip), %rdi   # 0x1394f20
callq 0x40d30
movq %rax, -0x60(%rbp)
movq -0x28(%rbp), %rax
movq %rax, -0x70(%rbp)
leaq 0x2226b5(%rip), %rax    # 0x391e48
movq %rax, -0x68(%rbp)
movq -0x60(%rbp), %rdx
movq -0x70(%rbp), %rdi
movq -0x68(%rbp), %rsi
callq 0x431a0
movq -0x40(%rbp), %rsi
leaq 0x1226945(%rip), %rdi   # 0x13960f8
callq 0x40d30
movq %rax, -0x78(%rbp)
movq -0x18(%rbp), %rax
movq %rax, -0x88(%rbp)
leaq 0x221c5a(%rip), %rax    # 0x391428
orq $0x1, %rax
movq %rax, -0x80(%rbp)
movq -0x78(%rbp), %rdx
movq -0x88(%rbp), %rdi
movq -0x80(%rbp), %rsi
callq 0x431a0
movq -0x40(%rbp), %rsi
leaq 0x1225863(%rip), %rdi   # 0x1395058
callq 0x40d30
movq %rax, -0x90(%rbp)
movq -0x30(%rbp), %rax
movq %rax, -0xa0(%rbp)
leaq 0x221f75(%rip), %rax    # 0x391788
movq %rax, -0x98(%rbp)
movq -0x90(%rbp), %rdx
movq -0xa0(%rbp), %rdi
movq -0x98(%rbp), %rsi
callq 0x431a0
movq -0x38(%rbp), %rcx
movq 0x10(%rbp), %rax
movq %rcx, (%rax)
movq -0x40(%rbp), %rax
addq $0xa0, %rsp
popq %rbp
retq
nopl (%rax)
// File: /workspace/github_c_makefile_star2_O0/mirth-lang[P]mirth/bin/mirth1.c
// Function: mtw_mirth_mirth_PropLabel_BufferQName
static struct mirth_mirth_PropLabel mtw_mirth_mirth_PropLabel_BufferQName (uint64_t in_Buffer_1) {
	struct mirth_mirth_PropLabel_BufferQName* v3 = calloc(1, sizeof *v3);
	ASSERT(v3);
	v3->refs = 1;
	v3->mBuffer = in_Buffer_1;
	struct mirth_mirth_PropLabel v4 = { .tag=mirth_mirth_PropLabel_BufferQName, .ptr.BufferQName=v3 };
	return v4;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x20, %rsp
movq %rdi, -0x18(%rbp)
movl $0x1, %edi
movl $0x10, %esi
callq 0x50c0
movq %rax, -0x20(%rbp)
cmpq $0x0, -0x20(%rbp)
jne 0x16f8a0
movl $0x2, %edi
leaq 0x1eb315(%rip), %rsi    # 0x35ab97
movl $0x31, %edx
callq 0x5060
callq 0x5310
callq 0x53b0
movl $0x1, %edi
callq 0x5130
jmp 0x16f8a2
movq -0x20(%rbp), %rax
movl $0x1, (%rax)
movq -0x18(%rbp), %rcx
movq -0x20(%rbp), %rax
movq %rcx, 0x8(%rax)
movl $0x13, -0x10(%rbp)
movq -0x20(%rbp), %rax
movq %rax, -0x8(%rbp)
movl -0x10(%rbp), %eax
movq -0x8(%rbp), %rdx
addq $0x20, %rsp
popq %rbp
retq
nopw %cs:(%rax,%rax)
// File: /workspace/github_c_makefile_star2_O0/mirth-lang[P]mirth/bin/mirth1.c
// Function: mtw_mirth_def_Def_Buffer
static struct mirth_def_Def mtw_mirth_def_Def_Buffer (uint64_t in_Buffer_1) {
	struct mirth_def_Def_Buffer* v3 = calloc(1, sizeof *v3);
	ASSERT(v3);
	v3->refs = 1;
	v3->mBuffer = in_Buffer_1;
	struct mirth_def_Def v4 = { .tag=mirth_def_Def_Buffer, .ptr.Buffer=v3 };
	return v4;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x20, %rsp
movq %rdi, -0x18(%rbp)
movl $0x1, %edi
movl $0x10, %esi
callq 0x50c0
movq %rax, -0x20(%rbp)
cmpq $0x0, -0x20(%rbp)
jne 0x16f930
movl $0x2, %edi
leaq 0x1eb2b7(%rip), %rsi    # 0x35abc9
movl $0x31, %edx
callq 0x5060
callq 0x5310
callq 0x53b0
movl $0x1, %edi
callq 0x5130
jmp 0x16f932
movq -0x20(%rbp), %rax
movl $0x1, (%rax)
movq -0x18(%rbp), %rcx
movq -0x20(%rbp), %rax
movq %rcx, 0x8(%rax)
movl $0x9, -0x10(%rbp)
movq -0x20(%rbp), %rax
movq %rax, -0x8(%rbp)
movl -0x10(%rbp), %eax
movq -0x8(%rbp), %rdx
addq $0x20, %rsp
popq %rbp
retq
nopw %cs:(%rax,%rax)
// File: /workspace/github_c_makefile_star2_O0/mirth-lang[P]mirth/bin/mirth1.c
// Function: mw_mirth_token_TokenValue_intzy
static struct std_maybe_Maybe_1 mw_mirth_token_TokenValue_intzy (struct mirth_token_TokenValue in_TokenValue_1) {
	struct std_maybe_Maybe_1 branch_Maybe_3;
	switch ((in_TokenValue_1).tag) {
		case mirth_token_TokenValue_Int: {
			INT v4 = mtp_mirth_token_TokenValue_Int(in_TokenValue_1);
			struct std_maybe_Maybe_1 v5 = mtw_std_maybe_Maybe_1_Some(MKINT(v4));
			branch_Maybe_3 = v5;
		} break;
		default: {
			decref(MK_mirth_token_TokenValue(in_TokenValue_1));
			struct std_maybe_Maybe_1 v6 = { .tag=std_maybe_Maybe_1_None };
			branch_Maybe_3 = v6;
		} break;
	}
	return branch_Maybe_3;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0xb0, %rsp
movl %edi, -0x20(%rbp)
movq %rsi, -0x18(%rbp)
movl -0x20(%rbp), %eax
subl $0xe, %eax
jne 0x16fecc
jmp 0x16fe7c
movl -0x20(%rbp), %edi
movq -0x18(%rbp), %rsi
callq 0x10fde0
movq %rax, -0x28(%rbp)
movq -0x28(%rbp), %rax
movq %rax, -0x48(%rbp)
leaq 0x22158d(%rip), %rax    # 0x391428
orq $0x1, %rax
movq %rax, -0x40(%rbp)
movq -0x48(%rbp), %rdi
movq -0x40(%rbp), %rsi
callq 0xca10
movl %eax, -0x38(%rbp)
movq %rdx, -0x30(%rbp)
movq -0x38(%rbp), %rax
movq %rax, -0x10(%rbp)
movq -0x30(%rbp), %rax
movq %rax, -0x8(%rbp)
jmp 0x16ffd0
jmp 0x16fece
movl -0x20(%rbp), %edi
movq -0x18(%rbp), %rsi
callq 0x79bd0
movq %rax, -0x58(%rbp)
movq %rdx, -0x50(%rbp)
movq -0x50(%rbp), %rax
andq $0x1, %rax
cmpq $0x0, %rax
je 0x16ffa5
movl -0x20(%rbp), %edi
movq -0x18(%rbp), %rsi
callq 0x79bd0
movq %rax, -0x68(%rbp)
movq %rdx, -0x60(%rbp)
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0x68(%rbp), %rax
cmpq $0x0, %rax
je 0x16ffa5
movl -0x20(%rbp), %edi
movq -0x18(%rbp), %rsi
callq 0x79bd0
movq %rax, -0x78(%rbp)
movq %rdx, -0x70(%rbp)
movq -0x78(%rbp), %rax
andq $0x3, %rax
cmpq $0x0, %rax
jne 0x16ffa5
movl -0x20(%rbp), %edi
movq -0x18(%rbp), %rsi
callq 0x79bd0
movq %rax, -0x88(%rbp)
movq %rdx, -0x80(%rbp)
movabsq $0xfffffffffffc, %rcx   # imm = 0xFFFFFFFFFFFC
andq -0x88(%rbp), %rcx
movl (%rcx), %eax
addl $-0x1, %eax
movl %eax, (%rcx)
cmpl $0x0, %eax
jne 0x16ffa3
movl -0x20(%rbp), %edi
movq -0x18(%rbp), %rsi
callq 0x79bd0
movq %rax, -0x98(%rbp)
movq %rdx, -0x90(%rbp)
movq -0x98(%rbp), %rdi
movq -0x90(%rbp), %rsi
callq 0x127c0
jmp 0x16ffa5
jmp 0x16ffa7
leaq -0xa8(%rbp), %rdi
xorl %esi, %esi
movl $0x10, %edx
callq 0x5080
movq -0xa8(%rbp), %rax
movq %rax, -0x10(%rbp)
movq -0xa0(%rbp), %rax
movq %rax, -0x8(%rbp)
movl -0x10(%rbp), %eax
movq -0x8(%rbp), %rdx
addq $0xb0, %rsp
popq %rbp
retq
// File: /workspace/github_c_makefile_star2_O0/mirth-lang[P]mirth/bin/mirth1.c
// Function: mw_mirth_buffer_Buffer_Alloczx
static uint64_t mw_mirth_buffer_Buffer_Alloczx (struct mirth_mirth_zaMirth* in_zaMirth_1, struct mirth_mirth_zaMirth* *out_zaMirth_2) {
	void* v4 = mbuf_mirth_buffer_Buffer_NumBuffer;
	uint64_t v5 = *(uint64_t*)v4;
	uint64_t v6 = 1ULL;
	uint64_t v7 = (v5 + v6);
	void* v8 = mbuf_mirth_buffer_Buffer_NumBuffer;
	*(uint64_t*)v8 = v7;
	uint64_t v9 = v7;
	*out_zaMirth_2 = in_zaMirth_1;
	return v9;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
movq %rdi, -0x8(%rbp)
movq %rsi, -0x10(%rbp)
leaq 0x1226115(%rip), %rax   # 0x1396108
movq %rax, -0x18(%rbp)
movq -0x18(%rbp), %rax
movq (%rax), %rax
movq %rax, -0x20(%rbp)
movq $0x1, -0x28(%rbp)
movq -0x20(%rbp), %rax
addq -0x28(%rbp), %rax
movq %rax, -0x30(%rbp)
leaq 0x12260eb(%rip), %rax   # 0x1396108
movq %rax, -0x38(%rbp)
movq -0x30(%rbp), %rcx
movq -0x38(%rbp), %rax
movq %rcx, (%rax)
movq -0x30(%rbp), %rax
movq %rax, -0x40(%rbp)
movq -0x8(%rbp), %rcx
movq -0x10(%rbp), %rax
movq %rcx, (%rax)
movq -0x40(%rbp), %rax
popq %rbp
retq
nopw %cs:(%rax,%rax)
// File: /workspace/github_c_makefile_star2_O0/mirth-lang[P]mirth/bin/mirth1.c
// Function: mtw_mirth_table_InlineFieldSyntax_InlineFieldSyntax
static struct mirth_table_InlineFieldSyntax* mtw_mirth_table_InlineFieldSyntax_InlineFieldSyntax (struct std_maybe_Maybe_1 in_Maybe_1, uint64_t in_Token_2, uint64_t in_Name_3, uint64_t in_Token_4, struct std_maybe_Maybe_1 in_Maybe_5) {
	struct mirth_table_InlineFieldSyntax* v7 = calloc(1, sizeof *v7);
	ASSERT(v7);
	v7->refs = 1;
	v7->mdefault = in_Maybe_5;
	v7->mvaluezetype = in_Token_4;
	v7->mname = in_Name_3;
	v7->mhead = in_Token_2;
	v7->mdoc = in_Maybe_1;
	return v7;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x40, %rsp
leaq 0x10(%rbp), %rax
movq %rax, -0x38(%rbp)
movl %edi, -0x10(%rbp)
movq %rsi, -0x8(%rbp)
movq %rdx, -0x18(%rbp)
movq %rcx, -0x20(%rbp)
movq %r8, -0x28(%rbp)
movl $0x1, %edi
movl $0x40, %esi
callq 0x50c0
movq %rax, -0x30(%rbp)
cmpq $0x0, -0x30(%rbp)
jne 0x17a557
movl $0x2, %edi
leaq 0x1e0797(%rip), %rsi    # 0x35acd0
movl $0x31, %edx
callq 0x5060
callq 0x5310
callq 0x53b0
movl $0x1, %edi
callq 0x5130
jmp 0x17a559
movq -0x38(%rbp), %rcx
movq -0x30(%rbp), %rax
movl $0x1, (%rax)
movq -0x30(%rbp), %rax
movq (%rcx), %rdx
movq %rdx, 0x30(%rax)
movq 0x8(%rcx), %rcx
movq %rcx, 0x38(%rax)
movq -0x28(%rbp), %rcx
movq -0x30(%rbp), %rax
movq %rcx, 0x28(%rax)
movq -0x20(%rbp), %rcx
movq -0x30(%rbp), %rax
movq %rcx, 0x20(%rax)
movq -0x18(%rbp), %rcx
movq -0x30(%rbp), %rax
movq %rcx, 0x18(%rax)
movq -0x30(%rbp), %rax
movq -0x10(%rbp), %rcx
movq %rcx, 0x8(%rax)
movq -0x8(%rbp), %rcx
movq %rcx, 0x10(%rax)
movq -0x30(%rbp), %rax
addq $0x40, %rsp
popq %rbp
retq
nopl (%rax)
// File: /workspace/github_c_makefile_star2_O0/mirth-lang[P]mirth/bin/mirth1.c
// Function: mw_mirth_name_Name_couldzebezerawzefieldzenamezy
static bool mw_mirth_name_Name_couldzebezerawzefieldzenamezy (struct mirth_mirth_zaMirth* in_zaMirth_1, uint64_t in_Name_2, struct mirth_mirth_zaMirth* *out_zaMirth_3) {
	struct mirth_mirth_zaMirth* v5;
	enum std_byte_Byte v6 = mw_mirth_name_Name_head(in_zaMirth_1, in_Name_2, &v5);
	enum std_byte_Byte v7 = std_byte_Byte_Bzqztzq;
	int64_t v8 = v6;
	INT v9 = i64_to_int(v8);
	uint64_t v10 = int_to_u64(v9);
	uint8_t v11 = (uint8_t)(v10);
	int64_t v12 = v7;
	INT v13 = i64_to_int(v12);
	uint64_t v14 = int_to_u64(v13);
	uint8_t v15 = (uint8_t)(v14);
	uint64_t v16 = (uint64_t)(v15);
	uint32_t v17 = (uint32_t)(v16);
	uint64_t v18 = (uint64_t)(v11);
	uint32_t v19 = (uint32_t)(v18);
	uint64_t v20 = (uint64_t)(v19);
	uint64_t v21 = (uint64_t)(v17);
	bool v22 = (v20 == v21);
	*out_zaMirth_3 = v5;
	return v22;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0xa0, %rsp
movq %rdi, -0x8(%rbp)
movq %rsi, -0x10(%rbp)
movq %rdx, -0x18(%rbp)
movq -0x8(%rbp), %rdi
movq -0x10(%rbp), %rsi
leaq -0x20(%rbp), %rdx
callq 0x6e510
movl %eax, -0x24(%rbp)
movl $0x7e, -0x28(%rbp)
movl -0x24(%rbp), %eax
movq %rax, -0x30(%rbp)
movq -0x30(%rbp), %rdi
callq 0x1a290
movq %rax, -0x38(%rbp)
movq -0x38(%rbp), %rdi
callq 0x1b680
movq %rax, -0x40(%rbp)
movq -0x40(%rbp), %rax
movb %al, -0x41(%rbp)
movl -0x28(%rbp), %eax
movq %rax, -0x50(%rbp)
movq -0x50(%rbp), %rdi
callq 0x1a290
movq %rax, -0x58(%rbp)
movq -0x58(%rbp), %rdi
callq 0x1b680
movq %rax, -0x60(%rbp)
movq -0x60(%rbp), %rax
movb %al, -0x61(%rbp)
movzbl -0x61(%rbp), %eax
movq %rax, -0x70(%rbp)
movq -0x70(%rbp), %rax
movl %eax, -0x74(%rbp)
movzbl -0x41(%rbp), %eax
movq %rax, -0x80(%rbp)
movq -0x80(%rbp), %rax
movl %eax, -0x84(%rbp)
movl -0x84(%rbp), %eax
movq %rax, -0x90(%rbp)
movl -0x74(%rbp), %eax
movq %rax, -0x98(%rbp)
movq -0x90(%rbp), %rax
cmpq -0x98(%rbp), %rax
sete %al
andb $0x1, %al
movb %al, -0x99(%rbp)
movq -0x20(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, (%rax)
movb -0x99(%rbp), %al
andb $0x1, %al
addq $0xa0, %rsp
popq %rbp
retq
nop
// File: /workspace/github_c_makefile_star2_O0/mirth-lang[P]mirth/bin/mirth1.c
// Function: mirth_table_InlineFieldSyntax_free
static void mirth_table_InlineFieldSyntax_free (VAL vself) {
	ASSERT(vself.tag == TAG_mirth_table_InlineFieldSyntax);
	struct mirth_table_InlineFieldSyntax* self = vself.data.ptr;
	decref(MK_std_maybe_Maybe_1(self->mdoc));
	decref(MK_std_maybe_Maybe_1(self->mdefault));
	free(self);
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0xc0, %rsp
movq %rdi, -0x10(%rbp)
movq %rsi, -0x8(%rbp)
movq -0x8(%rbp), %rax
leaq 0x21846a(%rip), %rcx    # 0x392b38
orq $0x1, %rcx
cmpq %rcx, %rax
je 0x17a701
movl $0x2, %edi
leaq 0x1e0631(%rip), %rsi    # 0x35ad14
movl $0x5c, %edx
callq 0x5060
callq 0x5310
callq 0x53b0
movl $0x1, %edi
callq 0x5130
jmp 0x17a703
movq -0x10(%rbp), %rax
movq %rax, -0x18(%rbp)
movq -0x18(%rbp), %rax
movl 0x8(%rax), %edi
movq 0x10(%rax), %rsi
callq 0x133a0
movq %rax, -0x28(%rbp)
movq %rdx, -0x20(%rbp)
movq -0x20(%rbp), %rax
andq $0x1, %rax
cmpq $0x0, %rax
je 0x17a7e0
movq -0x18(%rbp), %rax
movl 0x8(%rax), %edi
movq 0x10(%rax), %rsi
callq 0x133a0
movq %rax, -0x38(%rbp)
movq %rdx, -0x30(%rbp)
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0x38(%rbp), %rax
cmpq $0x0, %rax
je 0x17a7e0
movq -0x18(%rbp), %rax
movl 0x8(%rax), %edi
movq 0x10(%rax), %rsi
callq 0x133a0
movq %rax, -0x48(%rbp)
movq %rdx, -0x40(%rbp)
movq -0x48(%rbp), %rax
andq $0x3, %rax
cmpq $0x0, %rax
jne 0x17a7e0
movq -0x18(%rbp), %rax
movl 0x8(%rax), %edi
movq 0x10(%rax), %rsi
callq 0x133a0
movq %rax, -0x58(%rbp)
movq %rdx, -0x50(%rbp)
movabsq $0xfffffffffffc, %rcx   # imm = 0xFFFFFFFFFFFC
andq -0x58(%rbp), %rcx
movl (%rcx), %eax
addl $-0x1, %eax
movl %eax, (%rcx)
cmpl $0x0, %eax
jne 0x17a7de
movq -0x18(%rbp), %rax
movl 0x8(%rax), %edi
movq 0x10(%rax), %rsi
callq 0x133a0
movq %rax, -0x68(%rbp)
movq %rdx, -0x60(%rbp)
movq -0x68(%rbp), %rdi
movq -0x60(%rbp), %rsi
callq 0x127c0
jmp 0x17a7e0
jmp 0x17a7e2
jmp 0x17a7e4
movq -0x18(%rbp), %rax
movl 0x30(%rax), %edi
movq 0x38(%rax), %rsi
callq 0x133a0
movq %rax, -0x78(%rbp)
movq %rdx, -0x70(%rbp)
movq -0x70(%rbp), %rax
andq $0x1, %rax
cmpq $0x0, %rax
je 0x17a8e1
movq -0x18(%rbp), %rax
movl 0x30(%rax), %edi
movq 0x38(%rax), %rsi
callq 0x133a0
movq %rax, -0x88(%rbp)
movq %rdx, -0x80(%rbp)
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0x88(%rbp), %rax
cmpq $0x0, %rax
je 0x17a8e1
movq -0x18(%rbp), %rax
movl 0x30(%rax), %edi
movq 0x38(%rax), %rsi
callq 0x133a0
movq %rax, -0x98(%rbp)
movq %rdx, -0x90(%rbp)
movq -0x98(%rbp), %rax
andq $0x3, %rax
cmpq $0x0, %rax
jne 0x17a8e1
movq -0x18(%rbp), %rax
movl 0x30(%rax), %edi
movq 0x38(%rax), %rsi
callq 0x133a0
movq %rax, -0xa8(%rbp)
movq %rdx, -0xa0(%rbp)
movabsq $0xfffffffffffc, %rcx   # imm = 0xFFFFFFFFFFFC
andq -0xa8(%rbp), %rcx
movl (%rcx), %eax
addl $-0x1, %eax
movl %eax, (%rcx)
cmpl $0x0, %eax
jne 0x17a8df
movq -0x18(%rbp), %rax
movl 0x30(%rax), %edi
movq 0x38(%rax), %rsi
callq 0x133a0
movq %rax, -0xb8(%rbp)
movq %rdx, -0xb0(%rbp)
movq -0xb8(%rbp), %rdi
movq -0xb0(%rbp), %rsi
callq 0x127c0
jmp 0x17a8e1
jmp 0x17a8e3
movq -0x18(%rbp), %rdi
callq 0x5030
addq $0xc0, %rsp
popq %rbp
retq
nopw %cs:(%rax,%rax)
// File: /workspace/github_c_makefile_star2_O0/mirth-lang[P]mirth/bin/mirth1.c
// Function: mw_mirth_table_Table_Makezx
static uint64_t mw_mirth_table_Table_Makezx (struct mirth_mirth_zaMirth* in_zaMirth_1, struct std_maybe_Maybe_1 in_Maybe_2, uint64_t in_Token_3, uint64_t in_Name_4, uint64_t in_Buffer_5, struct mirth_mirth_zaMirth* *out_zaMirth_6) {
	struct mirth_mirth_zaMirth* v8;
	uint64_t v9 = mw_mirth_table_Table_Alloczx(in_zaMirth_1, &v8);
	void* v10 = field_mut(&mfld_mirth_table_Table_doc, v9);
	mut_set(MK_std_maybe_Maybe_1(in_Maybe_2), v10);
	void* v11 = field_mut(&mfld_mirth_table_Table_head, v9);
	mut_set(MK_mirth_token_Token(in_Token_3), v11);
	void* v12 = field_mut(&mfld_mirth_table_Table_name, v9);
	mut_set(MK_mirth_name_Name(in_Name_4), v12);
	void* v13 = field_mut(&mfld_mirth_table_Table_numzebuffer, v9);
	mut_set(MK_mirth_buffer_Buffer(in_Buffer_5), v13);
	*out_zaMirth_6 = v8;
	return v9;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0xa0, %rsp
movq 0x10(%rbp), %rax
movl %esi, -0x10(%rbp)
movq %rdx, -0x8(%rbp)
movq %rdi, -0x18(%rbp)
movq %rcx, -0x20(%rbp)
movq %r8, -0x28(%rbp)
movq %r9, -0x30(%rbp)
movq -0x18(%rbp), %rdi
leaq -0x38(%rbp), %rsi
callq 0x188bb0
movq %rax, -0x40(%rbp)
movq -0x40(%rbp), %rsi
leaq 0x121b7ee(%rip), %rdi   # 0x1396220
callq 0x40d30
movq %rax, -0x48(%rbp)
movl -0x10(%rbp), %edi
movq -0x8(%rbp), %rsi
callq 0x133a0
movq %rax, -0x58(%rbp)
movq %rdx, -0x50(%rbp)
movq -0x48(%rbp), %rdx
movq -0x58(%rbp), %rdi
movq -0x50(%rbp), %rsi
callq 0x431a0
movq -0x40(%rbp), %rsi
leaq 0x121a405(%rip), %rdi   # 0x1394e70
callq 0x40d30
movq %rax, -0x60(%rbp)
movq -0x20(%rbp), %rax
movq %rax, -0x70(%rbp)
leaq 0x2173c5(%rip), %rax    # 0x391e48
movq %rax, -0x68(%rbp)
movq -0x60(%rbp), %rdx
movq -0x70(%rbp), %rdi
movq -0x68(%rbp), %rsi
callq 0x431a0
movq -0x40(%rbp), %rsi
leaq 0x121a5d5(%rip), %rdi   # 0x1395078
callq 0x40d30
movq %rax, -0x78(%rbp)
movq -0x28(%rbp), %rax
movq %rax, -0x88(%rbp)
leaq 0x216cca(%rip), %rax    # 0x391788
movq %rax, -0x80(%rbp)
movq -0x78(%rbp), %rdx
movq -0x88(%rbp), %rdi
movq -0x80(%rbp), %rsi
callq 0x431a0
movq -0x40(%rbp), %rsi
leaq 0x121b74f(%rip), %rdi   # 0x1396230
callq 0x40d30
movq %rax, -0x90(%rbp)
movq -0x30(%rbp), %rax
movq %rax, -0xa0(%rbp)
leaq 0x217739(%rip), %rax    # 0x392238
movq %rax, -0x98(%rbp)
movq -0x90(%rbp), %rdx
movq -0xa0(%rbp), %rdi
movq -0x98(%rbp), %rsi
callq 0x431a0
movq -0x38(%rbp), %rcx
movq 0x10(%rbp), %rax
movq %rcx, (%rax)
movq -0x40(%rbp), %rax
addq $0xa0, %rsp
popq %rbp
retq
nopl (%rax,%rax)
// File: /workspace/github_c_makefile_star2_O0/mirth-lang[P]mirth/bin/mirth1.c
// Function: mtw_mirth_mirth_PropLabel_TableQName
static struct mirth_mirth_PropLabel mtw_mirth_mirth_PropLabel_TableQName (uint64_t in_Table_1) {
	struct mirth_mirth_PropLabel_TableQName* v3 = calloc(1, sizeof *v3);
	ASSERT(v3);
	v3->refs = 1;
	v3->mTable = in_Table_1;
	struct mirth_mirth_PropLabel v4 = { .tag=mirth_mirth_PropLabel_TableQName, .ptr.TableQName=v3 };
	return v4;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x20, %rsp
movq %rdi, -0x18(%rbp)
movl $0x1, %edi
movl $0x10, %esi
callq 0x50c0
movq %rax, -0x20(%rbp)
cmpq $0x0, -0x20(%rbp)
jne 0x17ab90
movl $0x2, %edi
leaq 0x1e049f(%rip), %rsi    # 0x35b011
movl $0x31, %edx
callq 0x5060
callq 0x5310
callq 0x53b0
movl $0x1, %edi
callq 0x5130
jmp 0x17ab92
movq -0x20(%rbp), %rax
movl $0x1, (%rax)
movq -0x18(%rbp), %rcx
movq -0x20(%rbp), %rax
movq %rcx, 0x8(%rax)
movl $0x5, -0x10(%rbp)
movq -0x20(%rbp), %rax
movq %rax, -0x8(%rbp)
movl -0x10(%rbp), %eax
movq -0x8(%rbp), %rdx
addq $0x20, %rsp
popq %rbp
retq
nopw %cs:(%rax,%rax)
// File: /workspace/github_c_makefile_star2_O0/mirth-lang[P]mirth/bin/mirth1.c
// Function: mtw_mirth_mirth_PropLabel_TableOwner
static struct mirth_mirth_PropLabel mtw_mirth_mirth_PropLabel_TableOwner (uint64_t in_Table_1) {
	struct mirth_mirth_PropLabel_TableOwner* v3 = calloc(1, sizeof *v3);
	ASSERT(v3);
	v3->refs = 1;
	v3->mTable = in_Table_1;
	struct mirth_mirth_PropLabel v4 = { .tag=mirth_mirth_PropLabel_TableOwner, .ptr.TableOwner=v3 };
	return v4;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x20, %rsp
movq %rdi, -0x18(%rbp)
movl $0x1, %edi
movl $0x10, %esi
callq 0x50c0
movq %rax, -0x20(%rbp)
cmpq $0x0, -0x20(%rbp)
jne 0x17ac20
movl $0x2, %edi
leaq 0x1e0441(%rip), %rsi    # 0x35b043
movl $0x31, %edx
callq 0x5060
callq 0x5310
callq 0x53b0
movl $0x1, %edi
callq 0x5130
jmp 0x17ac22
movq -0x20(%rbp), %rax
movl $0x1, (%rax)
movq -0x18(%rbp), %rcx
movq -0x20(%rbp), %rax
movq %rcx, 0x8(%rax)
movl $0x14, -0x10(%rbp)
movq -0x20(%rbp), %rax
movq %rax, -0x8(%rbp)
movl -0x10(%rbp), %eax
movq -0x8(%rbp), %rdx
addq $0x20, %rsp
popq %rbp
retq
nopw %cs:(%rax,%rax)
// File: /workspace/github_c_makefile_star2_O0/mirth-lang[P]mirth/bin/mirth1.c
// Function: mtw_mirth_def_Def_Table
static struct mirth_def_Def mtw_mirth_def_Def_Table (uint64_t in_Table_1) {
	struct mirth_def_Def_Table* v3 = calloc(1, sizeof *v3);
	ASSERT(v3);
	v3->refs = 1;
	v3->mTable = in_Table_1;
	struct mirth_def_Def v4 = { .tag=mirth_def_Def_Table, .ptr.Table=v3 };
	return v4;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x20, %rsp
movq %rdi, -0x18(%rbp)
movl $0x1, %edi
movl $0x10, %esi
callq 0x50c0
movq %rax, -0x20(%rbp)
cmpq $0x0, -0x20(%rbp)
jne 0x17ad50
movl $0x2, %edi
leaq 0x1e03c2(%rip), %rsi    # 0x35b0f4
movl $0x31, %edx
callq 0x5060
callq 0x5310
callq 0x53b0
movl $0x1, %edi
callq 0x5130
jmp 0x17ad52
movq -0x20(%rbp), %rax
movl $0x1, (%rax)
movq -0x18(%rbp), %rcx
movq -0x20(%rbp), %rax
movq %rcx, 0x8(%rax)
movl $0x4, -0x10(%rbp)
movq -0x20(%rbp), %rax
movq %rax, -0x8(%rbp)
movl -0x10(%rbp), %eax
movq -0x8(%rbp), %rdx
addq $0x20, %rsp
popq %rbp
retq
nopw %cs:(%rax,%rax)
// File: /workspace/github_c_makefile_star2_O0/mirth-lang[P]mirth/bin/mirth1.c
// Function: mw_mirth_table_tablezeqname
static struct mirth_name_QName* mw_mirth_table_tablezeqname (struct mirth_mirth_zaMirth* in_zaMirth_1, uint64_t in_Table_2, STR* in_Str_3, INT in_Int_4, struct mirth_mirth_zaMirth* *out_zaMirth_5) {
	struct mirth_mirth_zaMirth* v7;
	uint64_t v8 = mw_mirth_name_Name_Name(in_zaMirth_1, in_Str_3, &v7);
	struct mirth_tycon_Tycon v9 = mtw_mirth_tycon_Tycon_Table(in_Table_2);
	struct mirth_name_Namespace v10 = mtw_mirth_name_Namespace_Tycon(v9);
	struct mirth_name_QName* v11 = mtw_mirth_name_QName_QName(v10, v8, in_Int_4);
	*out_zaMirth_5 = v7;
	return v11;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x60, %rsp
movq %rcx, -0x8(%rbp)
movq %rdi, -0x10(%rbp)
movq %rsi, -0x18(%rbp)
movq %rdx, -0x20(%rbp)
movq %r8, -0x28(%rbp)
movq -0x10(%rbp), %rdi
movq -0x20(%rbp), %rsi
leaq -0x30(%rbp), %rdx
callq 0x3ed80
movq %rax, -0x38(%rbp)
movq -0x18(%rbp), %rdi
callq 0x861e0
movl %eax, -0x48(%rbp)
movq %rdx, -0x40(%rbp)
movl -0x48(%rbp), %edi
movq -0x40(%rbp), %rsi
callq 0x57a90
movl %eax, -0x58(%rbp)
movq %rdx, -0x50(%rbp)
movq -0x38(%rbp), %rdx
movl -0x58(%rbp), %edi
movq -0x50(%rbp), %rsi
movq -0x8(%rbp), %rcx
callq 0x470f0
movq %rax, -0x60(%rbp)
movq -0x30(%rbp), %rcx
movq -0x28(%rbp), %rax
movq %rcx, (%rax)
movq -0x60(%rbp), %rax
addq $0x60, %rsp
popq %rbp
retq
nopw %cs:(%rax,%rax)
// File: /workspace/github_c_makefile_star2_O0/mirth-lang[P]mirth/bin/mirth1.c
// Function: mb_mirth_mirth_PropLabel_prop_1_sp45_0
static void mb_mirth_mirth_PropLabel_prop_1_sp45_0 (void) {
	uint64_t v0 = V_mirth_table_Table(pop_value());
	struct mirth_mirth_zaMirth* r1 = V_mirth_mirth_zaMirth(pop_resource());
	struct std_list_List_1 v2 = mw_mirth_var_Ctx_L0();
	struct mirth_type_StackType v3 = mw_mirth_type_T0();
	struct mirth_type_Type v4 = mtw_mirth_type_Type_Table(v0);
	struct mirth_type_StackType v5 = mw_mirth_type_T1(v4);
	struct mirth_type_ArrowType* v6 = mw_mirth_type_Tzezg(v3, v5);
	PTUP r7 = PTRMK(0,tup_new(2),0);
	((TUP*)PTRPTR(r7))->size = 2;
	((TUP*)PTRPTR(r7))->cells[1] = MK_mirth_type_ArrowType(v6);
	((TUP*)PTRPTR(r7))->cells[0] = MK_std_list_List_1(v2);
	push_resource(MK_mirth_mirth_zaMirth(r1));
	push_value(MKTUP(r7));
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0xd0, %rsp
callq 0x138a0
movq %rax, -0x18(%rbp)
movq %rdx, -0x10(%rbp)
movq -0x18(%rbp), %rax
movq %rax, -0x8(%rbp)
callq 0x13920
movq %rax, -0x30(%rbp)
movq %rdx, -0x28(%rbp)
movq -0x30(%rbp), %rax
movq %rax, -0x20(%rbp)
callq 0xae770
movl %eax, -0x40(%rbp)
movq %rdx, -0x38(%rbp)
callq 0x73060
movl %eax, -0x50(%rbp)
movq %rdx, -0x48(%rbp)
movq -0x8(%rbp), %rdi
callq 0xcebc0
movl %eax, -0x60(%rbp)
movq %rdx, -0x58(%rbp)
movl -0x60(%rbp), %edi
movq -0x58(%rbp), %rsi
callq 0x14df80
movl %eax, -0x70(%rbp)
movq %rdx, -0x68(%rbp)
movl -0x50(%rbp), %edi
movq -0x48(%rbp), %rsi
movl -0x70(%rbp), %edx
movq -0x68(%rbp), %rcx
callq 0x735b0
movq %rax, -0x78(%rbp)
movl $0x2, %edi
callq 0x1a7d0
orq $0x0, %rax
orq $0x0, %rax
movq %rax, -0x80(%rbp)
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0x80(%rbp), %rax
movw $0x2, 0x6(%rax)
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0x80(%rbp), %rax
movq -0x78(%rbp), %rcx
movq %rcx, -0x90(%rbp)
leaq 0x216a97(%rip), %rcx    # 0x391c08
orq $0x1, %rcx
movq %rcx, -0x88(%rbp)
movq -0x90(%rbp), %rcx
movq %rcx, 0x18(%rax)
movq -0x88(%rbp), %rcx
movq %rcx, 0x20(%rax)
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0x80(%rbp), %rax
movq %rax, -0xc8(%rbp)
movl -0x40(%rbp), %edi
movq -0x38(%rbp), %rsi
callq 0x12780
movq %rax, %rcx
movq -0xc8(%rbp), %rax
movq %rcx, -0xa0(%rbp)
movq %rdx, -0x98(%rbp)
movq -0xa0(%rbp), %rcx
movq %rcx, 0x8(%rax)
movq -0x98(%rbp), %rcx
movq %rcx, 0x10(%rax)
movq -0x20(%rbp), %rax
movq %rax, -0xb0(%rbp)
leaq 0x21678d(%rip), %rax    # 0x391980
movq %rax, -0xa8(%rbp)
movq -0xb0(%rbp), %rdi
movq -0xa8(%rbp), %rsi
callq 0x5b40
movq -0x80(%rbp), %rax
movq %rax, -0xc0(%rbp)
leaq 0x216179(%rip), %rax    # 0x391398
orq $0x1, %rax
movq %rax, -0xb8(%rbp)
movq -0xc0(%rbp), %rdi
movq -0xb8(%rbp), %rsi
callq 0x12cc0
addq $0xd0, %rsp
popq %rbp
retq
nopw %cs:(%rax,%rax)
// File: /workspace/github_c_makefile_star2_O0/mirth-lang[P]mirth/bin/mirth1.c
// Function: mb_mirth_mirth_PropLabel_prop_1_sp39_0
static void mb_mirth_mirth_PropLabel_prop_1_sp39_0 (void) {
	uint64_t v0 = V_mirth_table_Table(pop_value());
	struct mirth_mirth_zaMirth* r1 = V_mirth_mirth_zaMirth(pop_resource());
	struct std_list_List_1 v2 = mw_mirth_var_Ctx_L0();
	struct mirth_type_Type v3 = mtw_mirth_type_Type_Table(v0);
	struct mirth_type_StackType v4 = mw_mirth_type_T1(v3);
	struct mirth_type_Type v5 = mw_mirth_type_Type_U64();
	struct mirth_type_StackType v6 = mw_mirth_type_T1(v5);
	struct mirth_type_ArrowType* v7 = mw_mirth_type_Tzezg(v4, v6);
	PTUP r8 = PTRMK(0,tup_new(2),0);
	((TUP*)PTRPTR(r8))->size = 2;
	((TUP*)PTRPTR(r8))->cells[1] = MK_mirth_type_ArrowType(v7);
	((TUP*)PTRPTR(r8))->cells[0] = MK_std_list_List_1(v2);
	push_resource(MK_mirth_mirth_zaMirth(r1));
	push_value(MKTUP(r8));
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0xe0, %rsp
callq 0x138a0
movq %rax, -0x18(%rbp)
movq %rdx, -0x10(%rbp)
movq -0x18(%rbp), %rax
movq %rax, -0x8(%rbp)
callq 0x13920
movq %rax, -0x30(%rbp)
movq %rdx, -0x28(%rbp)
movq -0x30(%rbp), %rax
movq %rax, -0x20(%rbp)
callq 0xae770
movl %eax, -0x40(%rbp)
movq %rdx, -0x38(%rbp)
movq -0x8(%rbp), %rdi
callq 0xcebc0
movl %eax, -0x50(%rbp)
movq %rdx, -0x48(%rbp)
movl -0x50(%rbp), %edi
movq -0x48(%rbp), %rsi
callq 0x14df80
movl %eax, -0x60(%rbp)
movq %rdx, -0x58(%rbp)
callq 0x755f0
movl %eax, -0x70(%rbp)
movq %rdx, -0x68(%rbp)
movl -0x70(%rbp), %edi
movq -0x68(%rbp), %rsi
callq 0x14df80
movl %eax, -0x80(%rbp)
movq %rdx, -0x78(%rbp)
movl -0x60(%rbp), %edi
movq -0x58(%rbp), %rsi
movl -0x80(%rbp), %edx
movq -0x78(%rbp), %rcx
callq 0x735b0
movq %rax, -0x88(%rbp)
movl $0x2, %edi
callq 0x1a7d0
orq $0x0, %rax
orq $0x0, %rax
movq %rax, -0x90(%rbp)
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0x90(%rbp), %rax
movw $0x2, 0x6(%rax)
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0x90(%rbp), %rax
movq -0x88(%rbp), %rcx
movq %rcx, -0xa0(%rbp)
leaq 0x2123d5(%rip), %rcx    # 0x391c08
orq $0x1, %rcx
movq %rcx, -0x98(%rbp)
movq -0xa0(%rbp), %rcx
movq %rcx, 0x18(%rax)
movq -0x98(%rbp), %rcx
movq %rcx, 0x20(%rax)
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0x90(%rbp), %rax
movq %rax, -0xd8(%rbp)
movl -0x40(%rbp), %edi
movq -0x38(%rbp), %rsi
callq 0x12780
movq %rax, %rcx
movq -0xd8(%rbp), %rax
movq %rcx, -0xb0(%rbp)
movq %rdx, -0xa8(%rbp)
movq -0xb0(%rbp), %rcx
movq %rcx, 0x8(%rax)
movq -0xa8(%rbp), %rcx
movq %rcx, 0x10(%rax)
movq -0x20(%rbp), %rax
movq %rax, -0xc0(%rbp)
leaq 0x2120c8(%rip), %rax    # 0x391980
movq %rax, -0xb8(%rbp)
movq -0xc0(%rbp), %rdi
movq -0xb8(%rbp), %rsi
callq 0x5b40
movq -0x90(%rbp), %rax
movq %rax, -0xd0(%rbp)
leaq 0x211ab1(%rip), %rax    # 0x391398
orq $0x1, %rax
movq %rax, -0xc8(%rbp)
movq -0xd0(%rbp), %rdi
movq -0xc8(%rbp), %rsi
callq 0x12cc0
addq $0xe0, %rsp
popq %rbp
retq
nop
// File: /workspace/github_c_makefile_star2_O0/mirth-lang[P]mirth/bin/mirth1.c
// Function: mw_mirth_word_Word_makezeinlinezx
static void mw_mirth_word_Word_makezeinlinezx (struct mirth_mirth_zaMirth* in_zaMirth_1, uint64_t in_Word_2, struct mirth_mirth_zaMirth* *out_zaMirth_3) {
	bool v4 = true;
	struct mirth_mirth_zaMirth* v5;
	mw_mirth_word_Word_preferzeinlinezyzx(in_zaMirth_1, v4, in_Word_2, &v5);
	*out_zaMirth_3 = v5;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x30, %rsp
movq %rdi, -0x8(%rbp)
movq %rsi, -0x10(%rbp)
movq %rdx, -0x18(%rbp)
movb $0x1, -0x19(%rbp)
movq -0x8(%rbp), %rdi
movb -0x19(%rbp), %al
movq -0x10(%rbp), %rdx
leaq -0x28(%rbp), %rcx
andb $0x1, %al
movzbl %al, %esi
callq 0xaaa00
movq -0x28(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, (%rax)
addq $0x30, %rsp
popq %rbp
retq
nopw %cs:(%rax,%rax)
// File: /workspace/github_c_makefile_star2_O0/mirth-lang[P]mirth/bin/mirth1.c
// Function: mw_mirth_mirth_PropLabel_prop_1_sp30
static struct mirth_mirth_Prop_1* mw_mirth_mirth_PropLabel_prop_1_sp30 (uint64_t in_Table_1, struct mirth_mirth_zaMirth* in_zaMirth_2, struct mirth_mirth_PropLabel in_PropLabel_3, struct mirth_mirth_zaMirth* *out_zaMirth_4) {
	struct mirth_mirth_LexicalState* v6 = in_zaMirth_2->mlexicalzestate;
	incref(MK_mirth_mirth_LexicalState(v6));
	FNPTR v7 = &mb_mirth_mirth_PropLabel_prop_1_sp30_0;
	struct mirth_mirth_PropState_1 v8 = mtw_mirth_mirth_PropState_1_Delay(v6, MK_mirth_table_Table(in_Table_1), MKFNPTR(v7));
	struct mirth_mirth_Prop_1* v9 = mtw_mirth_mirth_Prop_1_Prop(in_PropLabel_3, v8);
	*out_zaMirth_4 = in_zaMirth_2;
	return v9;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0xb0, %rsp
movl %edx, -0x10(%rbp)
movq %rcx, -0x8(%rbp)
movq %rdi, -0x18(%rbp)
movq %rsi, -0x20(%rbp)
movq %r8, -0x28(%rbp)
movq -0x20(%rbp), %rax
movq 0x48(%rax), %rax
movq %rax, -0x30(%rbp)
movq -0x30(%rbp), %rax
movq %rax, -0x40(%rbp)
leaq 0x20d097(%rip), %rax    # 0x3918f0
orq $0x1, %rax
movq %rax, -0x38(%rbp)
movq -0x38(%rbp), %rax
andq $0x1, %rax
cmpq $0x0, %rax
je 0x1848eb
movq -0x30(%rbp), %rax
movq %rax, -0x50(%rbp)
leaq 0x20d072(%rip), %rax    # 0x3918f0
orq $0x1, %rax
movq %rax, -0x48(%rbp)
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0x50(%rbp), %rax
cmpq $0x0, %rax
je 0x1848eb
movq -0x30(%rbp), %rax
movq %rax, -0x60(%rbp)
leaq 0x20d047(%rip), %rax    # 0x3918f0
orq $0x1, %rax
movq %rax, -0x58(%rbp)
movq -0x60(%rbp), %rax
andq $0x3, %rax
cmpq $0x0, %rax
jne 0x1848eb
movq -0x30(%rbp), %rax
movq %rax, -0x70(%rbp)
leaq 0x20d022(%rip), %rax    # 0x3918f0
orq $0x1, %rax
movq %rax, -0x68(%rbp)
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0x70(%rbp), %rax
movl (%rax), %ecx
addl $0x1, %ecx
movl %ecx, (%rax)
jmp 0x1848ed
leaq 0x7f8c(%rip), %rax      # 0x18c880
movq %rax, -0x78(%rbp)
movq -0x30(%rbp), %rdi
movq -0x18(%rbp), %rax
movq %rax, -0x98(%rbp)
leaq 0x20d80a(%rip), %rax    # 0x392118
movq %rax, -0x90(%rbp)
movq -0x78(%rbp), %rax
movq %rax, -0xa8(%rbp)
leaq 0x20c8c1(%rip), %rax    # 0x3911e8
movq %rax, -0xa0(%rbp)
movq -0x98(%rbp), %rsi
movq -0x90(%rbp), %rdx
movq -0xa8(%rbp), %rcx
movq -0xa0(%rbp), %r8
callq 0x788b0
movl %eax, -0x88(%rbp)
movq %rdx, -0x80(%rbp)
movl -0x10(%rbp), %edi
movq -0x8(%rbp), %rsi
movl -0x88(%rbp), %edx
movq -0x80(%rbp), %rcx
callq 0x70ac0
movq %rax, -0xb0(%rbp)
movq -0x20(%rbp), %rcx
movq -0x28(%rbp), %rax
movq %rcx, (%rax)
movq -0xb0(%rbp), %rax
addq $0xb0, %rsp
popq %rbp
retq
nopw %cs:(%rax,%rax)
// File: /workspace/github_c_makefile_star2_O0/mirth-lang[P]mirth/bin/mirth1.c
// Function: mw_mirth_table_Table_Alloczx
static uint64_t mw_mirth_table_Table_Alloczx (struct mirth_mirth_zaMirth* in_zaMirth_1, struct mirth_mirth_zaMirth* *out_zaMirth_2) {
	void* v4 = mbuf_mirth_table_Table_NumBuffer;
	uint64_t v5 = *(uint64_t*)v4;
	uint64_t v6 = 1ULL;
	uint64_t v7 = (v5 + v6);
	void* v8 = mbuf_mirth_table_Table_NumBuffer;
	*(uint64_t*)v8 = v7;
	uint64_t v9 = v7;
	*out_zaMirth_2 = in_zaMirth_1;
	return v9;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
movq %rdi, -0x8(%rbp)
movq %rsi, -0x10(%rbp)
leaq 0x120d67d(%rip), %rax   # 0x1396240
movq %rax, -0x18(%rbp)
movq -0x18(%rbp), %rax
movq (%rax), %rax
movq %rax, -0x20(%rbp)
movq $0x1, -0x28(%rbp)
movq -0x20(%rbp), %rax
addq -0x28(%rbp), %rax
movq %rax, -0x30(%rbp)
leaq 0x120d653(%rip), %rax   # 0x1396240
movq %rax, -0x38(%rbp)
movq -0x30(%rbp), %rcx
movq -0x38(%rbp), %rax
movq %rcx, (%rax)
movq -0x30(%rbp), %rax
movq %rax, -0x40(%rbp)
movq -0x8(%rbp), %rcx
movq -0x10(%rbp), %rax
movq %rcx, (%rax)
movq -0x40(%rbp), %rax
popq %rbp
retq
nopw %cs:(%rax,%rax)