LLM4Binary/decompile-bench-makefile huggingface dataset:
// File: /workspace/github_c_makefile_star2_O2/mirth-lang[P]mirth/bin/mirth1.c
// Function: mirth_type_StackTypeBase_free
void mirth_type_StackTypeBase_free (VAL v) {
	struct mirth_type_StackTypeBase self = V_mirth_type_StackTypeBase(v);
	switch (self.tag) {
		case mirth_type_StackTypeBase_Error: break;
		case mirth_type_StackTypeBase_Ignore: break;
		case mirth_type_StackTypeBase_Unit: break;
		case mirth_type_StackTypeBase_Var: {
			free(self.ptr.Var);
		} break;
		case mirth_type_StackTypeBase_Meta: {
			free(self.ptr.Meta);
		} break;
	}
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
movq %rdi, %rax
shrq $0x30, %rax
addl $-0x3, %eax
cmpw $0x1, %ax
ja 0x36d09
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq %rax, %rdi
popq %rbp
jmp 0x5030
popq %rbp
retq
// File: /workspace/github_c_makefile_star2_O2/mirth-lang[P]mirth/bin/mirth1.c
// Function: mtp_mirth_type_StackTypeBase_Meta
static uint64_t mtp_mirth_type_StackTypeBase_Meta (struct mirth_type_StackTypeBase in_StackTypeBase_1) {
	struct mirth_type_StackTypeBase_Meta v3 = *in_StackTypeBase_1.ptr.Meta;
	if (!--(in_StackTypeBase_1.ptr.Meta->refs)) {
		free(in_StackTypeBase_1.ptr.Meta);
	} else {
	}
	return v3.mMetaVar;
}

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

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %rbx
pushq %rax
movq 0x8(%rdi), %rbx
decl (%rdi)
jne 0x36df8
callq 0x5030
movq %rbx, %rax
addq $0x8, %rsp
popq %rbx
popq %rbp
retq
// File: /workspace/github_c_makefile_star2_O2/mirth-lang[P]mirth/bin/mirth1.c
// Function: mw_mirth_type_StackType_unitzy
static bool mw_mirth_type_StackType_unitzy (struct mirth_mirth_zaMirth* in_zaMirth_1, struct mirth_type_StackType in_StackType_2, struct mirth_mirth_zaMirth* *out_zaMirth_3) {
	struct mirth_mirth_zaMirth* branch_zaMirth_5;
	bool branch_Bool_6;
	switch ((in_StackType_2).tag) {
		case mirth_type_StackType_Unit: {
			bool v7 = true;
			branch_Bool_6 = v7;
			branch_zaMirth_5 = in_zaMirth_1;
		} break;
		case mirth_type_StackType_Meta: {
			uint64_t v8 = mtp_mirth_type_StackType_Meta(in_StackType_2);
			struct mirth_mirth_zaMirth* v9;
			bool v10 = mw_mirth_type_MetaVar_unitzestackzy(in_zaMirth_1, v8, &v9);
			branch_Bool_6 = v10;
			branch_zaMirth_5 = v9;
		} break;
		default: {
			decref(MK_mirth_type_StackType(in_StackType_2));
			bool v11 = false;
			branch_Bool_6 = v11;
			branch_zaMirth_5 = in_zaMirth_1;
		} break;
	}
	*out_zaMirth_3 = branch_zaMirth_5;
	return branch_Bool_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 0x36f3a
cmpl $0x4, %esi
jne 0x36f3e
movq %rdx, %rdi
callq 0x34e20
leaq -0x20(%rbp), %r15
movq %r14, %rdi
movq %rax, %rsi
movq %r15, %rdx
callq 0x36f87
movq (%r15), %r14
jmp 0x36f79
movb $0x1, %al
jmp 0x36f79
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq %rdx, %rax
sete %cl
testb $0x3, %dl
setne %dil
orb %cl, %dil
jne 0x36f77
decl (%rax)
jne 0x36f77
shlq $0x30, %rsi
orq %rdx, %rsi
leaq 0xd1c55(%rip), %rax     # 0x108bc1
movq %rsi, %rdi
movq %rax, %rsi
callq 0xce94
xorl %eax, %eax
movq %r14, (%rbx)
addq $0x8, %rsp
popq %rbx
popq %r14
popq %r15
popq %rbp
retq
// File: /workspace/github_c_makefile_star2_O2/mirth-lang[P]mirth/bin/mirth1.c
// Function: mw_mirth_type_MetaVar_unitzestackzy
static bool mw_mirth_type_MetaVar_unitzestackzy (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;
	bool branch_Bool_8;
	switch ((v6).tag) {
		case std_maybe_Maybe_1_Some: {
			VAL v9 = mtp_std_maybe_Maybe_1_Some(v6);
			struct mirth_mirth_zaMirth* v10;
			bool v11 = mw_mirth_type_Type_unitzestackzy(v5, V_mirth_type_Type(v9), &v10);
			branch_Bool_8 = v11;
			branch_zaMirth_7 = v10;
		} break;
		case std_maybe_Maybe_1_None: {
			bool v12 = false;
			branch_Bool_8 = v12;
			branch_zaMirth_7 = v5;
		} break;
		default: {
			do_panic(str_make("unexpected fallthrough in match\n", 32));
		}
	}
	*out_zaMirth_3 = branch_zaMirth_7;
	return branch_Bool_8;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %rbx
subq $0x18, %rsp
movq %rdx, %rbx
leaq -0x20(%rbp), %rdx
callq 0x2aadc
testl %eax, %eax
je 0x36ff1
cmpl $0x1, %eax
jne 0x3703e
movq %rdx, %rdi
callq 0xd491
movq -0x20(%rbp), %r14
movq %rax, %rcx
shrq $0x30, %rcx
movabsq $0xfffffffffffc, %rdi   # imm = 0xFFFFFFFFFFFC
andq %rax, %rdi
cmpq $0x9, %rcx
je 0x36ff9
cmpl $0x3, %ecx
jne 0x37020
callq 0x2aabf
leaq -0x28(%rbp), %r15
movq %r14, %rdi
movq %rax, %rsi
movq %r15, %rdx
callq 0x36f87
jmp 0x3700f
movq -0x20(%rbp), %r14
xorl %eax, %eax
jmp 0x37012
callq 0x2acc0
leaq -0x28(%rbp), %r15
movq %r14, %rdi
movl %eax, %esi
movq %r15, %rcx
callq 0x36f01
movq (%r15), %r14
movq %r14, (%rbx)
addq $0x18, %rsp
popq %rbx
popq %r14
popq %r15
popq %rbp
retq
testq %rdi, %rdi
je 0x36ff5
decl (%rdi)
jne 0x36ff5
andq $-0x4, %rax
leaq 0xd1ab5(%rip), %rsi     # 0x108ae9
movq %rax, %rdi
callq 0xce94
jmp 0x36ff5
leaq 0x9d7c8(%rip), %rdi     # 0xd480d
pushq $0x20
popq %rsi
callq 0x8a21
movq %rax, %rdi
callq 0x8cc6
// File: /workspace/github_c_makefile_star2_O2/mirth-lang[P]mirth/bin/mirth1.c
// Function: mw_mirth_label_Label_name
static uint64_t mw_mirth_label_Label_name (struct mirth_mirth_zaMirth* in_zaMirth_1, uint64_t in_Label_2, struct mirth_mirth_zaMirth* *out_zaMirth_3) {
	void* v5 = field_mut(&mfld_mirth_label_Label_name, in_Label_2);
	VAL v6 = mut_get(v5);
	*out_zaMirth_3 = in_zaMirth_1;
	return V_mirth_name_Name(v6);
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r14
pushq %rbx
movq %rdx, %rbx
movq %rdi, %r14
leaq 0x10d57d7(%rip), %rdi   # 0x110c840
callq 0x12f88
movq %rax, %rdi
callq 0x1307d
movq %r14, (%rbx)
popq %rbx
popq %r14
popq %rbp
retq
// File: /workspace/github_c_makefile_star2_O2/mirth-lang[P]mirth/bin/mirth1.c
// Function: mw_mirth_arrow_Block_type
static struct mirth_type_ArrowType* mw_mirth_arrow_Block_type (struct mirth_mirth_zaMirth* in_zaMirth_1, uint64_t in_Block_2, struct mirth_mirth_zaMirth* *out_zaMirth_3) {
	struct mirth_mirth_zaMirth* v5;
	struct mirth_type_StackType v6 = mw_mirth_arrow_Block_dom(in_zaMirth_1, in_Block_2, &v5);
	struct mirth_mirth_zaMirth* v7;
	struct mirth_type_StackType v8 = mw_mirth_arrow_Block_cod(v5, in_Block_2, &v7);
	struct mirth_type_ArrowType* v9 = mw_mirth_type_Tzezg(v6, v8);
	*out_zaMirth_3 = v7;
	return v9;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x18, %rsp
movq %rdx, %rbx
movq %rsi, %r14
leaq -0x38(%rbp), %r15
movq %r15, %rdx
callq 0x3710b
movl %eax, %r12d
movq %rdx, %r13
movq (%r15), %rdi
leaq -0x30(%rbp), %r15
movq %r14, %rsi
movq %r15, %rdx
callq 0x37145
movq %rdx, %rcx
movl %r12d, %edi
movq %r13, %rsi
movl %eax, %edx
callq 0x1e896
movq (%r15), %rcx
movq %rcx, (%rbx)
addq $0x18, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
// File: /workspace/github_c_makefile_star2_O2/mirth-lang[P]mirth/bin/mirth1.c
// Function: mw_mirth_arrow_Block_dom
static struct mirth_type_StackType mw_mirth_arrow_Block_dom (struct mirth_mirth_zaMirth* in_zaMirth_1, uint64_t in_Block_2, struct mirth_mirth_zaMirth* *out_zaMirth_3) {
	void* v5 = field_mut(&mfld_mirth_arrow_Block_dom, in_Block_2);
	VAL v6 = mut_get(v5);
	*out_zaMirth_3 = in_zaMirth_1;
	return V_mirth_type_StackType(v6);
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r14
pushq %rbx
movq %rdx, %rbx
movq %rdi, %r14
leaq 0x10d5749(%rip), %rdi   # 0x110c868
callq 0x12f88
movq %rax, %rdi
callq 0x1307d
movq %r14, (%rbx)
movabsq $0xfffffffffffc, %rdx   # imm = 0xFFFFFFFFFFFC
andq %rax, %rdx
shrq $0x30, %rax
popq %rbx
popq %r14
popq %rbp
retq
// File: /workspace/github_c_makefile_star2_O2/mirth-lang[P]mirth/bin/mirth1.c
// Function: mw_mirth_arrow_Block_cod
static struct mirth_type_StackType mw_mirth_arrow_Block_cod (struct mirth_mirth_zaMirth* in_zaMirth_1, uint64_t in_Block_2, struct mirth_mirth_zaMirth* *out_zaMirth_3) {
	void* v5 = field_mut(&mfld_mirth_arrow_Block_cod, in_Block_2);
	VAL v6 = mut_get(v5);
	*out_zaMirth_3 = in_zaMirth_1;
	return V_mirth_type_StackType(v6);
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r14
pushq %rbx
movq %rdx, %rbx
movq %rdi, %r14
leaq 0x10d571f(%rip), %rdi   # 0x110c878
callq 0x12f88
movq %rax, %rdi
callq 0x1307d
movq %r14, (%rbx)
movabsq $0xfffffffffffc, %rdx   # imm = 0xFFFFFFFFFFFC
andq %rax, %rdx
shrq $0x30, %rax
popq %rbx
popq %r14
popq %rbp
retq
// File: /workspace/github_c_makefile_star2_O2/mirth-lang[P]mirth/bin/mirth1.c
// Function: mw_mirth_type_Type_unifyzefailedzx
static struct mirth_type_Type mw_mirth_type_Type_unifyzefailedzx (struct mirth_mirth_zaMirth* in_zaMirth_1, struct mirth_type_Type in_Type_2, struct mirth_type_Type in_Type_3, struct mirth_mirth_zaMirth* *out_zaMirth_4) {
	STR* v6;
	STRLIT(v6, "", 0);
	STR* v7;
	STRLIT(v7, "Failed to unify ", 16);
	STR* v8;
	mw_std_str_zaStr_pushzestrzx(v7, v6, &v8);
	struct mirth_mirth_zaMirth* v9;
	STR* v10;
	mw_mirth_type_Type_typezj(in_zaMirth_1, v8, in_Type_2, &v9, &v10);
	STR* v11;
	STRLIT(v11, " with ", 6);
	STR* v12;
	mw_std_str_zaStr_pushzestrzx(v11, v10, &v12);
	struct mirth_mirth_zaMirth* v13;
	STR* v14;
	mw_mirth_type_Type_typezj(v9, v12, in_Type_3, &v13, &v14);
	struct mirth_mirth_zaMirth* v15;
	mw_mirth_mirth_zaMirth_errorzx(v13, v14, &v15);
	struct mirth_type_Type v16 = { .tag=mirth_type_Type_Error };
	*out_zaMirth_4 = v15;
	return v16;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x48, %rsp
movq %r9, -0x40(%rbp)
movq %r8, -0x38(%rbp)
movl %ecx, -0x2c(%rbp)
movq %rdx, %r12
movl %esi, %r13d
movq %rdi, %rbx
movq 0x10d5442(%rip), %r14   # 0x110c888
testq %r14, %r14
jne 0x37463
leaq 0xa52a3(%rip), %rdi     # 0xdc6f5
xorl %esi, %esi
callq 0x8a21
movq %rax, %r14
movq %rax, 0x10d5425(%rip)   # 0x110c888
movabsq $0xfffffffffffc, %r15   # imm = 0xFFFFFFFFFFFC
movq %r14, %rax
andq %r15, %rax
sete %cl
testb $0x3, %r14b
setne %dl
orb %cl, %dl
jne 0x37483
incl (%rax)
movq 0x10d5406(%rip), %rsi   # 0x110c890
testq %rsi, %rsi
jne 0x374a8
leaq 0xa1b50(%rip), %rdi     # 0xd8fe6
pushq $0x10
popq %rsi
callq 0x8a21
movq %rax, %rsi
movq %rax, 0x10d53e8(%rip)   # 0x110c890
movq %rsi, %rax
andq %r15, %rax
sete %cl
testb $0x3, %sil
setne %dl
orb %cl, %dl
jne 0x374be
incl (%rax)
movq %r14, %rdi
callq 0xd8b0
leaq -0x50(%rbp), %r8
leaq -0x48(%rbp), %r9
movq %rbx, %rdi
movq %rax, %rsi
movl %r13d, %edx
movq %r12, %rcx
callq 0x3520f
movq 0x10d53b2(%rip), %rsi   # 0x110c898
testq %rsi, %rsi
jne 0x37504
leaq 0xa1b05(%rip), %rdi     # 0xd8ff7
pushq $0x6
popq %rsi
callq 0x8a21
movq %rax, %rsi
movq %rax, 0x10d5394(%rip)   # 0x110c898
andq %rsi, %r15
sete %al
testb $0x3, %sil
setne %cl
orb %al, %cl
jne 0x37518
incl (%r15)
movq -0x48(%rbp), %rdi
callq 0xd8b0
movq -0x50(%rbp), %rdi
leaq -0x68(%rbp), %rbx
leaq -0x60(%rbp), %r14
movq %rax, %rsi
movl -0x2c(%rbp), %edx
movq -0x38(%rbp), %rcx
movq %rbx, %r8
movq %r14, %r9
callq 0x3520f
movq (%rbx), %rdi
movq (%r14), %rsi
leaq -0x58(%rbp), %rbx
movq %rbx, %rdx
callq 0x33f68
movq (%rbx), %rax
movq -0x40(%rbp), %rcx
movq %rax, (%rcx)
addq $0x48, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
// File: /workspace/github_c_makefile_star2_O2/mirth-lang[P]mirth/bin/mirth1.c
// Function: mw_mirth_type_MetaVar_haszemetazy
static bool mw_mirth_type_MetaVar_haszemetazy (struct mirth_mirth_zaMirth* in_zaMirth_1, uint64_t in_MetaVar_2, uint64_t in_MetaVar_3, struct mirth_mirth_zaMirth* *out_zaMirth_4) {
	struct mirth_mirth_zaMirth* v6;
	struct std_maybe_Maybe_1 v7 = mw_mirth_type_MetaVar_typezy(in_zaMirth_1, in_MetaVar_3, &v6);
	struct mirth_mirth_zaMirth* branch_zaMirth_8;
	bool branch_Bool_9;
	switch ((v7).tag) {
		case std_maybe_Maybe_1_None: {
			uint64_t v10 = in_MetaVar_3;
			uint64_t v11 = in_MetaVar_2;
			bool v12 = (v10 == v11);
			branch_Bool_9 = v12;
			branch_zaMirth_8 = v6;
		} break;
		case std_maybe_Maybe_1_Some: {
			VAL v13 = mtp_std_maybe_Maybe_1_Some(v7);
			struct mirth_mirth_zaMirth* v14;
			bool v15 = mw_mirth_type_Type_haszemetazy(v6, in_MetaVar_2, V_mirth_type_Type(v13), &v14);
			branch_Bool_9 = v15;
			branch_zaMirth_8 = v14;
		} break;
		default: {
			do_panic(str_make("unexpected fallthrough in match\n", 32));
		}
	}
	*out_zaMirth_4 = branch_zaMirth_8;
	return branch_Bool_9;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %rbx
subq $0x18, %rsp
movq %rcx, %rbx
movq %rdx, %r15
movq %rsi, %r14
leaq -0x20(%rbp), %rdx
movq %r15, %rsi
callq 0x2aadc
cmpl $0x1, %eax
je 0x375a4
testl %eax, %eax
jne 0x375e4
cmpq %r14, %r15
sete %al
movq -0x20(%rbp), %rcx
jmp 0x375d6
movq %rdx, %rdi
callq 0xd491
movq -0x20(%rbp), %rdi
movabsq $0xfffffffffffc, %rcx   # imm = 0xFFFFFFFFFFFC
andq %rax, %rcx
movq %rax, %rdx
shrq $0x30, %rdx
leaq -0x28(%rbp), %r15
movq %r14, %rsi
movq %r15, %r8
callq 0x3717f
movq (%r15), %rcx
movq %rcx, (%rbx)
addq $0x18, %rsp
popq %rbx
popq %r14
popq %r15
popq %rbp
retq
leaq 0x9d222(%rip), %rdi     # 0xd480d
pushq $0x20
popq %rsi
callq 0x8a21
movq %rax, %rdi
callq 0x8cc6
// File: /workspace/github_c_makefile_star2_O2/mirth-lang[P]mirth/bin/mirth1.c
// Function: mw_mirth_type_Resource_haszemetazy
static bool mw_mirth_type_Resource_haszemetazy (struct mirth_mirth_zaMirth* in_zaMirth_1, uint64_t in_MetaVar_2, struct mirth_type_Type in_Resource_3, struct mirth_mirth_zaMirth* *out_zaMirth_4) {
	struct mirth_type_Type v6 = mw_mirth_type_Resource_zgType(in_Resource_3);
	struct mirth_mirth_zaMirth* v7;
	bool v8 = mw_mirth_type_Type_haszemetazy(in_zaMirth_1, in_MetaVar_2, v6, &v7);
	*out_zaMirth_4 = v7;
	return v8;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r14
pushq %rbx
subq $0x10, %rsp
movq %r8, %rbx
leaq -0x18(%rbp), %r14
movq %r14, %r8
callq 0x3717f
movq (%r14), %rcx
movq %rcx, (%rbx)
addq $0x10, %rsp
popq %rbx
popq %r14
popq %rbp
retq
// File: /workspace/github_c_makefile_star2_O2/mirth-lang[P]mirth/bin/mirth1.c
// Function: mw_mirth_arrow_blockzeunifyzetypezx
static struct mirth_type_ArrowType* mw_mirth_arrow_blockzeunifyzetypezx (struct mirth_mirth_zaMirth* in_zaMirth_1, uint64_t in_Block_2, struct mirth_type_ArrowType* in_ArrowType_3, struct mirth_mirth_zaMirth* *out_zaMirth_4) {
	struct mirth_mirth_zaMirth* v6;
	struct mirth_type_ArrowType* v7 = mw_mirth_arrow_Block_unifyzetypezx(in_zaMirth_1, in_ArrowType_3, in_Block_2, &v6);
	*out_zaMirth_4 = v6;
	return v7;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r12
pushq %rbx
subq $0x20, %rsp
movq %rcx, %rbx
movq %rdx, %r15
movq %rsi, %r14
leaq -0x30(%rbp), %r12
movq %r12, %rdx
callq 0x370ab
movq (%r12), %rdi
leaq -0x28(%rbp), %rcx
movq %r15, %rsi
movq %rax, %rdx
callq 0x37bfe
movabsq $0xfffffffffffc, %rcx   # imm = 0xFFFFFFFFFFFC
andq %rax, %rcx
sete %dl
testb $0x3, %al
setne %sil
orb %dl, %sil
jne 0x37ab5
decl (%rcx)
jne 0x37ab5
leaq 0xd10cc(%rip), %rsi     # 0x108b79
movq %rax, %rdi
callq 0xce94
movq -0x28(%rbp), %rdi
leaq -0x38(%rbp), %r15
movq %r14, %rsi
movq %r15, %rdx
callq 0x37ae3
movq %rax, %rdi
callq 0x37b22
movq (%r15), %rcx
movq %rcx, (%rbx)
addq $0x20, %rsp
popq %rbx
popq %r12
popq %r14
popq %r15
popq %rbp
retq
// File: /workspace/github_c_makefile_star2_O2/mirth-lang[P]mirth/bin/mirth1.c
// Function: mw_mirth_arrow_Block_arrow
static struct mirth_arrow_Arrow* mw_mirth_arrow_Block_arrow (struct mirth_mirth_zaMirth* in_zaMirth_1, uint64_t in_Block_2, struct mirth_mirth_zaMirth* *out_zaMirth_3) {
	void* v5 = field_mut(&mfld_mirth_arrow_Block_ztarrow, in_Block_2);
	struct mirth_mirth_zaMirth* v6;
	VAL v7 = mw_mirth_mirth_Prop_1_forcezx(in_zaMirth_1, v5, &v6);
	*out_zaMirth_3 = v6;
	return V_mirth_arrow_Arrow(v7);
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %rbx
pushq %rax
movq %rdx, %rbx
movq %rdi, %r14
leaq 0x10d4dbe(%rip), %rdi   # 0x110c8b8
callq 0x12f88
leaq -0x20(%rbp), %r15
movq %r14, %rdi
movq %rax, %rsi
movq %r15, %rdx
callq 0x184dc
movq (%r15), %rcx
movq %rcx, (%rbx)
addq $0x8, %rsp
popq %rbx
popq %r14
popq %r15
popq %rbp
retq
// File: /workspace/github_c_makefile_star2_O2/mirth-lang[P]mirth/bin/mirth1.c
// Function: mw_mirth_arrow_Arrow_type
static struct mirth_type_ArrowType* mw_mirth_arrow_Arrow_type (struct mirth_arrow_Arrow* in_Arrow_1) {
	incref(MK_mirth_arrow_Arrow(in_Arrow_1));
	struct mirth_type_StackType v3 = in_Arrow_1->mdom;
	incref(MK_mirth_type_StackType(v3));
	decref(MK_mirth_arrow_Arrow(in_Arrow_1));
	struct mirth_type_StackType v4 = in_Arrow_1->mcod;
	incref(MK_mirth_type_StackType(v4));
	decref(MK_mirth_arrow_Arrow(in_Arrow_1));
	struct mirth_type_ArrowType* v5 = mw_mirth_type_Tzezg(v3, v4);
	return v5;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
pushq %rax
movq %rdi, %rbx
movabsq $0xfffffffffffc, %r13   # imm = 0xFFFFFFFFFFFC
movq %rdi, %r14
andq %r13, %r14
setne %al
testb $0x3, %bl
sete %r15b
andb %al, %r15b
cmpb $0x1, %r15b
jne 0x37b59
incl (%r14)
movl 0x38(%rbx), %edi
movq 0x40(%rbx), %rsi
movq %rsi, %rax
andq %r13, %rax
sete %cl
testb $0x3, %sil
setne %dl
orb %cl, %dl
jne 0x37b76
incl (%rax)
leaq 0xd1824(%rip), %r8      # 0x1093a1
testb %r15b, %r15b
je 0x37ba5
decl (%r14)
jne 0x37ba5
movl %edi, -0x2c(%rbp)
movq %rbx, %rdi
movq %rsi, %r12
movq %r8, %rsi
callq 0xce94
leaq 0xd1802(%rip), %r8      # 0x1093a1
movq %r12, %rsi
movl -0x2c(%rbp), %edi
movl 0x48(%rbx), %edx
movq 0x50(%rbx), %r12
andq %r12, %r13
sete %al
testb $0x3, %r12b
setne %cl
orb %al, %cl
jne 0x37bc1
incl (%r13)
testb %r15b, %r15b
je 0x37be8
decl (%r14)
jne 0x37be8
movl %edi, %r14d
movq %rbx, %rdi
movq %rsi, %rbx
movq %r8, %rsi
movl %edx, %r15d
callq 0xce94
movl %r15d, %edx
movq %rbx, %rsi
movl %r14d, %edi
movq %r12, %rcx
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
jmp 0x1e896
// File: /workspace/github_c_makefile_star2_O2/mirth-lang[P]mirth/bin/mirth1.c
// Function: mw_mirth_type_ArrowType_unifyzx
static struct mirth_type_ArrowType* mw_mirth_type_ArrowType_unifyzx (struct mirth_mirth_zaMirth* in_zaMirth_1, struct mirth_type_ArrowType* in_ArrowType_2, struct mirth_type_ArrowType* in_ArrowType_3, struct mirth_mirth_zaMirth* *out_zaMirth_4) {
	struct mirth_type_StackType v6;
	struct mirth_type_StackType v7;
	mtp_mirth_type_ArrowType_ArrowType(in_ArrowType_2, &v6, &v7);
	struct mirth_type_StackType v8;
	struct mirth_type_StackType v9;
	mtp_mirth_type_ArrowType_ArrowType(in_ArrowType_3, &v8, &v9);
	struct mirth_mirth_zaMirth* v10;
	struct mirth_type_StackType v11 = mw_mirth_type_StackType_unifyzx(in_zaMirth_1, v8, v6, &v10);
	struct mirth_mirth_zaMirth* v12;
	struct mirth_type_StackType v13 = mw_mirth_type_StackType_unifyzx(v10, v9, v7, &v12);
	struct mirth_type_ArrowType* v14 = mtw_mirth_type_ArrowType_ArrowType(v11, v13);
	*out_zaMirth_4 = v12;
	return v14;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x58, %rsp
movq %rcx, -0x30(%rbp)
movq %rdx, %r15
movq %rdi, %r12
leaq -0x80(%rbp), %r13
leaq -0x50(%rbp), %rdx
movq %rsi, %rdi
movq %r13, %rsi
callq 0x36e55
leaq -0x70(%rbp), %rbx
leaq -0x60(%rbp), %r14
movq %r15, %rdi
movq %rbx, %rsi
movq %r14, %rdx
callq 0x36e55
movl (%rbx), %esi
movq 0x8(%rbx), %rdx
movl (%r13), %ecx
movq 0x8(%r13), %r8
leaq -0x40(%rbp), %rbx
movq %r12, %rdi
movq %rbx, %r9
callq 0x37cae
movl %eax, %r15d
movq %rdx, %r12
movq (%rbx), %rdi
movl (%r14), %esi
movq 0x8(%r14), %rdx
leaq -0x50(%rbp), %rax
movl (%rax), %ecx
movq 0x8(%rax), %r8
leaq -0x38(%rbp), %rbx
movq %rbx, %r9
callq 0x37cae
movq %rdx, %rcx
movl %r15d, %edi
movq %r12, %rsi
movl %eax, %edx
callq 0x1e896
movq (%rbx), %rcx
movq -0x30(%rbp), %rdx
movq %rcx, (%rdx)
addq $0x58, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
// File: /workspace/github_c_makefile_star2_O2/mirth-lang[P]mirth/bin/mirth1.c
// Function: mw_mirth_type_StackType_zgType
static struct mirth_type_Type mw_mirth_type_StackType_zgType (struct mirth_type_StackType in_StackType_1) {
	struct mirth_type_Type branch_Type_3;
	switch ((in_StackType_1).tag) {
		case mirth_type_StackType_Error: {
			struct mirth_type_Type v4 = { .tag=mirth_type_Type_Error };
			branch_Type_3 = v4;
		} break;
		case mirth_type_StackType_Ignore: {
			struct mirth_type_Type v5 = { .tag=mirth_type_Type_Ignore };
			branch_Type_3 = v5;
		} break;
		case mirth_type_StackType_Var: {
			uint64_t v6 = mtp_mirth_type_StackType_Var(in_StackType_1);
			struct mirth_type_Type v7 = mtw_mirth_type_Type_Var(v6);
			branch_Type_3 = v7;
		} break;
		case mirth_type_StackType_Meta: {
			uint64_t v8 = mtp_mirth_type_StackType_Meta(in_StackType_1);
			struct mirth_type_Type v9 = mtw_mirth_type_Type_Meta(v8);
			branch_Type_3 = v9;
		} break;
		default: {
			struct mirth_type_Type v10 = mtw_mirth_type_Type_Stack(in_StackType_1);
			branch_Type_3 = v10;
		} break;
	}
	return branch_Type_3;
}

// Assembly:
cmpl $0x2, %edi
jb 0x38865
pushq %rbp
movq %rsp, %rbp
cmpl $0x4, %edi
je 0x38869
cmpl $0x3, %edi
jne 0x3887d
movq %rsi, %rdi
callq 0x34edb
movq %rax, %rdi
callq 0x1cfa9
movq %rax, %rdx
pushq $0x5
jmp 0x38887
xorl %edx, %edx
jmp 0x38889
movq %rsi, %rdi
callq 0x34e20
movq %rax, %rdi
callq 0x2aeef
pushq $0x3
jmp 0x38887
callq 0x3a0fa
movq %rax, %rdx
pushq $0x9
popq %rdi
popq %rbp
movl %edi, %eax
retq
// File: /workspace/github_c_makefile_star2_O2/mirth-lang[P]mirth/bin/mirth1.c
// Function: mw_mirth_var_Var_unifyzx
static struct mirth_type_Type mw_mirth_var_Var_unifyzx (struct mirth_mirth_zaMirth* in_zaMirth_1, uint64_t in_Var_2, uint64_t in_Var_3, struct mirth_mirth_zaMirth* *out_zaMirth_4) {
	uint64_t v6 = in_Var_3;
	uint64_t v7 = in_Var_2;
	bool v8 = (v6 == v7);
	struct mirth_mirth_zaMirth* branch_zaMirth_9;
	struct mirth_type_Type branch_Type_10;
	if (v8) {
		struct mirth_type_Type v11 = mtw_mirth_type_Type_Var(in_Var_2);
		branch_Type_10 = v11;
		branch_zaMirth_9 = in_zaMirth_1;
	} else {
		struct mirth_type_Type v12 = mtw_mirth_type_Type_Var(in_Var_2);
		struct mirth_type_Type v13 = mtw_mirth_type_Type_Var(in_Var_3);
		struct mirth_mirth_zaMirth* v14;
		struct mirth_type_Type v15 = mw_mirth_type_Type_unifyzefailedzx(in_zaMirth_1, v12, v13, &v14);
		branch_Type_10 = v15;
		branch_zaMirth_9 = v14;
	}
	*out_zaMirth_4 = branch_zaMirth_9;
	return branch_Type_10;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r12
pushq %rbx
subq $0x10, %rsp
movq %rcx, %rbx
movq %rdx, %r15
movq %rdi, %r14
cmpq %rsi, %rdx
jne 0x388b9
movq %r15, %rdi
callq 0x1cfa9
movq %rax, %rdx
pushq $0x5
popq %rax
jmp 0x388ed
movq %rsi, %rdi
callq 0x1cfa9
movq %rax, %r12
movq %r15, %rdi
callq 0x1cfa9
pushq $0x5
popq %rcx
leaq -0x28(%rbp), %r15
movq %r14, %rdi
movl %ecx, %esi
movq %r12, %rdx
movq %rax, %r8
movq %r15, %r9
callq 0x3741a
movq (%r15), %r14
xorl %eax, %eax
xorl %edx, %edx
movq %r14, (%rbx)
addq $0x10, %rsp
popq %rbx
popq %r12
popq %r14
popq %r15
popq %rbp
retq
// File: /workspace/github_c_makefile_star2_O2/mirth-lang[P]mirth/bin/mirth1.c
// Function: mtw_mirth_type_StackType_ConsLabel
static struct mirth_type_StackType mtw_mirth_type_StackType_ConsLabel (struct mirth_type_StackType in_StackType_1, struct mirth_type_Type in_Type_2, uint64_t in_Label_3) {
	struct mirth_type_StackType_ConsLabel* v5 = calloc(1, sizeof *v5);
	ASSERT(v5);
	v5->refs = 1;
	v5->mLabel = in_Label_3;
	v5->mType = in_Type_2;
	v5->mStackType = in_StackType_1;
	struct mirth_type_StackType v6 = { .tag=mirth_type_StackType_ConsLabel, .ptr.ConsLabel=v5 };
	return v6;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
pushq %rax
movq %r8, %r15
movq %rcx, %r14
movl %edx, %r13d
movq %rsi, %rbx
movl %edi, %r12d
pushq $0x1
popq %rdi
pushq $0x30
popq %rsi
callq 0x50c0
testq %rax, %rax
je 0x39456
movq %rax, %rdx
movl $0x1, (%rax)
movq %r15, 0x28(%rax)
movl %r13d, 0x18(%rax)
movq %r14, 0x20(%rax)
movl %r12d, 0x8(%rax)
movq %rbx, 0x10(%rax)
pushq $0x6
popq %rax
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
leaq 0x9fbd3(%rip), %rsi     # 0xd9030
pushq $0x2
popq %rdi
pushq $0x31
popq %rdx
callq 0x5060
callq 0x52ae
pushq $0x1
popq %rdi
callq 0x5130
// File: /workspace/github_c_makefile_star2_O2/mirth-lang[P]mirth/bin/mirth1.c
// Function: mtw_mirth_type_StackType_WithLabel
static struct mirth_type_StackType mtw_mirth_type_StackType_WithLabel (struct mirth_type_StackType in_StackType_1, struct mirth_type_Type in_Resource_2, uint64_t in_Label_3) {
	struct mirth_type_StackType_WithLabel* v5 = calloc(1, sizeof *v5);
	ASSERT(v5);
	v5->refs = 1;
	v5->mLabel = in_Label_3;
	v5->mResource = in_Resource_2;
	v5->mStackType = in_StackType_1;
	struct mirth_type_StackType v6 = { .tag=mirth_type_StackType_WithLabel, .ptr.WithLabel=v5 };
	return v6;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
pushq %rax
movq %r8, %r15
movq %rcx, %r14
movl %edx, %r13d
movq %rsi, %rbx
movl %edi, %r12d
pushq $0x1
popq %rdi
pushq $0x30
popq %rsi
callq 0x50c0
testq %rax, %rax
je 0x39ad6
movq %rax, %rdx
movl $0x1, (%rax)
movq %r15, 0x28(%rax)
movl %r13d, 0x18(%rax)
movq %r14, 0x20(%rax)
movl %r12d, 0x8(%rax)
movq %rbx, 0x10(%rax)
pushq $0x8
popq %rax
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
leaq 0x9f585(%rip), %rsi     # 0xd9062
pushq $0x2
popq %rdi
pushq $0x31
popq %rdx
callq 0x5060
callq 0x52ae
pushq $0x1
popq %rdi
callq 0x5130
// File: /workspace/github_c_makefile_star2_O2/mirth-lang[P]mirth/bin/mirth1.c
// Function: mtw_mirth_type_Type_Stack
static struct mirth_type_Type mtw_mirth_type_Type_Stack (struct mirth_type_StackType in_StackType_1) {
	struct mirth_type_Type_Stack* v3 = calloc(1, sizeof *v3);
	ASSERT(v3);
	v3->refs = 1;
	v3->mStackType = in_StackType_1;
	struct mirth_type_Type v4 = { .tag=mirth_type_Type_Stack, .ptr.Stack=v3 };
	return v4;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r14
pushq %rbx
movq %rsi, %rbx
movl %edi, %r14d
pushq $0x1
popq %rdi
pushq $0x18
popq %rsi
callq 0x50c0
testq %rax, %rax
je 0x3a12a
movl $0x1, (%rax)
movl %r14d, 0x8(%rax)
movq %rbx, 0x10(%rax)
popq %rbx
popq %r14
popq %rbp
retq
leaq 0x9eecd(%rip), %rsi     # 0xd8ffe
pushq $0x2
popq %rdi
pushq $0x31
popq %rdx
callq 0x5060
callq 0x52ae
pushq $0x1
popq %rdi
callq 0x5130
// File: /workspace/github_c_makefile_star2_O2/mirth-lang[P]mirth/bin/mirth1.c
// Function: mw_std_maybe_Maybe_1_map_1_sp12
static struct mirth_type_Type mw_std_maybe_Maybe_1_map_1_sp12 (struct mirth_type_Type in_Resource_1, struct std_maybe_Maybe_1 in_Maybe_2, struct std_maybe_Maybe_1 *out_Maybe_4) {
	struct mirth_type_Type branch_Resource_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);
			VAL v8 = ((TUP*)PTRPTR(value_tup(v7)))->cells[0];
			VAL v9 = ((TUP*)PTRPTR(value_tup(v7)))->cells[1];
			tup_decref_outer(value_tup(v7));
			incref(MK_mirth_type_Type(in_Resource_1));
			struct mirth_type_StackType v10 = mtw_mirth_type_StackType_With(V_mirth_type_StackType(v8), in_Resource_1);
			PTUP r11 = PTRMK(0,tup_new(2),0);
			((TUP*)PTRPTR(r11))->size = 2;
			((TUP*)PTRPTR(r11))->cells[1] = v9;
			((TUP*)PTRPTR(r11))->cells[0] = MK_mirth_type_StackType(v10);
			struct std_maybe_Maybe_1 v12 = mtw_std_maybe_Maybe_1_Some(MKTUP(r11));
			branch_Maybe_6 = v12;
			branch_Resource_5 = in_Resource_1;
		} break;
		case std_maybe_Maybe_1_None: {
			struct std_maybe_Maybe_1 v13 = { .tag=std_maybe_Maybe_1_None };
			branch_Maybe_6 = v13;
			branch_Resource_5 = in_Resource_1;
		} break;
		default: {
			do_panic(str_make("unexpected fallthrough in match\n", 32));
		}
	}
	*out_Maybe_4 = branch_Maybe_6;
	return branch_Resource_5;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x28, %rsp
movl %edx, %eax
movq %rsi, %rbx
movl %edi, %r15d
testl %edx, %edx
je 0x3a261
movl %r15d, -0x30(%rbp)
movq %rbx, -0x38(%rbp)
movq %r8, -0x40(%rbp)
movl %eax, -0x2c(%rbp)
cmpl $0x1, %eax
jne 0x3a284
movabsq $0xfffffffffffc, %r12   # imm = 0xFFFFFFFFFFFC
movq %rcx, %rdi
callq 0xd491
movq %rax, %rbx
movq %rdx, %r14
movq %rax, %rdi
movq %rdx, %rsi
callq 0x8a95
movq %rbx, %r15
andq %r12, %r15
movq 0x8(%r15), %r13
movq %rbx, %rdi
movq %r14, %rsi
callq 0x8a95
movups 0x18(%r15), %xmm0
movaps %xmm0, -0x50(%rbp)
movq %rbx, %rdi
movq %r14, %rsi
callq 0x8a95
movq %rbx, %rdi
callq 0x8ae0
movq -0x38(%rbp), %rbx
movq %rbx, %rax
andq %r12, %rax
sete %cl
testb $0x3, %bl
setne %dl
orb %cl, %dl
jne 0x3a1ef
incl (%rax)
movq %r13, %rdi
shrq $0x30, %rdi
andq %r12, %r13
movq %r13, %rsi
movl -0x30(%rbp), %r15d
movl %r15d, %edx
movq %rbx, %rcx
callq 0x1e82b
movq %rdx, %r14
pushq $0x2
popq %rdi
callq 0xd928
andq %rax, %r12
movw $0x2, 0x6(%r12)
movaps -0x50(%rbp), %xmm0
movups %xmm0, 0x18(%r12)
movabsq $0x7000000000000, %rcx  # imm = 0x7000000000000
orq %r14, %rcx
leaq 0xce982(%rip), %rdx     # 0x108bc1
movq %rcx, 0x8(%r12)
movq %rdx, 0x10(%r12)
leaq 0xce149(%rip), %rsi     # 0x108399
movq %rax, %rdi
callq 0x8d0c
movq -0x40(%rbp), %r8
movl -0x2c(%rbp), %eax
jmp 0x3a263
xorl %edx, %edx
movl %eax, (%r8)
andl $0x0, 0x4(%r8)
movq %rdx, 0x8(%r8)
movl %r15d, %eax
movq %rbx, %rdx
addq $0x28, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
leaq 0x9a582(%rip), %rdi     # 0xd480d
pushq $0x20
popq %rsi
callq 0x8a21
movq %rax, %rdi
callq 0x8cc6
// File: /workspace/github_c_makefile_star2_O2/mirth-lang[P]mirth/bin/mirth1.c
// Function: mw_mirth_type_StackType_Freshzx
static struct mirth_type_StackType mw_mirth_type_StackType_Freshzx (struct mirth_mirth_zaMirth* in_zaMirth_1, struct mirth_mirth_zaMirth* *out_zaMirth_2) {
	struct mirth_type_Type v4 = mw_mirth_type_Kind_STACK();
	struct mirth_mirth_zaMirth* v5;
	uint64_t v6 = mw_mirth_type_MetaVar_Newzx(in_zaMirth_1, v4, &v5);
	struct mirth_type_StackType v7 = mtw_mirth_type_StackType_Meta(v6);
	*out_zaMirth_2 = v5;
	return v7;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %rbx
pushq %rax
movq %rsi, %rbx
movq %rdi, %r14
callq 0x329c2
pushq $0x2
popq %rsi
leaq -0x20(%rbp), %r15
movq %r14, %rdi
movq %rax, %rdx
movq %r15, %rcx
callq 0x3a324
movq %rax, %rdi
callq 0x35177
movq %rdx, %rax
movq (%r15), %rcx
movq %rcx, (%rbx)
addq $0x8, %rsp
popq %rbx
popq %r14
popq %r15
popq %rbp
retq
// File: /workspace/github_c_makefile_star2_O2/mirth-lang[P]mirth/bin/mirth1.c
// Function: mw_mirth_type_Type_Freshzx
static struct mirth_type_Type mw_mirth_type_Type_Freshzx (struct mirth_mirth_zaMirth* in_zaMirth_1, struct mirth_mirth_zaMirth* *out_zaMirth_2) {
	struct mirth_type_Type v4 = mw_mirth_type_Kind_TYPE();
	struct mirth_mirth_zaMirth* v5;
	uint64_t v6 = mw_mirth_type_MetaVar_Newzx(in_zaMirth_1, v4, &v5);
	struct mirth_type_Type v7 = mtw_mirth_type_Type_Meta(v6);
	*out_zaMirth_2 = v5;
	return v7;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %rbx
pushq %rax
movq %rsi, %rbx
movq %rdi, %r14
callq 0x1c736
pushq $0x2
popq %rsi
leaq -0x20(%rbp), %r15
movq %r14, %rdi
movq %r15, %rcx
callq 0x3a324
movq %rax, %rdi
callq 0x2aeef
movq %rdx, %rax
movq (%r15), %rcx
movq %rcx, (%rbx)
addq $0x8, %rsp
popq %rbx
popq %r14
popq %r15
popq %rbp
retq
// File: /workspace/github_c_makefile_star2_O2/mirth-lang[P]mirth/bin/mirth1.c
// Function: mw_mirth_type_MetaVar_Newzx
static uint64_t mw_mirth_type_MetaVar_Newzx (struct mirth_mirth_zaMirth* in_zaMirth_1, struct mirth_type_Type in_Kind_2, struct mirth_mirth_zaMirth* *out_zaMirth_3) {
	struct mirth_mirth_zaMirth* v5;
	uint64_t v6 = mw_mirth_type_MetaVar_Makezx(in_zaMirth_1, in_Kind_2, &v5);
	*out_zaMirth_3 = v5;
	return v6;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
pushq %rax
movq %rcx, %rbx
movq %rdx, %r14
movl %esi, %r15d
movq %rdi, %r12
movq 0x10d256b(%rip), %r13   # 0x110c8b0
incq %r13
movq %r13, 0x10d2561(%rip)   # 0x110c8b0
leaq 0x10d254a(%rip), %rdi   # 0x110c8a0
movq %r13, %rsi
callq 0x12f88
shlq $0x30, %r15
orq %r14, %r15
leaq 0xce77d(%rip), %rsi     # 0x108ae9
movq %r15, %rdi
movq %rax, %rdx
callq 0x1393b
movq %r12, (%rbx)
movq %r13, %rax
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
// File: /workspace/github_c_makefile_star2_O2/mirth-lang[P]mirth/bin/mirth1.c
// Function: mw_std_maybe_Maybe_1_map_1_sp13
static struct mirth_type_Type mw_std_maybe_Maybe_1_map_1_sp13 (struct mirth_type_Type in_Type_1, struct std_maybe_Maybe_1 in_Maybe_2, struct std_maybe_Maybe_1 *out_Maybe_4) {
	struct mirth_type_Type branch_Type_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);
			VAL v8 = ((TUP*)PTRPTR(value_tup(v7)))->cells[0];
			VAL v9 = ((TUP*)PTRPTR(value_tup(v7)))->cells[1];
			tup_decref_outer(value_tup(v7));
			incref(MK_mirth_type_Type(in_Type_1));
			struct mirth_type_StackType v10 = mtw_mirth_type_StackType_Cons(V_mirth_type_StackType(v8), in_Type_1);
			PTUP r11 = PTRMK(0,tup_new(2),0);
			((TUP*)PTRPTR(r11))->size = 2;
			((TUP*)PTRPTR(r11))->cells[1] = v9;
			((TUP*)PTRPTR(r11))->cells[0] = MK_mirth_type_StackType(v10);
			struct std_maybe_Maybe_1 v12 = mtw_std_maybe_Maybe_1_Some(MKTUP(r11));
			branch_Maybe_6 = v12;
			branch_Type_5 = in_Type_1;
		} break;
		case std_maybe_Maybe_1_None: {
			struct std_maybe_Maybe_1 v13 = { .tag=std_maybe_Maybe_1_None };
			branch_Maybe_6 = v13;
			branch_Type_5 = in_Type_1;
		} break;
		default: {
			do_panic(str_make("unexpected fallthrough in match\n", 32));
		}
	}
	*out_Maybe_4 = branch_Maybe_6;
	return branch_Type_5;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x28, %rsp
movl %edx, %eax
movq %rsi, %rbx
movl %edi, %r15d
testl %edx, %edx
je 0x3a4a4
movl %r15d, -0x30(%rbp)
movq %rbx, -0x38(%rbp)
movq %r8, -0x40(%rbp)
movl %eax, -0x2c(%rbp)
cmpl $0x1, %eax
jne 0x3a4c7
movabsq $0xfffffffffffc, %r12   # imm = 0xFFFFFFFFFFFC
movq %rcx, %rdi
callq 0xd491
movq %rax, %rbx
movq %rdx, %r14
movq %rax, %rdi
movq %rdx, %rsi
callq 0x8a95
movq %rbx, %r15
andq %r12, %r15
movq 0x8(%r15), %r13
movq %rbx, %rdi
movq %r14, %rsi
callq 0x8a95
movups 0x18(%r15), %xmm0
movaps %xmm0, -0x50(%rbp)
movq %rbx, %rdi
movq %r14, %rsi
callq 0x8a95
movq %rbx, %rdi
callq 0x8ae0
movq -0x38(%rbp), %rbx
movq %rbx, %rax
andq %r12, %rax
sete %cl
testb $0x3, %bl
setne %dl
orb %cl, %dl
jne 0x3a432
incl (%rax)
movq %r13, %rdi
shrq $0x30, %rdi
andq %r12, %r13
movq %r13, %rsi
movl -0x30(%rbp), %r15d
movl %r15d, %edx
movq %rbx, %rcx
callq 0x1e310
movq %rdx, %r14
pushq $0x2
popq %rdi
callq 0xd928
andq %rax, %r12
movw $0x2, 0x6(%r12)
movaps -0x50(%rbp), %xmm0
movups %xmm0, 0x18(%r12)
movabsq $0x5000000000000, %rcx  # imm = 0x5000000000000
orq %r14, %rcx
leaq 0xce73f(%rip), %rdx     # 0x108bc1
movq %rcx, 0x8(%r12)
movq %rdx, 0x10(%r12)
leaq 0xcdf06(%rip), %rsi     # 0x108399
movq %rax, %rdi
callq 0x8d0c
movq -0x40(%rbp), %r8
movl -0x2c(%rbp), %eax
jmp 0x3a4a6
xorl %edx, %edx
movl %eax, (%r8)
andl $0x0, 0x4(%r8)
movq %rdx, 0x8(%r8)
movl %r15d, %eax
movq %rbx, %rdx
addq $0x28, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
leaq 0x9a33f(%rip), %rdi     # 0xd480d
pushq $0x20
popq %rsi
callq 0x8a21
movq %rax, %rdi
callq 0x8cc6
// File: /workspace/github_c_makefile_star2_O2/mirth-lang[P]mirth/bin/mirth1.c
// Function: mirth_arrow_Arrow_free
static void mirth_arrow_Arrow_free (VAL vself) {
	ASSERT(vself.tag == TAG_mirth_arrow_Arrow);
	struct mirth_arrow_Arrow* self = vself.data.ptr;
	decref(MK_mirth_arrow_Home(self->mhome));
	decref(MK_std_list_List_1(self->mctx));
	decref(MK_mirth_type_StackType(self->mdom));
	decref(MK_mirth_type_StackType(self->mcod));
	decref(MK_std_list_List_1(self->matoms));
	free(self);
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r12
pushq %rbx
leaq 0xcee6e(%rip), %rax     # 0x1093a1
cmpq %rsi, %rax
jne 0x3a64f
movq %rdi, %rbx
movabsq $0xfffffffffffc, %r12   # imm = 0xFFFFFFFFFFFC
movq 0x10(%rdi), %rcx
movq %rcx, %rax
andq %r12, %rax
sete %dl
testb $0x3, %cl
setne %cl
orb %dl, %cl
jne 0x3a57b
decl (%rax)
jne 0x3a57b
leaq 0xcee7e(%rip), %rsi     # 0x1093e9
movl 0x8(%rbx), %edi
shlq $0x30, %rdi
orq 0x10(%rbx), %rdi
callq 0xce94
movq 0x30(%rbx), %rcx
leaq 0xcdcf3(%rip), %r14     # 0x108279
movq %rcx, %rax
andq %r12, %rax
sete %dl
testb $0x3, %cl
setne %cl
orb %dl, %cl
jne 0x3a5b0
decl (%rax)
jne 0x3a5b0
movl 0x28(%rbx), %edi
shlq $0x30, %rdi
orq 0x30(%rbx), %rdi
movq %r14, %rsi
callq 0xce94
movq 0x40(%rbx), %rcx
leaq 0xce606(%rip), %r15     # 0x108bc1
movq %rcx, %rax
andq %r12, %rax
sete %dl
testb $0x3, %cl
setne %cl
orb %dl, %cl
jne 0x3a5e5
decl (%rax)
jne 0x3a5e5
movl 0x38(%rbx), %edi
shlq $0x30, %rdi
orq 0x40(%rbx), %rdi
movq %r15, %rsi
callq 0xce94
movq 0x50(%rbx), %rcx
movq %rcx, %rax
andq %r12, %rax
sete %dl
testb $0x3, %cl
setne %cl
orb %dl, %cl
jne 0x3a613
decl (%rax)
jne 0x3a613
movl 0x48(%rbx), %edi
shlq $0x30, %rdi
orq 0x50(%rbx), %rdi
movq %r15, %rsi
callq 0xce94
movq 0x60(%rbx), %rax
andq %rax, %r12
sete %cl
testb $0x3, %al
setne %al
orb %cl, %al
jne 0x3a63f
decl (%r12)
jne 0x3a63f
movl 0x58(%rbx), %edi
shlq $0x30, %rdi
orq 0x60(%rbx), %rdi
movq %r14, %rsi
callq 0xce94
movq %rbx, %rdi
popq %rbx
popq %r12
popq %r14
popq %r15
popq %rbp
jmp 0x5030
leaq 0x9ea3e(%rip), %rsi     # 0xd9094
pushq $0x2
popq %rdi
pushq $0x50
popq %rdx
callq 0x5060
callq 0x52ae
pushq $0x1
popq %rdi
callq 0x5130
// File: /workspace/github_c_makefile_star2_O2/mirth-lang[P]mirth/bin/mirth1.c
// Function: mtw_mirth_type_Value_Int
static struct mirth_type_Value mtw_mirth_type_Value_Int (INT in_Int_1) {
	struct mirth_type_Value_Int* v3 = calloc(1, sizeof *v3);
	ASSERT(v3);
	v3->refs = 1;
	v3->mInt = in_Int_1;
	struct mirth_type_Value v4 = { .tag=mirth_type_Value_Int, .ptr.Int=v3 };
	return v4;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %rbx
pushq %rax
movq %rdi, %rbx
pushq $0x1
popq %rdi
pushq $0x10
popq %rsi
callq 0x50c0
testq %rax, %rax
je 0x3a758
movl $0x1, (%rax)
movq %rbx, 0x8(%rax)
addq $0x8, %rsp
popq %rbx
popq %rbp
retq
leaq 0x9eb9a(%rip), %rsi     # 0xd92f9
pushq $0x2
popq %rdi
pushq $0x31
popq %rdx
callq 0x5060
callq 0x52ae
pushq $0x1
popq %rdi
callq 0x5130
// File: /workspace/github_c_makefile_star2_O2/mirth-lang[P]mirth/bin/mirth1.c
// Function: mtw_mirth_type_Value_Str
static struct mirth_type_Value mtw_mirth_type_Value_Str (STR* in_Str_1) {
	struct mirth_type_Value_Str* v3 = calloc(1, sizeof *v3);
	ASSERT(v3);
	v3->refs = 1;
	v3->mStr = in_Str_1;
	struct mirth_type_Value v4 = { .tag=mirth_type_Value_Str, .ptr.Str=v3 };
	return v4;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %rbx
pushq %rax
movq %rdi, %rbx
pushq $0x1
popq %rdi
pushq $0x10
popq %rsi
callq 0x50c0
testq %rax, %rax
je 0x3a7a1
movl $0x1, (%rax)
movq %rbx, 0x8(%rax)
addq $0x8, %rsp
popq %rbx
popq %rbp
retq
leaq 0x9eb83(%rip), %rsi     # 0xd932b
pushq $0x2
popq %rdi
pushq $0x31
popq %rdx
callq 0x5060
callq 0x52ae
pushq $0x1
popq %rdi
callq 0x5130
// File: /workspace/github_c_makefile_star2_O2/mirth-lang[P]mirth/bin/mirth1.c
// Function: mtw_mirth_type_Value_F64
static struct mirth_type_Value mtw_mirth_type_Value_F64 (double in_F64_1) {
	struct mirth_type_Value_F64* v3 = calloc(1, sizeof *v3);
	ASSERT(v3);
	v3->refs = 1;
	v3->mF64 = in_F64_1;
	struct mirth_type_Value v4 = { .tag=mirth_type_Value_F64, .ptr.F64=v3 };
	return v4;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x10, %rsp
movsd %xmm0, -0x8(%rbp)
pushq $0x1
popq %rdi
pushq $0x10
popq %rsi
callq 0x50c0
testq %rax, %rax
je 0x3a7f3
movl $0x1, (%rax)
movsd -0x8(%rbp), %xmm0
movsd %xmm0, 0x8(%rax)
addq $0x10, %rsp
popq %rbp
retq
leaq 0x9eb63(%rip), %rsi     # 0xd935d
pushq $0x2
popq %rdi
pushq $0x31
popq %rdx
callq 0x5060
callq 0x52ae
pushq $0x1
popq %rdi
callq 0x5130
// File: /workspace/github_c_makefile_star2_O2/mirth-lang[P]mirth/bin/mirth1.c
// Function: mtw_mirth_type_Value_Block
static struct mirth_type_Value mtw_mirth_type_Value_Block (uint64_t in_Block_1) {
	struct mirth_type_Value_Block* v3 = calloc(1, sizeof *v3);
	ASSERT(v3);
	v3->refs = 1;
	v3->mBlock = in_Block_1;
	struct mirth_type_Value v4 = { .tag=mirth_type_Value_Block, .ptr.Block=v3 };
	return v4;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %rbx
pushq %rax
movq %rdi, %rbx
pushq $0x1
popq %rdi
pushq $0x10
popq %rsi
callq 0x50c0
testq %rax, %rax
je 0x3a83c
movl $0x1, (%rax)
movq %rbx, 0x8(%rax)
addq $0x8, %rsp
popq %rbx
popq %rbp
retq
leaq 0x9eb4c(%rip), %rsi     # 0xd938f
pushq $0x2
popq %rdi
pushq $0x31
popq %rdx
callq 0x5060
callq 0x52ae
pushq $0x1
popq %rdi
callq 0x5130
// File: /workspace/github_c_makefile_star2_O2/mirth-lang[P]mirth/bin/mirth1.c
// Function: mtw_mirth_type_Type_DataPartial
static struct mirth_type_Type mtw_mirth_type_Type_DataPartial (struct mirth_data_DataPartial* in_DataPartial_1) {
	struct mirth_type_Type_DataPartial* v3 = calloc(1, sizeof *v3);
	ASSERT(v3);
	v3->refs = 1;
	v3->mDataPartial = in_DataPartial_1;
	struct mirth_type_Type v4 = { .tag=mirth_type_Type_DataPartial, .ptr.DataPartial=v3 };
	return v4;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %rbx
pushq %rax
movq %rdi, %rbx
pushq $0x1
popq %rdi
pushq $0x10
popq %rsi
callq 0x50c0
testq %rax, %rax
je 0x3a88b
movq %rax, %rdx
movl $0x1, (%rax)
movq %rbx, 0x8(%rax)
pushq $0x8
popq %rax
addq $0x8, %rsp
popq %rbx
popq %rbp
retq
leaq 0x9eb2f(%rip), %rsi     # 0xd93c1
pushq $0x2
popq %rdi
pushq $0x31
popq %rdx
callq 0x5060
callq 0x52ae
pushq $0x1
popq %rdi
callq 0x5130
// File: /workspace/github_c_makefile_star2_O2/mirth-lang[P]mirth/bin/mirth1.c
// Function: mtw_mirth_type_Type_Table
static struct mirth_type_Type mtw_mirth_type_Type_Table (uint64_t in_Table_1) {
	struct mirth_type_Type_Table* v3 = calloc(1, sizeof *v3);
	ASSERT(v3);
	v3->refs = 1;
	v3->mTable = in_Table_1;
	struct mirth_type_Type v4 = { .tag=mirth_type_Type_Table, .ptr.Table=v3 };
	return v4;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %rbx
pushq %rax
movq %rdi, %rbx
pushq $0x1
popq %rdi
pushq $0x10
popq %rsi
callq 0x50c0
testq %rax, %rax
je 0x3a8d4
movl $0x1, (%rax)
movq %rbx, 0x8(%rax)
addq $0x8, %rsp
popq %rbx
popq %rbp
retq
leaq 0x9eb18(%rip), %rsi     # 0xd93f3
pushq $0x2
popq %rdi
pushq $0x31
popq %rdx
callq 0x5060
callq 0x52ae
pushq $0x1
popq %rdi
callq 0x5130
// File: /workspace/github_c_makefile_star2_O2/mirth-lang[P]mirth/bin/mirth1.c
// Function: mtw_mirth_type_Type_Mut
static struct mirth_type_Type mtw_mirth_type_Type_Mut (struct mirth_type_Type in_Type_1) {
	struct mirth_type_Type_Mut* v3 = calloc(1, sizeof *v3);
	ASSERT(v3);
	v3->refs = 1;
	v3->mType = in_Type_1;
	struct mirth_type_Type v4 = { .tag=mirth_type_Type_Mut, .ptr.Mut=v3 };
	return v4;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r14
pushq %rbx
movq %rsi, %rbx
movl %edi, %r14d
pushq $0x1
popq %rdi
pushq $0x18
popq %rsi
callq 0x50c0
testq %rax, %rax
je 0x3a929
movq %rax, %rdx
movl $0x1, (%rax)
movl %r14d, 0x8(%rax)
movq %rbx, 0x10(%rax)
pushq $0xc
popq %rax
popq %rbx
popq %r14
popq %rbp
retq
leaq 0x9eaf5(%rip), %rsi     # 0xd9425
pushq $0x2
popq %rdi
pushq $0x31
popq %rdx
callq 0x5060
callq 0x52ae
pushq $0x1
popq %rdi
callq 0x5130
// File: /workspace/github_c_makefile_star2_O2/mirth-lang[P]mirth/bin/mirth1.c
// Function: mtp_mirth_data_DataPartial_DataPartial
static void mtp_mirth_data_DataPartial_DataPartial (struct mirth_data_DataPartial* in_DataPartial_1, uint64_t *out_Data_2, uint64_t *out_Label_3) {
	struct mirth_data_DataPartial v4 = *in_DataPartial_1;
	if (!--(in_DataPartial_1->refs)) {
		free(in_DataPartial_1);
	} else {
	}
	*out_Label_3 = v4.mfield;
	*out_Data_2 = v4.mdata;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r12
pushq %rbx
movq %rdx, %r14
movq %rsi, %rbx
movq 0x8(%rdi), %r15
movq 0x10(%rdi), %r12
decl (%rdi)
jne 0x3a96a
callq 0x5030
movq %r12, (%r14)
movq %r15, (%rbx)
popq %rbx
popq %r12
popq %r14
popq %r15
popq %rbp
retq
// File: /workspace/github_c_makefile_star2_O2/mirth-lang[P]mirth/bin/mirth1.c
// Function: mw_std_list_List_1_Snoc
static struct std_list_List_1 mw_std_list_List_1_Snoc (struct std_list_List_1 in_List_1, VAL in_t_2) {
	struct std_list_List_1 v4 = mw_std_list_List_1_reverse(in_List_1);
	struct std_list_List_1 v5 = mw_std_list_List_1_cons(in_t_2, v4);
	struct std_list_List_1 v6 = mw_std_list_List_1_reverse(v5);
	return v6;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r14
pushq %rbx
movq %rcx, %rbx
movq %rdx, %r14
callq 0xcd32
movq %rdx, %rcx
movq %r14, %rdi
movq %rbx, %rsi
movl %eax, %edx
callq 0xcf39
pushq $0x1
popq %rdi
movq %rdx, %rsi
popq %rbx
popq %r14
popq %rbp
jmp 0xcd32
// File: /workspace/github_c_makefile_star2_O2/mirth-lang[P]mirth/bin/mirth1.c
// Function: mtw_mirth_type_StackTypePart_With
static struct mirth_type_StackTypePart mtw_mirth_type_StackTypePart_With (struct mirth_type_Type in_Resource_1) {
	struct mirth_type_StackTypePart_With* v3 = calloc(1, sizeof *v3);
	ASSERT(v3);
	v3->refs = 1;
	v3->mResource = in_Resource_1;
	struct mirth_type_StackTypePart v4 = { .tag=mirth_type_StackTypePart_With, .ptr.With=v3 };
	return v4;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r14
pushq %rbx
movq %rsi, %rbx
movl %edi, %r14d
pushq $0x1
popq %rdi
pushq $0x18
popq %rsi
callq 0x50c0
testq %rax, %rax
je 0x3a9e0
movq %rax, %rdx
movl $0x1, (%rax)
movl %r14d, 0x8(%rax)
movq %rbx, 0x10(%rax)
pushq $0x2
popq %rax
popq %rbx
popq %r14
popq %rbp
retq
leaq 0x9eaa2(%rip), %rsi     # 0xd9489
pushq $0x2
popq %rdi
pushq $0x31
popq %rdx
callq 0x5060
callq 0x52ae
pushq $0x1
popq %rdi
callq 0x5130
// File: /workspace/github_c_makefile_star2_O2/mirth-lang[P]mirth/bin/mirth1.c
// Function: mtw_mirth_type_StackTypePart_ConsLabel
static struct mirth_type_StackTypePart mtw_mirth_type_StackTypePart_ConsLabel (struct mirth_type_Type in_Type_1, uint64_t in_Label_2) {
	struct mirth_type_StackTypePart_ConsLabel* v4 = calloc(1, sizeof *v4);
	ASSERT(v4);
	v4->refs = 1;
	v4->mLabel = in_Label_2;
	v4->mType = in_Type_1;
	struct mirth_type_StackTypePart v5 = { .tag=mirth_type_StackTypePart_ConsLabel, .ptr.ConsLabel=v4 };
	return v5;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %rbx
pushq %rax
movq %rdx, %r14
movq %rsi, %rbx
movl %edi, %r15d
pushq $0x1
popq %rdi
pushq $0x20
popq %rsi
callq 0x50c0
testq %rax, %rax
je 0x3aa45
movq %rax, %rdx
movl $0x1, (%rax)
movq %r14, 0x18(%rax)
movl %r15d, 0x8(%rax)
movq %rbx, 0x10(%rax)
pushq $0x1
popq %rax
addq $0x8, %rsp
popq %rbx
popq %r14
popq %r15
popq %rbp
retq
leaq 0x9ea6f(%rip), %rsi     # 0xd94bb
pushq $0x2
popq %rdi
pushq $0x31
popq %rdx
callq 0x5060
callq 0x52ae
pushq $0x1
popq %rdi
callq 0x5130
// File: /workspace/github_c_makefile_star2_O2/mirth-lang[P]mirth/bin/mirth1.c
// Function: mtw_mirth_type_StackTypePart_WithLabel
static struct mirth_type_StackTypePart mtw_mirth_type_StackTypePart_WithLabel (struct mirth_type_Type in_Resource_1, uint64_t in_Label_2) {
	struct mirth_type_StackTypePart_WithLabel* v4 = calloc(1, sizeof *v4);
	ASSERT(v4);
	v4->refs = 1;
	v4->mLabel = in_Label_2;
	v4->mResource = in_Resource_1;
	struct mirth_type_StackTypePart v5 = { .tag=mirth_type_StackTypePart_WithLabel, .ptr.WithLabel=v4 };
	return v5;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %rbx
pushq %rax
movq %rdx, %r14
movq %rsi, %rbx
movl %edi, %r15d
pushq $0x1
popq %rdi
pushq $0x20
popq %rsi
callq 0x50c0
testq %rax, %rax
je 0x3aaaa
movq %rax, %rdx
movl $0x1, (%rax)
movq %r14, 0x18(%rax)
movl %r15d, 0x8(%rax)
movq %rbx, 0x10(%rax)
pushq $0x3
popq %rax
addq $0x8, %rsp
popq %rbx
popq %r14
popq %r15
popq %rbp
retq
leaq 0x9ea3c(%rip), %rsi     # 0xd94ed
pushq $0x2
popq %rdi
pushq $0x31
popq %rdx
callq 0x5060
callq 0x52ae
pushq $0x1
popq %rdi
callq 0x5130
// File: /workspace/github_c_makefile_star2_O2/mirth-lang[P]mirth/bin/mirth1.c
// Function: mtp_mirth_type_StackTypePart_Cons
static struct mirth_type_Type mtp_mirth_type_StackTypePart_Cons (struct mirth_type_StackTypePart in_StackTypePart_1) {
	struct mirth_type_StackTypePart_Cons v3 = *in_StackTypePart_1.ptr.Cons;
	if (!--(in_StackTypePart_1.ptr.Cons->refs)) {
		free(in_StackTypePart_1.ptr.Cons);
	} 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 0x3aafa
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq %r14, %rax
sete %cl
testb $0x3, %r14b
setne %dl
orb %cl, %dl
jne 0x3aaff
incl (%rax)
jmp 0x3aaff
callq 0x5030
movl %ebx, %eax
movq %r14, %rdx
popq %rbx
popq %r14
popq %rbp
retq