LLM4Binary/decompile-bench-makefile huggingface dataset:
// File: /workspace/github_c_makefile_star2_O3/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 %r12
pushq %rbx
subq $0x10, %rsp
movq %rcx, %rbx
movq %rdi, %r14
cmpl $0x2, %esi
je 0x3a238
cmpl $0x4, %esi
jne 0x3a23c
movq 0x8(%rdx), %r15
decl (%rdx)
jne 0x3a220
movq %rdx, %rdi
callq 0x5030
leaq -0x28(%rbp), %r12
movq %r14, %rdi
movq %r15, %rsi
movq %r12, %rdx
callq 0x3a287
movq (%r12), %r14
jmp 0x3a277
movb $0x1, %al
jmp 0x3a277
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq %rdx, %rax
sete %cl
testb $0x3, %dl
setne %dil
orb %cl, %dil
jne 0x3a275
decl (%rax)
jne 0x3a275
shlq $0x30, %rsi
orq %rdx, %rsi
leaq 0xd7957(%rip), %rax     # 0x111bc1
movq %rsi, %rdi
movq %rax, %rsi
callq 0xd13d
xorl %eax, %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: 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 %r12
pushq %rbx
subq $0x10, %rsp
movq %rdx, %rbx
leaq -0x28(%rbp), %rdx
callq 0x2d45d
testl %eax, %eax
je 0x3a2ff
cmpl $0x1, %eax
jne 0x3a34e
movq %rdx, %rdi
callq 0xd745
movq -0x28(%rbp), %r14
movq %rax, %rcx
shrq $0x30, %rcx
movabsq $0xfffffffffffc, %rdi   # imm = 0xFFFFFFFFFFFC
andq %rax, %rdi
cmpq $0x9, %rcx
je 0x3a315
cmpl $0x3, %ecx
jne 0x3a330
movq 0x8(%rdi), %r15
decl (%rdi)
jne 0x3a2e7
callq 0x5030
leaq -0x30(%rbp), %r12
movq %r14, %rdi
movq %r15, %rsi
movq %r12, %rdx
callq 0x3a287
movq (%r12), %r14
jmp 0x3a305
movq -0x28(%rbp), %r14
xorl %eax, %eax
movq %r14, (%rbx)
addq $0x10, %rsp
popq %rbx
popq %r12
popq %r14
popq %r15
popq %rbp
retq
callq 0x2d596
leaq -0x30(%rbp), %r15
movq %r14, %rdi
movl %eax, %esi
movq %r15, %rcx
callq 0x3a1f1
movq (%r15), %r14
jmp 0x3a305
testq %rdi, %rdi
je 0x3a303
decl (%rdi)
jne 0x3a303
andq $-0x4, %rax
leaq 0xd77a5(%rip), %rsi     # 0x111ae9
movq %rax, %rdi
callq 0xd13d
jmp 0x3a303
movl $0x20, %edi
callq 0xf5e4
movq $0x20, 0x10(%rax)
movups 0xa6366(%rip), %xmm0    # 0xe06cd
movups %xmm0, 0x18(%rax)
movups 0xa636b(%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_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
pushq %rax
movq %rdx, -0x30(%rbp)
movq %rsi, %r15
movq %rdi, %r14
leaq 0x10db4cb(%rip), %rdi   # 0x1115868
callq 0x13c85
movq %rax, %rdi
callq 0x13d82
movq %rax, %r12
movq %rax, %r13
shrq $0x30, %r13
movabsq $0xfffffffffffc, %rbx   # imm = 0xFFFFFFFFFFFC
andq %rbx, %r12
leaq 0x10db4b0(%rip), %rdi   # 0x1115878
movq %r15, %rsi
callq 0x13c85
movq %rax, %rdi
callq 0x13d82
andq %rax, %rbx
movq %rax, %rdx
shrq $0x30, %rdx
movl %r13d, %edi
movq %r12, %rsi
movq %rbx, %rcx
callq 0x20b5f
movq -0x30(%rbp), %rcx
movq %r14, (%rcx)
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_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 0x10db1bf(%rip), %r14   # 0x1115888
testq %r14, %r14
jne 0x3a6e7
xorl %edi, %edi
callq 0xf5e4
movq %rax, %r14
movq $0x0, 0x10(%rax)
movq %rax, 0x10db1a1(%rip)   # 0x1115888
movabsq $0xfffffffffffc, %r15   # imm = 0xFFFFFFFFFFFC
movq %r14, %rax
andq %r15, %rax
sete %cl
testb $0x3, %r14b
setne %dl
orb %cl, %dl
jne 0x3a707
incl (%rax)
movq 0x10db182(%rip), %rsi   # 0x1115890
testq %rsi, %rsi
jne 0x3a73a
movl $0x10, %edi
callq 0xf5e4
movq %rax, %rsi
movq $0x10, 0x10(%rax)
movups 0xaa708(%rip), %xmm0    # 0xe4e37
movups %xmm0, 0x18(%rax)
movq %rax, 0x10db156(%rip)   # 0x1115890
movq %rsi, %rax
andq %r15, %rax
sete %cl
testb $0x3, %sil
setne %dl
orb %cl, %dl
jne 0x3a750
incl (%rax)
movq %r14, %rdi
callq 0xe069
leaq -0x50(%rbp), %r8
leaq -0x48(%rbp), %r9
movq %rbx, %rdi
movq %rax, %rsi
movl %r13d, %edx
movq %r12, %rcx
callq 0x38429
movq 0x10db120(%rip), %rsi   # 0x1115898
testq %rsi, %rsi
jne 0x3a7a6
movl $0x6, %edi
callq 0xf5e4
movq %rax, %rsi
movq $0x6, 0x10(%rax)
movl $0x74697720, 0x18(%rax) # imm = 0x74697720
movw $0x2068, 0x1c(%rax)     # imm = 0x2068
movq %rax, 0x10db0f2(%rip)   # 0x1115898
andq %rsi, %r15
sete %al
testb $0x3, %sil
setne %cl
orb %al, %cl
jne 0x3a7ba
incl (%r15)
movq -0x48(%rbp), %rdi
callq 0xe069
movq -0x50(%rbp), %rdi
leaq -0x60(%rbp), %rbx
leaq -0x58(%rbp), %r14
movq %rax, %rsi
movl -0x2c(%rbp), %edx
movq -0x38(%rbp), %rcx
movq %rbx, %r8
movq %r14, %r9
callq 0x38429
movq (%rbx), %rdi
movq (%r14), %rbx
leaq -0x68(%rbp), %r14
movq %r14, %rsi
callq 0x1b95a
movq (%r14), %rdi
leaq -0x70(%rbp), %r14
movq %rax, %rsi
movq %rbx, %rdx
movl $0x2, %ecx
movq %r14, %r8
callq 0x1bc32
movq (%r14), %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_O3/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 0x2d45d
cmpl $0x1, %eax
je 0x3a860
testl %eax, %eax
jne 0x3a8a0
cmpq %r14, %r15
sete %al
movq -0x20(%rbp), %rcx
jmp 0x3a892
movq %rdx, %rdi
callq 0xd745
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 0x3a406
movq (%r15), %rcx
movq %rcx, (%rbx)
addq $0x18, %rsp
popq %rbx
popq %r14
popq %r15
popq %rbp
retq
movl $0x20, %edi
callq 0xf5e4
movq $0x20, 0x10(%rax)
movups 0xa5e14(%rip), %xmm0    # 0xe06cd
movups %xmm0, 0x18(%rax)
movups 0xa5e19(%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_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 0x10dab34(%rip), %rdi   # 0x11158b8
callq 0x13c85
leaq -0x20(%rbp), %r15
movq %r14, %rdi
movq %rax, %rsi
movq %r15, %rdx
callq 0x1a6db
movq (%r15), %rcx
movq %rcx, (%rbx)
addq $0x8, %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_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 0x3ade3
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 0x3ae00
incl (%rax)
leaq 0xd759a(%rip), %r8      # 0x1123a1
testb %r15b, %r15b
je 0x3ae2f
decl (%r14)
jne 0x3ae2f
movl %edi, -0x2c(%rbp)
movq %rbx, %rdi
movq %rsi, %r12
movq %r8, %rsi
callq 0xd13d
leaq 0xd7578(%rip), %r8      # 0x1123a1
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 0x3ae4b
incl (%r13)
testb %r15b, %r15b
je 0x3ae72
decl (%r14)
jne 0x3ae72
movl %edi, %r14d
movq %rbx, %rdi
movq %rsi, %rbx
movq %r8, %rsi
movl %edx, %r15d
callq 0xd13d
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 0x20b5f
// File: /workspace/github_c_makefile_star2_O3/mirth-lang[P]mirth/bin/mirth1.c
// Function: mw_mirth_arrow_Block_unifyzetypezx
static struct mirth_type_ArrowType* mw_mirth_arrow_Block_unifyzetypezx (struct mirth_mirth_zaMirth* in_zaMirth_1, struct mirth_type_ArrowType* in_ArrowType_2, uint64_t in_Block_3, struct mirth_mirth_zaMirth* *out_zaMirth_4) {
	struct mirth_mirth_zaMirth* v6;
	struct mirth_type_ArrowType* v7 = mw_mirth_arrow_Block_type(in_zaMirth_1, in_Block_3, &v6);
	struct mirth_mirth_zaMirth* v8;
	struct mirth_type_ArrowType* v9 = mw_mirth_type_ArrowType_unifyzx(v6, in_ArrowType_2, v7, &v8);
	decref(MK_mirth_type_ArrowType(v9));
	struct mirth_mirth_zaMirth* v10;
	struct mirth_type_ArrowType* v11 = mw_mirth_arrow_Block_inferzetypezx(v8, in_Block_3, &v10);
	*out_zaMirth_4 = v10;
	return v11;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r12
pushq %rbx
subq $0x20, %rsp
movq %rcx, %rbx
movq %rdx, %r14
movq %rsi, %r15
leaq -0x30(%rbp), %r12
movq %rdx, %rsi
movq %r12, %rdx
callq 0x3a37e
movq (%r12), %rdi
leaq -0x28(%rbp), %rcx
movq %r15, %rsi
movq %rax, %rdx
callq 0x3af30
movabsq $0xfffffffffffc, %rcx   # imm = 0xFFFFFFFFFFFC
andq %rax, %rcx
sete %dl
testb $0x3, %al
setne %sil
orb %dl, %sil
jne 0x3aef0
decl (%rcx)
jne 0x3aef0
leaq 0xd6c91(%rip), %rsi     # 0x111b79
movq %rax, %rdi
callq 0xd13d
movq -0x28(%rbp), %r15
leaq 0x10da9bd(%rip), %rdi   # 0x11158b8
movq %r14, %rsi
callq 0x13c85
leaq -0x38(%rbp), %r14
movq %r15, %rdi
movq %rax, %rsi
movq %r14, %rdx
callq 0x1a6db
movq (%r14), %r14
movq %rax, %rdi
callq 0x3adac
movq %r14, (%rbx)
addq $0x20, %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_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 0x3a145
leaq -0x70(%rbp), %rbx
leaq -0x60(%rbp), %r14
movq %r15, %rdi
movq %rbx, %rsi
movq %r14, %rdx
callq 0x3a145
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 0x3afe0
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 0x3afe0
movq %rdx, %rcx
movl %r15d, %edi
movq %r12, %rsi
movl %eax, %edx
callq 0x20b5f
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_O3/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 0x3bc8a
pushq %rbp
movq %rsp, %rbp
pushq %rbx
pushq %rax
cmpl $0x4, %edi
je 0x3bc8e
cmpl $0x3, %edi
jne 0x3bcad
movq 0x8(%rsi), %rbx
decl (%rsi)
jne 0x3bc78
movq %rsi, %rdi
callq 0x5030
movq %rbx, %rdi
callq 0x1f349
movq %rax, %rdx
movl $0x5, %edi
jmp 0x3bcba
xorl %edx, %edx
jmp 0x3bcc0
movq 0x8(%rsi), %rbx
decl (%rsi)
jne 0x3bc9e
movq %rsi, %rdi
callq 0x5030
movq %rbx, %rdi
callq 0x2d804
movl $0x3, %edi
jmp 0x3bcba
callq 0x3d699
movq %rax, %rdx
movl $0x9, %edi
addq $0x8, %rsp
popq %rbx
popq %rbp
movl %edi, %eax
retq
// File: /workspace/github_c_makefile_star2_O3/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 0x3bcf2
movq %r15, %rdi
callq 0x1f349
movq %rax, %rdx
movl $0x5, %eax
jmp 0x3bd2b
movq %rsi, %rdi
callq 0x1f349
movq %rax, %r12
movq %r15, %rdi
callq 0x1f349
leaq -0x28(%rbp), %r15
movq %r14, %rdi
movl $0x5, %esi
movq %r12, %rdx
movl $0x5, %ecx
movq %rax, %r8
movq %r15, %r9
callq 0x3a69d
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_O3/mirth-lang[P]mirth/bin/mirth1.c
// Function: mw_mirth_type_StackType_unifyzefailedzx
static struct mirth_type_StackType mw_mirth_type_StackType_unifyzefailedzx (struct mirth_mirth_zaMirth* in_zaMirth_1, struct mirth_type_StackType in_StackType_2, struct mirth_type_StackType in_StackType_3, struct mirth_mirth_zaMirth* *out_zaMirth_4) {
	struct mirth_type_Type v6 = mw_mirth_type_StackType_zgType(in_StackType_2);
	struct mirth_type_Type v7 = mw_mirth_type_StackType_zgType(in_StackType_3);
	struct mirth_mirth_zaMirth* v8;
	struct mirth_type_Type v9 = mw_mirth_type_Type_unifyzefailedzx(in_zaMirth_1, v6, v7, &v8);
	struct mirth_type_StackType v10 = mw_mirth_type_Type_zgStackType(v9);
	*out_zaMirth_4 = v8;
	return v10;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x18, %rsp
movq %r9, -0x30(%rbp)
movq %r8, %r14
movl %ecx, %r15d
movq %rdi, %r12
movl %esi, %edi
movq %rdx, %rsi
callq 0x3bc53
movl %eax, %r13d
movq %rdx, %rbx
movl %r15d, %edi
movq %r14, %rsi
callq 0x3bc53
movq %rdx, %r8
leaq -0x38(%rbp), %r14
movq %r12, %rdi
movl %r13d, %esi
movq %rbx, %rdx
movl %eax, %ecx
movq %r14, %r9
callq 0x3a69d
movq (%r14), %rax
movq -0x30(%rbp), %rcx
movq %rax, (%rcx)
xorl %eax, %eax
xorl %edx, %edx
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: 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
movl $0x1, %edi
movl $0x30, %esi
callq 0x50c0
testq %rax, %rax
je 0x3c935
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)
movl $0x6, %eax
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
leaq 0xa8545(%rip), %rsi     # 0xe4e81
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_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
movl $0x1, %edi
movl $0x30, %esi
callq 0x50c0
testq %rax, %rax
je 0x3d018
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)
movl $0x8, %eax
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
leaq 0xa7e94(%rip), %rsi     # 0xe4eb3
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_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
movl $0x1, %edi
movl $0x18, %esi
callq 0x50c0
testq %rax, %rax
je 0x3d6cd
movl $0x1, (%rax)
movl %r14d, 0x8(%rax)
movq %rbx, 0x10(%rax)
popq %rbx
popq %r14
popq %rbp
retq
leaq 0xa777b(%rip), %rsi     # 0xe4e4f
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_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 %r12
pushq %rbx
movq %rsi, %rbx
movq %rdi, %r14
movl $0x2, %edi
callq 0x1eb4d
movq %rdx, %r15
movq 0x10d8029(%rip), %r12   # 0x11158b0
incq %r12
movq %r12, 0x10d801f(%rip)   # 0x11158b0
leaq 0x10d8008(%rip), %rdi   # 0x11158a0
movq %r12, %rsi
callq 0x13c85
btsq $0x31, %r15
leaq 0xd423d(%rip), %rsi     # 0x111ae9
movq %r15, %rdi
movq %rax, %rdx
callq 0x14766
movq %r12, %rdi
callq 0x3837b
movq %rdx, %rax
movq %r14, (%rbx)
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_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 %r12
pushq %rbx
movq %rsi, %rbx
movq %rdi, %r14
movl $0x1, %edi
callq 0x1eb4d
movq %rdx, %r15
movq 0x10d7fbd(%rip), %r12   # 0x11158b0
incq %r12
movq %r12, 0x10d7fb3(%rip)   # 0x11158b0
leaq 0x10d7f9c(%rip), %rdi   # 0x11158a0
movq %r12, %rsi
callq 0x13c85
btsq $0x31, %r15
leaq 0xd41d1(%rip), %rsi     # 0x111ae9
movq %r15, %rdi
movq %rax, %rdx
callq 0x14766
movq %r12, %rdi
callq 0x2d804
movq %rdx, %rax
movq %r14, (%rbx)
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_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 0x3da54
movl %r15d, -0x30(%rbp)
movq %rbx, -0x38(%rbp)
movq %r8, -0x40(%rbp)
movl %eax, -0x2c(%rbp)
cmpl $0x1, %eax
jne 0x3da7a
movabsq $0xfffffffffffc, %r12   # imm = 0xFFFFFFFFFFFC
movq %rcx, %rdi
callq 0xd745
movq %rax, %rbx
movq %rdx, %r14
movq %rax, %rdi
movq %rdx, %rsi
callq 0x90ba
movq %rbx, %r15
andq %r12, %r15
movq 0x8(%r15), %r13
movq %rbx, %rdi
movq %r14, %rsi
callq 0x90ba
movups 0x18(%r15), %xmm0
movaps %xmm0, -0x50(%rbp)
movq %rbx, %rdi
movq %r14, %rsi
callq 0x90ba
movq %rbx, %rdi
callq 0x910b
movq -0x38(%rbp), %rbx
movq %rbx, %rax
andq %r12, %rax
sete %cl
testb $0x3, %bl
setne %dl
orb %cl, %dl
jne 0x3d9e0
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 0x205af
movq %rdx, %r14
movl $0x2, %edi
callq 0xe0e7
andq %rax, %r12
movw $0x2, 0x6(%r12)
movaps -0x50(%rbp), %xmm0
movups %xmm0, 0x18(%r12)
movabsq $0x5000000000000, %rcx  # imm = 0x5000000000000
orq %r14, %rcx
leaq 0xd418f(%rip), %rdx     # 0x111bc1
movq %rcx, 0x8(%r12)
movq %rdx, 0x10(%r12)
leaq 0xd3956(%rip), %rsi     # 0x111399
movq %rax, %rdi
callq 0x9353
movq -0x40(%rbp), %r8
movl -0x2c(%rbp), %eax
jmp 0x3da56
xorl %edx, %edx
movl %eax, (%r8)
movl $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
movl $0x20, %edi
callq 0xf5e4
movq $0x20, 0x10(%rax)
movups 0xa2c3a(%rip), %xmm0    # 0xe06cd
movups %xmm0, 0x18(%rax)
movups 0xa2c3f(%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_type_Resource_Freshzx
static struct mirth_type_Type mw_mirth_type_Resource_Freshzx (struct mirth_mirth_zaMirth* in_zaMirth_1, struct mirth_mirth_zaMirth* *out_zaMirth_2) {
	struct mirth_type_Type v4 = mw_mirth_type_Kind_RESOURCE();
	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 %r12
pushq %rbx
movq %rsi, %rbx
movq %rdi, %r14
movl $0x3, %edi
callq 0x1eb4d
movq %rdx, %r15
movq 0x10d7de1(%rip), %r12   # 0x11158b0
incq %r12
movq %r12, 0x10d7dd7(%rip)   # 0x11158b0
leaq 0x10d7dc0(%rip), %rdi   # 0x11158a0
movq %r12, %rsi
callq 0x13c85
btsq $0x31, %r15
leaq 0xd3ff5(%rip), %rsi     # 0x111ae9
movq %r15, %rdi
movq %rax, %rdx
callq 0x14766
movq %r12, %rdi
callq 0x2d804
movq %rdx, %rax
movq %r14, (%rbx)
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: 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 0xd4879(%rip), %rax     # 0x1123a1
cmpq %rsi, %rax
jne 0x3dc44
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 0x3db70
decl (%rax)
jne 0x3db70
leaq 0xd4889(%rip), %rsi     # 0x1123e9
movl 0x8(%rbx), %edi
shlq $0x30, %rdi
orq 0x10(%rbx), %rdi
callq 0xd13d
movq 0x30(%rbx), %rcx
leaq 0xd36fe(%rip), %r14     # 0x111279
movq %rcx, %rax
andq %r12, %rax
sete %dl
testb $0x3, %cl
setne %cl
orb %dl, %cl
jne 0x3dba5
decl (%rax)
jne 0x3dba5
movl 0x28(%rbx), %edi
shlq $0x30, %rdi
orq 0x30(%rbx), %rdi
movq %r14, %rsi
callq 0xd13d
movq 0x40(%rbx), %rcx
leaq 0xd4011(%rip), %r15     # 0x111bc1
movq %rcx, %rax
andq %r12, %rax
sete %dl
testb $0x3, %cl
setne %cl
orb %dl, %cl
jne 0x3dbda
decl (%rax)
jne 0x3dbda
movl 0x38(%rbx), %edi
shlq $0x30, %rdi
orq 0x40(%rbx), %rdi
movq %r15, %rsi
callq 0xd13d
movq 0x50(%rbx), %rcx
movq %rcx, %rax
andq %r12, %rax
sete %dl
testb $0x3, %cl
setne %cl
orb %dl, %cl
jne 0x3dc08
decl (%rax)
jne 0x3dc08
movl 0x48(%rbx), %edi
shlq $0x30, %rdi
orq 0x50(%rbx), %rdi
movq %r15, %rsi
callq 0xd13d
movq 0x60(%rbx), %rax
andq %rax, %r12
sete %cl
testb $0x3, %al
setne %al
orb %cl, %al
jne 0x3dc34
decl (%r12)
jne 0x3dc34
movl 0x58(%rbx), %edi
shlq $0x30, %rdi
orq 0x60(%rbx), %rdi
movq %r14, %rsi
callq 0xd13d
movq %rbx, %rdi
popq %rbx
popq %r12
popq %r14
popq %r15
popq %rbp
jmp 0x5030
leaq 0xa729a(%rip), %rsi     # 0xe4ee5
movl $0x50, %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_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
movl $0x1, %edi
movl $0x10, %esi
callq 0x50c0
testq %rax, %rax
je 0x3dd53
movl $0x1, (%rax)
movq %rbx, 0x8(%rax)
addq $0x8, %rsp
popq %rbx
popq %rbp
retq
leaq 0xa73f0(%rip), %rsi     # 0xe514a
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_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
movl $0x1, %edi
movl $0x10, %esi
callq 0x50c0
testq %rax, %rax
je 0x3dda6
movl $0x1, (%rax)
movq %rbx, 0x8(%rax)
addq $0x8, %rsp
popq %rbx
popq %rbp
retq
leaq 0xa73cf(%rip), %rsi     # 0xe517c
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_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)
movl $0x1, %edi
movl $0x10, %esi
callq 0x50c0
testq %rax, %rax
je 0x3de02
movl $0x1, (%rax)
movsd -0x8(%rbp), %xmm0
movsd %xmm0, 0x8(%rax)
addq $0x10, %rsp
popq %rbp
retq
leaq 0xa73a5(%rip), %rsi     # 0xe51ae
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_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
movl $0x1, %edi
movl $0x10, %esi
callq 0x50c0
testq %rax, %rax
je 0x3de55
movl $0x1, (%rax)
movq %rbx, 0x8(%rax)
addq $0x8, %rsp
popq %rbx
popq %rbp
retq
leaq 0xa7384(%rip), %rsi     # 0xe51e0
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_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
movl $0x1, %edi
movl $0x10, %esi
callq 0x50c0
testq %rax, %rax
je 0x3deb0
movq %rax, %rdx
movl $0x1, (%rax)
movq %rbx, 0x8(%rax)
movl $0x8, %eax
addq $0x8, %rsp
popq %rbx
popq %rbp
retq
leaq 0xa735b(%rip), %rsi     # 0xe5212
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_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
movl $0x1, %edi
movl $0x10, %esi
callq 0x50c0
testq %rax, %rax
je 0x3df03
movl $0x1, (%rax)
movq %rbx, 0x8(%rax)
addq $0x8, %rsp
popq %rbx
popq %rbp
retq
leaq 0xa733a(%rip), %rsi     # 0xe5244
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_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
movl $0x1, %edi
movl $0x18, %esi
callq 0x50c0
testq %rax, %rax
je 0x3df64
movq %rax, %rdx
movl $0x1, (%rax)
movl %r14d, 0x8(%rax)
movq %rbx, 0x10(%rax)
movl $0xc, %eax
popq %rbx
popq %r14
popq %rbp
retq
leaq 0xa730b(%rip), %rsi     # 0xe5276
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_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
movq %rsi, %rcx
movl %edi, %edx
xorl %edi, %edi
xorl %esi, %esi
callq 0xd01b
movq %rdx, %rcx
movq %r14, %rdi
movq %rbx, %rsi
movl %eax, %edx
callq 0xd1ec
movq %rdx, %rcx
xorl %edi, %edi
xorl %esi, %esi
movl $0x1, %edx
popq %rbx
popq %r14
popq %rbp
jmp 0xd01b
// File: /workspace/github_c_makefile_star2_O3/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
movl $0x1, %edi
movl $0x18, %esi
callq 0x50c0
testq %rax, %rax
je 0x3e005
movq %rax, %rdx
movl $0x1, (%rax)
movl %r14d, 0x8(%rax)
movq %rbx, 0x10(%rax)
movl $0x2, %eax
popq %rbx
popq %r14
popq %rbp
retq
leaq 0xa72ce(%rip), %rsi     # 0xe52da
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_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
movl $0x1, %edi
movl $0x20, %esi
callq 0x50c0
testq %rax, %rax
je 0x3e076
movq %rax, %rdx
movl $0x1, (%rax)
movq %r14, 0x18(%rax)
movl %r15d, 0x8(%rax)
movq %rbx, 0x10(%rax)
movl $0x1, %eax
addq $0x8, %rsp
popq %rbx
popq %r14
popq %r15
popq %rbp
retq
leaq 0xa728f(%rip), %rsi     # 0xe530c
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_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
movl $0x1, %edi
movl $0x20, %esi
callq 0x50c0
testq %rax, %rax
je 0x3e0e7
movq %rax, %rdx
movl $0x1, (%rax)
movq %r14, 0x18(%rax)
movl %r15d, 0x8(%rax)
movq %rbx, 0x10(%rax)
movl $0x3, %eax
addq $0x8, %rsp
popq %rbx
popq %r14
popq %r15
popq %rbp
retq
leaq 0xa7250(%rip), %rsi     # 0xe533e
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_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 0x3e13d
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq %r14, %rax
sete %cl
testb $0x3, %r14b
setne %dl
orb %cl, %dl
jne 0x3e142
incl (%rax)
jmp 0x3e142
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_StackTypePart_ConsLabel
static struct mirth_type_Type mtp_mirth_type_StackTypePart_ConsLabel (struct mirth_type_StackTypePart in_StackTypePart_1, uint64_t *out_Label_3) {
	struct mirth_type_StackTypePart_ConsLabel v4 = *in_StackTypePart_1.ptr.ConsLabel;
	if (!--(in_StackTypePart_1.ptr.ConsLabel->refs)) {
		free(in_StackTypePart_1.ptr.ConsLabel);
	} else {
		incref(MK_mirth_type_Type(v4.mType));
	}
	*out_Label_3 = v4.mLabel;
	return v4.mType;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r12
pushq %rbx
movq %rsi, %rbx
movl 0x8(%rdi), %r14d
movq 0x10(%rdi), %r15
movq 0x18(%rdi), %r12
decl (%rdi)
je 0x3e189
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq %r15, %rax
sete %cl
testb $0x3, %r15b
setne %dl
orb %cl, %dl
jne 0x3e18e
incl (%rax)
jmp 0x3e18e
callq 0x5030
movq %r12, (%rbx)
movl %r14d, %eax
movq %r15, %rdx
popq %rbx
popq %r12
popq %r14
popq %r15
popq %rbp
retq
// File: /workspace/github_c_makefile_star2_O3/mirth-lang[P]mirth/bin/mirth1.c
// Function: mtp_mirth_type_StackTypePart_With
static struct mirth_type_Type mtp_mirth_type_StackTypePart_With (struct mirth_type_StackTypePart in_StackTypePart_1) {
	struct mirth_type_StackTypePart_With v3 = *in_StackTypePart_1.ptr.With;
	if (!--(in_StackTypePart_1.ptr.With->refs)) {
		free(in_StackTypePart_1.ptr.With);
	} else {
		incref(MK_mirth_type_Type(v3.mResource));
	}
	return v3.mResource;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r14
pushq %rbx
movl 0x8(%rdi), %ebx
movq 0x10(%rdi), %r14
decl (%rdi)
je 0x3e1d1
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq %r14, %rax
sete %cl
testb $0x3, %r14b
setne %dl
orb %cl, %dl
jne 0x3e1d6
incl (%rax)
jmp 0x3e1d6
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_StackTypePart_WithLabel
static struct mirth_type_Type mtp_mirth_type_StackTypePart_WithLabel (struct mirth_type_StackTypePart in_StackTypePart_1, uint64_t *out_Label_3) {
	struct mirth_type_StackTypePart_WithLabel v4 = *in_StackTypePart_1.ptr.WithLabel;
	if (!--(in_StackTypePart_1.ptr.WithLabel->refs)) {
		free(in_StackTypePart_1.ptr.WithLabel);
	} else {
		incref(MK_mirth_type_Type(v4.mResource));
	}
	*out_Label_3 = v4.mLabel;
	return v4.mResource;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r12
pushq %rbx
movq %rsi, %rbx
movl 0x8(%rdi), %r14d
movq 0x10(%rdi), %r15
movq 0x18(%rdi), %r12
decl (%rdi)
je 0x3e21d
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq %r15, %rax
sete %cl
testb $0x3, %r15b
setne %dl
orb %cl, %dl
jne 0x3e222
incl (%rax)
jmp 0x3e222
callq 0x5030
movq %r12, (%rbx)
movl %r14d, %eax
movq %r15, %rdx
popq %rbx
popq %r12
popq %r14
popq %r15
popq %rbp
retq
// File: /workspace/github_c_makefile_star2_O3/mirth-lang[P]mirth/bin/mirth1.c
// Function: mw_mirth_token_Token_sigzestackzeendzy
static bool mw_mirth_token_Token_sigzestackzeendzy (struct mirth_mirth_zaMirth* in_zaMirth_1, uint64_t in_Token_2, struct mirth_mirth_zaMirth* *out_zaMirth_3) {
	struct mirth_mirth_zaMirth* v5;
	bool v6 = mw_mirth_token_Token_sigzedasheszy(in_zaMirth_1, in_Token_2, &v5);
	struct mirth_mirth_zaMirth* branch_zaMirth_7;
	bool branch_Bool_8;
	if (v6) {
		bool v9 = true;
		branch_Bool_8 = v9;
		branch_zaMirth_7 = v5;
	} else {
		struct mirth_mirth_zaMirth* v10;
		bool v11 = mw_mirth_token_Token_vdashzy(v5, in_Token_2, &v10);
		struct mirth_mirth_zaMirth* branch_zaMirth_12;
		bool branch_Bool_13;
		if (v11) {
			bool v14 = true;
			branch_Bool_13 = v14;
			branch_zaMirth_12 = v10;
		} else {
			struct mirth_mirth_zaMirth* v15;
			bool v16 = mw_mirth_token_Token_runzeendzy(v10, in_Token_2, &v15);
			branch_Bool_13 = v16;
			branch_zaMirth_12 = v15;
		}
		branch_Bool_8 = branch_Bool_13;
		branch_zaMirth_7 = branch_zaMirth_12;
	}
	*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
movq %rsi, %r14
leaq -0x28(%rbp), %rdx
callq 0x34edf
testb %al, %al
je 0x3e25c
movb $0x1, %al
movq -0x28(%rbp), %rcx
jmp 0x3e28e
movq -0x28(%rbp), %rdi
leaq -0x20(%rbp), %rdx
movq %r14, %rsi
callq 0x34e0c
testb %al, %al
je 0x3e278
movb $0x1, %al
movq -0x20(%rbp), %rcx
jmp 0x3e28e
movq -0x20(%rbp), %rdi
leaq -0x30(%rbp), %r15
movq %r14, %rsi
movq %r15, %rdx
callq 0x342b2
movq (%r15), %rcx
movq %rcx, (%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_token_Token_sigzetypezevarzy
static struct std_maybe_Maybe_1 mw_mirth_token_Token_sigzetypezevarzy (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 mirth_mirth_zaMirth* v7;
	struct std_maybe_Maybe_1 v8 = mw_mirth_token_TokenValue_sigzetypezevarzy(v5, v6, &v7);
	*out_zaMirth_3 = v7;
	return v8;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %rbx
pushq %rax
movq %rdx, %rbx
movq %rdi, %r14
leaq 0x10d6b67(%rip), %rdi   # 0x11153e8
callq 0x13c85
movq %rax, %rdi
callq 0x13d82
movabsq $0xfffffffffffc, %rdx   # imm = 0xFFFFFFFFFFFC
andq %rax, %rdx
movq %rax, %rsi
shrq $0x30, %rsi
leaq -0x20(%rbp), %r15
movq %r14, %rdi
movq %r15, %rcx
callq 0x4083c
movq (%r15), %rcx
movq %rcx, (%rbx)
addq $0x8, %rsp
popq %rbx
popq %r14
popq %r15
popq %rbp
retq