LLM4Binary/decompile-bench-makefile huggingface dataset:
// File: /workspace/github_c_makefile_star2_O1/mirth-lang[P]mirth/bin/mirth1.c
// Function: mw_std_list_List_1_cat
static struct std_list_List_1 mw_std_list_List_1_cat (struct std_list_List_1 in_List_1, struct std_list_List_1 in_List_2) {
	struct std_list_List_1 branch_List_4;
	switch ((in_List_2).tag) {
		case std_list_List_1_Nil: {
			branch_List_4 = in_List_1;
		} break;
		default: {
			struct std_list_List_1 v5 = mw_std_list_List_1_reverse(in_List_1);
			struct std_list_List_1 v6 = mw_std_list_List_1_for_1_sp5(in_List_2, v5);
			branch_List_4 = v6;
		} break;
	}
	return branch_List_4;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r14
pushq %rbx
movq %rcx, %rbx
movq %rsi, %rcx
movl %edi, %eax
testl %edx, %edx
je 0x2941f
movl %edx, %r14d
xorl %edi, %edi
xorl %esi, %esi
movl %eax, %edx
callq 0xd37c
movq %rdx, %rcx
movl %r14d, %edi
movq %rbx, %rsi
movl %eax, %edx
callq 0xd37c
movq %rdx, %rcx
movq %rcx, %rdx
popq %rbx
popq %r14
popq %rbp
retq
// File: /workspace/github_c_makefile_star2_O1/mirth-lang[P]mirth/bin/mirth1.c
// Function: mw_std_maybe_Maybe_1_bind_1_sp16
static struct std_maybe_Maybe_1 mw_std_maybe_Maybe_1_bind_1_sp16 (struct mirth_mirth_zaMirth* in_zaMirth_1, struct std_maybe_Maybe_1 in_Maybe_2, struct mirth_mirth_zaMirth* *out_zaMirth_3) {
	struct mirth_mirth_zaMirth* branch_zaMirth_5;
	struct std_maybe_Maybe_1 branch_Maybe_6;
	switch ((in_Maybe_2).tag) {
		case std_maybe_Maybe_1_Some: {
			VAL v7 = mtp_std_maybe_Maybe_1_Some(in_Maybe_2);
			struct mirth_mirth_zaMirth* v8;
			struct std_maybe_Maybe_1 v9 = mw_mirth_def_Def_aszedefzenamespacezy(in_zaMirth_1, V_mirth_def_Def(v7), &v8);
			branch_Maybe_6 = v9;
			branch_zaMirth_5 = v8;
		} break;
		case std_maybe_Maybe_1_None: {
			struct std_maybe_Maybe_1 v10 = { .tag=std_maybe_Maybe_1_None };
			branch_Maybe_6 = v10;
			branch_zaMirth_5 = in_zaMirth_1;
		} break;
		default: {
			do_panic(str_make("unexpected fallthrough in match\n", 32));
		}
	}
	*out_zaMirth_3 = branch_zaMirth_5;
	return branch_Maybe_6;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %rbx
pushq %rax
movq %rcx, %rbx
movl %esi, %eax
movq %rdi, %r14
testl %esi, %esi
je 0x2d66a
cmpl $0x1, %eax
jne 0x2d67a
movq %rdx, %rdi
callq 0xdaeb
movabsq $0xfffffffffffc, %rdx   # imm = 0xFFFFFFFFFFFC
andq %rax, %rdx
movq %rax, %rsi
shrq $0x30, %rsi
leaq -0x20(%rbp), %r15
movq %r14, %rdi
movq %r15, %rcx
callq 0x292fd
movq (%r15), %r14
jmp 0x2d66c
xorl %edx, %edx
movq %r14, (%rbx)
addq $0x8, %rsp
popq %rbx
popq %r14
popq %r15
popq %rbp
retq
movl $0x20, %edi
callq 0xf9f7
movq $0x20, 0x10(%rax)
movups 0xb70ba(%rip), %xmm0    # 0xe474d
movups %xmm0, 0x18(%rax)
movups 0xb70bf(%rip), %xmm0    # 0xe475d
movups %xmm0, 0x28(%rax)
movq %rax, %rdi
callq 0x95a5
// File: /workspace/github_c_makefile_star2_O1/mirth-lang[P]mirth/bin/mirth1.c
// Function: mtp_mirth_name_DName_DName
static struct std_maybe_Maybe_1 mtp_mirth_name_DName_DName (struct mirth_name_DName* in_DName_1, struct std_list_Nest_1* *out_Nest_3) {
	struct mirth_name_DName v4 = *in_DName_1;
	if (!--(in_DName_1->refs)) {
		free(in_DName_1);
	} else {
		incref(MK_std_maybe_Maybe_1(v4.mMaybe));
		incref(MK_std_list_Nest_1(v4.mNest));
	}
	*out_Nest_3 = v4.mNest;
	return v4.mMaybe;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r12
pushq %rbx
movq %rsi, %rbx
movl 0x8(%rdi), %r14d
movq 0x10(%rdi), %r15
movq 0x18(%rdi), %r12
decl (%rdi)
je 0x2d6ff
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
movq %r15, %rcx
andq %rax, %rcx
sete %dl
testb $0x3, %r15b
setne %sil
orb %dl, %sil
jne 0x2d6ea
incl (%rcx)
andq %r12, %rax
sete %cl
testb $0x3, %r12b
setne %dl
orb %cl, %dl
jne 0x2d704
incl (%rax)
jmp 0x2d704
callq 0x5030
movq %r12, (%rbx)
movl %r14d, %eax
movq %r15, %rdx
popq %rbx
popq %r12
popq %r14
popq %r15
popq %rbp
retq
// File: /workspace/github_c_makefile_star2_O1/mirth-lang[P]mirth/bin/mirth1.c
// Function: mw_std_list_Nest_1_unsnoc
static struct std_list_List_1 mw_std_list_Nest_1_unsnoc (struct std_list_Nest_1* in_Nest_1, VAL *out_t_3) {
	struct std_list_Nest_1* v4 = mw_std_list_Nest_1_reverse(in_Nest_1);
	struct std_list_List_1 v5;
	VAL v6 = mw_std_list_Nest_1_uncons(v4, &v5);
	struct std_list_List_1 v7 = mw_std_list_List_1_reverse(v5);
	*out_t_3 = v6;
	return v7;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %rbx
subq $0x38, %rsp
movq %rsi, %rbx
callq 0xf593
leaq -0x50(%rbp), %r14
leaq -0x40(%rbp), %r15
movq %rax, %rdi
movq %r14, %rsi
movq %r15, %rdx
callq 0xf694
movl (%r15), %edx
movq 0x8(%r15), %rcx
movups (%r14), %xmm0
movaps %xmm0, -0x30(%rbp)
xorl %edi, %edi
xorl %esi, %esi
callq 0xd37c
movaps -0x30(%rbp), %xmm0
movups %xmm0, (%rbx)
addq $0x38, %rsp
popq %rbx
popq %r14
popq %r15
popq %rbp
retq
// File: /workspace/github_c_makefile_star2_O1/mirth-lang[P]mirth/bin/mirth1.c
// Function: mw_std_list_List_1_zgNestzy
static struct std_maybe_Maybe_1 mw_std_list_List_1_zgNestzy (struct std_list_List_1 in_List_1) {
	struct std_maybe_Maybe_1 branch_Maybe_3;
	switch ((in_List_1).tag) {
		case std_list_List_1_Cons: {
			struct std_list_List_1 v4;
			VAL v5 = mtp_std_list_List_1_Cons(in_List_1, &v4);
			struct std_list_Nest_1* v6 = mtw_std_list_Nest_1_Nest(v5, v4);
			struct std_maybe_Maybe_1 v7 = mtw_std_maybe_Maybe_1_Some(MK_std_list_Nest_1(v6));
			branch_Maybe_3 = v7;
		} break;
		case std_list_List_1_Nil: {
			struct std_maybe_Maybe_1 v8 = { .tag=std_maybe_Maybe_1_None };
			branch_Maybe_3 = v8;
		} break;
		default: {
			do_panic(str_make("unexpected fallthrough in match\n", 32));
		}
	}
	return branch_Maybe_3;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r14
pushq %rbx
subq $0x10, %rsp
movl %edi, %ebx
testl %edi, %edi
je 0x2d7b6
cmpl $0x1, %ebx
jne 0x2d7c3
leaq -0x20(%rbp), %r14
movq %rsi, %rdi
movq %r14, %rsi
callq 0xd450
movl (%r14), %r8d
movq 0x8(%r14), %rcx
movq %rax, %rdi
movq %rdx, %rsi
movl %r8d, %edx
callq 0xf524
leaq 0xe86e5(%rip), %rsi     # 0x115e91
movq %rax, %rdi
callq 0x95f6
jmp 0x2d7b8
xorl %edx, %edx
movl %ebx, %eax
addq $0x10, %rsp
popq %rbx
popq %r14
popq %rbp
retq
movl $0x20, %edi
callq 0xf9f7
movq $0x20, 0x10(%rax)
movups 0xb6f71(%rip), %xmm0    # 0xe474d
movups %xmm0, 0x18(%rax)
movups 0xb6f76(%rip), %xmm0    # 0xe475d
movups %xmm0, 0x28(%rax)
movq %rax, %rdi
callq 0x95a5
// File: /workspace/github_c_makefile_star2_O1/mirth-lang[P]mirth/bin/mirth1.c
// Function: mw_std_list_Nest_1_last
static VAL mw_std_list_Nest_1_last (struct std_list_Nest_1* in_Nest_1) {
	struct std_list_List_1 v3;
	VAL v4 = mw_std_list_Nest_1_uncons(in_Nest_1, &v3);
	bool v5 = true;
	VAL v6 = v4;
	struct std_list_List_1 v7 = v3;
	bool v8 = v5;
	bool v9 = v5;
	while (v9) {
		VAL v10 = v6;
		struct std_list_List_1 v11 = v7;
		bool v12 = v8;
		VAL branch_zux1_13;
		struct std_list_List_1 branch_List_14;
		bool branch_Bool_15;
		switch ((v11).tag) {
			case std_list_List_1_Cons: {
				struct std_list_List_1 v16;
				VAL v17 = mtp_std_list_List_1_Cons(v11, &v16);
				decref(v10);
				bool v18 = true;
				branch_Bool_15 = v18;
				branch_List_14 = v16;
				branch_zux1_13 = 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_15 = v20;
				branch_List_14 = v19;
				branch_zux1_13 = v10;
			} break;
			default: {
				do_panic(str_make("unexpected fallthrough in match\n", 32));
			}
		}
		v9 = branch_Bool_15;
		v8 = branch_Bool_15;
		v7 = branch_List_14;
		v6 = branch_zux1_13;
	}
	decref(MK_std_list_List_1(v7));
	return v6;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x28, %rsp
movabsq $0xfffffffffffc, %r15   # imm = 0xFFFFFFFFFFFC
leaq -0x38(%rbp), %r12
leaq -0x48(%rbp), %rbx
movq %r12, %rsi
movq %rbx, %rdx
callq 0xf694
movl (%rbx), %edi
movq 0x8(%rbx), %rax
movq (%r12), %r14
movq 0x8(%r12), %rbx
testl %edi, %edi
je 0x2d888
cmpl $0x1, %edi
jne 0x2d8cc
movq %rax, %rdi
leaq -0x38(%rbp), %rsi
callq 0xd450
movq %rax, %r12
movq %rdx, %r13
testb $0x1, %bl
je 0x2d877
movq %r14, %rax
andq %r15, %rax
sete %cl
testb $0x3, %r14b
setne %dl
orb %cl, %dl
jne 0x2d877
decl (%rax)
jne 0x2d877
movq %r14, %rdi
movq %rbx, %rsi
callq 0xd4e3
movl -0x38(%rbp), %edi
movq -0x30(%rbp), %rax
movb $0x1, %cl
movq %r12, %r14
movq %r13, %rbx
jmp 0x2d88c
xorl %ecx, %ecx
xorl %eax, %eax
testb %cl, %cl
jne 0x2d830
andq %rax, %r15
sete %cl
testb $0x3, %al
setne %dl
orb %cl, %dl
jne 0x2d8b7
decl (%r15)
jne 0x2d8b7
shlq $0x30, %rdi
orq %rax, %rdi
leaq 0xe79c7(%rip), %rsi     # 0x115279
callq 0xd4e3
movq %r14, %rax
movq %rbx, %rdx
addq $0x28, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
movl $0x20, %edi
callq 0xf9f7
movq $0x20, 0x10(%rax)
movups 0xb6e68(%rip), %xmm0    # 0xe474d
movups %xmm0, 0x18(%rax)
movups 0xb6e6d(%rip), %xmm0    # 0xe475d
movups %xmm0, 0x28(%rax)
movq %rax, %rdi
callq 0x95a5
// File: /workspace/github_c_makefile_star2_O1/mirth-lang[P]mirth/bin/mirth1.c
// Function: mw_mirth_name_DName_parts
static struct std_list_Nest_1* mw_mirth_name_DName_parts (struct mirth_name_DName* in_DName_1) {
	struct std_list_Nest_1* v3;
	struct std_maybe_Maybe_1 v4 = mtp_mirth_name_DName_DName(in_DName_1, &v3);
	decref(MK_std_maybe_Maybe_1(v4));
	return v3;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x10, %rsp
leaq -0x8(%rbp), %rsi
callq 0x2d6aa
movabsq $0xfffffffffffc, %rcx   # imm = 0xFFFFFFFFFFFC
andq %rdx, %rcx
sete %sil
testb $0x3, %dl
setne %dil
orb %sil, %dil
jne 0x2d944
decl (%rcx)
jne 0x2d944
shlq $0x30, %rax
orq %rdx, %rax
leaq 0xe7985(%rip), %rsi     # 0x1152c1
movq %rax, %rdi
callq 0xd4e3
movq -0x8(%rbp), %rax
addq $0x10, %rsp
popq %rbp
retq
// File: /workspace/github_c_makefile_star2_O1/mirth-lang[P]mirth/bin/mirth1.c
// Function: mtw_mirth_tycon_Tycon_Table
static struct mirth_tycon_Tycon mtw_mirth_tycon_Tycon_Table (uint64_t in_Table_1) {
	struct mirth_tycon_Tycon_Table* v3 = calloc(1, sizeof *v3);
	ASSERT(v3);
	v3->refs = 1;
	v3->mTable = in_Table_1;
	struct mirth_tycon_Tycon v4 = { .tag=mirth_tycon_Tycon_Table, .ptr.Table=v3 };
	return v4;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %rbx
pushq %rax
movq %rdi, %rbx
movl $0x1, %edi
movl $0x10, %esi
callq 0x50c0
testq %rax, %rax
je 0x2dc51
movl $0x1, (%rax)
movq %rbx, 0x8(%rax)
addq $0x8, %rsp
popq %rbx
popq %rbp
retq
leaq 0xba5e6(%rip), %rsi     # 0xe823e
movl $0x31, %edx
movl $0x2, %edi
callq 0x5060
callq 0x52be
movl $0x1, %edi
callq 0x5130
// File: /workspace/github_c_makefile_star2_O1/mirth-lang[P]mirth/bin/mirth1.c
// Function: mtw_mirth_name_Namespace_Word
static struct mirth_name_Namespace mtw_mirth_name_Namespace_Word (uint64_t in_Word_1) {
	struct mirth_name_Namespace_Word* v3 = calloc(1, sizeof *v3);
	ASSERT(v3);
	v3->refs = 1;
	v3->mWord = in_Word_1;
	struct mirth_name_Namespace v4 = { .tag=mirth_name_Namespace_Word, .ptr.Word=v3 };
	return v4;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %rbx
pushq %rax
movq %rdi, %rbx
movl $0x1, %edi
movl $0x10, %esi
callq 0x50c0
testq %rax, %rax
je 0x2e0a5
movl $0x1, (%rax)
movq %rbx, 0x8(%rax)
addq $0x8, %rsp
popq %rbx
popq %rbp
retq
leaq 0xba228(%rip), %rsi     # 0xe82d4
movl $0x31, %edx
movl $0x2, %edi
callq 0x5060
callq 0x52be
movl $0x1, %edi
callq 0x5130
// File: /workspace/github_c_makefile_star2_O1/mirth-lang[P]mirth/bin/mirth1.c
// Function: mtw_mirth_tycon_Tycon_Prim
static struct mirth_tycon_Tycon mtw_mirth_tycon_Tycon_Prim (enum mirth_type_PrimType in_PrimType_1) {
	struct mirth_tycon_Tycon_Prim* v3 = calloc(1, sizeof *v3);
	ASSERT(v3);
	v3->refs = 1;
	v3->mPrimType = in_PrimType_1;
	struct mirth_tycon_Tycon v4 = { .tag=mirth_tycon_Tycon_Prim, .ptr.Prim=v3 };
	return v4;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %rbx
pushq %rax
movl %edi, %ebx
movl $0x1, %edi
movl $0x8, %esi
callq 0x50c0
testq %rax, %rax
je 0x2e0f6
movl $0x1, (%rax)
movl %ebx, 0x4(%rax)
addq $0x8, %rsp
popq %rbx
popq %rbp
retq
leaq 0xba173(%rip), %rsi     # 0xe8270
movl $0x31, %edx
movl $0x2, %edi
callq 0x5060
callq 0x52be
movl $0x1, %edi
callq 0x5130
// File: /workspace/github_c_makefile_star2_O1/mirth-lang[P]mirth/bin/mirth1.c
// Function: mw_mirth_type_MetaVar_typezy
static struct std_maybe_Maybe_1 mw_mirth_type_MetaVar_typezy (struct mirth_mirth_zaMirth* in_zaMirth_1, uint64_t in_MetaVar_2, struct mirth_mirth_zaMirth* *out_zaMirth_3) {
	void* v5 = field_mut(&mfld_mirth_type_MetaVar_typezy, in_MetaVar_2);
	bool v6 = mut_is_set(v5);
	struct mirth_mirth_zaMirth* branch_zaMirth_7;
	struct std_maybe_Maybe_1 branch_Maybe_8;
	if (v6) {
		VAL v9 = mut_get(v5);
		branch_Maybe_8 = V_std_maybe_Maybe_1(v9);
		branch_zaMirth_7 = in_zaMirth_1;
	} else {
		struct std_maybe_Maybe_1 v10 = { .tag=std_maybe_Maybe_1_None };
		incref(MK_std_maybe_Maybe_1(v10));
		mut_set(MK_std_maybe_Maybe_1(v10), v5);
		branch_Maybe_8 = v10;
		branch_zaMirth_7 = in_zaMirth_1;
	}
	*out_zaMirth_3 = branch_zaMirth_7;
	return branch_Maybe_8;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r12
pushq %rbx
movq %rdx, %rbx
movq %rdi, %r14
leaq 0x10eb2f5(%rip), %rdi   # 0x1119428
callq 0x13ff0
movq %rax, %r15
movq %rax, %rdi
callq 0x153b0
testb %al, %al
je 0x2e165
movq %r15, %rdi
callq 0x140f0
movq %rax, %r12
movabsq $0xfffffffffffc, %rdx   # imm = 0xFFFFFFFFFFFC
andq %rax, %rdx
shrq $0x30, %r12
jmp 0x2e17b
leaq 0xe7155(%rip), %rsi     # 0x1152c1
xorl %r12d, %r12d
xorl %edi, %edi
movq %r15, %rdx
callq 0x14ab5
xorl %edx, %edx
movq %r14, (%rbx)
movl %r12d, %eax
popq %rbx
popq %r12
popq %r14
popq %r15
popq %rbp
retq
// File: /workspace/github_c_makefile_star2_O1/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 %r12
pushq %rbx
subq $0x10, %rsp
movq %rcx, %rbx
movq %rdi, %r14
cmpl $0x3, %esi
jne 0x2e1cc
movq 0x8(%rdx), %r15
decl (%rdx)
jne 0x2e1b4
movq %rdx, %rdi
callq 0x5030
leaq -0x28(%rbp), %r12
movq %r14, %rdi
movq %r15, %rsi
movq %r12, %rdx
callq 0x2e39b
movq (%r12), %r14
jmp 0x2e1ce
movl %esi, %eax
movq %r14, (%rbx)
addq $0x10, %rsp
popq %rbx
popq %r12
popq %r14
popq %r15
popq %rbp
retq
// File: /workspace/github_c_makefile_star2_O1/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 0x2e20a
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq %rbx, %rax
sete %cl
testb $0x3, %bl
setne %dl
orb %cl, %dl
jne 0x2e20f
incl (%rax)
jmp 0x2e20f
callq 0x5030
movq %rbx, %rax
addq $0x8, %rsp
popq %rbx
popq %rbp
retq
// File: /workspace/github_c_makefile_star2_O1/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 0x2e245
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq %rbx, %rax
sete %cl
testb $0x3, %bl
setne %dl
orb %cl, %dl
jne 0x2e24a
incl (%rax)
jmp 0x2e24a
callq 0x5030
movq %rbx, %rax
addq $0x8, %rsp
popq %rbx
popq %rbp
retq
// File: /workspace/github_c_makefile_star2_O1/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 0x2e285
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq %r14, %rax
sete %cl
testb $0x3, %r14b
setne %dl
orb %cl, %dl
jne 0x2e28a
incl (%rax)
jmp 0x2e28a
callq 0x5030
movl %ebx, %eax
movq %r14, %rdx
popq %rbx
popq %r14
popq %rbp
retq
// File: /workspace/github_c_makefile_star2_O1/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 0x2e2f3
movabsq $0xfffffffffffc, %rdi   # imm = 0xFFFFFFFFFFFC
movq %r15, %rcx
andq %rdi, %rcx
sete %dl
testb $0x3, %r15b
setne %sil
orb %dl, %sil
jne 0x2e2de
incl (%rcx)
andq %r14, %rdi
sete %cl
testb $0x3, %r14b
setne %dl
orb %cl, %dl
jne 0x2e2fe
incl (%rdi)
jmp 0x2e2fe
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_O1/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 0x2e34c
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq %r14, %rax
sete %cl
testb $0x3, %r14b
setne %dl
orb %cl, %dl
jne 0x2e351
incl (%rax)
jmp 0x2e351
callq 0x5030
movl %ebx, %eax
movq %r14, %rdx
popq %rbx
popq %r14
popq %rbp
retq
// File: /workspace/github_c_makefile_star2_O1/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 0x2e38c
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq %r14, %rax
sete %cl
testb $0x3, %r14b
setne %dl
orb %cl, %dl
jne 0x2e391
incl (%rax)
jmp 0x2e391
callq 0x5030
movl %ebx, %eax
movq %r14, %rdx
popq %rbx
popq %r14
popq %rbp
retq
// File: /workspace/github_c_makefile_star2_O1/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 $0x28, %rsp
movq %rdx, %r12
movq %rsi, %r14
leaq -0x30(%rbp), %rdx
callq 0x2e11b
cmpl $0x1, %eax
je 0x2e3e2
testl %eax, %eax
jne 0x2e492
movq %r14, %rdi
callq 0x2e4c2
movq %rdx, %r15
movl $0x3, %r13d
movq -0x30(%rbp), %rbx
jmp 0x2e479
movq %r12, -0x40(%rbp)
movabsq $0xfffffffffffc, %r12   # imm = 0xFFFFFFFFFFFC
movq %rdx, %rdi
callq 0xdaeb
movq -0x30(%rbp), %rdi
movq %rax, %rsi
shrq $0x30, %rsi
andq %r12, %rax
leaq -0x48(%rbp), %rcx
movq %rax, %rdx
callq 0x2e18a
movl %eax, %r13d
movq %rdx, %r15
movq %r13, %rdi
shlq $0x30, %rdi
orq %rdx, %rdi
leaq 0xe76c0(%rip), %rsi     # 0x115ae9
movq %rdx, %rax
andq %r12, %rax
sete %cl
testb $0x3, %r15b
setne %dl
orb %cl, %dl
jne 0x2e43f
incl (%rax)
callq 0x95f6
movq %rdx, -0x38(%rbp)
movq -0x48(%rbp), %rbx
leaq 0x10eafd5(%rip), %rdi   # 0x1119428
movq %r14, %rsi
callq 0x13ff0
addq $0x4, %r12
orq -0x38(%rbp), %r12
leaq 0xe6e57(%rip), %rsi     # 0x1152c1
movq %r12, %rdi
movq %rax, %rdx
callq 0x14ab5
movq -0x40(%rbp), %r12
movq %rbx, (%r12)
movl %r13d, %eax
movq %r15, %rdx
addq $0x28, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
movl $0x20, %edi
callq 0xf9f7
movq $0x20, 0x10(%rax)
movups 0xb62a2(%rip), %xmm0    # 0xe474d
movups %xmm0, 0x18(%rax)
movups 0xb62a7(%rip), %xmm0    # 0xe475d
movups %xmm0, 0x28(%rax)
movq %rax, %rdi
callq 0x95a5
// File: /workspace/github_c_makefile_star2_O1/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
movl $0x1, %edi
movl $0x10, %esi
callq 0x50c0
testq %rax, %rax
je 0x2e4f8
movq %rax, %rdx
movl $0x1, (%rax)
movq %rbx, 0x8(%rax)
movl $0x3, %eax
addq $0x8, %rsp
popq %rbx
popq %rbp
retq
leaq 0xb9da3(%rip), %rsi     # 0xe82a2
movl $0x31, %edx
movl $0x2, %edi
callq 0x5060
callq 0x52be
movl $0x1, %edi
callq 0x5130
// File: /workspace/github_c_makefile_star2_O1/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 0x2e549
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq %rbx, %rax
sete %cl
testb $0x3, %bl
setne %dl
orb %cl, %dl
jne 0x2e54e
incl (%rax)
jmp 0x2e54e
callq 0x5030
movq %rbx, %rax
addq $0x8, %rsp
popq %rbx
popq %rbp
retq
// File: /workspace/github_c_makefile_star2_O1/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 0x2e584
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq %rbx, %rax
sete %cl
testb $0x3, %bl
setne %dl
orb %cl, %dl
jne 0x2e589
incl (%rax)
jmp 0x2e589
callq 0x5030
movq %rbx, %rax
addq $0x8, %rsp
popq %rbx
popq %rbp
retq
// File: /workspace/github_c_makefile_star2_O1/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 0x2e6a5
pushq %rbp
movq %rsp, %rbp
pushq %r14
pushq %rbx
movq %rdi, %rbx
movabsq $0xfffffffffffc, %r14   # imm = 0xFFFFFFFFFFFC
andq %r14, %rbx
leaq 0xb4101(%rip), %rcx     # 0xe2710
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 0x2e699
decl (%r14)
jne 0x2e699
leaq 0x10(%rbx), %rax
leaq 0xe714e(%rip), %rsi     # 0x115789
leaq 0x8(%rbx), %rcx
movl (%rcx), %edi
shlq $0x30, %rdi
orq (%rax), %rdi
callq 0xd4e3
jmp 0x2e699
movq 0x10(%rbx), %rcx
movq %rcx, %rax
andq %r14, %rax
sete %dl
testb $0x3, %cl
setne %cl
orb %dl, %cl
jne 0x2e681
decl (%rax)
jne 0x2e681
leaq 0xe7118(%rip), %rsi     # 0x115789
movl 0x8(%rbx), %edi
shlq $0x30, %rdi
orq 0x10(%rbx), %rdi
callq 0xd4e3
movq 0x20(%rbx), %rax
andq %rax, %r14
sete %cl
testb $0x3, %al
setne %al
orb %cl, %al
jne 0x2e699
decl (%r14)
je 0x2e6a6
movq %rbx, %rdi
popq %rbx
popq %r14
popq %rbp
jmp 0x5030
retq
leaq 0x20(%rbx), %rax
leaq 0xe6bc8(%rip), %rsi     # 0x115279
leaq 0x18(%rbx), %rcx
jmp 0x2e63f
// File: /workspace/github_c_makefile_star2_O1/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 %r14
pushq %rbx
movq %rdx, %rbx
movq %rdi, %r14
leaq 0x10eacd0(%rip), %rdi   # 0x11193e8
callq 0x13ff0
movq %rax, %rdi
callq 0x140f0
movabsq $0xfffffffffffc, %rdi   # imm = 0xFFFFFFFFFFFC
andq %rax, %rdi
movq %rax, %rcx
shrq $0x30, %rcx
cmpl $0x1c, %ecx
jne 0x2e759
callq 0x284d1
leaq 0xe76ff(%rip), %rsi     # 0x115e49
movq %rax, %rdi
callq 0x95f6
movl $0x1, %eax
jmp 0x2e779
testq %rdi, %rdi
je 0x2e775
decl (%rdi)
jne 0x2e775
andq $-0x4, %rax
leaq 0xe776c(%rip), %rsi     # 0x115ed9
movq %rax, %rdi
callq 0xd4e3
xorl %eax, %eax
xorl %edx, %edx
movq %r14, (%rbx)
popq %rbx
popq %r14
popq %rbp
retq
// File: /workspace/github_c_makefile_star2_O1/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 0x2eed0
cmpl $0x1, %ebx
jne 0x2eedb
movq %rsi, %rdi
callq 0xdaeb
movq %rax, %rdi
movq %rdx, %rsi
xorl %edx, %edx
xorl %ecx, %ecx
callq 0xd592
jmp 0x2eed2
xorl %edx, %edx
movl %ebx, %eax
addq $0x8, %rsp
popq %rbx
popq %rbp
retq
movl $0x20, %edi
callq 0xf9f7
movq $0x20, 0x10(%rax)
movups 0xb5859(%rip), %xmm0    # 0xe474d
movups %xmm0, 0x18(%rax)
movups 0xb585e(%rip), %xmm0    # 0xe475d
movups %xmm0, 0x28(%rax)
movq %rax, %rdi
callq 0x95a5
// File: /workspace/github_c_makefile_star2_O1/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
movq %rsi, %rcx
movl %edi, %edx
xorl %edi, %edi
xorl %esi, %esi
callq 0xd37c
leaq -0x30(%rbp), %r14
movl %eax, %edi
movq %rdx, %rsi
movq %r14, %rdx
callq 0x115ef
movl %eax, %r15d
movq %rdx, %r12
movl (%r14), %edx
movq 0x8(%r14), %rcx
xorl %edi, %edi
xorl %esi, %esi
callq 0xd37c
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_O1/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, -0x30(%rbp)
movq %rsi, %r14
movl %edi, %r15d
leaq -0x50(%rbp), %r12
leaq -0x40(%rbp), %r13
testl %edx, %edx
je 0x2f3f0
cmpl $0x1, %edx
jne 0x2f44c
movq %rcx, %rdi
movq %r12, %rsi
callq 0xd450
movq %rax, %rdi
movq %rdx, %rsi
movl %r15d, %edx
movq %r14, %rcx
movq %r13, %r8
callq 0x9741
movl -0x50(%rbp), %edx
movq -0x48(%rbp), %rcx
movl -0x40(%rbp), %r15d
movl -0x3c(%rbp), %ebx
movq -0x38(%rbp), %r14
movb $0x1, %al
jmp 0x2f3f4
xorl %eax, %eax
xorl %ecx, %ecx
testb %al, %al
jne 0x2f3ae
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq %rcx, %rax
sete %sil
testb $0x3, %cl
setne %dil
orb %sil, %dil
jne 0x2f42f
decl (%rax)
jne 0x2f42f
shlq $0x30, %rdx
orq %rcx, %rdx
leaq 0xe5e52(%rip), %rsi     # 0x115279
movq %rdx, %rdi
callq 0xd4e3
movq -0x30(%rbp), %rax
movl %r15d, (%rax)
movl %ebx, 0x4(%rax)
movq %r14, 0x8(%rax)
addq $0x28, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
movl $0x20, %edi
callq 0xf9f7
movq $0x20, 0x10(%rax)
movups 0xb52e8(%rip), %xmm0    # 0xe474d
movups %xmm0, 0x18(%rax)
movups 0xb52ed(%rip), %xmm0    # 0xe475d
movups %xmm0, 0x28(%rax)
movq %rax, %rdi
callq 0x95a5
// File: /workspace/github_c_makefile_star2_O1/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
movl $0x1, %edi
movl $0x18, %esi
callq 0x50c0
testq %rax, %rax
je 0x2f811
movq %rax, %rdx
movl $0x1, (%rax)
movl %r14d, 0x8(%rax)
movq %rbx, 0x10(%rax)
movl $0x6, %eax
popq %rbx
popq %r14
popq %rbp
retq
leaq 0xb8bca(%rip), %rsi     # 0xe83e2
movl $0x31, %edx
movl $0x2, %edi
callq 0x5060
callq 0x52be
movl $0x1, %edi
callq 0x5130
// File: /workspace/github_c_makefile_star2_O1/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
movl $0x1, %edi
movl $0x28, %esi
callq 0x50c0
testq %rax, %rax
je 0x2f888
movq %rax, %rdx
movl $0x1, (%rax)
movl %r12d, 0x18(%rax)
movq %r14, 0x20(%rax)
movl %r15d, 0x8(%rax)
movq %rbx, 0x10(%rax)
movl $0x7, %eax
popq %rbx
popq %r12
popq %r14
popq %r15
popq %rbp
retq
leaq 0xb8b85(%rip), %rsi     # 0xe8414
movl $0x31, %edx
movl $0x2, %edi
callq 0x5060
callq 0x52be
movl $0x1, %edi
callq 0x5130
// File: /workspace/github_c_makefile_star2_O1/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
movl $0x1, %edi
movl $0x18, %esi
callq 0x50c0
testq %rax, %rax
je 0x2f8e9
movq %rax, %rdx
movl $0x1, (%rax)
movl %r14d, 0x8(%rax)
movq %rbx, 0x10(%rax)
movl $0x3, %eax
popq %rbx
popq %r14
popq %rbp
retq
leaq 0xb8b56(%rip), %rsi     # 0xe8446
movl $0x31, %edx
movl $0x2, %edi
callq 0x5060
callq 0x52be
movl $0x1, %edi
callq 0x5130
// File: /workspace/github_c_makefile_star2_O1/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 0x2ee4d
movl %eax, %ebx
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq %rdx, %rax
sete %cl
testb $0x3, %dl
setne %sil
orb %cl, %sil
jne 0x2f951
decl (%rax)
jne 0x2f951
movq %rbx, %rdi
shlq $0x30, %rdi
orq %rdx, %rdi
leaq 0xe5975(%rip), %rsi     # 0x1152c1
callq 0xd4e3
leaq 0x1(,%rbx,2), %rdi
movl $0x1, %esi
callq 0xec04
testl %eax, %eax
sete %al
addq $0x8, %rsp
popq %rbx
popq %rbp
retq
// File: /workspace/github_c_makefile_star2_O1/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 0x2fe2d
cmpl $0x1, %esi
je 0x2fe01
testl %esi, %esi
jne 0x2fe93
movq 0x8(%rdx), %r15
decl (%rdx)
jne 0x2fdf8
movq %rdx, %rdi
callq 0x5030
leaq 0x10e9129(%rip), %rdi   # 0x1118f28
jmp 0x2fe18
movq 0x8(%rdx), %r15
decl (%rdx)
jne 0x2fe11
movq %rdx, %rdi
callq 0x5030
leaq 0x10e9120(%rip), %rdi   # 0x1118f38
movq %r15, %rsi
callq 0x13ff0
movq %rax, %rdi
callq 0x140f0
movq %rax, %r15
jmp 0x2fe82
movl 0x4(%rdx), %r15d
decl (%rdx)
jne 0x2fe3d
movq %rdx, %rdi
callq 0x5030
leaq -0x20(%rbp), %rdx
movq %r14, %rdi
movl %r15d, %esi
callq 0x1a3dc
movq 0x18(%rax), %r15
movabsq $0xfffffffffffc, %rcx   # imm = 0xFFFFFFFFFFFC
andq %rax, %rcx
sete %dl
testb $0x3, %al
setne %sil
orb %dl, %sil
jne 0x2fe7e
decl (%rcx)
jne 0x2fe7e
leaq 0xe58cb(%rip), %rsi     # 0x115741
movq %rax, %rdi
callq 0xd4e3
movq -0x20(%rbp), %r14
movq %r14, (%rbx)
movq %r15, %rax
addq $0x8, %rsp
popq %rbx
popq %r14
popq %r15
popq %rbp
retq
movl $0x20, %edi
callq 0xf9f7
movq $0x20, 0x10(%rax)
movups 0xb48a1(%rip), %xmm0    # 0xe474d
movups %xmm0, 0x18(%rax)
movups 0xb48a6(%rip), %xmm0    # 0xe475d
movups %xmm0, 0x28(%rax)
movq %rax, %rdi
callq 0x95a5
// File: /workspace/github_c_makefile_star2_O1/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 0x2ff36
decl (%rax)
jne 0x2ff36
shlq $0x30, %r12
orq %r13, %r12
leaq 0xe5ff3(%rip), %rsi     # 0x115f21
movq %r12, %rdi
callq 0xd4e3
movq %r15, %rax
andq %rbx, %rax
sete %cl
testb $0x3, %r15b
setne %dl
orb %cl, %dl
jne 0x2ff5d
decl (%rax)
jne 0x2ff5d
leaq 0xe5204(%rip), %rsi     # 0x115159
movq %r15, %rdi
callq 0xd4e3
leaq 0xe5315(%rip), %r15     # 0x115279
movq %r14, %rax
andq %rbx, %rax
sete %cl
testb $0x3, %r14b
setne %dl
orb %cl, %dl
jne 0x2ff8f
decl (%rax)
jne 0x2ff8f
movq -0x30(%rbp), %rdi
shlq $0x30, %rdi
orq %r14, %rdi
movq %r15, %rsi
callq 0xd4e3
movq -0x40(%rbp), %rdx
andq %rdx, %rbx
sete %al
testb $0x3, %dl
setne %cl
orb %al, %cl
jne 0x2ffa7
decl (%rbx)
je 0x2ffb6
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 0xd4e3
// File: /workspace/github_c_makefile_star2_O1/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 0x30008
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq %r14, %rax
sete %cl
testb $0x3, %r14b
setne %dl
orb %cl, %dl
jne 0x3000d
incl (%rax)
jmp 0x3000d
callq 0x5030
movl %ebx, %eax
movq %r14, %rdx
popq %rbx
popq %r14
popq %rbp
retq
// File: /workspace/github_c_makefile_star2_O1/mirth-lang[P]mirth/bin/mirth1.c
// Function: mw_mirth_def_Def_qnamezj
static void mw_mirth_def_Def_qnamezj (struct mirth_mirth_zaMirth* in_zaMirth_1, STR* in_zaStr_2, struct mirth_def_Def in_Def_3, struct mirth_mirth_zaMirth* *out_zaMirth_4, STR* *out_zaStr_5) {
	struct mirth_mirth_zaMirth* v6;
	struct mirth_name_QName* v7 = mw_mirth_def_Def_qnamezehard(in_zaMirth_1, in_Def_3, &v6);
	struct mirth_mirth_zaMirth* v8;
	STR* v9;
	mw_mirth_name_QName_qnamezj(v6, in_zaStr_2, v7, &v8, &v9);
	*out_zaStr_5 = v9;
	*out_zaMirth_4 = v8;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x18, %rsp
movq %r9, %rbx
movq %r8, %r14
movq %rsi, %r15
leaq -0x40(%rbp), %r12
movl %edx, %esi
movq %rcx, %rdx
movq %r12, %rcx
callq 0x2e781
movq (%r12), %rdi
leaq -0x38(%rbp), %r12
leaq -0x30(%rbp), %r13
movq %r15, %rsi
movq %rax, %rdx
movq %r12, %rcx
movq %r13, %r8
callq 0x14ddb
movq (%r13), %rax
movq %rax, (%rbx)
movq (%r12), %rax
movq %rax, (%r14)
addq $0x18, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
// File: /workspace/github_c_makefile_star2_O1/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 0x300ad
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq %r14, %rax
sete %cl
testb $0x3, %r14b
setne %dl
orb %cl, %dl
jne 0x300b2
incl (%rax)
jmp 0x300b2
callq 0x5030
movl %ebx, %eax
movq %r14, %rdx
popq %rbx
popq %r14
popq %rbp
retq
// File: /workspace/github_c_makefile_star2_O1/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 0x300ed
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq %r14, %rax
sete %cl
testb $0x3, %r14b
setne %dl
orb %cl, %dl
jne 0x300f2
incl (%rax)
jmp 0x300f2
callq 0x5030
movl %ebx, %eax
movq %r14, %rdx
popq %rbx
popq %r14
popq %rbp
retq
// File: /workspace/github_c_makefile_star2_O1/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 0x3012d
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq %r14, %rax
sete %cl
testb $0x3, %r14b
setne %dl
orb %cl, %dl
jne 0x30132
incl (%rax)
jmp 0x30132
callq 0x5030
movl %ebx, %eax
movq %r14, %rdx
popq %rbx
popq %r14
popq %rbp
retq
// File: /workspace/github_c_makefile_star2_O1/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 0x3016d
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq %r14, %rax
sete %cl
testb $0x3, %r14b
setne %dl
orb %cl, %dl
jne 0x30172
incl (%rax)
jmp 0x30172
callq 0x5030
movl %ebx, %eax
movq %r14, %rdx
popq %rbx
popq %r14
popq %rbp
retq
// File: /workspace/github_c_makefile_star2_O1/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 0x301ad
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq %r14, %rax
sete %cl
testb $0x3, %r14b
setne %dl
orb %cl, %dl
jne 0x301b2
incl (%rax)
jmp 0x301b2
callq 0x5030
movl %ebx, %eax
movq %r14, %rdx
popq %rbx
popq %r14
popq %rbp
retq