LLM4Binary/decompile-bench-makefile huggingface dataset:
// File: /workspace/github_c_makefile_star2_O3/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 0x2cb31
cmpl $0x1, %ebx
jne 0x2cb3e
leaq -0x20(%rbp), %r14
movq %rsi, %rdi
movq %r14, %rsi
callq 0xd0aa
movl (%r14), %r8d
movq 0x8(%r14), %rcx
movq %rax, %rdi
movq %rdx, %rsi
movl %r8d, %edx
callq 0xf154
leaq 0xe536a(%rip), %rsi     # 0x111e91
movq %rax, %rdi
callq 0x9353
jmp 0x2cb33
xorl %edx, %edx
movl %ebx, %eax
addq $0x10, %rsp
popq %rbx
popq %r14
popq %rbp
retq
movl $0x20, %edi
callq 0xf5e4
movq $0x20, 0x10(%rax)
movups 0xb3b76(%rip), %xmm0    # 0xe06cd
movups %xmm0, 0x18(%rax)
movups 0xb3b7b(%rip), %xmm0    # 0xe06dd
movups %xmm0, 0x28(%rax)
movq %rax, %rdi
callq 0x9302
// File: /workspace/github_c_makefile_star2_O3/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
leaq -0x38(%rbp), %rbx
leaq -0x48(%rbp), %r14
movq %rbx, %rsi
movq %r14, %rdx
callq 0xf281
movl (%r14), %eax
movq 0x8(%r14), %rdi
movq (%rbx), %r15
movq 0x8(%rbx), %r14
cmpl $0x1, %eax
jne 0x2cbf5
movq %rbx, %rsi
callq 0xd0aa
movq %rax, %r12
movq %rdx, %r13
testb $0x1, %r14b
je 0x2cbe6
movq %r15, %rax
movabsq $0xfffffffffffc, %rcx   # imm = 0xFFFFFFFFFFFC
andq %rcx, %rax
sete %cl
testb $0x3, %r15b
setne %dl
orb %cl, %dl
jne 0x2cbe6
decl (%rax)
jne 0x2cbe6
movq %r15, %rdi
movq %r14, %rsi
callq 0xd13d
movl -0x38(%rbp), %eax
movq -0x30(%rbp), %rdi
movq %r13, %r14
movq %r12, %r15
jmp 0x2cba0
testl %eax, %eax
jne 0x2cc0e
movq %r15, %rax
movq %r14, %rdx
addq $0x28, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
movl $0x20, %edi
callq 0xf5e4
movq $0x20, 0x10(%rax)
movups 0xb3aa6(%rip), %xmm0    # 0xe06cd
movups %xmm0, 0x18(%rax)
movups 0xb3aab(%rip), %xmm0    # 0xe06dd
movups %xmm0, 0x28(%rax)
movq %rax, %rdi
callq 0x9302
// File: /workspace/github_c_makefile_star2_O3/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 0x2ca25
movabsq $0xfffffffffffc, %rcx   # imm = 0xFFFFFFFFFFFC
andq %rdx, %rcx
sete %sil
testb $0x3, %dl
setne %dil
orb %sil, %dil
jne 0x2cc86
decl (%rcx)
jne 0x2cc86
shlq $0x30, %rax
orq %rdx, %rax
leaq 0xe4643(%rip), %rsi     # 0x1112c1
movq %rax, %rdi
callq 0xd13d
movq -0x8(%rbp), %rax
addq $0x10, %rsp
popq %rbp
retq
// File: /workspace/github_c_makefile_star2_O3/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 0x2cf93
movl $0x1, (%rax)
movq %rbx, 0x8(%rax)
addq $0x8, %rsp
popq %rbx
popq %rbp
retq
leaq 0xb71a5(%rip), %rsi     # 0xe413f
movl $0x31, %edx
movl $0x2, %edi
callq 0x5060
callq 0x52b6
movl $0x1, %edi
callq 0x5130
// File: /workspace/github_c_makefile_star2_O3/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 0x2d3e7
movl $0x1, (%rax)
movq %rbx, 0x8(%rax)
addq $0x8, %rsp
popq %rbx
popq %rbp
retq
leaq 0xb6de7(%rip), %rsi     # 0xe41d5
movl $0x31, %edx
movl $0x2, %edi
callq 0x5060
callq 0x52b6
movl $0x1, %edi
callq 0x5130
// File: /workspace/github_c_makefile_star2_O3/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 0x2d438
movl $0x1, (%rax)
movl %ebx, 0x4(%rax)
addq $0x8, %rsp
popq %rbx
popq %rbp
retq
leaq 0xb6d32(%rip), %rsi     # 0xe4171
movl $0x31, %edx
movl $0x2, %edi
callq 0x5060
callq 0x52b6
movl $0x1, %edi
callq 0x5130
// File: /workspace/github_c_makefile_star2_O3/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 0x10e7fb3(%rip), %rdi   # 0x1115428
callq 0x13c85
movq %rax, %r15
movq %rax, %rdi
callq 0x1505d
testb %al, %al
je 0x2d4a7
movq %r15, %rdi
callq 0x13d82
movq %rax, %r12
movabsq $0xfffffffffffc, %rdx   # imm = 0xFFFFFFFFFFFC
andq %rax, %rdx
shrq $0x30, %r12
jmp 0x2d4bd
leaq 0xe3e13(%rip), %rsi     # 0x1112c1
xorl %r12d, %r12d
xorl %edi, %edi
movq %r15, %rdx
callq 0x14766
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_O3/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 0x2d50e
movq 0x8(%rdx), %r15
decl (%rdx)
jne 0x2d4f6
movq %rdx, %rdi
callq 0x5030
leaq -0x28(%rbp), %r12
movq %r14, %rdi
movq %r15, %rsi
movq %r12, %rdx
callq 0x2d6dd
movq (%r12), %r14
jmp 0x2d510
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_O3/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 0x2d54c
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq %rbx, %rax
sete %cl
testb $0x3, %bl
setne %dl
orb %cl, %dl
jne 0x2d551
incl (%rax)
jmp 0x2d551
callq 0x5030
movq %rbx, %rax
addq $0x8, %rsp
popq %rbx
popq %rbp
retq
// File: /workspace/github_c_makefile_star2_O3/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 0x2d587
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq %rbx, %rax
sete %cl
testb $0x3, %bl
setne %dl
orb %cl, %dl
jne 0x2d58c
incl (%rax)
jmp 0x2d58c
callq 0x5030
movq %rbx, %rax
addq $0x8, %rsp
popq %rbx
popq %rbp
retq
// File: /workspace/github_c_makefile_star2_O3/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 0x2d5c7
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq %r14, %rax
sete %cl
testb $0x3, %r14b
setne %dl
orb %cl, %dl
jne 0x2d5cc
incl (%rax)
jmp 0x2d5cc
callq 0x5030
movl %ebx, %eax
movq %r14, %rdx
popq %rbx
popq %r14
popq %rbp
retq
// File: /workspace/github_c_makefile_star2_O3/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 0x2d635
movabsq $0xfffffffffffc, %rdi   # imm = 0xFFFFFFFFFFFC
movq %r15, %rcx
andq %rdi, %rcx
sete %dl
testb $0x3, %r15b
setne %sil
orb %dl, %sil
jne 0x2d620
incl (%rcx)
andq %r14, %rdi
sete %cl
testb $0x3, %r14b
setne %dl
orb %cl, %dl
jne 0x2d640
incl (%rdi)
jmp 0x2d640
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_O3/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 0x2d45d
cmpl $0x1, %eax
je 0x2d724
testl %eax, %eax
jne 0x2d7d4
movq %r14, %rdi
callq 0x2d804
movq %rdx, %r15
movl $0x3, %r13d
movq -0x30(%rbp), %rbx
jmp 0x2d7bb
movq %r12, -0x40(%rbp)
movabsq $0xfffffffffffc, %r12   # imm = 0xFFFFFFFFFFFC
movq %rdx, %rdi
callq 0xd745
movq -0x30(%rbp), %rdi
movq %rax, %rsi
shrq $0x30, %rsi
andq %r12, %rax
leaq -0x48(%rbp), %rcx
movq %rax, %rdx
callq 0x2d4cc
movl %eax, %r13d
movq %rdx, %r15
movq %r13, %rdi
shlq $0x30, %rdi
orq %rdx, %rdi
leaq 0xe437e(%rip), %rsi     # 0x111ae9
movq %rdx, %rax
andq %r12, %rax
sete %cl
testb $0x3, %r15b
setne %dl
orb %cl, %dl
jne 0x2d781
incl (%rax)
callq 0x9353
movq %rdx, -0x38(%rbp)
movq -0x48(%rbp), %rbx
leaq 0x10e7c93(%rip), %rdi   # 0x1115428
movq %r14, %rsi
callq 0x13c85
addq $0x4, %r12
orq -0x38(%rbp), %r12
leaq 0xe3b15(%rip), %rsi     # 0x1112c1
movq %r12, %rdi
movq %rax, %rdx
callq 0x14766
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 0xf5e4
movq $0x20, 0x10(%rax)
movups 0xb2ee0(%rip), %xmm0    # 0xe06cd
movups %xmm0, 0x18(%rax)
movups 0xb2ee5(%rip), %xmm0    # 0xe06dd
movups %xmm0, 0x28(%rax)
movq %rax, %rdi
callq 0x9302
// File: /workspace/github_c_makefile_star2_O3/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 0x2d83a
movq %rax, %rdx
movl $0x1, (%rax)
movq %rbx, 0x8(%rax)
movl $0x3, %eax
addq $0x8, %rsp
popq %rbx
popq %rbp
retq
leaq 0xb6962(%rip), %rsi     # 0xe41a3
movl $0x31, %edx
movl $0x2, %edi
callq 0x5060
callq 0x52b6
movl $0x1, %edi
callq 0x5130
// File: /workspace/github_c_makefile_star2_O3/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 0x2d88b
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq %rbx, %rax
sete %cl
testb $0x3, %bl
setne %dl
orb %cl, %dl
jne 0x2d890
incl (%rax)
jmp 0x2d890
callq 0x5030
movq %rbx, %rax
addq $0x8, %rsp
popq %rbx
popq %rbp
retq
// File: /workspace/github_c_makefile_star2_O3/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 0x2d8c6
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq %rbx, %rax
sete %cl
testb $0x3, %bl
setne %dl
orb %cl, %dl
jne 0x2d8cb
incl (%rax)
jmp 0x2d8cb
callq 0x5030
movq %rbx, %rax
addq $0x8, %rsp
popq %rbx
popq %rbp
retq
// File: /workspace/github_c_makefile_star2_O3/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 0x2d9e7
pushq %rbp
movq %rsp, %rbp
pushq %r14
pushq %rbx
movq %rdi, %rbx
movabsq $0xfffffffffffc, %r14   # imm = 0xFFFFFFFFFFFC
andq %r14, %rbx
leaq 0xb0dd3(%rip), %rcx     # 0xde724
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 0x2d9db
decl (%r14)
jne 0x2d9db
leaq 0x10(%rbx), %rax
leaq 0xe3e0c(%rip), %rsi     # 0x111789
leaq 0x8(%rbx), %rcx
movl (%rcx), %edi
shlq $0x30, %rdi
orq (%rax), %rdi
callq 0xd13d
jmp 0x2d9db
movq 0x10(%rbx), %rcx
movq %rcx, %rax
andq %r14, %rax
sete %dl
testb $0x3, %cl
setne %cl
orb %dl, %cl
jne 0x2d9c3
decl (%rax)
jne 0x2d9c3
leaq 0xe3dd6(%rip), %rsi     # 0x111789
movl 0x8(%rbx), %edi
shlq $0x30, %rdi
orq 0x10(%rbx), %rdi
callq 0xd13d
movq 0x20(%rbx), %rax
andq %rax, %r14
sete %cl
testb $0x3, %al
setne %al
orb %cl, %al
jne 0x2d9db
decl (%r14)
je 0x2d9e8
movq %rbx, %rdi
popq %rbx
popq %r14
popq %rbp
jmp 0x5030
retq
leaq 0x20(%rbx), %rax
leaq 0xe3886(%rip), %rsi     # 0x111279
leaq 0x18(%rbx), %rcx
jmp 0x2d981
// File: /workspace/github_c_makefile_star2_O3/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 0x10e798e(%rip), %rdi   # 0x11153e8
callq 0x13c85
movq %rax, %rdi
callq 0x13d82
movabsq $0xfffffffffffc, %rdi   # imm = 0xFFFFFFFFFFFC
andq %rax, %rdi
movq %rax, %rcx
shrq $0x30, %rcx
cmpl $0x1c, %ecx
jne 0x2da9b
callq 0x27ec7
leaq 0xe43bd(%rip), %rsi     # 0x111e49
movq %rax, %rdi
callq 0x9353
movl $0x1, %eax
jmp 0x2dabb
testq %rdi, %rdi
je 0x2dab7
decl (%rdi)
jne 0x2dab7
andq $-0x4, %rax
leaq 0xe442a(%rip), %rsi     # 0x111ed9
movq %rax, %rdi
callq 0xd13d
xorl %eax, %eax
xorl %edx, %edx
movq %r14, (%rbx)
popq %rbx
popq %r14
popq %rbp
retq
// File: /workspace/github_c_makefile_star2_O3/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 0x2e173
cmpl $0x1, %ebx
jne 0x2e17e
movq %rsi, %rdi
callq 0xd745
movq %rax, %rdi
movq %rdx, %rsi
xorl %edx, %edx
xorl %ecx, %ecx
callq 0xd1ec
jmp 0x2e175
xorl %edx, %edx
movl %ebx, %eax
addq $0x8, %rsp
popq %rbx
popq %rbp
retq
movl $0x20, %edi
callq 0xf5e4
movq $0x20, 0x10(%rax)
movups 0xb2536(%rip), %xmm0    # 0xe06cd
movups %xmm0, 0x18(%rax)
movups 0xb253b(%rip), %xmm0    # 0xe06dd
movups %xmm0, 0x28(%rax)
movq %rax, %rdi
callq 0x9302
// File: /workspace/github_c_makefile_star2_O3/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 0xd01b
leaq -0x30(%rbp), %r14
movl %eax, %edi
movq %rdx, %rsi
movq %r14, %rdx
callq 0x111eb
movl %eax, %r15d
movq %rdx, %r12
movl (%r14), %edx
movq 0x8(%r14), %rcx
xorl %edi, %edi
xorl %esi, %esi
callq 0xd01b
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_O3/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, %r12d
leaq -0x48(%rbp), %r15
leaq -0x38(%rbp), %r13
cmpl $0x1, %edx
jne 0x2e614
movq %rcx, %rdi
movq %r15, %rsi
callq 0xd0aa
movq %rax, %rdi
movq %rdx, %rsi
movl %r12d, %edx
movq %r14, %rcx
movq %r13, %r8
callq 0x949e
movl -0x48(%rbp), %edx
movq -0x40(%rbp), %rcx
movl -0x38(%rbp), %r12d
movl -0x34(%rbp), %eax
movq -0x30(%rbp), %r14
jmp 0x2e5dc
testl %edx, %edx
jne 0x2e631
movl %r12d, (%rbx)
movl %eax, 0x4(%rbx)
movq %r14, 0x8(%rbx)
addq $0x28, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
movl $0x20, %edi
callq 0xf5e4
movq $0x20, 0x10(%rax)
movups 0xb2083(%rip), %xmm0    # 0xe06cd
movups %xmm0, 0x18(%rax)
movups 0xb2088(%rip), %xmm0    # 0xe06dd
movups %xmm0, 0x28(%rax)
movq %rax, %rdi
callq 0x9302
// File: /workspace/github_c_makefile_star2_O3/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 0x2e991
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 0xb594b(%rip), %rsi     # 0xe42e3
movl $0x31, %edx
movl $0x2, %edi
callq 0x5060
callq 0x52b6
movl $0x1, %edi
callq 0x5130
// File: /workspace/github_c_makefile_star2_O3/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 0x2ea08
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 0xb5906(%rip), %rsi     # 0xe4315
movl $0x31, %edx
movl $0x2, %edi
callq 0x5060
callq 0x52b6
movl $0x1, %edi
callq 0x5130
// File: /workspace/github_c_makefile_star2_O3/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 0x2ea69
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 0xb58d7(%rip), %rsi     # 0xe4347
movl $0x31, %edx
movl $0x2, %edi
callq 0x5060
callq 0x52b6
movl $0x1, %edi
callq 0x5130
// File: /workspace/github_c_makefile_star2_O3/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 0x2e0f0
movl %eax, %ebx
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq %rdx, %rax
sete %cl
testb $0x3, %dl
setne %sil
orb %cl, %sil
jne 0x2ead1
decl (%rax)
jne 0x2ead1
movq %rbx, %rdi
shlq $0x30, %rdi
orq %rdx, %rdi
leaq 0xe27f5(%rip), %rsi     # 0x1112c1
callq 0xd13d
leaq 0x1(,%rbx,2), %rdi
movl $0x1, %esi
callq 0xe83a
testl %eax, %eax
sete %al
addq $0x8, %rsp
popq %rbx
popq %rbp
retq
// File: /workspace/github_c_makefile_star2_O3/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 0x2ef6c
cmpl $0x1, %esi
je 0x2ef40
testl %esi, %esi
jne 0x2efd2
movq 0x8(%rdx), %r15
decl (%rdx)
jne 0x2ef37
movq %rdx, %rdi
callq 0x5030
leaq 0x10e5fea(%rip), %rdi   # 0x1114f28
jmp 0x2ef57
movq 0x8(%rdx), %r15
decl (%rdx)
jne 0x2ef50
movq %rdx, %rdi
callq 0x5030
leaq 0x10e5fe1(%rip), %rdi   # 0x1114f38
movq %r15, %rsi
callq 0x13c85
movq %rax, %rdi
callq 0x13d82
movq %rax, %r15
jmp 0x2efc1
movl 0x4(%rdx), %r15d
decl (%rdx)
jne 0x2ef7c
movq %rdx, %rdi
callq 0x5030
leaq -0x20(%rbp), %rdx
movq %r14, %rdi
movl %r15d, %esi
callq 0x1a125
movq 0x18(%rax), %r15
movabsq $0xfffffffffffc, %rcx   # imm = 0xFFFFFFFFFFFC
andq %rax, %rcx
sete %dl
testb $0x3, %al
setne %sil
orb %dl, %sil
jne 0x2efbd
decl (%rcx)
jne 0x2efbd
leaq 0xe278c(%rip), %rsi     # 0x111741
movq %rax, %rdi
callq 0xd13d
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 0xf5e4
movq $0x20, 0x10(%rax)
movups 0xb16e2(%rip), %xmm0    # 0xe06cd
movups %xmm0, 0x18(%rax)
movups 0xb16e7(%rip), %xmm0    # 0xe06dd
movups %xmm0, 0x28(%rax)
movq %rax, %rdi
callq 0x9302
// File: /workspace/github_c_makefile_star2_O3/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 0x2f075
decl (%rax)
jne 0x2f075
shlq $0x30, %r12
orq %r13, %r12
leaq 0xe2eb4(%rip), %rsi     # 0x111f21
movq %r12, %rdi
callq 0xd13d
movq %r15, %rax
andq %rbx, %rax
sete %cl
testb $0x3, %r15b
setne %dl
orb %cl, %dl
jne 0x2f09c
decl (%rax)
jne 0x2f09c
leaq 0xe20c5(%rip), %rsi     # 0x111159
movq %r15, %rdi
callq 0xd13d
leaq 0xe21d6(%rip), %r15     # 0x111279
movq %r14, %rax
andq %rbx, %rax
sete %cl
testb $0x3, %r14b
setne %dl
orb %cl, %dl
jne 0x2f0ce
decl (%rax)
jne 0x2f0ce
movq -0x30(%rbp), %rdi
shlq $0x30, %rdi
orq %r14, %rdi
movq %r15, %rsi
callq 0xd13d
movq -0x40(%rbp), %rdx
andq %rdx, %rbx
sete %al
testb $0x3, %dl
setne %cl
orb %al, %cl
jne 0x2f0e6
decl (%rbx)
je 0x2f0f5
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 0xd13d
// File: /workspace/github_c_makefile_star2_O3/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 0x2f147
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq %r14, %rax
sete %cl
testb $0x3, %r14b
setne %dl
orb %cl, %dl
jne 0x2f14c
incl (%rax)
jmp 0x2f14c
callq 0x5030
movl %ebx, %eax
movq %r14, %rdx
popq %rbx
popq %r14
popq %rbp
retq
// File: /workspace/github_c_makefile_star2_O3/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 0x2dac3
movq (%r12), %rdi
leaq -0x38(%rbp), %r12
leaq -0x30(%rbp), %r13
movq %r15, %rsi
movq %rax, %rdx
movq %r12, %rcx
movq %r13, %r8
callq 0x14a8c
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_O3/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 0x2f1ec
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq %r14, %rax
sete %cl
testb $0x3, %r14b
setne %dl
orb %cl, %dl
jne 0x2f1f1
incl (%rax)
jmp 0x2f1f1
callq 0x5030
movl %ebx, %eax
movq %r14, %rdx
popq %rbx
popq %r14
popq %rbp
retq
// File: /workspace/github_c_makefile_star2_O3/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 0x2f22c
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq %r14, %rax
sete %cl
testb $0x3, %r14b
setne %dl
orb %cl, %dl
jne 0x2f231
incl (%rax)
jmp 0x2f231
callq 0x5030
movl %ebx, %eax
movq %r14, %rdx
popq %rbx
popq %r14
popq %rbp
retq
// File: /workspace/github_c_makefile_star2_O3/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 0x2f26c
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq %r14, %rax
sete %cl
testb $0x3, %r14b
setne %dl
orb %cl, %dl
jne 0x2f271
incl (%rax)
jmp 0x2f271
callq 0x5030
movl %ebx, %eax
movq %r14, %rdx
popq %rbx
popq %r14
popq %rbp
retq
// File: /workspace/github_c_makefile_star2_O3/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 0x2f2ac
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq %r14, %rax
sete %cl
testb $0x3, %r14b
setne %dl
orb %cl, %dl
jne 0x2f2b1
incl (%rax)
jmp 0x2f2b1
callq 0x5030
movl %ebx, %eax
movq %r14, %rdx
popq %rbx
popq %r14
popq %rbp
retq
// File: /workspace/github_c_makefile_star2_O3/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 0x2f2ec
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq %r14, %rax
sete %cl
testb $0x3, %r14b
setne %dl
orb %cl, %dl
jne 0x2f2f1
incl (%rax)
jmp 0x2f2f1
callq 0x5030
movl %ebx, %eax
movq %r14, %rdx
popq %rbx
popq %r14
popq %rbp
retq
// File: /workspace/github_c_makefile_star2_O3/mirth-lang[P]mirth/bin/mirth1.c
// Function: mtp_mirth_elab_RejectedDef_MethodWrongType
static struct mirth_def_Def mtp_mirth_elab_RejectedDef_MethodWrongType (struct mirth_elab_RejectedDef in_RejectedDef_1, struct std_list_List_1 *out_List_3) {
	struct mirth_elab_RejectedDef_MethodWrongType v4 = *in_RejectedDef_1.ptr.MethodWrongType;
	if (!--(in_RejectedDef_1.ptr.MethodWrongType->refs)) {
		free(in_RejectedDef_1.ptr.MethodWrongType);
	} else {
		incref(MK_mirth_def_Def(v4.mDef));
		incref(MK_std_list_List_1(v4.mList));
	}
	*out_List_3 = v4.mList;
	return v4.mDef;
}

// 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 0x2f35a
movabsq $0xfffffffffffc, %rdi   # imm = 0xFFFFFFFFFFFC
movq %r15, %rcx
andq %rdi, %rcx
sete %dl
testb $0x3, %r15b
setne %sil
orb %dl, %sil
jne 0x2f345
incl (%rcx)
andq %r14, %rdi
sete %cl
testb $0x3, %r14b
setne %dl
orb %cl, %dl
jne 0x2f365
incl (%rdi)
jmp 0x2f365
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_O3/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 0x2f530
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq %r14, %rax
sete %cl
testb $0x3, %r14b
setne %dl
orb %cl, %dl
jne 0x2f535
incl (%rax)
jmp 0x2f535
callq 0x5030
movl %ebx, %eax
movq %r14, %rdx
popq %rbx
popq %r14
popq %rbp
retq
// File: /workspace/github_c_makefile_star2_O3/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 0x2f590
cmpl $0x1, %edx
jne 0x2f5a7
movq %rcx, %rdi
callq 0xd745
leaq -0x30(%rbp), %r12
movq %rax, %rdi
movq %rdx, %rsi
movl %r15d, %edx
movq %r14, %rcx
movq %r12, %r8
callq 0x949e
movl (%r12), %r15d
movl 0x4(%r12), %eax
movq 0x8(%r12), %r14
jmp 0x2f590
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
movl $0x20, %edi
callq 0xf5e4
movq $0x20, 0x10(%rax)
movups 0xb110d(%rip), %xmm0    # 0xe06cd
movups %xmm0, 0x18(%rax)
movups 0xb1112(%rip), %xmm0    # 0xe06dd
movups %xmm0, 0x28(%rax)
movq %rax, %rdi
callq 0x9302
// File: /workspace/github_c_makefile_star2_O3/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 0x2f5ed
testl %edi, %edi
jne 0x2f606
movq %rsi, %rdi
popq %rbp
jmp 0x20a5a
movq %rsi, %rdi
callq 0x20aa1
movq %rax, %rdi
callq 0x2cc3e
movq %rax, %rdi
popq %rbp
jmp 0x2cb6e
movl $0x20, %edi
callq 0xf5e4
movq $0x20, 0x10(%rax)
movups 0xb10ae(%rip), %xmm0    # 0xe06cd
movups %xmm0, 0x18(%rax)
movups 0xb10b3(%rip), %xmm0    # 0xe06dd
movups %xmm0, 0x28(%rax)
movq %rax, %rdi
callq 0x9302
// File: /workspace/github_c_makefile_star2_O3/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 -0x20(%rbp), %r15
movq %r15, %rdx
callq 0x1b59d
movq (%r15), %rdi
leaq -0x28(%rbp), %r15
movq %rax, %rsi
movq %r14, %rdx
movl $0x2, %ecx
movq %r15, %r8
callq 0x1bc32
movq (%r15), %rax
movq %rax, (%rbx)
addq $0x18, %rsp
popq %rbx
popq %r14
popq %r15
popq %rbp
retq
// File: /workspace/github_c_makefile_star2_O3/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
pushq %rbx
pushq %rax
testl %edi, %edi
je 0x2fa14
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq %rsi, %rax
sete %cl
testb $0x3, %sil
setne %dl
orb %cl, %dl
jne 0x2fa0e
decl (%rax)
jne 0x2fa0e
shlq $0x30, %rdi
orq %rsi, %rdi
leaq 0xe1d80(%rip), %rsi     # 0x111789
callq 0xd13d
xorl %eax, %eax
xorl %edx, %edx
jmp 0x2fa38
movq 0x8(%rsi), %rbx
decl (%rsi)
jne 0x2fa24
movq %rsi, %rdi
callq 0x5030
leaq 0xe2615(%rip), %rsi     # 0x112040
movq %rbx, %rdi
callq 0x9353
movl $0x1, %eax
addq $0x8, %rsp
popq %rbx
popq %rbp
retq