LLM4Binary/decompile-bench-makefile huggingface dataset:
// File: /workspace/github_c_makefile_star2_O2/mirth-lang[P]mirth/bin/mirth1.c
// Function: mw_mirth_type_Type_expand
static struct mirth_type_Type mw_mirth_type_Type_expand (struct mirth_mirth_zaMirth* in_zaMirth_1, struct mirth_type_Type in_Type_2, struct mirth_mirth_zaMirth* *out_zaMirth_3) {
	struct mirth_mirth_zaMirth* branch_zaMirth_5;
	struct mirth_type_Type branch_Type_6;
	switch ((in_Type_2).tag) {
		case mirth_type_Type_Meta: {
			uint64_t v7 = mtp_mirth_type_Type_Meta(in_Type_2);
			struct mirth_mirth_zaMirth* v8;
			struct mirth_type_Type v9 = mw_mirth_type_MetaVar_expand(in_zaMirth_1, v7, &v8);
			branch_Type_6 = v9;
			branch_zaMirth_5 = v8;
		} break;
		default: {
			branch_Type_6 = in_Type_2;
			branch_zaMirth_5 = in_zaMirth_1;
		} break;
	}
	*out_zaMirth_3 = branch_zaMirth_5;
	return branch_Type_6;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %rbx
pushq %rax
movq %rcx, %rbx
movq %rdi, %r14
cmpl $0x3, %esi
jne 0x2ab7f
movq %rdx, %rdi
callq 0x2aabf
leaq -0x20(%rbp), %r15
movq %r14, %rdi
movq %rax, %rsi
movq %r15, %rdx
callq 0x2ae07
movq (%r15), %r14
jmp 0x2ab81
movl %esi, %eax
movq %r14, (%rbx)
addq $0x8, %rsp
popq %rbx
popq %r14
popq %r15
popq %rbp
retq
// File: /workspace/github_c_makefile_star2_O2/mirth-lang[P]mirth/bin/mirth1.c
// Function: mtp_mirth_type_Type_Hole
static uint64_t mtp_mirth_type_Type_Hole (struct mirth_type_Type in_Type_1) {
	struct mirth_type_Type_Hole v3 = *in_Type_1.ptr.Hole;
	if (!--(in_Type_1.ptr.Hole->refs)) {
		free(in_Type_1.ptr.Hole);
	} else {
	}
	return v3.mName;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %rbx
pushq %rax
movq 0x8(%rdi), %rbx
decl (%rdi)
jne 0x2abe9
callq 0x5030
movq %rbx, %rax
addq $0x8, %rsp
popq %rbx
popq %rbp
retq
// File: /workspace/github_c_makefile_star2_O2/mirth-lang[P]mirth/bin/mirth1.c
// Function: mtp_mirth_type_Type_Var
static uint64_t mtp_mirth_type_Type_Var (struct mirth_type_Type in_Type_1) {
	struct mirth_type_Type_Var v3 = *in_Type_1.ptr.Var;
	if (!--(in_Type_1.ptr.Var->refs)) {
		free(in_Type_1.ptr.Var);
	} else {
	}
	return v3.mVar;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %rbx
pushq %rax
movq 0x8(%rdi), %rbx
decl (%rdi)
jne 0x2ac06
callq 0x5030
movq %rbx, %rax
addq $0x8, %rsp
popq %rbx
popq %rbp
retq
// File: /workspace/github_c_makefile_star2_O2/mirth-lang[P]mirth/bin/mirth1.c
// Function: mtp_mirth_type_Type_Table
static uint64_t mtp_mirth_type_Type_Table (struct mirth_type_Type in_Type_1) {
	struct mirth_type_Type_Table v3 = *in_Type_1.ptr.Table;
	if (!--(in_Type_1.ptr.Table->refs)) {
		free(in_Type_1.ptr.Table);
	} else {
	}
	return v3.mTable;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %rbx
pushq %rax
movq 0x8(%rdi), %rbx
decl (%rdi)
jne 0x2ac23
callq 0x5030
movq %rbx, %rax
addq $0x8, %rsp
popq %rbx
popq %rbp
retq
// File: /workspace/github_c_makefile_star2_O2/mirth-lang[P]mirth/bin/mirth1.c
// Function: mtp_mirth_type_Type_Data
static uint64_t mtp_mirth_type_Type_Data (struct mirth_type_Type in_Type_1) {
	struct mirth_type_Type_Data v3 = *in_Type_1.ptr.Data;
	if (!--(in_Type_1.ptr.Data->refs)) {
		free(in_Type_1.ptr.Data);
	} else {
	}
	return v3.mData;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %rbx
pushq %rax
movq 0x8(%rdi), %rbx
decl (%rdi)
jne 0x2ac40
callq 0x5030
movq %rbx, %rax
addq $0x8, %rsp
popq %rbx
popq %rbp
retq
// File: /workspace/github_c_makefile_star2_O2/mirth-lang[P]mirth/bin/mirth1.c
// Function: mtp_mirth_type_Type_DataPartial
static struct mirth_data_DataPartial* mtp_mirth_type_Type_DataPartial (struct mirth_type_Type in_Type_1) {
	struct mirth_type_Type_DataPartial v3 = *in_Type_1.ptr.DataPartial;
	if (!--(in_Type_1.ptr.DataPartial->refs)) {
		free(in_Type_1.ptr.DataPartial);
	} else {
		incref(MK_mirth_data_DataPartial(v3.mDataPartial));
	}
	return v3.mDataPartial;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %rbx
pushq %rax
movq 0x8(%rdi), %rbx
decl (%rdi)
je 0x2ac76
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq %rbx, %rax
sete %cl
testb $0x3, %bl
setne %dl
orb %cl, %dl
jne 0x2ac7b
incl (%rax)
jmp 0x2ac7b
callq 0x5030
movq %rbx, %rax
addq $0x8, %rsp
popq %rbx
popq %rbp
retq
// File: /workspace/github_c_makefile_star2_O2/mirth-lang[P]mirth/bin/mirth1.c
// Function: mtp_mirth_type_Type_Arrow
static struct mirth_type_ArrowType* mtp_mirth_type_Type_Arrow (struct mirth_type_Type in_Type_1) {
	struct mirth_type_Type_Arrow v3 = *in_Type_1.ptr.Arrow;
	if (!--(in_Type_1.ptr.Arrow->refs)) {
		free(in_Type_1.ptr.Arrow);
	} else {
		incref(MK_mirth_type_ArrowType(v3.mArrowType));
	}
	return v3.mArrowType;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %rbx
pushq %rax
movq 0x8(%rdi), %rbx
decl (%rdi)
je 0x2acb1
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq %rbx, %rax
sete %cl
testb $0x3, %bl
setne %dl
orb %cl, %dl
jne 0x2acb6
incl (%rax)
jmp 0x2acb6
callq 0x5030
movq %rbx, %rax
addq $0x8, %rsp
popq %rbx
popq %rbp
retq
// File: /workspace/github_c_makefile_star2_O2/mirth-lang[P]mirth/bin/mirth1.c
// Function: mtp_mirth_type_Type_Stack
static struct mirth_type_StackType mtp_mirth_type_Type_Stack (struct mirth_type_Type in_Type_1) {
	struct mirth_type_Type_Stack v3 = *in_Type_1.ptr.Stack;
	if (!--(in_Type_1.ptr.Stack->refs)) {
		free(in_Type_1.ptr.Stack);
	} else {
		incref(MK_mirth_type_StackType(v3.mStackType));
	}
	return v3.mStackType;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r14
pushq %rbx
movl 0x8(%rdi), %ebx
movq 0x10(%rdi), %r14
decl (%rdi)
je 0x2acf1
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq %r14, %rax
sete %cl
testb $0x3, %r14b
setne %dl
orb %cl, %dl
jne 0x2acf6
incl (%rax)
jmp 0x2acf6
callq 0x5030
movl %ebx, %eax
movq %r14, %rdx
popq %rbx
popq %r14
popq %rbp
retq
// File: /workspace/github_c_makefile_star2_O2/mirth-lang[P]mirth/bin/mirth1.c
// Function: mtp_mirth_type_Type_App
static struct mirth_type_Type mtp_mirth_type_Type_App (struct mirth_type_Type in_Type_1, struct mirth_type_Type *out_Type_3) {
	struct mirth_type_Type_App v4 = *in_Type_1.ptr.App;
	if (!--(in_Type_1.ptr.App->refs)) {
		free(in_Type_1.ptr.App);
	} else {
		incref(MK_mirth_type_Type(v4.mType_1));
		incref(MK_mirth_type_Type(v4.mType));
	}
	*out_Type_3 = v4.mType;
	return v4.mType_1;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
pushq %rax
movq %rsi, %rbx
movl 0x8(%rdi), %eax
movq 0x10(%rdi), %r15
movl 0x18(%rdi), %r12d
movl 0x1c(%rdi), %r13d
movq 0x20(%rdi), %r14
decl (%rdi)
je 0x2ad5f
movabsq $0xfffffffffffc, %rdi   # imm = 0xFFFFFFFFFFFC
movq %r15, %rcx
andq %rdi, %rcx
sete %dl
testb $0x3, %r15b
setne %sil
orb %dl, %sil
jne 0x2ad4a
incl (%rcx)
andq %r14, %rdi
sete %cl
testb $0x3, %r14b
setne %dl
orb %cl, %dl
jne 0x2ad6a
incl (%rdi)
jmp 0x2ad6a
movl %eax, -0x2c(%rbp)
callq 0x5030
movl -0x2c(%rbp), %eax
movl %r12d, (%rbx)
movl %r13d, 0x4(%rbx)
movq %r14, 0x8(%rbx)
movq %r15, %rdx
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
// File: /workspace/github_c_makefile_star2_O2/mirth-lang[P]mirth/bin/mirth1.c
// Function: mtp_mirth_type_Type_Mut
static struct mirth_type_Type mtp_mirth_type_Type_Mut (struct mirth_type_Type in_Type_1) {
	struct mirth_type_Type_Mut v3 = *in_Type_1.ptr.Mut;
	if (!--(in_Type_1.ptr.Mut->refs)) {
		free(in_Type_1.ptr.Mut);
	} else {
		incref(MK_mirth_type_Type(v3.mType));
	}
	return v3.mType;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r14
pushq %rbx
movl 0x8(%rdi), %ebx
movq 0x10(%rdi), %r14
decl (%rdi)
je 0x2adb8
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq %r14, %rax
sete %cl
testb $0x3, %r14b
setne %dl
orb %cl, %dl
jne 0x2adbd
incl (%rax)
jmp 0x2adbd
callq 0x5030
movl %ebx, %eax
movq %r14, %rdx
popq %rbx
popq %r14
popq %rbp
retq
// File: /workspace/github_c_makefile_star2_O2/mirth-lang[P]mirth/bin/mirth1.c
// Function: mtp_mirth_type_Type_Value
static struct mirth_type_Value mtp_mirth_type_Type_Value (struct mirth_type_Type in_Type_1) {
	struct mirth_type_Type_Value v3 = *in_Type_1.ptr.Value;
	if (!--(in_Type_1.ptr.Value->refs)) {
		free(in_Type_1.ptr.Value);
	} else {
		incref(MK_mirth_type_Value(v3.mValue));
	}
	return v3.mValue;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r14
pushq %rbx
movl 0x8(%rdi), %ebx
movq 0x10(%rdi), %r14
decl (%rdi)
je 0x2adf8
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq %r14, %rax
sete %cl
testb $0x3, %r14b
setne %dl
orb %cl, %dl
jne 0x2adfd
incl (%rax)
jmp 0x2adfd
callq 0x5030
movl %ebx, %eax
movq %r14, %rdx
popq %rbx
popq %r14
popq %rbp
retq
// File: /workspace/github_c_makefile_star2_O2/mirth-lang[P]mirth/bin/mirth1.c
// Function: mw_mirth_type_MetaVar_expand
static struct mirth_type_Type mw_mirth_type_MetaVar_expand (struct mirth_mirth_zaMirth* in_zaMirth_1, uint64_t in_MetaVar_2, struct mirth_mirth_zaMirth* *out_zaMirth_3) {
	struct mirth_mirth_zaMirth* v5;
	struct std_maybe_Maybe_1 v6 = mw_mirth_type_MetaVar_typezy(in_zaMirth_1, in_MetaVar_2, &v5);
	struct mirth_mirth_zaMirth* branch_zaMirth_7;
	struct mirth_type_Type branch_Type_8;
	switch ((v6).tag) {
		case std_maybe_Maybe_1_None: {
			struct mirth_type_Type v9 = mtw_mirth_type_Type_Meta(in_MetaVar_2);
			branch_Type_8 = v9;
			branch_zaMirth_7 = v5;
		} break;
		case std_maybe_Maybe_1_Some: {
			VAL v10 = mtp_std_maybe_Maybe_1_Some(v6);
			struct mirth_mirth_zaMirth* v11;
			struct mirth_type_Type v12 = mw_mirth_type_Type_expand(v5, V_mirth_type_Type(v10), &v11);
			incref(MK_mirth_type_Type(v12));
			struct std_maybe_Maybe_1 v13 = mtw_std_maybe_Maybe_1_Some(MK_mirth_type_Type(v12));
			struct mirth_mirth_zaMirth* v14;
			mw_mirth_type_MetaVar_typezyzx(v11, v13, in_MetaVar_2, &v14);
			branch_Type_8 = v12;
			branch_zaMirth_7 = v14;
		} break;
		default: {
			do_panic(str_make("unexpected fallthrough in match\n", 32));
		}
	}
	*out_zaMirth_3 = branch_zaMirth_7;
	return branch_Type_8;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x18, %rsp
movq %rdx, %rbx
movq %rsi, %r14
leaq -0x30(%rbp), %rdx
callq 0x2aadc
cmpl $0x1, %eax
je 0x2ae49
testl %eax, %eax
jne 0x2aed8
movq %r14, %rdi
callq 0x2aeef
movq %rdx, %r15
pushq $0x3
popq %r12
movq -0x30(%rbp), %rax
jmp 0x2aec0
movq %rdx, %rdi
callq 0xd491
movq -0x30(%rbp), %rdi
movq %rax, %rsi
shrq $0x30, %rsi
movabsq $0xfffffffffffc, %r13   # imm = 0xFFFFFFFFFFFC
andq %r13, %rax
leaq -0x38(%rbp), %rcx
movq %rax, %rdx
callq 0x2ab4b
movl %eax, %r12d
movq %rdx, %r15
movq %r12, %rdi
shlq $0x30, %rdi
orq %rdx, %rdi
leaq 0xddc5d(%rip), %rsi     # 0x108ae9
andq %rdx, %r13
sete %al
testb $0x3, %r15b
setne %cl
orb %al, %cl
jne 0x2aea1
incl (%r13)
callq 0x8d0c
movq -0x38(%rbp), %rdi
leaq -0x40(%rbp), %r13
movq %rdx, %rsi
movq %r14, %rdx
movq %r13, %rcx
callq 0x2ab8f
movq (%r13), %rax
movq %rax, (%rbx)
movl %r12d, %eax
movq %r15, %rdx
addq $0x18, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
leaq 0xa992e(%rip), %rdi     # 0xd480d
pushq $0x20
popq %rsi
callq 0x8a21
movq %rax, %rdi
callq 0x8cc6
// File: /workspace/github_c_makefile_star2_O2/mirth-lang[P]mirth/bin/mirth1.c
// Function: mtw_mirth_type_Type_Meta
static struct mirth_type_Type mtw_mirth_type_Type_Meta (uint64_t in_MetaVar_1) {
	struct mirth_type_Type_Meta* v3 = calloc(1, sizeof *v3);
	ASSERT(v3);
	v3->refs = 1;
	v3->mMetaVar = in_MetaVar_1;
	struct mirth_type_Type v4 = { .tag=mirth_type_Type_Meta, .ptr.Meta=v3 };
	return v4;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %rbx
pushq %rax
movq %rdi, %rbx
pushq $0x1
popq %rdi
pushq $0x10
popq %rsi
callq 0x50c0
testq %rax, %rax
je 0x2af1f
movq %rax, %rdx
movl $0x1, (%rax)
movq %rbx, 0x8(%rax)
pushq $0x3
popq %rax
addq $0x8, %rsp
popq %rbx
popq %rbp
retq
leaq 0xad41a(%rip), %rsi     # 0xd8340
pushq $0x2
popq %rdi
pushq $0x31
popq %rdx
callq 0x5060
callq 0x52ae
pushq $0x1
popq %rdi
callq 0x5130
// File: /workspace/github_c_makefile_star2_O2/mirth-lang[P]mirth/bin/mirth1.c
// Function: mtp_mirth_type_Value_Int
static INT mtp_mirth_type_Value_Int (struct mirth_type_Value in_Value_1) {
	struct mirth_type_Value_Int v3 = *in_Value_1.ptr.Int;
	if (!--(in_Value_1.ptr.Int->refs)) {
		free(in_Value_1.ptr.Int);
	} else {
		incref(MKINT(v3.mInt));
	}
	return v3.mInt;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %rbx
pushq %rax
movq 0x8(%rdi), %rbx
decl (%rdi)
je 0x2af6a
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq %rbx, %rax
sete %cl
testb $0x3, %bl
setne %dl
orb %cl, %dl
jne 0x2af6f
incl (%rax)
jmp 0x2af6f
callq 0x5030
movq %rbx, %rax
addq $0x8, %rsp
popq %rbx
popq %rbp
retq
// File: /workspace/github_c_makefile_star2_O2/mirth-lang[P]mirth/bin/mirth1.c
// Function: mtp_mirth_type_Value_F64
static double mtp_mirth_type_Value_F64 (struct mirth_type_Value in_Value_1) {
	struct mirth_type_Value_F64 v3 = *in_Value_1.ptr.F64;
	if (!--(in_Value_1.ptr.F64->refs)) {
		free(in_Value_1.ptr.F64);
	} else {
	}
	return v3.mF64;
}

// Assembly:
movsd 0x8(%rdi), %xmm0
decl (%rdi)
je 0x2af83
retq
pushq %rbp
movq %rsp, %rbp
subq $0x10, %rsp
movsd %xmm0, -0x8(%rbp)
callq 0x5030
movsd -0x8(%rbp), %xmm0
addq $0x10, %rsp
popq %rbp
retq
// File: /workspace/github_c_makefile_star2_O2/mirth-lang[P]mirth/bin/mirth1.c
// Function: mtp_mirth_type_Value_Str
static STR* mtp_mirth_type_Value_Str (struct mirth_type_Value in_Value_1) {
	struct mirth_type_Value_Str v3 = *in_Value_1.ptr.Str;
	if (!--(in_Value_1.ptr.Str->refs)) {
		free(in_Value_1.ptr.Str);
	} else {
		incref(MKSTR(v3.mStr));
	}
	return v3.mStr;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %rbx
pushq %rax
movq 0x8(%rdi), %rbx
decl (%rdi)
je 0x2afcc
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq %rbx, %rax
sete %cl
testb $0x3, %bl
setne %dl
orb %cl, %dl
jne 0x2afd1
incl (%rax)
jmp 0x2afd1
callq 0x5030
movq %rbx, %rax
addq $0x8, %rsp
popq %rbx
popq %rbp
retq
// File: /workspace/github_c_makefile_star2_O2/mirth-lang[P]mirth/bin/mirth1.c
// Function: mirth_elab_RejectedDef_free
void mirth_elab_RejectedDef_free (VAL v) {
	struct mirth_elab_RejectedDef self = V_mirth_elab_RejectedDef(v);
	switch (self.tag) {
		case mirth_elab_RejectedDef_WrongSort: {
			decref(MK_mirth_def_Def(self.ptr.WrongSort->mDef));
			free(self.ptr.WrongSort);
		} break;
		case mirth_elab_RejectedDef_WrongArity: {
			decref(MK_mirth_def_Def(self.ptr.WrongArity->mDef));
			free(self.ptr.WrongArity);
		} break;
		case mirth_elab_RejectedDef_NotVisible: {
			decref(MK_mirth_def_Def(self.ptr.NotVisible->mDef));
			free(self.ptr.NotVisible);
		} break;
		case mirth_elab_RejectedDef_NotImported: {
			decref(MK_mirth_def_Def(self.ptr.NotImported->mDef));
			free(self.ptr.NotImported);
		} break;
		case mirth_elab_RejectedDef_WrongQualifier: {
			decref(MK_mirth_def_Def(self.ptr.WrongQualifier->mDef));
			free(self.ptr.WrongQualifier);
		} break;
		case mirth_elab_RejectedDef_WrongConstructor: {
			decref(MK_mirth_def_Def(self.ptr.WrongConstructor->mDef));
			free(self.ptr.WrongConstructor);
		} break;
		case mirth_elab_RejectedDef_MethodNotAvailable: {
			decref(MK_mirth_def_Def(self.ptr.MethodNotAvailable->mDef));
			free(self.ptr.MethodNotAvailable);
		} break;
		case mirth_elab_RejectedDef_MethodWrongType: {
			decref(MK_mirth_def_Def(self.ptr.MethodWrongType->mDef));
			decref(MK_std_list_List_1(self.ptr.MethodWrongType->mList));
			free(self.ptr.MethodWrongType);
		} break;
	}
}

// Assembly:
movq %rdi, %rax
shrq $0x30, %rax
cmpw $0x7, %ax
ja 0x2b10c
pushq %rbp
movq %rsp, %rbp
pushq %r14
pushq %rbx
movq %rdi, %rbx
movabsq $0xfffffffffffc, %r14   # imm = 0xFFFFFFFFFFFC
andq %r14, %rbx
leaq 0xa76ae(%rip), %rcx     # 0xd2724
movslq (%rcx,%rax,4), %rax
addq %rcx, %rax
jmpq *%rax
movq 0x10(%rbx), %rax
andq %rax, %r14
sete %cl
testb $0x3, %al
setne %al
orb %cl, %al
jne 0x2b100
decl (%r14)
jne 0x2b100
leaq 0x10(%rbx), %rax
leaq 0xdd6e7(%rip), %rsi     # 0x108789
leaq 0x8(%rbx), %rcx
movl (%rcx), %edi
shlq $0x30, %rdi
orq (%rax), %rdi
callq 0xce94
jmp 0x2b100
movq 0x10(%rbx), %rcx
movq %rcx, %rax
andq %r14, %rax
sete %dl
testb $0x3, %cl
setne %cl
orb %dl, %cl
jne 0x2b0e8
decl (%rax)
jne 0x2b0e8
leaq 0xdd6b1(%rip), %rsi     # 0x108789
movl 0x8(%rbx), %edi
shlq $0x30, %rdi
orq 0x10(%rbx), %rdi
callq 0xce94
movq 0x20(%rbx), %rax
andq %rax, %r14
sete %cl
testb $0x3, %al
setne %al
orb %cl, %al
jne 0x2b100
decl (%r14)
je 0x2b10d
movq %rbx, %rdi
popq %rbx
popq %r14
popq %rbp
jmp 0x5030
retq
leaq 0x20(%rbx), %rax
leaq 0xdd161(%rip), %rsi     # 0x108279
leaq 0x18(%rbx), %rcx
jmp 0x2b0a6
// File: /workspace/github_c_makefile_star2_O2/mirth-lang[P]mirth/bin/mirth1.c
// Function: mw_mirth_token_Token_dnamezy
static struct std_maybe_Maybe_1 mw_mirth_token_Token_dnamezy (struct mirth_mirth_zaMirth* in_zaMirth_1, uint64_t in_Token_2, struct mirth_mirth_zaMirth* *out_zaMirth_3) {
	struct mirth_mirth_zaMirth* v5;
	struct mirth_token_TokenValue v6 = mw_mirth_token_Token_value(in_zaMirth_1, in_Token_2, &v5);
	struct std_maybe_Maybe_1 v7 = mw_mirth_token_TokenValue_dnamezy(v6);
	*out_zaMirth_3 = v5;
	return v7;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %rbx
pushq %rax
movq %rdx, %rbx
leaq -0x10(%rbp), %rdx
callq 0x252f3
cmpl $0x1c, %eax
jne 0x2b1a0
movq %rdx, %rdi
callq 0x253ff
leaq 0xddcb6(%rip), %rsi     # 0x108e49
movq %rax, %rdi
callq 0x8d0c
pushq $0x1
popq %rax
jmp 0x2b1db
movabsq $0xfffffffffffc, %rcx   # imm = 0xFFFFFFFFFFFC
andq %rdx, %rcx
sete %sil
testb $0x3, %dl
setne %dil
orb %sil, %dil
jne 0x2b1d7
decl (%rcx)
jne 0x2b1d7
shlq $0x30, %rax
orq %rdx, %rax
leaq 0xddd0a(%rip), %rsi     # 0x108ed9
movq %rax, %rdi
callq 0xce94
xorl %eax, %eax
xorl %edx, %edx
movq -0x10(%rbp), %rcx
movq %rcx, (%rbx)
addq $0x8, %rsp
popq %rbx
popq %rbp
retq
// File: /workspace/github_c_makefile_star2_O2/mirth-lang[P]mirth/bin/mirth1.c
// Function: mw_mirth_alias_Alias_qnamezehard
static struct mirth_name_QName* mw_mirth_alias_Alias_qnamezehard (struct mirth_mirth_zaMirth* in_zaMirth_1, uint64_t in_Alias_2, struct mirth_mirth_zaMirth* *out_zaMirth_3) {
	void* v5 = field_mut(&mfld_mirth_alias_Alias_ztqname, in_Alias_2);
	struct mirth_mirth_zaMirth* v6;
	VAL v7 = mw_mirth_mirth_Prop_1_forcezx(in_zaMirth_1, v5, &v6);
	*out_zaMirth_3 = v6;
	return V_mirth_name_QName(v7);
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %rbx
pushq %rax
movq %rdx, %rbx
movq %rdi, %r14
leaq 0x10dfce1(%rip), %rdi   # 0x110b510
callq 0x12f88
leaq -0x20(%rbp), %r15
movq %r14, %rdi
movq %rax, %rsi
movq %r15, %rdx
callq 0x184dc
movq (%r15), %rcx
movq %rcx, (%rbx)
addq $0x8, %rsp
popq %rbx
popq %r14
popq %r15
popq %rbp
retq
// File: /workspace/github_c_makefile_star2_O2/mirth-lang[P]mirth/bin/mirth1.c
// Function: mw_mirth_external_External_qnamezehard
static struct mirth_name_QName* mw_mirth_external_External_qnamezehard (struct mirth_mirth_zaMirth* in_zaMirth_1, uint64_t in_External_2, struct mirth_mirth_zaMirth* *out_zaMirth_3) {
	void* v5 = field_mut(&mfld_mirth_external_External_ztqname, in_External_2);
	struct mirth_mirth_zaMirth* v6;
	VAL v7 = mw_mirth_mirth_Prop_1_forcezx(in_zaMirth_1, v5, &v6);
	*out_zaMirth_3 = v6;
	return V_mirth_name_QName(v7);
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %rbx
pushq %rax
movq %rdx, %rbx
movq %rdi, %r14
leaq 0x10e02c4(%rip), %rdi   # 0x110bbb0
callq 0x12f88
leaq -0x20(%rbp), %r15
movq %r14, %rdi
movq %rax, %rsi
movq %r15, %rdx
callq 0x184dc
movq (%r15), %rcx
movq %rcx, (%rbx)
addq $0x8, %rsp
popq %rbx
popq %r14
popq %r15
popq %rbp
retq
// File: /workspace/github_c_makefile_star2_O2/mirth-lang[P]mirth/bin/mirth1.c
// Function: mw_mirth_table_Field_qnamezehard
static struct mirth_name_QName* mw_mirth_table_Field_qnamezehard (struct mirth_mirth_zaMirth* in_zaMirth_1, uint64_t in_Field_2, struct mirth_mirth_zaMirth* *out_zaMirth_3) {
	void* v5 = field_mut(&mfld_mirth_table_Field_ztqname, in_Field_2);
	struct mirth_mirth_zaMirth* v6;
	VAL v7 = mw_mirth_mirth_Prop_1_forcezx(in_zaMirth_1, v5, &v6);
	*out_zaMirth_3 = v6;
	return V_mirth_name_QName(v7);
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %rbx
pushq %rax
movq %rdx, %rbx
movq %rdi, %r14
leaq 0x10e02a5(%rip), %rdi   # 0x110bbd0
callq 0x12f88
leaq -0x20(%rbp), %r15
movq %r14, %rdi
movq %rax, %rsi
movq %r15, %rdx
callq 0x184dc
movq (%r15), %rcx
movq %rcx, (%rbx)
addq $0x8, %rsp
popq %rbx
popq %r14
popq %r15
popq %rbp
retq
// File: /workspace/github_c_makefile_star2_O2/mirth-lang[P]mirth/bin/mirth1.c
// Function: mw_std_maybe_Maybe_1_zgList
static struct std_list_List_1 mw_std_maybe_Maybe_1_zgList (struct std_maybe_Maybe_1 in_Maybe_1) {
	struct std_list_List_1 branch_List_3;
	switch ((in_Maybe_1).tag) {
		case std_maybe_Maybe_1_None: {
			struct std_list_List_1 v4 = { .tag=std_list_List_1_Nil };
			branch_List_3 = v4;
		} break;
		case std_maybe_Maybe_1_Some: {
			VAL v5 = mtp_std_maybe_Maybe_1_Some(in_Maybe_1);
			struct std_list_List_1 v6 = { .tag=std_list_List_1_Nil };
			struct std_list_List_1 v7 = mw_std_list_List_1_cons(v5, v6);
			branch_List_3 = v7;
		} break;
		default: {
			do_panic(str_make("unexpected fallthrough in match\n", 32));
		}
	}
	return branch_List_3;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %rbx
pushq %rax
movl %edi, %ebx
testl %edi, %edi
je 0x2b9d6
cmpl $0x1, %ebx
jne 0x2b9e1
movq %rsi, %rdi
callq 0xd491
movq %rax, %rdi
movq %rdx, %rsi
xorl %edx, %edx
xorl %ecx, %ecx
callq 0xcf39
jmp 0x2b9d8
xorl %edx, %edx
movl %ebx, %eax
addq $0x8, %rsp
popq %rbx
popq %rbp
retq
leaq 0xa8e25(%rip), %rdi     # 0xd480d
pushq $0x20
popq %rsi
callq 0x8a21
movq %rax, %rdi
callq 0x8cc6
// File: /workspace/github_c_makefile_star2_O2/mirth-lang[P]mirth/bin/mirth1.c
// Function: mw_std_list_List_1_unsnoc
static struct std_list_List_1 mw_std_list_List_1_unsnoc (struct std_list_List_1 in_List_1, struct std_maybe_Maybe_1 *out_Maybe_3) {
	struct std_list_List_1 v4 = mw_std_list_List_1_reverse(in_List_1);
	struct std_list_List_1 v5;
	struct std_maybe_Maybe_1 v6 = mw_std_list_List_1_uncons(v4, &v5);
	struct std_list_List_1 v7 = mw_std_list_List_1_reverse(v5);
	*out_Maybe_3 = v6;
	return v7;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r12
pushq %rbx
subq $0x10, %rsp
movq %rdx, %rbx
callq 0xcd32
leaq -0x30(%rbp), %r14
movl %eax, %edi
movq %rdx, %rsi
movq %r14, %rdx
callq 0x1075d
movl %eax, %r15d
movq %rdx, %r12
movl (%r14), %edi
movq 0x8(%r14), %rsi
callq 0xcd32
movl %r15d, (%rbx)
movq %r12, 0x8(%rbx)
addq $0x10, %rsp
popq %rbx
popq %r12
popq %r14
popq %r15
popq %rbp
retq
// File: /workspace/github_c_makefile_star2_O2/mirth-lang[P]mirth/bin/mirth1.c
// Function: mw_std_list_List_1_for_1_sp71
static void mw_std_list_List_1_for_1_sp71 (struct std_list_List_1 in_zaLister_1, struct std_list_List_1 in_List_2, struct std_list_List_1 *out_zaLister_3) {
	bool v4 = true;
	struct std_list_List_1 r5 = in_zaLister_1;
	struct std_list_List_1 v6 = in_List_2;
	bool v7 = v4;
	bool v8 = v4;
	while (v8) {
		struct std_list_List_1 r9 = r5;
		struct std_list_List_1 v10 = v6;
		bool v11 = v7;
		struct std_list_List_1 branch_zaLister_12;
		struct std_list_List_1 branch_List_13;
		bool branch_Bool_14;
		switch ((v10).tag) {
			case std_list_List_1_Cons: {
				struct std_list_List_1 v15;
				VAL v16 = mtp_std_list_List_1_Cons(v10, &v15);
				struct std_list_List_1 v17;
				mw_std_list_zaLister_1_pushzx(v16, r9, &v17);
				bool v18 = true;
				branch_Bool_14 = v18;
				branch_List_13 = v15;
				branch_zaLister_12 = v17;
			} break;
			case std_list_List_1_Nil: {
				struct std_list_List_1 v19 = { .tag=std_list_List_1_Nil };
				bool v20 = false;
				branch_Bool_14 = v20;
				branch_List_13 = v19;
				branch_zaLister_12 = r9;
			} break;
			default: {
				do_panic(str_make("unexpected fallthrough in match\n", 32));
			}
		}
		v8 = branch_Bool_14;
		v7 = branch_Bool_14;
		v6 = branch_List_13;
		r5 = branch_zaLister_12;
	}
	decref(MK_std_list_List_1(v6));
	*out_zaLister_3 = r5;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x28, %rsp
movq %r8, %rbx
movq %rsi, %r14
movl %edi, %r15d
leaq -0x48(%rbp), %rsi
leaq -0x38(%rbp), %r13
movb $0x1, %al
movq %rcx, %rdi
testb $0x1, %al
je 0x2be81
xorl %eax, %eax
movl $0x0, %ecx
testl %edx, %edx
je 0x2be32
cmpl $0x1, %edx
jne 0x2bed2
movq %rsi, %r12
callq 0xce01
movq %rax, %rdi
movq %rdx, %rsi
movl %r15d, %edx
movq %r14, %rcx
movq %r13, %r8
callq 0x8e35
movq %r12, %rsi
movl -0x48(%rbp), %edx
movq -0x40(%rbp), %rcx
movl -0x38(%rbp), %r15d
movl -0x34(%rbp), %r12d
movq -0x30(%rbp), %r14
jmp 0x2be30
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq %rdi, %rax
sete %cl
testb $0x3, %dil
setne %sil
orb %cl, %sil
jne 0x2beb8
decl (%rax)
jne 0x2beb8
shlq $0x30, %rdx
orq %rdi, %rdx
leaq 0xdc3c9(%rip), %rsi     # 0x108279
movq %rdx, %rdi
callq 0xce94
movl %r15d, (%rbx)
movl %r12d, 0x4(%rbx)
movq %r14, 0x8(%rbx)
addq $0x28, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
leaq 0xa8934(%rip), %rdi     # 0xd480d
pushq $0x20
popq %rsi
callq 0x8a21
movq %rax, %rdi
callq 0x8cc6
// File: /workspace/github_c_makefile_star2_O2/mirth-lang[P]mirth/bin/mirth1.c
// Function: mtw_mirth_elab_RejectedDef_MethodNotAvailable
static struct mirth_elab_RejectedDef mtw_mirth_elab_RejectedDef_MethodNotAvailable (struct mirth_def_Def in_Def_1) {
	struct mirth_elab_RejectedDef_MethodNotAvailable* v3 = calloc(1, sizeof *v3);
	ASSERT(v3);
	v3->refs = 1;
	v3->mDef = in_Def_1;
	struct mirth_elab_RejectedDef v4 = { .tag=mirth_elab_RejectedDef_MethodNotAvailable, .ptr.MethodNotAvailable=v3 };
	return v4;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r14
pushq %rbx
movq %rsi, %rbx
movl %edi, %r14d
pushq $0x1
popq %rdi
pushq $0x18
popq %rsi
callq 0x50c0
testq %rax, %rax
je 0x2c243
movq %rax, %rdx
movl $0x1, (%rax)
movl %r14d, 0x8(%rax)
movq %rbx, 0x10(%rax)
pushq $0x6
popq %rax
popq %rbx
popq %r14
popq %rbp
retq
leaq 0xac236(%rip), %rsi     # 0xd8480
pushq $0x2
popq %rdi
pushq $0x31
popq %rdx
callq 0x5060
callq 0x52ae
pushq $0x1
popq %rdi
callq 0x5130
// File: /workspace/github_c_makefile_star2_O2/mirth-lang[P]mirth/bin/mirth1.c
// Function: mtw_mirth_elab_RejectedDef_MethodWrongType
static struct mirth_elab_RejectedDef mtw_mirth_elab_RejectedDef_MethodWrongType (struct mirth_def_Def in_Def_1, struct std_list_List_1 in_List_2) {
	struct mirth_elab_RejectedDef_MethodWrongType* v4 = calloc(1, sizeof *v4);
	ASSERT(v4);
	v4->refs = 1;
	v4->mList = in_List_2;
	v4->mDef = in_Def_1;
	struct mirth_elab_RejectedDef v5 = { .tag=mirth_elab_RejectedDef_MethodWrongType, .ptr.MethodWrongType=v4 };
	return v5;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r12
pushq %rbx
movq %rcx, %r14
movl %edx, %r12d
movq %rsi, %rbx
movl %edi, %r15d
pushq $0x1
popq %rdi
pushq $0x28
popq %rsi
callq 0x50c0
testq %rax, %rax
je 0x2c2ae
movq %rax, %rdx
movl $0x1, (%rax)
movl %r12d, 0x18(%rax)
movq %r14, 0x20(%rax)
movl %r15d, 0x8(%rax)
movq %rbx, 0x10(%rax)
pushq $0x7
popq %rax
popq %rbx
popq %r12
popq %r14
popq %r15
popq %rbp
retq
leaq 0xac1fd(%rip), %rsi     # 0xd84b2
pushq $0x2
popq %rdi
pushq $0x31
popq %rdx
callq 0x5060
callq 0x52ae
pushq $0x1
popq %rdi
callq 0x5130
// File: /workspace/github_c_makefile_star2_O2/mirth-lang[P]mirth/bin/mirth1.c
// Function: mtw_mirth_elab_RejectedDef_NotImported
static struct mirth_elab_RejectedDef mtw_mirth_elab_RejectedDef_NotImported (struct mirth_def_Def in_Def_1) {
	struct mirth_elab_RejectedDef_NotImported* v3 = calloc(1, sizeof *v3);
	ASSERT(v3);
	v3->refs = 1;
	v3->mDef = in_Def_1;
	struct mirth_elab_RejectedDef v4 = { .tag=mirth_elab_RejectedDef_NotImported, .ptr.NotImported=v3 };
	return v4;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r14
pushq %rbx
movq %rsi, %rbx
movl %edi, %r14d
pushq $0x1
popq %rdi
pushq $0x18
popq %rsi
callq 0x50c0
testq %rax, %rax
je 0x2c303
movq %rax, %rdx
movl $0x1, (%rax)
movl %r14d, 0x8(%rax)
movq %rbx, 0x10(%rax)
pushq $0x3
popq %rax
popq %rbx
popq %r14
popq %rbp
retq
leaq 0xac1da(%rip), %rsi     # 0xd84e4
pushq $0x2
popq %rdi
pushq $0x31
popq %rdx
callq 0x5060
callq 0x52ae
pushq $0x1
popq %rdi
callq 0x5130
// File: /workspace/github_c_makefile_star2_O2/mirth-lang[P]mirth/bin/mirth1.c
// Function: mw_mirth_name_DName_iszerelativezy
static bool mw_mirth_name_DName_iszerelativezy (struct mirth_name_DName* in_DName_1) {
	struct std_maybe_Maybe_1 v3 = mw_mirth_name_DName_rootzy(in_DName_1);
	int64_t v4 = (v3).tag;
	decref(MK_std_maybe_Maybe_1(v3));
	INT v5 = WRAP_I63(0LL);
	INT v6 = v5;
	INT v7 = i64_to_int(v4);
	bool v8 = int_eq(v7, v6);
	return v8;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %rbx
pushq %rax
callq 0x2b953
movl %eax, %ebx
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq %rdx, %rax
sete %cl
testb $0x3, %dl
setne %sil
orb %cl, %sil
jne 0x2c365
decl (%rax)
jne 0x2c365
movq %rbx, %rdi
shlq $0x30, %rdi
orq %rdx, %rdi
leaq 0xdbf61(%rip), %rsi     # 0x1082c1
callq 0xce94
movq %rbx, %rdi
callq 0xd86d
pushq $0x1
popq %rsi
movq %rax, %rdi
addq $0x8, %rsp
popq %rbx
popq %rbp
jmp 0xd759
// File: /workspace/github_c_makefile_star2_O2/mirth-lang[P]mirth/bin/mirth1.c
// Function: mw_mirth_module_Module_imports
static struct std_list_List_1 mw_mirth_module_Module_imports (struct mirth_mirth_zaMirth* in_zaMirth_1, uint64_t in_Module_2, struct mirth_mirth_zaMirth* *out_zaMirth_3) {
	void* v5 = field_mut(&mfld_mirth_module_Module_imports, in_Module_2);
	VAL v6 = mut_get(v5);
	*out_zaMirth_3 = in_zaMirth_1;
	return V_std_list_List_1(v6);
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r14
pushq %rbx
movq %rdx, %rbx
movq %rdi, %r14
leaq 0x10df8e1(%rip), %rdi   # 0x110bfb8
callq 0x12f88
movq %rax, %rdi
callq 0x1307d
movq %r14, (%rbx)
movabsq $0xfffffffffffc, %rdx   # imm = 0xFFFFFFFFFFFC
andq %rax, %rdx
shrq $0x30, %rax
popq %rbx
popq %r14
popq %rbp
retq
// File: /workspace/github_c_makefile_star2_O2/mirth-lang[P]mirth/bin/mirth1.c
// Function: mw_mirth_tycon_Tycon_name
static uint64_t mw_mirth_tycon_Tycon_name (struct mirth_mirth_zaMirth* in_zaMirth_1, struct mirth_tycon_Tycon in_Tycon_2, struct mirth_mirth_zaMirth* *out_zaMirth_3) {
	struct mirth_mirth_zaMirth* branch_zaMirth_5;
	uint64_t branch_Name_6;
	switch ((in_Tycon_2).tag) {
		case mirth_tycon_Tycon_Data: {
			uint64_t v7 = mtp_mirth_tycon_Tycon_Data(in_Tycon_2);
			struct mirth_mirth_zaMirth* v8;
			uint64_t v9 = mw_mirth_data_Data_name(in_zaMirth_1, v7, &v8);
			branch_Name_6 = v9;
			branch_zaMirth_5 = v8;
		} break;
		case mirth_tycon_Tycon_Table: {
			uint64_t v10 = mtp_mirth_tycon_Tycon_Table(in_Tycon_2);
			struct mirth_mirth_zaMirth* v11;
			uint64_t v12 = mw_mirth_table_Table_name(in_zaMirth_1, v10, &v11);
			branch_Name_6 = v12;
			branch_zaMirth_5 = v11;
		} break;
		case mirth_tycon_Tycon_Prim: {
			enum mirth_type_PrimType v13 = mtp_mirth_tycon_Tycon_Prim(in_Tycon_2);
			struct mirth_mirth_zaMirth* v14;
			struct mirth_name_QName* v15 = mw_mirth_type_PrimType_tyconzeqname(in_zaMirth_1, v13, &v14);
			uint64_t v16 = v15->mname;
			decref(MK_mirth_name_QName(v15));
			branch_Name_6 = v16;
			branch_zaMirth_5 = v14;
		} break;
		default: {
			do_panic(str_make("unexpected fallthrough in match\n", 32));
		}
	}
	*out_zaMirth_3 = branch_zaMirth_5;
	return branch_Name_6;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %rbx
pushq %rax
movq %rcx, %rbx
movq %rdi, %r14
cmpl $0x2, %esi
je 0x2c7cb
cmpl $0x1, %esi
je 0x2c7a9
testl %esi, %esi
jne 0x2c828
movq %rdx, %rdi
callq 0x17c94
leaq -0x20(%rbp), %r15
movq %r14, %rdi
movq %rax, %rsi
movq %r15, %rdx
callq 0x1a090
jmp 0x2c7c3
movq %rdx, %rdi
callq 0x17cb1
leaq -0x20(%rbp), %r15
movq %r14, %rdi
movq %rax, %rsi
movq %r15, %rdx
callq 0x1a0b9
movq %rax, %r14
movq (%r15), %rax
jmp 0x2c817
movq %rdx, %rdi
callq 0x17cce
leaq -0x20(%rbp), %rdx
movq %r14, %rdi
movl %eax, %esi
callq 0x18068
movq 0x18(%rax), %r14
movabsq $0xfffffffffffc, %rcx   # imm = 0xFFFFFFFFFFFC
andq %rax, %rcx
sete %dl
testb $0x3, %al
setne %sil
orb %dl, %sil
jne 0x2c813
decl (%rcx)
jne 0x2c813
leaq 0xdbf36(%rip), %rsi     # 0x108741
movq %rax, %rdi
callq 0xce94
movq -0x20(%rbp), %rax
movq %rax, (%rbx)
movq %r14, %rax
addq $0x8, %rsp
popq %rbx
popq %r14
popq %r15
popq %rbp
retq
leaq 0xa7fde(%rip), %rdi     # 0xd480d
pushq $0x20
popq %rsi
callq 0x8a21
movq %rax, %rdi
callq 0x8cc6
// File: /workspace/github_c_makefile_star2_O2/mirth-lang[P]mirth/bin/mirth1.c
// Function: mw_mirth_elab_zaResolveDef_rdrop
static void mw_mirth_elab_zaResolveDef_rdrop (struct mirth_elab_zaResolveDef* in_zaResolveDef_1) {
	STR* v2;
	uint64_t v3;
	struct std_either_Either_2 v4;
	struct std_list_List_1 v5;
	struct std_list_List_1 v6;
	bool v7;
	bool v8;
	mtp_mirth_elab_zaResolveDef_zaResolveDef(in_zaResolveDef_1, &v2, &v3, &v4, &v5, &v6, &v7, &v8);
	decref(MK_std_either_Either_2(v4));
	decref(MKSTR(v2));
	decref(MK_std_list_List_1(v6));
	decref(MK_std_list_List_1(v5));
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x18, %rsp
movabsq $0xfffffffffffc, %rbx   # imm = 0xFFFFFFFFFFFC
movq (%rdi), %r15
movq 0x18(%rdi), %r13
movl 0x20(%rdi), %eax
movq %rax, -0x38(%rbp)
movq 0x28(%rdi), %rax
movq %rax, -0x40(%rbp)
movl 0x30(%rdi), %eax
movq %rax, -0x30(%rbp)
movq 0x38(%rdi), %r14
movl 0x10(%rdi), %r12d
callq 0x5030
movq %r13, %rax
andq %rbx, %rax
sete %cl
testb $0x3, %r13b
setne %dl
orb %cl, %dl
jne 0x2c8b2
decl (%rax)
jne 0x2c8b2
shlq $0x30, %r12
orq %r13, %r12
leaq 0xdc677(%rip), %rsi     # 0x108f21
movq %r12, %rdi
callq 0xce94
movq %r15, %rax
andq %rbx, %rax
sete %cl
testb $0x3, %r15b
setne %dl
orb %cl, %dl
jne 0x2c8d9
decl (%rax)
jne 0x2c8d9
leaq 0xdb888(%rip), %rsi     # 0x108159
movq %r15, %rdi
callq 0xce94
leaq 0xdb999(%rip), %r15     # 0x108279
movq %r14, %rax
andq %rbx, %rax
sete %cl
testb $0x3, %r14b
setne %dl
orb %cl, %dl
jne 0x2c90b
decl (%rax)
jne 0x2c90b
movq -0x30(%rbp), %rdi
shlq $0x30, %rdi
orq %r14, %rdi
movq %r15, %rsi
callq 0xce94
movq -0x40(%rbp), %rdx
andq %rdx, %rbx
sete %al
testb $0x3, %dl
setne %cl
orb %al, %cl
jne 0x2c923
decl (%rbx)
je 0x2c932
addq $0x18, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
movq -0x38(%rbp), %rdi
shlq $0x30, %rdi
orq %rdx, %rdi
movq %r15, %rsi
addq $0x18, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
jmp 0xce94
// File: /workspace/github_c_makefile_star2_O2/mirth-lang[P]mirth/bin/mirth1.c
// Function: mtp_mirth_elab_RejectedDef_WrongSort
static struct mirth_def_Def mtp_mirth_elab_RejectedDef_WrongSort (struct mirth_elab_RejectedDef in_RejectedDef_1) {
	struct mirth_elab_RejectedDef_WrongSort v3 = *in_RejectedDef_1.ptr.WrongSort;
	if (!--(in_RejectedDef_1.ptr.WrongSort->refs)) {
		free(in_RejectedDef_1.ptr.WrongSort);
	} else {
		incref(MK_mirth_def_Def(v3.mDef));
	}
	return v3.mDef;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r14
pushq %rbx
movl 0x8(%rdi), %ebx
movq 0x10(%rdi), %r14
decl (%rdi)
je 0x2c984
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq %r14, %rax
sete %cl
testb $0x3, %r14b
setne %dl
orb %cl, %dl
jne 0x2c989
incl (%rax)
jmp 0x2c989
callq 0x5030
movl %ebx, %eax
movq %r14, %rdx
popq %rbx
popq %r14
popq %rbp
retq
// File: /workspace/github_c_makefile_star2_O2/mirth-lang[P]mirth/bin/mirth1.c
// Function: mtp_mirth_elab_RejectedDef_NotVisible
static struct mirth_def_Def mtp_mirth_elab_RejectedDef_NotVisible (struct mirth_elab_RejectedDef in_RejectedDef_1) {
	struct mirth_elab_RejectedDef_NotVisible v3 = *in_RejectedDef_1.ptr.NotVisible;
	if (!--(in_RejectedDef_1.ptr.NotVisible->refs)) {
		free(in_RejectedDef_1.ptr.NotVisible);
	} else {
		incref(MK_mirth_def_Def(v3.mDef));
	}
	return v3.mDef;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r14
pushq %rbx
movl 0x8(%rdi), %ebx
movq 0x10(%rdi), %r14
decl (%rdi)
je 0x2ca29
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq %r14, %rax
sete %cl
testb $0x3, %r14b
setne %dl
orb %cl, %dl
jne 0x2ca2e
incl (%rax)
jmp 0x2ca2e
callq 0x5030
movl %ebx, %eax
movq %r14, %rdx
popq %rbx
popq %r14
popq %rbp
retq
// File: /workspace/github_c_makefile_star2_O2/mirth-lang[P]mirth/bin/mirth1.c
// Function: mtp_mirth_elab_RejectedDef_NotImported
static struct mirth_def_Def mtp_mirth_elab_RejectedDef_NotImported (struct mirth_elab_RejectedDef in_RejectedDef_1) {
	struct mirth_elab_RejectedDef_NotImported v3 = *in_RejectedDef_1.ptr.NotImported;
	if (!--(in_RejectedDef_1.ptr.NotImported->refs)) {
		free(in_RejectedDef_1.ptr.NotImported);
	} else {
		incref(MK_mirth_def_Def(v3.mDef));
	}
	return v3.mDef;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r14
pushq %rbx
movl 0x8(%rdi), %ebx
movq 0x10(%rdi), %r14
decl (%rdi)
je 0x2ca69
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq %r14, %rax
sete %cl
testb $0x3, %r14b
setne %dl
orb %cl, %dl
jne 0x2ca6e
incl (%rax)
jmp 0x2ca6e
callq 0x5030
movl %ebx, %eax
movq %r14, %rdx
popq %rbx
popq %r14
popq %rbp
retq
// File: /workspace/github_c_makefile_star2_O2/mirth-lang[P]mirth/bin/mirth1.c
// Function: mtp_mirth_elab_RejectedDef_WrongArity
static struct mirth_def_Def mtp_mirth_elab_RejectedDef_WrongArity (struct mirth_elab_RejectedDef in_RejectedDef_1) {
	struct mirth_elab_RejectedDef_WrongArity v3 = *in_RejectedDef_1.ptr.WrongArity;
	if (!--(in_RejectedDef_1.ptr.WrongArity->refs)) {
		free(in_RejectedDef_1.ptr.WrongArity);
	} else {
		incref(MK_mirth_def_Def(v3.mDef));
	}
	return v3.mDef;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r14
pushq %rbx
movl 0x8(%rdi), %ebx
movq 0x10(%rdi), %r14
decl (%rdi)
je 0x2caa9
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq %r14, %rax
sete %cl
testb $0x3, %r14b
setne %dl
orb %cl, %dl
jne 0x2caae
incl (%rax)
jmp 0x2caae
callq 0x5030
movl %ebx, %eax
movq %r14, %rdx
popq %rbx
popq %r14
popq %rbp
retq
// File: /workspace/github_c_makefile_star2_O2/mirth-lang[P]mirth/bin/mirth1.c
// Function: mtp_mirth_elab_RejectedDef_WrongQualifier
static struct mirth_def_Def mtp_mirth_elab_RejectedDef_WrongQualifier (struct mirth_elab_RejectedDef in_RejectedDef_1) {
	struct mirth_elab_RejectedDef_WrongQualifier v3 = *in_RejectedDef_1.ptr.WrongQualifier;
	if (!--(in_RejectedDef_1.ptr.WrongQualifier->refs)) {
		free(in_RejectedDef_1.ptr.WrongQualifier);
	} else {
		incref(MK_mirth_def_Def(v3.mDef));
	}
	return v3.mDef;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r14
pushq %rbx
movl 0x8(%rdi), %ebx
movq 0x10(%rdi), %r14
decl (%rdi)
je 0x2cae9
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq %r14, %rax
sete %cl
testb $0x3, %r14b
setne %dl
orb %cl, %dl
jne 0x2caee
incl (%rax)
jmp 0x2caee
callq 0x5030
movl %ebx, %eax
movq %r14, %rdx
popq %rbx
popq %r14
popq %rbp
retq
// File: /workspace/github_c_makefile_star2_O2/mirth-lang[P]mirth/bin/mirth1.c
// Function: mtp_mirth_elab_RejectedDef_WrongConstructor
static struct mirth_def_Def mtp_mirth_elab_RejectedDef_WrongConstructor (struct mirth_elab_RejectedDef in_RejectedDef_1) {
	struct mirth_elab_RejectedDef_WrongConstructor v3 = *in_RejectedDef_1.ptr.WrongConstructor;
	if (!--(in_RejectedDef_1.ptr.WrongConstructor->refs)) {
		free(in_RejectedDef_1.ptr.WrongConstructor);
	} else {
		incref(MK_mirth_def_Def(v3.mDef));
	}
	return v3.mDef;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r14
pushq %rbx
movl 0x8(%rdi), %ebx
movq 0x10(%rdi), %r14
decl (%rdi)
je 0x2cb29
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq %r14, %rax
sete %cl
testb $0x3, %r14b
setne %dl
orb %cl, %dl
jne 0x2cb2e
incl (%rax)
jmp 0x2cb2e
callq 0x5030
movl %ebx, %eax
movq %r14, %rdx
popq %rbx
popq %r14
popq %rbp
retq
// File: /workspace/github_c_makefile_star2_O2/mirth-lang[P]mirth/bin/mirth1.c
// Function: mtp_mirth_elab_RejectedDef_MethodNotAvailable
static struct mirth_def_Def mtp_mirth_elab_RejectedDef_MethodNotAvailable (struct mirth_elab_RejectedDef in_RejectedDef_1) {
	struct mirth_elab_RejectedDef_MethodNotAvailable v3 = *in_RejectedDef_1.ptr.MethodNotAvailable;
	if (!--(in_RejectedDef_1.ptr.MethodNotAvailable->refs)) {
		free(in_RejectedDef_1.ptr.MethodNotAvailable);
	} else {
		incref(MK_mirth_def_Def(v3.mDef));
	}
	return v3.mDef;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r14
pushq %rbx
movl 0x8(%rdi), %ebx
movq 0x10(%rdi), %r14
decl (%rdi)
je 0x2cd9d
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq %r14, %rax
sete %cl
testb $0x3, %r14b
setne %dl
orb %cl, %dl
jne 0x2cda2
incl (%rax)
jmp 0x2cda2
callq 0x5030
movl %ebx, %eax
movq %r14, %rdx
popq %rbx
popq %r14
popq %rbp
retq
// File: /workspace/github_c_makefile_star2_O2/mirth-lang[P]mirth/bin/mirth1.c
// Function: mw_std_maybe_Maybe_1_for_1_sp2
static void mw_std_maybe_Maybe_1_for_1_sp2 (struct std_list_List_1 in_zaLister_1, struct std_maybe_Maybe_1 in_Maybe_2, struct std_list_List_1 *out_zaLister_3) {
	struct std_list_List_1 branch_zaLister_4;
	switch ((in_Maybe_2).tag) {
		case std_maybe_Maybe_1_Some: {
			VAL v5 = mtp_std_maybe_Maybe_1_Some(in_Maybe_2);
			struct std_list_List_1 v6;
			mw_std_list_zaLister_1_pushzx(v5, in_zaLister_1, &v6);
			branch_zaLister_4 = v6;
		} break;
		case std_maybe_Maybe_1_None: {
			branch_zaLister_4 = in_zaLister_1;
		} break;
		default: {
			do_panic(str_make("unexpected fallthrough in match\n", 32));
		}
	}
	*out_zaLister_3 = branch_zaLister_4;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r12
pushq %rbx
subq $0x10, %rsp
movq %r8, %rbx
movq %rsi, %r14
movl %edi, %r15d
testl %edx, %edx
je 0x2cdfd
cmpl $0x1, %edx
jne 0x2ce14
movq %rcx, %rdi
callq 0xd491
leaq -0x30(%rbp), %r12
movq %rax, %rdi
movq %rdx, %rsi
movl %r15d, %edx
movq %r14, %rcx
movq %r12, %r8
callq 0x8e35
movl (%r12), %r15d
movl 0x4(%r12), %eax
movq 0x8(%r12), %r14
jmp 0x2cdfd
movl %r15d, (%rbx)
movl %eax, 0x4(%rbx)
movq %r14, 0x8(%rbx)
addq $0x10, %rsp
popq %rbx
popq %r12
popq %r14
popq %r15
popq %rbp
retq
leaq 0xa79f2(%rip), %rdi     # 0xd480d
pushq $0x20
popq %rsi
callq 0x8a21
movq %rax, %rdi
callq 0x8cc6
// File: /workspace/github_c_makefile_star2_O2/mirth-lang[P]mirth/bin/mirth1.c
// Function: mw_std_either_Either_2_left_1_sp1
static uint64_t mw_std_either_Either_2_left_1_sp1 (struct std_either_Either_2 in_Either_1) {
	uint64_t branch_Name_3;
	switch ((in_Either_1).tag) {
		case std_either_Either_2_Left: {
			VAL v4 = mtp_std_either_Either_2_Left(in_Either_1);
			branch_Name_3 = V_mirth_name_Name(v4);
		} break;
		case std_either_Either_2_Right: {
			VAL v5 = mtp_std_either_Either_2_Right(in_Either_1);
			uint64_t v6 = mw_mirth_name_DName_lastzename(V_mirth_name_DName(v5));
			branch_Name_3 = v6;
		} break;
		default: {
			do_panic(str_make("unexpected fallthrough in match\n", 32));
		}
	}
	return branch_Name_3;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
cmpl $0x1, %edi
je 0x2ce41
testl %edi, %edi
jne 0x2ce52
movq %rsi, %rdi
popq %rbp
jmp 0x1e79d
movq %rsi, %rdi
callq 0x1e7e4
movq %rax, %rdi
popq %rbp
jmp 0x2a313
leaq 0xa79b4(%rip), %rdi     # 0xd480d
pushq $0x20
popq %rsi
callq 0x8a21
movq %rax, %rdi
callq 0x8cc6
// File: /workspace/github_c_makefile_star2_O2/mirth-lang[P]mirth/bin/mirth1.c
// Function: mw_mirth_mirth_zaMirth_emitzeerrorzx
static void mw_mirth_mirth_zaMirth_emitzeerrorzx (struct mirth_mirth_zaMirth* in_zaMirth_1, uint64_t in_Token_2, STR* in_Str_3, struct mirth_mirth_zaMirth* *out_zaMirth_4) {
	struct mirth_mirth_zaMirth* v5;
	struct mirth_location_Location* v6 = mw_mirth_token_Token_location(in_zaMirth_1, in_Token_2, &v5);
	struct mirth_mirth_zaMirth* v7;
	mw_mirth_mirth_zaMirth_emitzeerrorzeatzx(v5, v6, in_Str_3, &v7);
	*out_zaMirth_4 = v7;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %rbx
subq $0x18, %rsp
movq %rcx, %rbx
movq %rdx, %r14
leaq -0x28(%rbp), %r15
movq %r15, %rdx
callq 0x19296
movq (%r15), %rdi
leaq -0x20(%rbp), %r15
movq %rax, %rsi
movq %r14, %rdx
movq %r15, %rcx
callq 0x19808
movq (%r15), %rax
movq %rax, (%rbx)
addq $0x18, %rsp
popq %rbx
popq %r14
popq %r15
popq %rbp
retq
// File: /workspace/github_c_makefile_star2_O2/mirth-lang[P]mirth/bin/mirth1.c
// Function: mw_mirth_def_Def_aliaszy
static struct std_maybe_Maybe_1 mw_mirth_def_Def_aliaszy (struct mirth_def_Def in_Def_1) {
	struct std_maybe_Maybe_1 branch_Maybe_3;
	switch ((in_Def_1).tag) {
		case mirth_def_Def_Alias: {
			uint64_t v4 = mtp_mirth_def_Def_Alias(in_Def_1);
			struct std_maybe_Maybe_1 v5 = mtw_std_maybe_Maybe_1_Some(MK_mirth_alias_Alias(v4));
			branch_Maybe_3 = v5;
		} break;
		default: {
			decref(MK_mirth_def_Def(in_Def_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
testl %edi, %edi
je 0x2d1a4
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq %rsi, %rax
sete %cl
testb $0x3, %sil
setne %dl
orb %cl, %dl
jne 0x2d19e
decl (%rax)
jne 0x2d19e
shlq $0x30, %rdi
orq %rsi, %rdi
leaq 0xdb5f0(%rip), %rsi     # 0x108789
callq 0xce94
xorl %eax, %eax
xorl %edx, %edx
jmp 0x2d1be
movq %rsi, %rdi
callq 0x13ef6
leaq 0xdbe8d(%rip), %rsi     # 0x109040
movq %rax, %rdi
callq 0x8d0c
pushq $0x1
popq %rax
popq %rbp
retq
// File: /workspace/github_c_makefile_star2_O2/mirth-lang[P]mirth/bin/mirth1.c
// Function: mw_mirth_def_Def_packagezy
static struct std_maybe_Maybe_1 mw_mirth_def_Def_packagezy (struct mirth_def_Def in_Def_1) {
	struct std_maybe_Maybe_1 branch_Maybe_3;
	switch ((in_Def_1).tag) {
		case mirth_def_Def_Package: {
			uint64_t v4 = mtp_mirth_def_Def_Package(in_Def_1);
			struct std_maybe_Maybe_1 v5 = mtw_std_maybe_Maybe_1_Some(MK_mirth_package_Package(v4));
			branch_Maybe_3 = v5;
		} break;
		default: {
			decref(MK_mirth_def_Def(in_Def_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
cmpl $0x2, %edi
jne 0x2d253
movq %rsi, %rdi
callq 0x13f13
leaq 0xdb812(%rip), %rsi     # 0x108a58
movq %rax, %rdi
callq 0x8d0c
pushq $0x1
popq %rax
jmp 0x2d289
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq %rsi, %rax
sete %cl
testb $0x3, %sil
setne %dl
orb %cl, %dl
jne 0x2d285
decl (%rax)
jne 0x2d285
shlq $0x30, %rdi
orq %rsi, %rdi
leaq 0xdb509(%rip), %rsi     # 0x108789
callq 0xce94
xorl %eax, %eax
xorl %edx, %edx
popq %rbp
retq
// File: /workspace/github_c_makefile_star2_O2/mirth-lang[P]mirth/bin/mirth1.c
// Function: mw_mirth_def_Def_modulezy
static struct std_maybe_Maybe_1 mw_mirth_def_Def_modulezy (struct mirth_def_Def in_Def_1) {
	struct std_maybe_Maybe_1 branch_Maybe_3;
	switch ((in_Def_1).tag) {
		case mirth_def_Def_Module: {
			uint64_t v4 = mtp_mirth_def_Def_Module(in_Def_1);
			struct std_maybe_Maybe_1 v5 = mtw_std_maybe_Maybe_1_Some(MK_mirth_module_Module(v4));
			branch_Maybe_3 = v5;
		} break;
		default: {
			decref(MK_mirth_def_Def(in_Def_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
cmpl $0x1, %edi
jne 0x2d2b0
movq %rsi, %rdi
callq 0x13f68
leaq 0xdbd55(%rip), %rsi     # 0x108ff8
movq %rax, %rdi
callq 0x8d0c
pushq $0x1
popq %rax
jmp 0x2d2e6
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq %rsi, %rax
sete %cl
testb $0x3, %sil
setne %dl
orb %cl, %dl
jne 0x2d2e2
decl (%rax)
jne 0x2d2e2
shlq $0x30, %rdi
orq %rsi, %rdi
leaq 0xdb4ac(%rip), %rsi     # 0x108789
callq 0xce94
xorl %eax, %eax
xorl %edx, %edx
popq %rbp
retq
// File: /workspace/github_c_makefile_star2_O2/mirth-lang[P]mirth/bin/mirth1.c
// Function: mw_mirth_def_Def_tagzy
static struct std_maybe_Maybe_1 mw_mirth_def_Def_tagzy (struct mirth_def_Def in_Def_1) {
	struct std_maybe_Maybe_1 branch_Maybe_3;
	switch ((in_Def_1).tag) {
		case mirth_def_Def_Tag: {
			uint64_t v4 = mtp_mirth_def_Def_Tag(in_Def_1);
			struct std_maybe_Maybe_1 v5 = mtw_std_maybe_Maybe_1_Some(MK_mirth_data_Tag(v4));
			branch_Maybe_3 = v5;
		} break;
		default: {
			decref(MK_mirth_def_Def(in_Def_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
cmpl $0x6, %edi
jne 0x2d30d
movq %rsi, %rdi
callq 0x1413e
leaq 0xdb950(%rip), %rsi     # 0x108c50
movq %rax, %rdi
callq 0x8d0c
pushq $0x1
popq %rax
jmp 0x2d343
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq %rsi, %rax
sete %cl
testb $0x3, %sil
setne %dl
orb %cl, %dl
jne 0x2d33f
decl (%rax)
jne 0x2d33f
shlq $0x30, %rdi
orq %rsi, %rdi
leaq 0xdb44f(%rip), %rsi     # 0x108789
callq 0xce94
xorl %eax, %eax
xorl %edx, %edx
popq %rbp
retq