LLM4Binary/decompile-bench-makefile huggingface dataset:
// File: /workspace/github_c_makefile_star2_O1/mirth-lang[P]mirth/bin/mirth1.c
// Function: mtw_mirth_token_TokenValue_RColon
static struct mirth_token_TokenValue mtw_mirth_token_TokenValue_RColon (uint64_t in_Token_1) {
	struct mirth_token_TokenValue_RColon* v3 = calloc(1, sizeof *v3);
	ASSERT(v3);
	v3->refs = 1;
	v3->mToken = in_Token_1;
	struct mirth_token_TokenValue v4 = { .tag=mirth_token_TokenValue_RColon, .ptr.RColon=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 0x5616a
movl $0x1, (%rax)
movq %rbx, 0x8(%rax)
addq $0x8, %rsp
popq %rbx
popq %rbp
retq
leaq 0x93f44(%rip), %rsi     # 0xea0b5
movl $0x31, %edx
movl $0x2, %edi
callq 0x5060
callq 0x52be
movl $0x1, %edi
callq 0x5130
// File: /workspace/github_c_makefile_star2_O1/mirth-lang[P]mirth/bin/mirth1.c
// Function: mw_mirth_token_Token_Makezx
static uint64_t mw_mirth_token_Token_Makezx (struct mirth_mirth_zaMirth* in_zaMirth_1, struct mirth_token_TokenValue in_TokenValue_2, uint64_t in_Module_3, INT in_Row_4, INT in_Col_5, struct std_maybe_Maybe_1 in_Maybe_6, struct mirth_mirth_zaMirth* *out_zaMirth_7) {
	struct mirth_mirth_zaMirth* v9;
	uint64_t v10 = mw_mirth_token_Token_Alloczx(in_zaMirth_1, &v9);
	void* v11 = field_mut(&mfld_mirth_token_Token_value, v10);
	mut_set(MK_mirth_token_TokenValue(in_TokenValue_2), v11);
	void* v12 = field_mut(&mfld_mirth_token_Token_module, v10);
	mut_set(MK_mirth_module_Module(in_Module_3), v12);
	void* v13 = field_mut(&mfld_mirth_token_Token_row, v10);
	mut_set(MKINT(in_Row_4), v13);
	void* v14 = field_mut(&mfld_mirth_token_Token_col, v10);
	mut_set(MKINT(in_Col_5), v14);
	void* v15 = field_mut(&mfld_mirth_token_Token_doc, v10);
	mut_set(MK_std_maybe_Maybe_1(in_Maybe_6), v15);
	*out_zaMirth_7 = v9;
	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, %r12
movq %rcx, %r13
movq %rdx, %rbx
movl %esi, %r15d
movq %rdi, -0x38(%rbp)
movq 0x10c323d(%rip), %r14   # 0x11193f8
incq %r14
movq %r14, 0x10c3233(%rip)   # 0x11193f8
leaq 0x10c321c(%rip), %rdi   # 0x11193e8
movq %r14, %rsi
callq 0x13ff0
shlq $0x30, %r15
orq %rbx, %r15
leaq 0xbfcf7(%rip), %rsi     # 0x115ed9
movq %r15, %rdi
movq %rax, %rdx
callq 0x14ab5
leaq 0x10c2b4c(%rip), %rdi   # 0x1118d40
movq %r14, %rsi
callq 0x13ff0
leaq 0xbfdf5(%rip), %rsi     # 0x115ff8
movq %r13, %rdi
movq %rax, %rdx
callq 0x14ab5
leaq 0x10c2b3b(%rip), %rdi   # 0x1118d50
movq %r14, %rsi
callq 0x13ff0
leaq 0xbf205(%rip), %rbx     # 0x115429
movq %r12, %rdi
movq %rbx, %rsi
movq %rax, %rdx
callq 0x14ab5
leaq 0x10c2b27(%rip), %rdi   # 0x1118d60
movq %r14, %rsi
callq 0x13ff0
movq -0x30(%rbp), %rdi
movq %rbx, %rsi
movq %rax, %rdx
callq 0x14ab5
leaq 0x10c33a1(%rip), %rdi   # 0x11195f8
movq %r14, %rsi
callq 0x13ff0
movl 0x10(%rbp), %edi
shlq $0x30, %rdi
orq 0x18(%rbp), %rdi
leaq 0xbf050(%rip), %rsi     # 0x1152c1
movq %rax, %rdx
callq 0x14ab5
movq -0x38(%rbp), %rax
movq 0x20(%rbp), %rcx
movq %rax, (%rcx)
movq %r14, %rax
addq $0x18, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
// File: /workspace/github_c_makefile_star2_O1/mirth-lang[P]mirth/bin/mirth1.c
// Function: mw_mirth_arrow_Block_Makezx
static uint64_t mw_mirth_arrow_Block_Makezx (struct mirth_mirth_zaMirth* in_zaMirth_1, struct std_list_List_1 in_Ctx_2, uint64_t in_Token_3, struct mirth_arrow_Home in_Home_4, struct mirth_type_StackType in_StackType_5, struct mirth_type_StackType in_StackType_6, struct mirth_mirth_zaMirth* *out_zaMirth_7) {
	struct mirth_mirth_zaMirth* v9;
	uint64_t v10 = mw_mirth_arrow_Block_Alloczx(in_zaMirth_1, &v9);
	void* v11 = field_mut(&mfld_mirth_arrow_Block_ctx, v10);
	mut_set(MK_std_list_List_1(in_Ctx_2), v11);
	void* v12 = field_mut(&mfld_mirth_arrow_Block_token, v10);
	mut_set(MK_mirth_token_Token(in_Token_3), v12);
	void* v13 = field_mut(&mfld_mirth_arrow_Block_home, v10);
	mut_set(MK_mirth_arrow_Home(in_Home_4), v13);
	void* v14 = field_mut(&mfld_mirth_arrow_Block_dom, v10);
	mut_set(MK_mirth_type_StackType(in_StackType_5), v14);
	void* v15 = field_mut(&mfld_mirth_arrow_Block_cod, v10);
	mut_set(MK_mirth_type_StackType(in_StackType_6), v15);
	*out_zaMirth_7 = v9;
	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)
movl %r8d, %r15d
movq %rcx, %r13
movq %rdx, %rbx
movl %esi, %r12d
movq %rdi, -0x38(%rbp)
movq 0x10c37d6(%rip), %r14   # 0x1119a98
incq %r14
movq %r14, 0x10c37cc(%rip)   # 0x1119a98
leaq 0x10c37a5(%rip), %rdi   # 0x1119a78
movq %r14, %rsi
callq 0x13ff0
shlq $0x30, %r12
orq %rbx, %r12
leaq 0xbef90(%rip), %rsi     # 0x115279
movq %r12, %rdi
movq %rax, %rdx
callq 0x14ab5
leaq 0x10c2ab5(%rip), %rdi   # 0x1118db0
movq %r14, %rsi
callq 0x13ff0
leaq 0xbfaae(%rip), %rsi     # 0x115db8
movq %r13, %rdi
movq %rax, %rdx
callq 0x14ab5
leaq 0x10c376c(%rip), %rdi   # 0x1119a88
movq %r14, %rsi
callq 0x13ff0
shlq $0x30, %r15
orq -0x30(%rbp), %r15
leaq 0xc00b6(%rip), %rsi     # 0x1163e9
movq %r15, %rdi
movq %rax, %rdx
callq 0x14ab5
leaq 0x10c3523(%rip), %rdi   # 0x1119868
movq %r14, %rsi
callq 0x13ff0
movl 0x10(%rbp), %edi
shlq $0x30, %rdi
orq 0x18(%rbp), %rdi
leaq 0xbf862(%rip), %rbx     # 0x115bc1
movq %rbx, %rsi
movq %rax, %rdx
callq 0x14ab5
leaq 0x10c3507(%rip), %rdi   # 0x1119878
movq %r14, %rsi
callq 0x13ff0
movl 0x20(%rbp), %edi
shlq $0x30, %rdi
orq 0x28(%rbp), %rdi
movq %rbx, %rsi
movq %rax, %rdx
callq 0x14ab5
movq -0x38(%rbp), %rax
movq 0x30(%rbp), %rcx
movq %rax, (%rcx)
movq %r14, %rax
addq $0x18, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
// File: /workspace/github_c_makefile_star2_O1/mirth-lang[P]mirth/bin/mirth1.c
// Function: mtw_mirth_mirth_PropLabel_BlockArrow
static struct mirth_mirth_PropLabel mtw_mirth_mirth_PropLabel_BlockArrow (uint64_t in_Block_1) {
	struct mirth_mirth_PropLabel_BlockArrow* v3 = calloc(1, sizeof *v3);
	ASSERT(v3);
	v3->refs = 1;
	v3->mBlock = in_Block_1;
	struct mirth_mirth_PropLabel v4 = { .tag=mirth_mirth_PropLabel_BlockArrow, .ptr.BlockArrow=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 0x563da
movl $0x1, (%rax)
movq %rbx, 0x8(%rax)
addq $0x8, %rsp
popq %rbx
popq %rbp
retq
leaq 0x93d06(%rip), %rsi     # 0xea0e7
movl $0x31, %edx
movl $0x2, %edi
callq 0x5060
callq 0x52be
movl $0x1, %edi
callq 0x5130
// File: /workspace/github_c_makefile_star2_O1/mirth-lang[P]mirth/bin/mirth1.c
// Function: mtw_mirth_arrow_Op_Word
static struct mirth_arrow_Op mtw_mirth_arrow_Op_Word (uint64_t in_Word_1) {
	struct mirth_arrow_Op_Word* v3 = calloc(1, sizeof *v3);
	ASSERT(v3);
	v3->refs = 1;
	v3->mWord = in_Word_1;
	struct mirth_arrow_Op v4 = { .tag=mirth_arrow_Op_Word, .ptr.Word=v3 };
	return v4;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %rbx
pushq %rax
movq %rdi, %rbx
movl $0x1, %edi
movl $0x10, %esi
callq 0x50c0
testq %rax, %rax
je 0x56665
movl $0x1, (%rax)
movq %rbx, 0x8(%rax)
addq $0x8, %rsp
popq %rbx
popq %rbp
retq
leaq 0x93aba(%rip), %rsi     # 0xea126
movl $0x31, %edx
movl $0x2, %edi
callq 0x5060
callq 0x52be
movl $0x1, %edi
callq 0x5130
// File: /workspace/github_c_makefile_star2_O1/mirth-lang[P]mirth/bin/mirth1.c
// Function: mtw_mirth_arrow_Op_BlockPush
static struct mirth_arrow_Op mtw_mirth_arrow_Op_BlockPush (uint64_t in_Block_1) {
	struct mirth_arrow_Op_BlockPush* v3 = calloc(1, sizeof *v3);
	ASSERT(v3);
	v3->refs = 1;
	v3->mBlock = in_Block_1;
	struct mirth_arrow_Op v4 = { .tag=mirth_arrow_Op_BlockPush, .ptr.BlockPush=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 0x566b8
movl $0x1, (%rax)
movq %rbx, 0x8(%rax)
addq $0x8, %rsp
popq %rbx
popq %rbp
retq
leaq 0x93db3(%rip), %rsi     # 0xea472
movl $0x31, %edx
movl $0x2, %edi
callq 0x5060
callq 0x52be
movl $0x1, %edi
callq 0x5130
// File: /workspace/github_c_makefile_star2_O1/mirth-lang[P]mirth/bin/mirth1.c
// Function: mtw_mirth_arrow_Op_LabelPush
static struct mirth_arrow_Op mtw_mirth_arrow_Op_LabelPush (uint64_t in_Label_1) {
	struct mirth_arrow_Op_LabelPush* v3 = calloc(1, sizeof *v3);
	ASSERT(v3);
	v3->refs = 1;
	v3->mLabel = in_Label_1;
	struct mirth_arrow_Op v4 = { .tag=mirth_arrow_Op_LabelPush, .ptr.LabelPush=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 0x5670b
movl $0x1, (%rax)
movq %rbx, 0x8(%rax)
addq $0x8, %rsp
popq %rbx
popq %rbp
retq
leaq 0x93d92(%rip), %rsi     # 0xea4a4
movl $0x31, %edx
movl $0x2, %edi
callq 0x5060
callq 0x52be
movl $0x1, %edi
callq 0x5130
// File: /workspace/github_c_makefile_star2_O1/mirth-lang[P]mirth/bin/mirth1.c
// Function: mtw_mirth_arrow_Op_LabelPushR
static struct mirth_arrow_Op mtw_mirth_arrow_Op_LabelPushR (uint64_t in_Label_1) {
	struct mirth_arrow_Op_LabelPushR* v3 = calloc(1, sizeof *v3);
	ASSERT(v3);
	v3->refs = 1;
	v3->mLabel = in_Label_1;
	struct mirth_arrow_Op v4 = { .tag=mirth_arrow_Op_LabelPushR, .ptr.LabelPushR=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 0x5675e
movl $0x1, (%rax)
movq %rbx, 0x8(%rax)
addq $0x8, %rsp
popq %rbx
popq %rbp
retq
leaq 0x93d71(%rip), %rsi     # 0xea4d6
movl $0x31, %edx
movl $0x2, %edi
callq 0x5060
callq 0x52be
movl $0x1, %edi
callq 0x5130
// File: /workspace/github_c_makefile_star2_O1/mirth-lang[P]mirth/bin/mirth1.c
// Function: mtw_mirth_arrow_Op_LabelPop
static struct mirth_arrow_Op mtw_mirth_arrow_Op_LabelPop (uint64_t in_Label_1) {
	struct mirth_arrow_Op_LabelPop* v3 = calloc(1, sizeof *v3);
	ASSERT(v3);
	v3->refs = 1;
	v3->mLabel = in_Label_1;
	struct mirth_arrow_Op v4 = { .tag=mirth_arrow_Op_LabelPop, .ptr.LabelPop=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 0x567b1
movl $0x1, (%rax)
movq %rbx, 0x8(%rax)
addq $0x8, %rsp
popq %rbx
popq %rbp
retq
leaq 0x93db6(%rip), %rsi     # 0xea56e
movl $0x31, %edx
movl $0x2, %edi
callq 0x5060
callq 0x52be
movl $0x1, %edi
callq 0x5130
// File: /workspace/github_c_makefile_star2_O1/mirth-lang[P]mirth/bin/mirth1.c
// Function: mtw_mirth_arrow_Op_Prim
static struct mirth_arrow_Op mtw_mirth_arrow_Op_Prim (enum mirth_prim_Prim in_Prim_1) {
	struct mirth_arrow_Op_Prim* v3 = calloc(1, sizeof *v3);
	ASSERT(v3);
	v3->refs = 1;
	v3->mPrim = in_Prim_1;
	struct mirth_arrow_Op v4 = { .tag=mirth_arrow_Op_Prim, .ptr.Prim=v3 };
	return v4;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %rbx
pushq %rax
movl %edi, %ebx
movl $0x1, %edi
movl $0x8, %esi
callq 0x50c0
testq %rax, %rax
je 0x56802
movl $0x1, (%rax)
movl %ebx, 0x4(%rax)
addq $0x8, %rsp
popq %rbx
popq %rbp
retq
leaq 0x93d97(%rip), %rsi     # 0xea5a0
movl $0x31, %edx
movl $0x2, %edi
callq 0x5060
callq 0x52be
movl $0x1, %edi
callq 0x5130
// File: /workspace/github_c_makefile_star2_O1/mirth-lang[P]mirth/bin/mirth1.c
// Function: mw_std_maybe_Maybe_1_ifzy_2_sp51
static struct mirth_type_StackType mw_std_maybe_Maybe_1_ifzy_2_sp51 (struct std_maybe_Maybe_1 in_Maybe_1) {
	struct mirth_type_StackType branch_StackType_3;
	switch ((in_Maybe_1).tag) {
		case std_maybe_Maybe_1_Some: {
			VAL v4 = mtp_std_maybe_Maybe_1_Some(in_Maybe_1);
			VAL v5 = ((TUP*)PTRPTR(value_tup(v4)))->cells[0];
			VAL v6 = ((TUP*)PTRPTR(value_tup(v4)))->cells[1];
			tup_decref_outer(value_tup(v4));
			decref(v6);
			branch_StackType_3 = V_mirth_type_StackType(v5);
		} break;
		case std_maybe_Maybe_1_None: {
			struct mirth_type_StackType v7 = { .tag=mirth_type_StackType_Error };
			branch_StackType_3 = v7;
		} break;
		default: {
			do_panic(str_make("unexpected fallthrough in match\n", 32));
		}
	}
	return branch_StackType_3;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
pushq %rax
testl %edi, %edi
je 0x5713d
cmpl $0x1, %edi
jne 0x57153
movabsq $0xfffffffffffc, %rbx   # imm = 0xFFFFFFFFFFFC
movq %rsi, %rdi
callq 0xdaeb
movq %rax, %r12
movq %rdx, %r13
movq %rax, %rdi
movq %rdx, %rsi
callq 0x9363
movq %r12, %r15
andq %rbx, %r15
movq 0x8(%r15), %rax
movq %rax, -0x30(%rbp)
movq %r12, %rdi
movq %r13, %rsi
callq 0x9363
movq 0x18(%r15), %r14
movq 0x20(%r15), %r15
movq %r12, %rdi
movq %r13, %rsi
callq 0x9363
movq %r12, %rdi
callq 0x93b4
testb $0x1, %r15b
je 0x5712d
movq %r14, %rax
andq %rbx, %rax
sete %cl
testb $0x3, %r14b
setne %dl
orb %cl, %dl
jne 0x5712d
decl (%rax)
jne 0x5712d
movq %r14, %rdi
movq %r15, %rsi
callq 0xd4e3
movq -0x30(%rbp), %rax
movq %rax, %rdi
shrq $0x30, %rdi
andq %rax, %rbx
jmp 0x5713f
xorl %ebx, %ebx
movl %edi, %eax
movq %rbx, %rdx
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
movl $0x20, %edi
callq 0xf9f7
movq $0x20, 0x10(%rax)
movups 0x8d5e1(%rip), %xmm0    # 0xe474d
movups %xmm0, 0x18(%rax)
movups 0x8d5e6(%rip), %xmm0    # 0xe475d
movups %xmm0, 0x28(%rax)
movq %rax, %rdi
callq 0x95a5
// File: /workspace/github_c_makefile_star2_O1/mirth-lang[P]mirth/bin/mirth1.c
// Function: mw_mirth_type_StackType_topzeresourcezetyconzy
static struct std_maybe_Maybe_1 mw_mirth_type_StackType_topzeresourcezetyconzy (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* v5;
	struct std_maybe_Maybe_1 v6 = mw_mirth_type_StackType_topzeresourcezy(in_zaMirth_1, in_StackType_2, &v5);
	struct mirth_mirth_zaMirth* branch_zaMirth_7;
	struct std_maybe_Maybe_1 branch_Maybe_8;
	switch ((v6).tag) {
		case std_maybe_Maybe_1_Some: {
			VAL v9 = mtp_std_maybe_Maybe_1_Some(v6);
			struct mirth_type_Type v10 = mw_mirth_type_Resource_zgType(V_mirth_type_Type(v9));
			struct mirth_mirth_zaMirth* v11;
			struct std_maybe_Maybe_1 v12 = mw_mirth_type_Type_tyconzy(v5, v10, &v11);
			branch_Maybe_8 = v12;
			branch_zaMirth_7 = v11;
		} break;
		case std_maybe_Maybe_1_None: {
			struct std_maybe_Maybe_1 v13 = { .tag=std_maybe_Maybe_1_None };
			branch_Maybe_8 = v13;
			branch_zaMirth_7 = v5;
		} break;
		default: {
			do_panic(str_make("unexpected fallthrough in match\n", 32));
		}
	}
	*out_zaMirth_3 = branch_zaMirth_7;
	return branch_Maybe_8;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r14
pushq %rbx
subq $0x10, %rsp
movq %rcx, %rbx
leaq -0x18(%rbp), %rcx
callq 0x57943
cmpl $0x1, %eax
jne 0x5792f
movq %rdx, %rdi
callq 0xdaeb
movabsq $0xfffffffffffc, %rdx   # imm = 0xFFFFFFFFFFFC
andq %rax, %rdx
movq %rax, %rsi
shrq $0x30, %rsi
movq -0x18(%rbp), %rdi
leaq -0x20(%rbp), %r14
movq %r14, %rcx
callq 0x2dc76
movq (%r14), %rcx
jmp 0x57937
xorl %eax, %eax
movq -0x18(%rbp), %rcx
xorl %edx, %edx
movq %rcx, (%rbx)
addq $0x10, %rsp
popq %rbx
popq %r14
popq %rbp
retq
// File: /workspace/github_c_makefile_star2_O1/mirth-lang[P]mirth/bin/mirth1.c
// Function: mtw_mirth_arrow_Atom_Atom
static struct mirth_arrow_Atom* mtw_mirth_arrow_Atom_Atom (struct mirth_arrow_Home in_Home_1, uint64_t in_Token_2, struct std_list_List_1 in_Ctx_3, struct mirth_arrow_Op in_Op_4, struct std_list_List_1 in_List_5, struct mirth_type_StackType in_StackType_6, struct mirth_type_StackType in_StackType_7, struct std_list_List_1 in_Subst_8) {
	struct mirth_arrow_Atom* v10 = calloc(1, sizeof *v10);
	ASSERT(v10);
	v10->refs = 1;
	v10->msubst = in_Subst_8;
	v10->mcod = in_StackType_7;
	v10->mdom = in_StackType_6;
	v10->margs = in_List_5;
	v10->mop = in_Op_4;
	v10->mctx = in_Ctx_3;
	v10->mtoken = in_Token_2;
	v10->mhome = in_Home_1;
	return v10;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
pushq %rax
movq %r8, %r14
movl %ecx, %r13d
movq %rdx, %r15
movq %rsi, %rbx
movl %edi, %r12d
movl $0x1, %edi
movl $0x80, %esi
callq 0x50c0
testq %rax, %rax
je 0x57ba9
leaq 0x50(%rbp), %rcx
leaq 0x40(%rbp), %rdx
leaq 0x30(%rbp), %rsi
leaq 0x20(%rbp), %rdi
leaq 0x10(%rbp), %r8
movl $0x1, (%rax)
movups (%rcx), %xmm0
movups %xmm0, 0x70(%rax)
movups (%rdx), %xmm0
movups %xmm0, 0x60(%rax)
movups (%rsi), %xmm0
movups %xmm0, 0x50(%rax)
movups (%rdi), %xmm0
movups %xmm0, 0x40(%rax)
movups (%r8), %xmm0
movups %xmm0, 0x30(%rax)
movl %r13d, 0x20(%rax)
movq %r14, 0x28(%rax)
movq %r15, 0x18(%rax)
movl %r12d, 0x8(%rax)
movq %rbx, 0x10(%rax)
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
leaq 0x92cf2(%rip), %rsi     # 0xea8a2
movl $0x32, %edx
movl $0x2, %edi
callq 0x5060
callq 0x52be
movl $0x1, %edi
callq 0x5130
// File: /workspace/github_c_makefile_star2_O1/mirth-lang[P]mirth/bin/mirth1.c
// Function: mirth_arrow_PushValue_free
void mirth_arrow_PushValue_free (VAL v) {
	struct mirth_arrow_PushValue self = V_mirth_arrow_PushValue(v);
	switch (self.tag) {
		case mirth_arrow_PushValue_Str: {
			decref(MKSTR(self.ptr.Str->mStr));
			free(self.ptr.Str);
		} break;
		case mirth_arrow_PushValue_Int: {
			decref(MKINT(self.ptr.Int->mInt));
			free(self.ptr.Int);
		} break;
		case mirth_arrow_PushValue_Nat: {
			decref(MKNAT(self.ptr.Nat->mNat));
			free(self.ptr.Nat);
		} break;
		case mirth_arrow_PushValue_U8: {
			free(self.ptr.U8);
		} break;
		case mirth_arrow_PushValue_U16: {
			free(self.ptr.U16);
		} break;
		case mirth_arrow_PushValue_U32: {
			free(self.ptr.U32);
		} break;
		case mirth_arrow_PushValue_U64: {
			free(self.ptr.U64);
		} break;
		case mirth_arrow_PushValue_I8: {
			free(self.ptr.I8);
		} break;
		case mirth_arrow_PushValue_I16: {
			free(self.ptr.I16);
		} break;
		case mirth_arrow_PushValue_I32: {
			free(self.ptr.I32);
		} break;
		case mirth_arrow_PushValue_I64: {
			free(self.ptr.I64);
		} break;
		case mirth_arrow_PushValue_F32: {
			free(self.ptr.F32);
		} break;
		case mirth_arrow_PushValue_F64: {
			free(self.ptr.F64);
		} break;
	}
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %rbx
pushq %rax
movq %rdi, %rbx
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
movq %rdi, %rcx
shrq $0x30, %rcx
andq %rax, %rbx
leal -0x3(%rcx), %edx
cmpl $0xa, %edx
jae 0x58c71
movq %rbx, %rdi
addq $0x8, %rsp
popq %rbx
popq %rbp
jmp 0x5030
cmpl $0x2, %ecx
je 0x58cc3
cmpl $0x1, %ecx
je 0x58ca1
testl %ecx, %ecx
jne 0x58ced
movq 0x8(%rbx), %rdi
andq %rdi, %rax
sete %cl
testb $0x3, %dil
setne %dl
orb %cl, %dl
jne 0x58c63
decl (%rax)
jne 0x58c63
leaq 0xbc4ba(%rip), %rsi     # 0x115159
jmp 0x58ce3
movq 0x8(%rbx), %rdi
andq %rdi, %rax
sete %cl
testb $0x3, %dil
setne %dl
orb %cl, %dl
jne 0x58c63
decl (%rax)
jne 0x58c63
leaq 0xbc768(%rip), %rsi     # 0x115429
jmp 0x58ce3
movq 0x8(%rbx), %rdi
andq %rdi, %rax
sete %cl
testb $0x3, %dil
setne %dl
orb %cl, %dl
jne 0x58c63
decl (%rax)
jne 0x58c63
leaq 0xbc42e(%rip), %rsi     # 0x115111
callq 0xd4e3
jmp 0x58c63
addq $0x8, %rsp
popq %rbx
popq %rbp
retq
// File: /workspace/github_c_makefile_star2_O1/mirth-lang[P]mirth/bin/mirth1.c
// Function: mirth_arrow_Lambda_free
static void mirth_arrow_Lambda_free (VAL vself) {
	ASSERT(vself.tag == TAG_mirth_arrow_Lambda);
	struct mirth_arrow_Lambda* self = vself.data.ptr;
	decref(MK_std_list_List_1(self->mouterzectx));
	decref(MK_mirth_type_StackType(self->mdom));
	decref(MK_std_list_List_1(self->mparams));
	decref(MK_mirth_arrow_Arrow(self->mbody));
	free(self);
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %rbx
pushq %rax
leaq 0xbda3f(%rip), %rax     # 0x116791
cmpq %rsi, %rax
jne 0x58e35
movq %rdi, %rbx
movabsq $0xfffffffffffc, %r15   # imm = 0xFFFFFFFFFFFC
movq 0x18(%rdi), %rcx
leaq 0xbc506(%rip), %r14     # 0x115279
movq %rcx, %rax
andq %r15, %rax
sete %dl
testb $0x3, %cl
setne %cl
orb %dl, %cl
jne 0x58d9d
decl (%rax)
jne 0x58d9d
movl 0x10(%rbx), %edi
shlq $0x30, %rdi
orq 0x18(%rbx), %rdi
movq %r14, %rsi
callq 0xd4e3
movq 0x28(%rbx), %rcx
movq %rcx, %rax
andq %r15, %rax
sete %dl
testb $0x3, %cl
setne %cl
orb %dl, %cl
jne 0x58dcf
decl (%rax)
jne 0x58dcf
leaq 0xbce02(%rip), %rsi     # 0x115bc1
movl 0x20(%rbx), %edi
shlq $0x30, %rdi
orq 0x28(%rbx), %rdi
callq 0xd4e3
movq 0x38(%rbx), %rcx
movq %rcx, %rax
andq %r15, %rax
sete %dl
testb $0x3, %cl
setne %cl
orb %dl, %cl
jne 0x58dfd
decl (%rax)
jne 0x58dfd
movl 0x30(%rbx), %edi
shlq $0x30, %rdi
orq 0x38(%rbx), %rdi
movq %r14, %rsi
callq 0xd4e3
movq 0x40(%rbx), %rdi
andq %rdi, %r15
sete %al
testb $0x3, %dil
setne %cl
orb %al, %cl
jne 0x58e23
decl (%r15)
jne 0x58e23
leaq 0xbd583(%rip), %rsi     # 0x1163a1
callq 0xd4e3
movq %rbx, %rdi
addq $0x8, %rsp
popq %rbx
popq %r14
popq %r15
popq %rbp
jmp 0x5030
leaq 0x91875(%rip), %rsi     # 0xea6b1
movl $0x51, %edx
movl $0x2, %edi
callq 0x5060
callq 0x52be
movl $0x1, %edi
callq 0x5130
// File: /workspace/github_c_makefile_star2_O1/mirth-lang[P]mirth/bin/mirth1.c
// Function: mirth_data_TagField_free
static void mirth_data_TagField_free (VAL vself) {
	ASSERT(vself.tag == TAG_mirth_data_TagField);
	struct mirth_data_TagField* self = vself.data.ptr;
	decref(MK_std_either_Either_2(self->mtypezfresource));
	free(self);
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %rbx
pushq %rax
leaq 0xbd925(%rip), %rax     # 0x1167d9
cmpq %rsi, %rax
jne 0x58f03
movq %rdi, %rbx
movq 0x20(%rdi), %rcx
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq %rcx, %rax
sete %dl
testb $0x3, %cl
setne %cl
orb %dl, %cl
jne 0x58ef5
decl (%rax)
jne 0x58ef5
leaq 0xbd03c(%rip), %rsi     # 0x115f21
movl 0x18(%rbx), %edi
shlq $0x30, %rdi
orq 0x20(%rbx), %rdi
callq 0xd4e3
movq %rbx, %rdi
addq $0x8, %rsp
popq %rbx
popq %rbp
jmp 0x5030
leaq 0x9180b(%rip), %rsi     # 0xea715
movl $0x52, %edx
movl $0x2, %edi
callq 0x5060
callq 0x52be
movl $0x1, %edi
callq 0x5130
// File: /workspace/github_c_makefile_star2_O1/mirth-lang[P]mirth/bin/mirth1.c
// Function: mtp_mirth_arrow_Op_Push
static struct mirth_arrow_PushValue mtp_mirth_arrow_Op_Push (struct mirth_arrow_Op in_Op_1) {
	struct mirth_arrow_Op_Push v3 = *in_Op_1.ptr.Push;
	if (!--(in_Op_1.ptr.Push->refs)) {
		free(in_Op_1.ptr.Push);
	} else {
		incref(MK_mirth_arrow_PushValue(v3.mPushValue));
	}
	return v3.mPushValue;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r14
pushq %rbx
movl 0x8(%rdi), %ebx
movq 0x10(%rdi), %r14
decl (%rdi)
je 0x58fa6
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq %r14, %rax
sete %cl
testb $0x3, %r14b
setne %dl
orb %cl, %dl
jne 0x58fab
incl (%rax)
jmp 0x58fab
callq 0x5030
movl %ebx, %eax
movq %r14, %rdx
popq %rbx
popq %r14
popq %rbp
retq
// File: /workspace/github_c_makefile_star2_O1/mirth-lang[P]mirth/bin/mirth1.c
// Function: mtw_mirth_elab_OpSig_Push
static struct mirth_elab_OpSig mtw_mirth_elab_OpSig_Push (struct mirth_type_Type in_Type_1) {
	struct mirth_elab_OpSig_Push* v3 = calloc(1, sizeof *v3);
	ASSERT(v3);
	v3->refs = 1;
	v3->mType = in_Type_1;
	struct mirth_elab_OpSig v4 = { .tag=mirth_elab_OpSig_Push, .ptr.Push=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 0x58ff1
movq %rax, %rdx
movl $0x1, (%rax)
movl %r14d, 0x8(%rax)
movq %rbx, 0x10(%rax)
movl $0x1, %eax
popq %rbx
popq %r14
popq %rbp
retq
leaq 0x91780(%rip), %rsi     # 0xea778
movl $0x31, %edx
movl $0x2, %edi
callq 0x5060
callq 0x52be
movl $0x1, %edi
callq 0x5130
// File: /workspace/github_c_makefile_star2_O1/mirth-lang[P]mirth/bin/mirth1.c
// Function: mtw_mirth_elab_OpSig_Apply
static struct mirth_elab_OpSig mtw_mirth_elab_OpSig_Apply (struct mirth_type_ArrowType* in_ArrowType_1) {
	struct mirth_elab_OpSig_Apply* v3 = calloc(1, sizeof *v3);
	ASSERT(v3);
	v3->refs = 1;
	v3->mArrowType = in_ArrowType_1;
	struct mirth_elab_OpSig v4 = { .tag=mirth_elab_OpSig_Apply, .ptr.Apply=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 0x5904c
movq %rax, %rdx
movl $0x1, (%rax)
movq %rbx, 0x8(%rax)
movl $0x2, %eax
addq $0x8, %rsp
popq %rbx
popq %rbp
retq
leaq 0x91757(%rip), %rsi     # 0xea7aa
movl $0x31, %edx
movl $0x2, %edi
callq 0x5060
callq 0x52be
movl $0x1, %edi
callq 0x5130
// File: /workspace/github_c_makefile_star2_O1/mirth-lang[P]mirth/bin/mirth1.c
// Function: mw_mirth_word_Word_inferringzetypezy
static bool mw_mirth_word_Word_inferringzetypezy (struct mirth_mirth_zaMirth* in_zaMirth_1, uint64_t in_Word_2, struct mirth_mirth_zaMirth* *out_zaMirth_3) {
	void* v5 = field_mut(&mfld_mirth_word_Word_inferringzetypezy, in_Word_2);
	bool v6 = mut_is_set(v5);
	struct mirth_mirth_zaMirth* branch_zaMirth_7;
	bool branch_Bool_8;
	if (v6) {
		VAL v9 = mut_get(v5);
		branch_Bool_8 = value_bool(v9);
		branch_zaMirth_7 = in_zaMirth_1;
	} else {
		bool v10 = false;
		mut_set(MKBOOL(v10), v5);
		branch_Bool_8 = v10;
		branch_zaMirth_7 = in_zaMirth_1;
	}
	*out_zaMirth_3 = branch_zaMirth_7;
	return branch_Bool_8;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r12
pushq %rbx
movq %rdx, %rbx
movq %rdi, %r14
leaq 0x10c097f(%rip), %rdi   # 0x1119a08
callq 0x13ff0
movq %rax, %r15
movq %rax, %rdi
callq 0x153b0
testb %al, %al
je 0x590b5
movq %r15, %rdi
callq 0x140f0
movq %rax, %rdi
movq %rdx, %rsi
callq 0x20dbc
movl %eax, %r12d
jmp 0x590c9
leaq 0xbcc6c(%rip), %rsi     # 0x115d28
xorl %r12d, %r12d
xorl %edi, %edi
movq %r15, %rdx
callq 0x14ab5
movq %r14, (%rbx)
movl %r12d, %eax
popq %rbx
popq %r12
popq %r14
popq %r15
popq %rbp
retq
// File: /workspace/github_c_makefile_star2_O1/mirth-lang[P]mirth/bin/mirth1.c
// Function: mw_mirth_prim_Prim_type
static struct mirth_type_ArrowType* mw_mirth_prim_Prim_type (struct mirth_mirth_zaMirth* in_zaMirth_1, enum mirth_prim_Prim in_Prim_2, struct mirth_mirth_zaMirth* *out_zaMirth_3) {
	struct mirth_mirth_zaMirth* v5;
	struct mirth_type_ArrowType* v6;
	struct std_list_List_1 v7 = mw_mirth_prim_Prim_ctxzetype(in_zaMirth_1, in_Prim_2, &v5, &v6);
	decref(MK_std_list_List_1(v7));
	*out_zaMirth_3 = v5;
	return v6;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x18, %rsp
movq %rdx, -0x30(%rbp)
movl %esi, %r12d
movq %rdi, %r14
movabsq $0xfffffffffffc, %rbx   # imm = 0xFFFFFFFFFFFC
movl %esi, %esi
leaq 0x10c09e2(%rip), %rdi   # 0x1119ae8
callq 0x13ff0
movq %rax, %r15
movq %rax, %rdi
callq 0x153b0
testb %al, %al
je 0x59135
movq %r15, %rdi
callq 0x140f0
movq %rax, %r12
movq %rax, %rdi
movq %rdx, %rsi
callq 0x9363
jmp 0x591b9
leaq -0x40(%rbp), %rdx
leaq -0x38(%rbp), %rcx
movq %r14, %rdi
movl %r12d, %esi
callq 0x59b77
movl %eax, %r14d
movq %rdx, %r13
movl $0x2, %edi
callq 0xe4ba
movq %rax, %r12
andq %rbx, %rax
movw $0x2, 0x6(%rax)
leaq -0x38(%rbp), %rcx
movq (%rcx), %rcx
leaq 0xbca07(%rip), %rdx     # 0x115b79
movq %rcx, 0x18(%rax)
movq %rdx, 0x20(%rax)
shlq $0x30, %r14
orq %r13, %r14
leaq 0xbc0f1(%rip), %rcx     # 0x115279
movq %r14, 0x8(%rax)
movq %rcx, 0x10(%rax)
leaq 0xbc202(%rip), %rsi     # 0x115399
testq %rax, %rax
sete %cl
testb $0x3, %r12b
setne %dl
orb %cl, %dl
jne 0x591aa
incl (%rax)
movq %r12, %rdi
movq %r15, %rdx
callq 0x14ab5
movq -0x40(%rbp), %r14
movq %r12, %rax
andq %rbx, %rax
movq 0x8(%rax), %r13
movq 0x18(%rax), %r15
movq %r12, %rdi
callq 0x93b4
andq %r13, %rbx
je 0x591eb
decl (%rbx)
jne 0x591eb
andq $-0x4, %r13
leaq 0xbc096(%rip), %rsi     # 0x115279
movq %r13, %rdi
callq 0xd4e3
movq -0x30(%rbp), %rax
movq %r14, (%rax)
movq %r15, %rax
addq $0x18, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
// File: /workspace/github_c_makefile_star2_O1/mirth-lang[P]mirth/bin/mirth1.c
// Function: mw_mirth_external_External_type
static struct mirth_type_ArrowType* mw_mirth_external_External_type (struct mirth_mirth_zaMirth* in_zaMirth_1, uint64_t in_External_2, struct mirth_mirth_zaMirth* *out_zaMirth_3) {
	struct mirth_mirth_zaMirth* v5;
	struct mirth_type_ArrowType* v6;
	struct std_list_List_1 v7 = mw_mirth_external_External_ctxzetype(in_zaMirth_1, in_External_2, &v5, &v6);
	decref(MK_std_list_List_1(v7));
	*out_zaMirth_3 = v5;
	return v6;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x18, %rsp
movq %rdx, -0x30(%rbp)
movq %rdi, %r15
leaq 0x10c0b05(%rip), %rdi   # 0x1119d28
callq 0x13ff0
leaq -0x38(%rbp), %rdx
movq %r15, %rdi
movq %rax, %rsi
callq 0x1a972
movq %rax, %r13
movq %rdx, %rbx
movq %rax, %rdi
movq %rdx, %rsi
callq 0x9363
movabsq $0xfffffffffffc, %r14   # imm = 0xFFFFFFFFFFFC
movq %r13, %r15
andq %r14, %r15
movq 0x8(%r15), %r12
movq %r13, %rdi
movq %rbx, %rsi
callq 0x9363
movq 0x18(%r15), %r15
movq %r13, %rdi
movq %rbx, %rsi
callq 0x9363
movq %r13, %rdi
callq 0x93b4
leaq -0x38(%rbp), %rax
movq (%rax), %rbx
andq %r12, %r14
je 0x592a2
decl (%r14)
jne 0x592a2
andq $-0x4, %r12
leaq 0xbbfdf(%rip), %rsi     # 0x115279
movq %r12, %rdi
callq 0xd4e3
movq -0x30(%rbp), %rax
movq %rbx, (%rax)
movq %r15, %rax
addq $0x18, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
// File: /workspace/github_c_makefile_star2_O1/mirth-lang[P]mirth/bin/mirth1.c
// Function: mw_mirth_table_Field_type
static struct mirth_type_ArrowType* mw_mirth_table_Field_type (struct mirth_mirth_zaMirth* in_zaMirth_1, uint64_t in_Field_2, struct mirth_mirth_zaMirth* *out_zaMirth_3) {
	struct mirth_mirth_zaMirth* v5;
	struct mirth_type_StackType v6 = mw_mirth_table_Field_dom(in_zaMirth_1, in_Field_2, &v5);
	struct mirth_mirth_zaMirth* v7;
	struct mirth_type_StackType v8 = mw_mirth_table_Field_cod(v5, in_Field_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 $0x28, %rsp
movq %rdx, -0x38(%rbp)
movq %rsi, %r14
leaq -0x40(%rbp), %rbx
movq %rbx, %rdx
callq 0x5e3f2
movl %eax, %r15d
movq %rdx, %r13
movq (%rbx), %rbx
leaq 0x10c0a59(%rip), %rdi   # 0x1119d48
movq %r14, %rsi
callq 0x13ff0
leaq -0x48(%rbp), %r12
movq %rbx, %rdi
movq %rax, %rsi
movq %r12, %rdx
callq 0x1a972
movq (%r12), %rbx
movq %rax, %rdx
shrq $0x30, %rdx
movabsq $0xfffffffffffc, %r12   # imm = 0xFFFFFFFFFFFC
andq %r12, %rax
movl %r15d, %edi
movq %r13, %rsi
movq %rax, %rcx
callq 0x20b1a
movq %rdx, -0x30(%rbp)
leaq -0x40(%rbp), %r15
movq %rbx, %rdi
movq %r14, %rsi
movq %r15, %rdx
callq 0x5e3f2
movl %eax, %r13d
movq %rdx, %rbx
movq (%r15), %r15
leaq 0x10c0a03(%rip), %rdi   # 0x1119d58
movq %r14, %rsi
callq 0x13ff0
leaq -0x48(%rbp), %r14
movq %r15, %rdi
movq %rax, %rsi
movq %r14, %rdx
callq 0x1a972
movq (%r14), %r14
andq %rax, %r12
movq %rax, %rdi
shrq $0x30, %rdi
movq %r12, %rsi
callq 0x3f26f
movq %rdx, %rcx
movl %r13d, %edi
movq %rbx, %rsi
movl $0xc, %edx
callq 0x20b1a
movq %rdx, %rcx
movl $0x5, %edi
movq -0x30(%rbp), %rsi
movl $0x5, %edx
callq 0x210ca
movq -0x38(%rbp), %rcx
movq %r14, (%rcx)
addq $0x28, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
// File: /workspace/github_c_makefile_star2_O1/mirth-lang[P]mirth/bin/mirth1.c
// Function: mw_mirth_type_ArrowType_semifreshenzesig
static struct mirth_type_ArrowType* mw_mirth_type_ArrowType_semifreshenzesig (struct mirth_mirth_zaMirth* in_zaMirth_1, struct mirth_type_ArrowType* in_ArrowType_2, struct mirth_mirth_zaMirth* *out_zaMirth_3) {
	incref(MK_mirth_type_ArrowType(in_ArrowType_2));
	struct mirth_mirth_zaMirth* v5;
	bool v6 = mw_mirth_type_ArrowType_needszefreshzestackzerestzy(in_zaMirth_1, in_ArrowType_2, &v5);
	struct mirth_mirth_zaMirth* branch_zaMirth_7;
	struct mirth_type_ArrowType* branch_ArrowType_8;
	if (v6) {
		struct mirth_mirth_zaMirth* v9;
		struct mirth_type_ArrowType* v10 = mw_mirth_type_ArrowType_semifreshenzeaux(v5, in_ArrowType_2, &v9);
		branch_ArrowType_8 = v10;
		branch_zaMirth_7 = v9;
	} else {
		branch_ArrowType_8 = in_ArrowType_2;
		branch_zaMirth_7 = v5;
	}
	*out_zaMirth_3 = branch_zaMirth_7;
	return branch_ArrowType_8;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x68, %rsp
movq %rdx, %r13
movq %rsi, %r14
movabsq $0xfffffffffffc, %rbx   # imm = 0xFFFFFFFFFFFC
movq %rsi, %rax
andq %rbx, %rax
sete %cl
testb $0x3, %r14b
setne %dl
orb %cl, %dl
jne 0x593fa
incl (%rax)
leaq -0x40(%rbp), %r15
movq %r14, %rsi
movq %r15, %rdx
callq 0x5140b
movq (%r15), %r12
testb %al, %al
je 0x594ca
movq %r13, -0x30(%rbp)
leaq -0x90(%rbp), %r15
leaq -0x80(%rbp), %r13
movq %r14, %rdi
movq %r15, %rsi
movq %r13, %rdx
callq 0x3b486
leaq -0x50(%rbp), %r14
movq %r12, %rdi
movq %r14, %rsi
callq 0x3eba9
movq (%r14), %rdi
movl (%r13), %edx
movq 0x8(%r13), %rcx
leaq -0x48(%rbp), %r14
leaq -0x70(%rbp), %r12
movq %rax, %rsi
movq %r14, %r8
movq %r12, %r9
callq 0x5e5f4
movq (%r14), %rdi
movl (%r15), %edx
movq 0x8(%r15), %rcx
leaq -0x38(%rbp), %r8
leaq -0x60(%rbp), %r14
movq %rax, %rsi
movq %r14, %r9
callq 0x5e5f4
movq %rax, %r15
movl (%r14), %edi
movq 0x8(%r14), %rsi
movl (%r12), %edx
movq 0x8(%r12), %rcx
callq 0x210ca
movq %rax, %r14
andq %r15, %rbx
sete %al
testb $0x3, %r15b
setne %cl
orb %al, %cl
jne 0x594c2
decl (%rbx)
jne 0x594c2
btsq $0x32, %r15
leaq 0xbc707(%rip), %rsi     # 0x115bc1
movq %r15, %rdi
callq 0xd4e3
movq -0x38(%rbp), %r12
movq -0x30(%rbp), %r13
movq %r12, (%r13)
movq %r14, %rax
addq $0x68, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
// File: /workspace/github_c_makefile_star2_O1/mirth-lang[P]mirth/bin/mirth1.c
// Function: mtp_mirth_arrow_Op_Match
static struct mirth_match_Match* mtp_mirth_arrow_Op_Match (struct mirth_arrow_Op in_Op_1) {
	struct mirth_arrow_Op_Match v3 = *in_Op_1.ptr.Match;
	if (!--(in_Op_1.ptr.Match->refs)) {
		free(in_Op_1.ptr.Match);
	} else {
		incref(MK_mirth_match_Match(v3.mMatch));
	}
	return v3.mMatch;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %rbx
pushq %rax
movq 0x8(%rdi), %rbx
decl (%rdi)
je 0x5950c
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq %rbx, %rax
sete %cl
testb $0x3, %bl
setne %dl
orb %cl, %dl
jne 0x59511
incl (%rax)
jmp 0x59511
callq 0x5030
movq %rbx, %rax
addq $0x8, %rsp
popq %rbx
popq %rbp
retq
// File: /workspace/github_c_makefile_star2_O1/mirth-lang[P]mirth/bin/mirth1.c
// Function: mtp_mirth_arrow_Op_Lambda
static struct mirth_arrow_Lambda* mtp_mirth_arrow_Op_Lambda (struct mirth_arrow_Op in_Op_1) {
	struct mirth_arrow_Op_Lambda v3 = *in_Op_1.ptr.Lambda;
	if (!--(in_Op_1.ptr.Lambda->refs)) {
		free(in_Op_1.ptr.Lambda);
	} else {
		incref(MK_mirth_arrow_Lambda(v3.mLambda));
	}
	return v3.mLambda;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %rbx
pushq %rax
movq 0x8(%rdi), %rbx
decl (%rdi)
je 0x59547
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq %rbx, %rax
sete %cl
testb $0x3, %bl
setne %dl
orb %cl, %dl
jne 0x5954c
incl (%rax)
jmp 0x5954c
callq 0x5030
movq %rbx, %rax
addq $0x8, %rsp
popq %rbx
popq %rbp
retq
// File: /workspace/github_c_makefile_star2_O1/mirth-lang[P]mirth/bin/mirth1.c
// Function: mw_mirth_elab_datazegetzeenumzevaluezetype
static struct mirth_type_ArrowType* mw_mirth_elab_datazegetzeenumzevaluezetype (struct mirth_mirth_zaMirth* in_zaMirth_1, uint64_t in_Data_2, struct mirth_mirth_zaMirth* *out_zaMirth_3) {
	struct mirth_mirth_zaMirth* v5;
	struct std_either_Either_2 v6 = mw_mirth_data_Data_fullzetype(in_zaMirth_1, in_Data_2, &v5);
	struct mirth_mirth_zaMirth* branch_zaMirth_7;
	struct mirth_type_ArrowType* branch_ArrowType_8;
	switch ((v6).tag) {
		case std_either_Either_2_Left: {
			VAL v9 = mtp_std_either_Either_2_Left(v6);
			struct mirth_type_StackType v10 = mw_mirth_type_T1(V_mirth_type_Type(v9));
			struct mirth_type_Type v11 = mw_mirth_type_Type_I64();
			struct mirth_type_StackType v12 = mw_mirth_type_T1(v11);
			struct mirth_type_ArrowType* v13 = mw_mirth_type_Tzezg(v10, v12);
			branch_ArrowType_8 = v13;
			branch_zaMirth_7 = v5;
		} break;
		case std_either_Either_2_Right: {
			VAL v14 = mtp_std_either_Either_2_Right(v6);
			struct mirth_type_StackType v15 = mw_mirth_type_T0();
			incref(v14);
			struct mirth_type_StackType v16 = mw_mirth_type_Tza(v15, V_mirth_type_Type(v14));
			struct mirth_type_Type v17 = mw_mirth_type_Type_I64();
			struct mirth_type_StackType v18 = mw_mirth_type_T1(v17);
			struct mirth_type_StackType v19 = mw_mirth_type_Tza(v18, V_mirth_type_Type(v14));
			struct mirth_type_ArrowType* v20 = mw_mirth_type_Tzezg(v16, v19);
			branch_ArrowType_8 = v20;
			branch_zaMirth_7 = v5;
		} break;
		default: {
			do_panic(str_make("unexpected fallthrough in match\n", 32));
		}
	}
	*out_zaMirth_3 = branch_zaMirth_7;
	return branch_ArrowType_8;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r12
pushq %rbx
subq $0x10, %rsp
movq %rdx, %rbx
movabsq $0xfffffffffffc, %r14   # imm = 0xFFFFFFFFFFFC
leaq -0x28(%rbp), %rdx
callq 0x2080e
movq %rdx, %rdi
testl %eax, %eax
je 0x59608
callq 0x2100c
testb $0x1, %dl
je 0x595a6
movq %rax, %rcx
andq %r14, %rcx
sete %dl
testb $0x3, %al
setne %sil
orb %dl, %sil
jne 0x595a6
incl (%rcx)
movq %rax, %r15
shrq $0x30, %r15
andq %rax, %r14
movl $0x2, %edi
xorl %esi, %esi
movl %r15d, %edx
movq %r14, %rcx
callq 0x21053
movq %rdx, %r12
movl $0xe, %edi
callq 0x1ef8a
movq %rdx, %rcx
movl $0x2, %edi
xorl %esi, %esi
movl $0x2, %edx
callq 0x20b1a
movl $0x5, %edi
movq %rdx, %rsi
movl %r15d, %edx
movq %r14, %rcx
callq 0x21053
movq %rdx, %rcx
movl $0x7, %edi
movq %r12, %rsi
movl $0x7, %edx
jmp 0x59657
callq 0x20fc5
andq %rax, %r14
movq %rax, %rdx
shrq $0x30, %rdx
movl $0x2, %edi
xorl %esi, %esi
movq %r14, %rcx
callq 0x20b1a
movq %rdx, %r14
movl $0xe, %edi
callq 0x1ef8a
movq %rdx, %rcx
movl $0x2, %edi
xorl %esi, %esi
movl $0x2, %edx
callq 0x20b1a
movq %rdx, %rcx
movl $0x5, %edi
movq %r14, %rsi
movl $0x5, %edx
callq 0x210ca
movq -0x28(%rbp), %rcx
movq %rcx, (%rbx)
addq $0x10, %rsp
popq %rbx
popq %r12
popq %r14
popq %r15
popq %rbp
retq
// File: /workspace/github_c_makefile_star2_O1/mirth-lang[P]mirth/bin/mirth1.c
// Function: mw_mirth_elab_datazefromzeenumzevaluezetype
static struct mirth_type_ArrowType* mw_mirth_elab_datazefromzeenumzevaluezetype (struct mirth_mirth_zaMirth* in_zaMirth_1, uint64_t in_Data_2, struct mirth_mirth_zaMirth* *out_zaMirth_3) {
	struct mirth_type_Type v5 = mw_mirth_type_Type_I64();
	struct mirth_type_StackType v6 = mw_mirth_type_T1(v5);
	struct mirth_type_StackType v7 = mw_mirth_type_T0();
	struct mirth_mirth_zaMirth* v8;
	struct std_either_Either_2 v9 = mw_mirth_data_Data_fullzetype(in_zaMirth_1, in_Data_2, &v8);
	struct mirth_type_StackType v10 = mw_mirth_type_Tzmza(v7, v9);
	struct mirth_type_ArrowType* v11 = mw_mirth_type_Tzezg(v6, v10);
	*out_zaMirth_3 = v8;
	return v11;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
pushq %rax
movq %rdx, %rbx
movq %rsi, %r14
movq %rdi, %r15
movl $0xe, %edi
callq 0x1ef8a
movq %rdx, %rcx
movl $0x2, %edi
xorl %esi, %esi
movl $0x2, %edx
callq 0x20b1a
movq %rdx, %r12
leaq -0x30(%rbp), %r13
movq %r15, %rdi
movq %r14, %rsi
movq %r13, %rdx
callq 0x2080e
movq %rdx, %rcx
movl $0x2, %edi
xorl %esi, %esi
movl %eax, %edx
callq 0x20888
movq %rdx, %rcx
movl $0x5, %edi
movq %r12, %rsi
movl %eax, %edx
callq 0x210ca
movq (%r13), %rcx
movq %rcx, (%rbx)
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
// File: /workspace/github_c_makefile_star2_O1/mirth-lang[P]mirth/bin/mirth1.c
// Function: mtp_mirth_arrow_Op_DataGetLabel
static struct mirth_data_TagField* mtp_mirth_arrow_Op_DataGetLabel (struct mirth_arrow_Op in_Op_1) {
	struct mirth_arrow_Op_DataGetLabel v3 = *in_Op_1.ptr.DataGetLabel;
	if (!--(in_Op_1.ptr.DataGetLabel->refs)) {
		free(in_Op_1.ptr.DataGetLabel);
	} else {
		incref(MK_mirth_data_TagField(v3.mTagField));
	}
	return v3.mTagField;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %rbx
pushq %rax
movq 0x8(%rdi), %rbx
decl (%rdi)
je 0x5971f
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq %rbx, %rax
sete %cl
testb $0x3, %bl
setne %dl
orb %cl, %dl
jne 0x59724
incl (%rax)
jmp 0x59724
callq 0x5030
movq %rbx, %rax
addq $0x8, %rsp
popq %rbx
popq %rbp
retq
// File: /workspace/github_c_makefile_star2_O1/mirth-lang[P]mirth/bin/mirth1.c
// Function: mtp_mirth_arrow_Op_DataSetLabel
static struct mirth_data_TagField* mtp_mirth_arrow_Op_DataSetLabel (struct mirth_arrow_Op in_Op_1) {
	struct mirth_arrow_Op_DataSetLabel v3 = *in_Op_1.ptr.DataSetLabel;
	if (!--(in_Op_1.ptr.DataSetLabel->refs)) {
		free(in_Op_1.ptr.DataSetLabel);
	} else {
		incref(MK_mirth_data_TagField(v3.mTagField));
	}
	return v3.mTagField;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %rbx
pushq %rax
movq 0x8(%rdi), %rbx
decl (%rdi)
je 0x5995b
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq %rbx, %rax
sete %cl
testb $0x3, %bl
setne %dl
orb %cl, %dl
jne 0x59960
incl (%rax)
jmp 0x59960
callq 0x5030
movq %rbx, %rax
addq $0x8, %rsp
popq %rbx
popq %rbp
retq
// File: /workspace/github_c_makefile_star2_O1/mirth-lang[P]mirth/bin/mirth1.c
// Function: mtp_mirth_arrow_PushValue_Str
static STR* mtp_mirth_arrow_PushValue_Str (struct mirth_arrow_PushValue in_PushValue_1) {
	struct mirth_arrow_PushValue_Str v3 = *in_PushValue_1.ptr.Str;
	if (!--(in_PushValue_1.ptr.Str->refs)) {
		free(in_PushValue_1.ptr.Str);
	} else {
		incref(MKSTR(v3.mStr));
	}
	return v3.mStr;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %rbx
pushq %rax
movq 0x8(%rdi), %rbx
decl (%rdi)
je 0x59af2
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq %rbx, %rax
sete %cl
testb $0x3, %bl
setne %dl
orb %cl, %dl
jne 0x59af7
incl (%rax)
jmp 0x59af7
callq 0x5030
movq %rbx, %rax
addq $0x8, %rsp
popq %rbx
popq %rbp
retq
// File: /workspace/github_c_makefile_star2_O1/mirth-lang[P]mirth/bin/mirth1.c
// Function: mtp_mirth_arrow_PushValue_Int
static INT mtp_mirth_arrow_PushValue_Int (struct mirth_arrow_PushValue in_PushValue_1) {
	struct mirth_arrow_PushValue_Int v3 = *in_PushValue_1.ptr.Int;
	if (!--(in_PushValue_1.ptr.Int->refs)) {
		free(in_PushValue_1.ptr.Int);
	} else {
		incref(MKINT(v3.mInt));
	}
	return v3.mInt;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %rbx
pushq %rax
movq 0x8(%rdi), %rbx
decl (%rdi)
je 0x59b2d
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq %rbx, %rax
sete %cl
testb $0x3, %bl
setne %dl
orb %cl, %dl
jne 0x59b32
incl (%rax)
jmp 0x59b32
callq 0x5030
movq %rbx, %rax
addq $0x8, %rsp
popq %rbx
popq %rbp
retq
// File: /workspace/github_c_makefile_star2_O1/mirth-lang[P]mirth/bin/mirth1.c
// Function: mtp_mirth_arrow_PushValue_Nat
static INT mtp_mirth_arrow_PushValue_Nat (struct mirth_arrow_PushValue in_PushValue_1) {
	struct mirth_arrow_PushValue_Nat v3 = *in_PushValue_1.ptr.Nat;
	if (!--(in_PushValue_1.ptr.Nat->refs)) {
		free(in_PushValue_1.ptr.Nat);
	} else {
		incref(MKNAT(v3.mNat));
	}
	return v3.mNat;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %rbx
pushq %rax
movq 0x8(%rdi), %rbx
decl (%rdi)
je 0x59b68
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq %rbx, %rax
sete %cl
testb $0x3, %bl
setne %dl
orb %cl, %dl
jne 0x59b6d
incl (%rax)
jmp 0x59b6d
callq 0x5030
movq %rbx, %rax
addq $0x8, %rsp
popq %rbx
popq %rbp
retq
// File: /workspace/github_c_makefile_star2_O1/mirth-lang[P]mirth/bin/mirth1.c
// Function: mw_mirth_type_Type_NewInCtx
static struct std_list_List_1 mw_mirth_type_Type_NewInCtx (struct mirth_mirth_zaMirth* in_zaMirth_1, struct std_list_List_1 in_Ctx_2, STR* in_Str_3, struct mirth_mirth_zaMirth* *out_zaMirth_4, struct mirth_type_Type *out_Type_6) {
	struct mirth_type_Type v7 = mw_mirth_type_Type_TYPE();
	struct mirth_mirth_zaMirth* v8;
	uint64_t v9;
	struct std_list_List_1 v10 = mw_mirth_var_Var_NewInCtx(in_zaMirth_1, in_Ctx_2, v7, in_Str_3, &v8, &v9);
	struct mirth_type_Type v11 = mtw_mirth_type_Type_Var(v9);
	*out_Type_6 = v11;
	*out_zaMirth_4 = v8;
	return v10;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x28, %rsp
movq %r9, %r14
movq %r8, -0x30(%rbp)
movq %rcx, %r15
movq %rdx, %r12
movl %esi, %r13d
movq %rdi, %rbx
movl $0x1, %edi
callq 0x1ef8a
movq %rdx, %rcx
leaq -0x38(%rbp), %rax
movq %rax, (%rsp)
leaq -0x40(%rbp), %r9
movq %rbx, %rdi
movl %r13d, %esi
movq %r12, %rdx
movq %r15, %r8
movq %r9, %r12
callq 0x5e36f
movl %eax, %ebx
movq %rdx, %r15
leaq -0x38(%rbp), %rax
movq (%rax), %rdi
callq 0x1f7ae
movl $0x5, (%r14)
movq %rax, 0x8(%r14)
movq (%r12), %rax
movq -0x30(%rbp), %rcx
movq %rax, (%rcx)
movl %ebx, %eax
movq %r15, %rdx
addq $0x28, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
// File: /workspace/github_c_makefile_star2_O1/mirth-lang[P]mirth/bin/mirth1.c
// Function: mw_mirth_type_StackType_NewInCtx
static struct std_list_List_1 mw_mirth_type_StackType_NewInCtx (struct mirth_mirth_zaMirth* in_zaMirth_1, struct std_list_List_1 in_Ctx_2, STR* in_Str_3, struct mirth_mirth_zaMirth* *out_zaMirth_4, struct mirth_type_StackType *out_StackType_6) {
	struct mirth_type_Type v7 = mw_mirth_type_Type_STACK();
	struct mirth_mirth_zaMirth* v8;
	uint64_t v9;
	struct std_list_List_1 v10 = mw_mirth_var_Var_NewInCtx(in_zaMirth_1, in_Ctx_2, v7, in_Str_3, &v8, &v9);
	struct mirth_type_StackType v11 = mtw_mirth_type_StackType_Var(v9);
	*out_StackType_6 = v11;
	*out_zaMirth_4 = v8;
	return v10;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x28, %rsp
movq %r9, %r14
movq %r8, -0x30(%rbp)
movq %rcx, %r15
movq %rdx, %r12
movl %esi, %r13d
movq %rdi, %rbx
movl $0x2, %edi
callq 0x1ef8a
movq %rdx, %rcx
leaq -0x38(%rbp), %rax
movq %rax, (%rsp)
leaq -0x40(%rbp), %r9
movq %rbx, %rdi
movl %r13d, %esi
movq %r12, %rdx
movq %r15, %r8
movq %r9, %r12
callq 0x5e36f
movl %eax, %ebx
movq %rdx, %r15
leaq -0x38(%rbp), %rax
movq (%rax), %rdi
callq 0x36b6e
movl $0x3, (%r14)
movq %rax, 0x8(%r14)
movq (%r12), %rax
movq -0x30(%rbp), %rcx
movq %rax, (%rcx)
movl %ebx, %eax
movq %r15, %rdx
addq $0x28, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
// File: /workspace/github_c_makefile_star2_O1/mirth-lang[P]mirth/bin/mirth1.c
// Function: mw_mirth_var_Var_NewInCtx
static struct std_list_List_1 mw_mirth_var_Var_NewInCtx (struct mirth_mirth_zaMirth* in_zaMirth_1, struct std_list_List_1 in_Ctx_2, struct mirth_type_Type in_Type_3, STR* in_Str_4, struct mirth_mirth_zaMirth* *out_zaMirth_5, uint64_t *out_Var_7) {
	struct mirth_mirth_zaMirth* v8;
	uint64_t v9 = mw_mirth_name_Name_Name(in_zaMirth_1, in_Str_4, &v8);
	struct mirth_mirth_zaMirth* v10;
	uint64_t v11 = mw_mirth_var_Var_Newzx(v8, in_Type_3, v9, &v10);
	struct std_list_List_1 v12 = mw_mirth_var_Ctx_new(in_Ctx_2, v11);
	*out_Var_7 = v11;
	*out_zaMirth_5 = v10;
	return v12;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x18, %rsp
movq %r9, %rbx
movq %rcx, %r12
movq %rdx, %r14
movl %esi, %r15d
leaq -0x30(%rbp), %r13
movq %r8, %rsi
movq %r13, %rdx
callq 0x13236
movq (%r13), %rdi
leaq -0x38(%rbp), %r13
movq %r13, (%rsp)
movq %rax, %rsi
movl $0x2, %edx
movq %r12, %rcx
xorl %r8d, %r8d
xorl %r9d, %r9d
callq 0x1f143
movq %rax, %r12
movq (%r13), %r13
leaq 0xb76d5(%rip), %rcx     # 0x115aa0
movl %r15d, %edi
movq %r14, %rsi
movq %rax, %rdx
callq 0x3f2d0
movq 0x10(%rbp), %rcx
movq %r12, (%rcx)
movq %r13, (%rbx)
addq $0x18, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
// File: /workspace/github_c_makefile_star2_O1/mirth-lang[P]mirth/bin/mirth1.c
// Function: mw_mirth_table_Field_basis
static struct mirth_type_StackType mw_mirth_table_Field_basis (struct mirth_mirth_zaMirth* in_zaMirth_1, uint64_t in_Field_2, struct mirth_mirth_zaMirth* *out_zaMirth_3) {
	struct mirth_type_StackType v5 = mw_mirth_type_T0();
	struct mirth_mirth_zaMirth* v6;
	struct mirth_table_StateOwner v7 = mw_mirth_table_Field_owner(in_zaMirth_1, in_Field_2, &v6);
	struct mirth_mirth_zaMirth* v8;
	struct mirth_type_StackType v9 = mw_mirth_table_StateOwner_push(v6, v5, v7, &v8);
	*out_zaMirth_3 = v8;
	return v9;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %rbx
pushq %rax
movq %rdx, %rbx
movq %rdi, %r14
leaq 0x10bb92f(%rip), %rdi   # 0x1119d38
callq 0x13ff0
leaq -0x20(%rbp), %r15
movq %r14, %rdi
movq %rax, %rsi
movq %r15, %rdx
callq 0x1a972
movq (%r15), %rdi
movabsq $0xfffffffffffc, %r8    # imm = 0xFFFFFFFFFFFC
andq %rax, %r8
movq %rax, %rcx
shrq $0x30, %rcx
leaq -0x20(%rbp), %r14
movl $0x2, %esi
xorl %edx, %edx
movq %r14, %r9
callq 0x5e45b
movq (%r14), %rcx
movq %rcx, (%rbx)
addq $0x8, %rsp
popq %rbx
popq %r14
popq %r15
popq %rbp
retq