LLM4Binary/decompile-bench-makefile huggingface dataset:
// File: /workspace/github_c_makefile_star2_O3/mirth-lang[P]mirth/bin/mirth1.c
// Function: mw_mirth_lexer_zaLexer_movezx
static void mw_mirth_lexer_zaLexer_movezx (struct mirth_lexer_zaLexer* in_zaLexer_1, struct mirth_lexer_zaLexer* *out_zaLexer_2) {
	INT v3 = in_zaLexer_1->mlexerzeoffset;
	incref(MKINT(v3));
	INT v4 = WRAP_I63(1LL);
	INT v5 = v4;
	INT v6 = int_add(v3, v5);
	INT v7 = in_zaLexer_1->mlexerzeoffset;
	decref(MKINT(v7));
	in_zaLexer_1->mlexerzeoffset = v6;
	INT v8 = in_zaLexer_1->mlexerzecol;
	incref(MKINT(v8));
	INT v9 = WRAP_I63(1LL);
	INT v10 = mw_mirth_location_Col_natza(v9, v8);
	INT v11 = in_zaLexer_1->mlexerzecol;
	decref(MKINT(v11));
	in_zaLexer_1->mlexerzecol = v10;
	*out_zaLexer_2 = in_zaLexer_1;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
pushq %rax
movq %rsi, %rbx
movq %rdi, %r14
movabsq $0xfffffffffffc, %r13   # imm = 0xFFFFFFFFFFFC
movq 0x50(%rdi), %rdi
movq %rdi, %rax
andq %r13, %rax
sete %cl
testb $0x3, %dil
setne %dl
orb %cl, %dl
jne 0x838e0
incl (%rax)
leaq 0x8db42(%rip), %r15     # 0x111429
movl $0x3, %esi
callq 0xe50f
movq %rax, %r12
movq 0x50(%r14), %rdi
movq %rdi, %rax
andq %r13, %rax
sete %cl
testb $0x3, %dil
setne %dl
orb %cl, %dl
jne 0x83918
decl (%rax)
jne 0x83918
movq %r15, %rsi
callq 0xd13d
movq %r12, 0x50(%r14)
movq 0x10(%r14), %rdi
movq %rdi, %rax
andq %r13, %rax
sete %cl
testb $0x3, %dil
setne %dl
orb %cl, %dl
jne 0x83936
incl (%rax)
movl $0x3, %esi
callq 0xe50f
movq %rax, %r12
movq 0x10(%r14), %rdi
andq %rdi, %r13
sete %al
testb $0x3, %dil
setne %cl
orb %al, %cl
jne 0x83966
decl (%r13)
jne 0x83966
movq %r15, %rsi
callq 0xd13d
movq %r12, 0x10(%r14)
movq %r14, (%rbx)
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_lexer_zaLexer_preparezeforzeargszx
static void mw_mirth_lexer_zaLexer_preparezeforzeargszx (struct mirth_mirth_zaMirth* in_zaMirth_1, struct mirth_lexer_zaLexer* in_zaLexer_2, struct mirth_mirth_zaMirth* *out_zaMirth_3, struct mirth_lexer_zaLexer* *out_zaLexer_4) {
	uint64_t v5 = in_zaLexer_2->mlexerzelastzetoken;
	struct mirth_mirth_zaMirth* v6;
	bool v7 = mw_mirth_token_Token_canzetakezeargszy(in_zaMirth_1, v5, &v6);
	struct mirth_lexer_zaLexer* branch_zaLexer_8;
	struct mirth_mirth_zaMirth* branch_zaMirth_9;
	if (v7) {
		branch_zaMirth_9 = v6;
		branch_zaLexer_8 = in_zaLexer_2;
	} else {
		struct mirth_mirth_zaMirth* v10;
		struct mirth_lexer_zaLexer* v11;
		mw_mirth_lexer_zaLexer_closezecolonszx(v6, in_zaLexer_2, &v10, &v11);
		branch_zaMirth_9 = v10;
		branch_zaLexer_8 = v11;
	}
	*out_zaLexer_4 = branch_zaLexer_8;
	*out_zaMirth_3 = branch_zaMirth_9;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x18, %rsp
movq %rcx, %r14
movq %rdx, %rbx
movq %rsi, %r15
movq 0x40(%rsi), %rsi
leaq -0x30(%rbp), %rdx
callq 0x27d4c
testb %al, %al
je 0x83c57
movq -0x30(%rbp), %rax
jmp 0x83c79
movq -0x30(%rbp), %rdi
leaq -0x40(%rbp), %r12
leaq -0x38(%rbp), %r13
movq %r15, %rsi
movq %r12, %rdx
movq %r13, %rcx
callq 0x8397c
movq (%r12), %rax
movq (%r13), %r15
movq %r15, (%r14)
movq %rax, (%rbx)
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: mw_mirth_lexer_zaLexer_preparezeforzeatomzx
static void mw_mirth_lexer_zaLexer_preparezeforzeatomzx (struct mirth_mirth_zaMirth* in_zaMirth_1, struct mirth_lexer_zaLexer* in_zaLexer_2, struct mirth_mirth_zaMirth* *out_zaMirth_3, struct mirth_lexer_zaLexer* *out_zaLexer_4) {
	uint64_t v5 = in_zaLexer_2->mlexerzelastzetoken;
	struct mirth_mirth_zaMirth* v6;
	bool v7 = mw_mirth_token_Token_lcolonzeopenzy(in_zaMirth_1, v5, &v6);
	struct mirth_lexer_zaLexer* branch_zaLexer_8;
	struct mirth_mirth_zaMirth* branch_zaMirth_9;
	if (v7) {
		branch_zaMirth_9 = v6;
		branch_zaLexer_8 = in_zaLexer_2;
	} else {
		struct mirth_mirth_zaMirth* v10;
		struct mirth_lexer_zaLexer* v11;
		mw_mirth_lexer_zaLexer_closezecolonszx(v6, in_zaLexer_2, &v10, &v11);
		branch_zaMirth_9 = v10;
		branch_zaLexer_8 = v11;
	}
	*out_zaLexer_4 = branch_zaLexer_8;
	*out_zaMirth_3 = branch_zaMirth_9;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x18, %rsp
movq %rcx, %r14
movq %rdx, %rbx
movq %rsi, %r15
movq 0x40(%rsi), %rsi
leaq -0x30(%rbp), %rdx
callq 0x86b3a
testb %al, %al
je 0x83cbf
movq -0x30(%rbp), %rax
jmp 0x83ce1
movq -0x30(%rbp), %rdi
leaq -0x40(%rbp), %r12
leaq -0x38(%rbp), %r13
movq %r15, %rsi
movq %r12, %rdx
movq %r13, %rcx
callq 0x8397c
movq (%r12), %rax
movq (%r13), %r15
movq %r15, (%r14)
movq %rax, (%rbx)
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: mw_mirth_token_Token_lcolonzeopenzy
static bool mw_mirth_token_Token_lcolonzeopenzy (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);
	bool v7 = mw_mirth_token_TokenValue_lcolonzeopenzy(v6);
	*out_zaMirth_3 = v5;
	return v7;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r12
pushq %rbx
movq %rdx, %rbx
movq %rdi, %r14
leaq 0x108e896(%rip), %rdi   # 0x11153e8
callq 0x13c85
movq %rax, %rdi
callq 0x13d82
movabsq $-0x1000000000000, %r15 # imm = 0xFFFF000000000000
andq %rax, %r15
movabsq $0x5000000000000, %r12  # imm = 0x5000000000000
cmpq %r12, %r15
je 0x86ba1
movabsq $0xfffffffffffc, %rcx   # imm = 0xFFFFFFFFFFFC
andq %rax, %rcx
je 0x86ba1
decl (%rcx)
jne 0x86ba1
andq $-0x4, %rax
leaq 0x8b340(%rip), %rsi     # 0x111ed9
movq %rax, %rdi
callq 0xd13d
cmpq %r12, %r15
sete %al
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_lexer_zaLexer_makezx
static uint64_t mw_mirth_lexer_zaLexer_makezx (struct mirth_mirth_zaMirth* in_zaMirth_1, struct mirth_lexer_zaLexer* in_zaLexer_2, struct mirth_token_TokenValue in_TokenValue_3, struct mirth_mirth_zaMirth* *out_zaMirth_4, struct mirth_lexer_zaLexer* *out_zaLexer_5) {
	INT v7 = in_zaLexer_2->mlexerzerow;
	incref(MKINT(v7));
	INT v8 = in_zaLexer_2->mlexerzecol;
	incref(MKINT(v8));
	struct std_maybe_Maybe_1 v9 = in_zaLexer_2->mlexerzedoc;
	incref(MK_std_maybe_Maybe_1(v9));
	uint64_t v10 = in_zaLexer_2->mlexerzemodule;
	struct mirth_mirth_zaMirth* v11;
	uint64_t v12 = mw_mirth_token_Token_Makezx(in_zaMirth_1, in_TokenValue_3, v10, v7, v8, v9, &v11);
	struct std_maybe_Maybe_1 v13 = { .tag=std_maybe_Maybe_1_None };
	struct std_maybe_Maybe_1 v14 = in_zaLexer_2->mlexerzedoc;
	decref(MK_std_maybe_Maybe_1(v14));
	in_zaLexer_2->mlexerzedoc = v13;
	in_zaLexer_2->mlexerzelastzetoken = v12;
	*out_zaLexer_5 = in_zaLexer_2;
	*out_zaMirth_4 = v11;
	return v12;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x18, %rsp
movq %r9, %r14
movq %r8, -0x30(%rbp)
movq %rsi, %r15
movabsq $0xfffffffffffc, %r13   # imm = 0xFFFFFFFFFFFC
movq 0x8(%rsi), %r8
movq %r8, %rax
andq %r13, %rax
sete %sil
testb $0x3, %r8b
setne %r9b
orb %sil, %r9b
jne 0x86bf5
incl (%rax)
movq 0x10(%r15), %r9
movq %r9, %rax
andq %r13, %rax
sete %sil
testb $0x3, %r9b
setne %r10b
orb %sil, %r10b
jne 0x86c12
incl (%rax)
movl 0x18(%r15), %r10d
movq 0x20(%r15), %r11
movq %r11, %rax
andq %r13, %rax
sete %sil
testb $0x3, %r11b
setne %bl
orb %sil, %bl
jne 0x86c32
incl (%rax)
leaq 0x18(%r15), %rbx
movq (%r15), %rax
subq $0x8, %rsp
leaq -0x38(%rbp), %r12
movl %edx, %esi
movq %rcx, %rdx
movq %rax, %rcx
pushq %r12
pushq %r11
pushq %r10
callq 0x54976
addq $0x20, %rsp
movq %rax, %r12
movq 0x20(%r15), %rax
andq %rax, %r13
sete %cl
testb $0x3, %al
setne %dl
orb %cl, %dl
jne 0x86c8b
movl 0x18(%r15), %edi
decl (%r13)
jne 0x86c8b
leaq 0x8a642(%rip), %rsi     # 0x1112c1
shlq $0x30, %rdi
orq %rax, %rdi
callq 0xd13d
xorps %xmm0, %xmm0
movups %xmm0, (%rbx)
movq %r12, 0x40(%r15)
movq %r15, (%r14)
movq -0x38(%rbp), %rax
movq -0x30(%rbp), %rcx
movq %rax, (%rcx)
movq %r12, %rax
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: mw_mirth_lexer_zaLexer_stackzepopzx
static struct std_maybe_Maybe_1 mw_mirth_lexer_zaLexer_stackzepopzx (struct mirth_lexer_zaLexer* in_zaLexer_1, struct mirth_lexer_zaLexer* *out_zaLexer_2) {
	struct std_list_List_1 v4 = in_zaLexer_1->mlexerzestack;
	incref(MK_std_list_List_1(v4));
	struct std_list_List_1 v5;
	struct std_maybe_Maybe_1 v6 = mw_std_list_List_1_uncons(v4, &v5);
	struct std_list_List_1 v7 = in_zaLexer_1->mlexerzestack;
	decref(MK_std_list_List_1(v7));
	in_zaLexer_1->mlexerzestack = v5;
	*out_zaLexer_2 = in_zaLexer_1;
	return v6;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x18, %rsp
movq %rsi, -0x30(%rbp)
movq %rdi, %r14
movabsq $0xfffffffffffc, %rbx   # imm = 0xFFFFFFFFFFFC
movl 0x28(%rdi), %edi
movq 0x30(%r14), %rsi
movq %rsi, %rax
andq %rbx, %rax
sete %cl
testb $0x3, %sil
setne %dl
orb %cl, %dl
jne 0x86cf4
incl (%rax)
leaq 0x28(%r14), %r13
leaq -0x40(%rbp), %rdx
callq 0x111eb
movl %eax, %r15d
movq %rdx, %r12
movq 0x30(%r14), %rax
andq %rax, %rbx
sete %cl
testb $0x3, %al
setne %dl
orb %cl, %dl
jne 0x86d35
movl 0x28(%r14), %edi
decl (%rbx)
jne 0x86d35
leaq 0x8a550(%rip), %rsi     # 0x111279
shlq $0x30, %rdi
orq %rax, %rdi
callq 0xd13d
movups -0x40(%rbp), %xmm0
movups %xmm0, (%r13)
movq -0x30(%rbp), %rax
movq %r14, (%rax)
movl %r15d, %eax
movq %r12, %rdx
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: mw_mirth_lexer_zaLexer_stackzepushzx
static void mw_mirth_lexer_zaLexer_stackzepushzx (struct mirth_lexer_zaLexer* in_zaLexer_1, uint64_t in_Token_2, struct mirth_lexer_zaLexer* *out_zaLexer_3) {
	struct std_list_List_1 v4 = in_zaLexer_1->mlexerzestack;
	incref(MK_std_list_List_1(v4));
	struct std_list_List_1 v5 = mw_std_list_List_1_cons(MK_mirth_token_Token(in_Token_2), v4);
	struct std_list_List_1 v6 = in_zaLexer_1->mlexerzestack;
	decref(MK_std_list_List_1(v6));
	in_zaLexer_1->mlexerzestack = v5;
	*out_zaLexer_3 = in_zaLexer_1;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r12
pushq %rbx
movq %rdx, %rbx
movq %rsi, %rax
movq %rdi, %r14
movabsq $0xfffffffffffc, %r12   # imm = 0xFFFFFFFFFFFC
movl 0x28(%rdi), %edx
movq 0x30(%rdi), %rcx
movq %rcx, %rsi
andq %r12, %rsi
sete %dil
testb $0x3, %cl
setne %r8b
orb %dil, %r8b
jne 0x86d97
incl (%rsi)
leaq 0x8b01a(%rip), %rsi     # 0x111db8
movq %rax, %rdi
callq 0xd1ec
movq %rdx, %r15
movq 0x30(%r14), %rax
andq %rax, %r12
sete %cl
testb $0x3, %al
setne %dl
orb %cl, %dl
jne 0x86dd9
movl 0x28(%r14), %edi
decl (%r12)
jne 0x86dd9
leaq 0x8a4ac(%rip), %rsi     # 0x111279
shlq $0x30, %rdi
orq %rax, %rdi
callq 0xd13d
movl $0x1, 0x28(%r14)
movq %r15, 0x30(%r14)
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_lexer_zaLexer_lexerzelocation
static struct mirth_location_Location* mw_mirth_lexer_zaLexer_lexerzelocation (struct mirth_lexer_zaLexer* in_zaLexer_1, struct mirth_lexer_zaLexer* *out_zaLexer_2) {
	uint64_t v4 = in_zaLexer_1->mlexerzemodule;
	INT v5 = in_zaLexer_1->mlexerzerow;
	incref(MKINT(v5));
	INT v6 = in_zaLexer_1->mlexerzecol;
	incref(MKINT(v6));
	struct mirth_location_Location* v7 = mtw_mirth_location_Location_Location(v4, v5, v6);
	*out_zaLexer_2 = in_zaLexer_1;
	return v7;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r14
pushq %rbx
movq %rsi, %rbx
movq %rdi, %r14
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
movq (%rdi), %rdi
movq 0x8(%r14), %rsi
movq %rsi, %rcx
andq %rax, %rcx
sete %dl
testb $0x3, %sil
setne %r8b
orb %dl, %r8b
jne 0x86e27
incl (%rcx)
movq 0x10(%r14), %rdx
andq %rdx, %rax
sete %cl
testb $0x3, %dl
setne %r8b
orb %cl, %r8b
jne 0x86e3f
incl (%rax)
callq 0x1b780
movq %r14, (%rbx)
popq %rbx
popq %r14
popq %rbp
retq
// File: /workspace/github_c_makefile_star2_O3/mirth-lang[P]mirth/bin/mirth1.c
// Function: mw_std_maybe_Maybe_1_map_1_sp20
static struct std_maybe_Maybe_1 mw_std_maybe_Maybe_1_map_1_sp20 (struct std_maybe_Maybe_1 in_Maybe_1) {
	struct std_maybe_Maybe_1 branch_Maybe_3;
	switch ((in_Maybe_1).tag) {
		case std_maybe_Maybe_1_Some: {
			VAL v4 = mtp_std_maybe_Maybe_1_Some(in_Maybe_1);
			struct std_result_Result_2 v5 = mtw_std_result_Result_2_Ok(v4);
			struct std_maybe_Maybe_1 v6 = mtw_std_maybe_Maybe_1_Some(MK_std_result_Result_2(v5));
			branch_Maybe_3 = v6;
		} break;
		case std_maybe_Maybe_1_None: {
			struct std_maybe_Maybe_1 v7 = { .tag=std_maybe_Maybe_1_None };
			branch_Maybe_3 = v7;
		} break;
		default: {
			do_panic(str_make("unexpected fallthrough in match\n", 32));
		}
	}
	return branch_Maybe_3;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %rbx
pushq %rax
movl %edi, %ebx
testl %edi, %edi
je 0x86e86
cmpl $0x1, %ebx
jne 0x86e91
movq %rsi, %rdi
callq 0xd745
movq %rax, %rdi
movq %rdx, %rsi
callq 0x106f2
movq %rdx, %rdi
btsq $0x30, %rdi
leaq 0x8bdda(%rip), %rsi     # 0x112c59
callq 0x9353
jmp 0x86e88
xorl %edx, %edx
movl %ebx, %eax
addq $0x8, %rsp
popq %rbx
popq %rbp
retq
movl $0x20, %edi
callq 0xf5e4
movq $0x20, 0x10(%rax)
movups 0x59823(%rip), %xmm0    # 0xe06cd
movups %xmm0, 0x18(%rax)
movups 0x59828(%rip), %xmm0    # 0xe06dd
movups %xmm0, 0x28(%rax)
movq %rax, %rdi
callq 0x9302
// File: /workspace/github_c_makefile_star2_O3/mirth-lang[P]mirth/bin/mirth1.c
// Function: mw_std_str_zaStr_dropzeslice
static STR* mw_std_str_zaStr_dropzeslice (STR* in_zaStr_1, INT in_Offset_2, STR* *out_zaStr_3) {
	INT v7 = WRAP_I63(0LL);
	incref(MKINT(in_Offset_2));
	incref(MKINT(v7));
	bool v8 = int_lt(in_Offset_2, v7);
	INT branch_Offset_9;
	if (v8) {
		decref(MKINT(in_Offset_2));
		branch_Offset_9 = v7;
	} else {
		decref(MKINT(v7));
		branch_Offset_9 = in_Offset_2;
	}
	incref(MKSTR(in_zaStr_1));
	uint64_t v10 = str_size(in_zaStr_1);
	INT v11 = u64_to_int(v10);
	STR* v12;
	STR* v13 = mw_std_str_zaStr_slice(in_zaStr_1, branch_Offset_9, v11, &v12);
	*out_zaStr_3 = v12;
	return v13;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x18, %rsp
movq %rdx, -0x30(%rbp)
movq %rsi, %r12
movq %rdi, %r14
movabsq $0xfffffffffffc, %r13   # imm = 0xFFFFFFFFFFFC
movq %rsi, %rbx
andq %r13, %rbx
sete %al
testb $0x3, %r12b
setne %cl
orb %al, %cl
jne 0x874bd
incl (%rbx)
movl $0x1, %r15d
movl $0x1, %esi
movq %r12, %rdi
callq 0xe83a
testl %eax, %eax
jns 0x874d5
decl (%rbx)
jne 0x874d8
leaq 0x89f76(%rip), %rsi     # 0x111429
movq %r12, %rdi
callq 0xd13d
jmp 0x874d8
movl $0x1, %ebx
movl $0x1, %esi
movq %r12, %rdi
callq 0xe83a
testl %eax, %eax
cmovsq %rbx, %r12
movq %r12, %r15
andq %r14, %r13
sete %al
testb $0x3, %r14b
setne %cl
orb %al, %cl
jne 0x874ed
incl (%r13)
movq %r14, %rdi
callq 0xe36d
movq %rax, %rdi
callq 0xe3d6
leaq -0x38(%rbp), %r12
movq %r14, %rdi
movq %r15, %rsi
movq %rax, %rdx
movq %r12, %rcx
callq 0xea7a
movq (%r12), %rcx
movq -0x30(%rbp), %rdx
movq %rcx, (%rdx)
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: mw_mirth_lexer_zaLexer_intzesign
static INT mw_mirth_lexer_zaLexer_intzesign (STR* in_zaStr_1, struct mirth_lexer_zaLexer* in_zaLexer_2, STR* *out_zaStr_3, struct mirth_lexer_zaLexer* *out_zaLexer_4, INT *out_Int_6, INT *out_Offset_7) {
	INT v8 = WRAP_I63(0LL);
	STR* v9;
	enum std_byte_Byte v10 = mw_std_str_zaStr_bytezo(v8, in_zaStr_1, &v9);
	INT v11;
	INT v12;
	INT v13 = mw_mirth_lexer_zaLexer_bytezesignzevaluezeindex(v10, &v11, &v12);
	*out_Offset_7 = v12;
	*out_Int_6 = v11;
	*out_zaLexer_4 = in_zaLexer_2;
	*out_zaStr_3 = v9;
	return v13;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
pushq %rax
movq %r9, %rbx
movq %r8, %r12
movq %rcx, %r15
movq %rdx, %r14
movq %rsi, -0x30(%rbp)
movq %rdi, %r13
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq %rdi, %rax
sete %cl
testb $0x3, %r13b
setne %dl
orb %cl, %dl
jne 0x875bb
incl (%rax)
movl $0x1, %edi
movq %r13, %rsi
callq 0xe699
cmpl $0x2d, %eax
je 0x875de
cmpl $0x2b, %eax
jne 0x875ec
movl $0x3, %ecx
movl $0x3, %eax
jmp 0x875f6
movq $-0x1, %rax
movl $0x3, %ecx
jmp 0x875f6
movl $0x3, %eax
movl $0x1, %ecx
movq -0x30(%rbp), %rdx
movq %rcx, (%rbx)
movq $0x1, (%r12)
movq %rdx, (%r15)
movq %r13, (%r14)
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_std_str_zaStr_lastzebyte
static enum std_byte_Byte mw_std_str_zaStr_lastzebyte (STR* in_zaStr_1, STR* *out_zaStr_3) {
	incref(MKSTR(in_zaStr_1));
	enum std_byte_Byte v4 = mw_std_prim_Str_lastzebyte(in_zaStr_1);
	*out_zaStr_3 = in_zaStr_1;
	return v4;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r14
pushq %rbx
movq %rsi, %rbx
movq %rdi, %r14
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq %rdi, %rax
sete %cl
testb $0x3, %r14b
setne %dl
orb %cl, %dl
jne 0x884d9
addl $0x2, (%rax)
movq %r14, %rdi
callq 0xe36d
movq %rax, %rdi
callq 0xe3d6
movl $0x3, %esi
movq %rax, %rdi
callq 0xe9fc
movq %rax, %rdi
movq %r14, %rsi
callq 0xe699
movq %r14, (%rbx)
popq %rbx
popq %r14
popq %rbp
retq
// File: /workspace/github_c_makefile_star2_O3/mirth-lang[P]mirth/bin/mirth1.c
// Function: mw_std_prelude_unsafe_1_sp17
static STR* mw_std_prelude_unsafe_1_sp17 (STR* in_zaStr_1, STR* *out_zaStr_2) {
	STR* v4;
	STR* v5 = mw_std_str_zaStr_dropzelastzebyte(in_zaStr_1, &v4);
	*out_zaStr_2 = v4;
	return v5;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %rbx
pushq %rax
movq %rsi, %rbx
movq %rdi, %r14
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq %rdi, %rax
sete %cl
testb $0x3, %r14b
setne %dl
orb %cl, %dl
jne 0x88536
incl (%rax)
movq %r14, %rdi
callq 0xe36d
movq %rax, %rdi
callq 0xe3d6
movl $0x3, %esi
movq %rax, %rdi
callq 0xe9fc
leaq -0x20(%rbp), %r15
movl $0x1, %esi
movq %r14, %rdi
movq %rax, %rdx
movq %r15, %rcx
callq 0xea7a
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_token_Token_modulezeimportzy
static bool mw_mirth_token_Token_modulezeimportzy (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;
	bool v8 = mw_mirth_token_TokenValue_modulezeimportzy(v5, v6, &v7);
	*out_zaMirth_3 = v7;
	return v8;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r12
pushq %rbx
movq %rdx, %rbx
movq %rdi, %r14
movabsq $0xfffffffffffc, %r12   # imm = 0xFFFFFFFFFFFC
leaq 0x108ca46(%rip), %rdi   # 0x11153e8
callq 0x13c85
movq %rax, %rdi
callq 0x13d82
movq %rax, %rdi
shrq $0x30, %rdi
andq %r12, %rax
movq %rax, %rsi
callq 0x30a3b
cmpl $0x1, %eax
jne 0x88a50
movq %rdx, %rdi
callq 0xd745
leaq 0x108baef(%rip), %rdi   # 0x11144c8
movq %rax, %rsi
callq 0x13c85
movq %rax, %rdi
callq 0x13d82
movq %rax, %rdi
movq %rdx, %rsi
callq 0x9189
movq %rax, %r15
movq 0x108dd52(%rip), %rsi   # 0x1116750
testq %rsi, %rsi
jne 0x88a2c
movl $0x6, %edi
callq 0xf5e4
movq %rax, %rsi
movq $0x6, 0x10(%rax)
movl $0x6f706d69, 0x18(%rax) # imm = 0x6F706D69
movw $0x7472, 0x1c(%rax)     # imm = 0x7472
movq %rax, 0x108dd24(%rip)   # 0x1116750
andq %rsi, %r12
sete %al
testb $0x3, %sil
setne %cl
orb %al, %cl
jne 0x88a41
incl (%r12)
movq %r15, %rdi
callq 0xdf18
testl %eax, %eax
sete %al
jmp 0x88a52
xorl %eax, %eax
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_sp19
static STR* mw_std_maybe_Maybe_1_map_1_sp19 (STR* in_Str_1, struct std_maybe_Maybe_1 in_Maybe_2, struct std_maybe_Maybe_1 *out_Maybe_4) {
	STR* branch_Str_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);
			incref(v7);
			incref(MKSTR(in_Str_1));
			INT v8 = WRAP_I63(1LL);
			INT v9 = v8;
			INT v10 = int_add(value_int(v7), v9);
			STR* v11 = mw_std_prim_Str_dropzeslice(v10, in_Str_1);
			STR* v12 = mw_std_prim_Str_takezeslice(value_int(v7), in_Str_1);
			struct std_maybe_Maybe_1 v13 = mtw_std_maybe_Maybe_1_Some(MKSTR(v11));
			branch_Maybe_6 = v13;
			branch_Str_5 = v12;
		} break;
		case std_maybe_Maybe_1_None: {
			struct std_maybe_Maybe_1 v14 = { .tag=std_maybe_Maybe_1_None };
			branch_Maybe_6 = v14;
			branch_Str_5 = in_Str_1;
		} break;
		default: {
			do_panic(str_make("unexpected fallthrough in match\n", 32));
		}
	}
	*out_Maybe_4 = branch_Maybe_6;
	return branch_Str_5;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x28, %rsp
movq %rcx, %rbx
movl %esi, %r13d
movq %rdi, %r15
testl %esi, %esi
je 0x892fe
cmpl $0x1, %r13d
jne 0x89320
movabsq $0xfffffffffffc, %r14   # imm = 0xFFFFFFFFFFFC
movq %rdx, %rdi
callq 0xd745
movq %rax, %r12
testb $0x1, %dl
je 0x8922a
movq %r12, %rax
andq %r14, %rax
sete %cl
testb $0x3, %r12b
setne %sil
orb %cl, %sil
jne 0x8922a
incl (%rax)
movl %r13d, -0x2c(%rbp)
movq %r15, %rax
andq %r14, %rax
sete %cl
testb $0x3, %r15b
setne %sil
orb %cl, %sil
jne 0x89246
incl (%rax)
movq %r12, %rdi
movq %rdx, -0x40(%rbp)
movq %rdx, %rsi
callq 0x1099d
movl $0x3, %esi
movq %r12, %rdi
callq 0xe50f
leaq -0x48(%rbp), %r13
movq %r15, %rdi
movq %rax, %rsi
movq %r13, %rdx
callq 0x87456
movq %rax, -0x38(%rbp)
movq (%r13), %rdi
movq %rdi, %rax
andq %r14, %rax
sete %cl
testb $0x3, %dil
setne %dl
orb %cl, %dl
jne 0x892a0
decl (%rax)
jne 0x892a0
leaq 0x87ebe(%rip), %rsi     # 0x111159
callq 0xd13d
movq %r12, %rdi
movq -0x40(%rbp), %rsi
callq 0x1099d
movl $0x1, %esi
movq %r15, %rdi
movq %r12, %rdx
movq %r13, %rcx
callq 0xea7a
movq %rax, %r15
movq (%r13), %rdi
andq %rdi, %r14
sete %al
testb $0x3, %dil
setne %cl
orb %al, %cl
jne 0x892e8
decl (%r14)
jne 0x892e8
leaq 0x87e76(%rip), %rsi     # 0x111159
callq 0xd13d
movq -0x38(%rbp), %rdi
leaq 0x87e66(%rip), %rsi     # 0x111159
callq 0x9353
movl -0x2c(%rbp), %r13d
jmp 0x89300
xorl %edx, %edx
movl %r13d, (%rbx)
movl $0x0, 0x4(%rbx)
movq %rdx, 0x8(%rbx)
movq %r15, %rax
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 0x57394(%rip), %xmm0    # 0xe06cd
movups %xmm0, 0x18(%rax)
movups 0x57399(%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: mirth_arrow_Atom_set_op
static struct mirth_arrow_Atom* mirth_arrow_Atom_set_op(struct mirth_arrow_Atom* self, struct mirth_arrow_Op x) {
	if (self->refs > 1) {
		struct mirth_arrow_Atom* self2 = calloc(1, sizeof * self2);
		ASSERT(self2); memcpy(self2, self, sizeof * self2);
		incref(MK_mirth_arrow_Home(self2->mhome));
		incref(MK_std_list_List_1(self2->mctx));
		self2->mop = x;
		incref(MK_std_list_List_1(self2->margs));
		incref(MK_mirth_type_StackType(self2->mdom));
		incref(MK_mirth_type_StackType(self2->mcod));
		incref(MK_std_list_List_1(self2->msubst));
		self->refs--;
		return self2;
	}
	decref(MK_mirth_arrow_Op(self->mop));
	self->mop = x;
	return self;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %rbx
pushq %rax
movq %rdx, %r14
movl %esi, %r15d
movq %rdi, %rbx
cmpl $0x2, (%rdi)
jb 0x8b0f3
movl $0x1, %edi
movl $0x80, %esi
callq 0x50c0
testq %rax, %rax
je 0x8b142
movabsq $0xfffffffffffc, %rdx   # imm = 0xFFFFFFFFFFFC
movl $0x10, %ecx
movq %rax, %rdi
movq %rbx, %rsi
rep  movsq (%rsi), %es:(%rdi)
movq 0x10(%rax), %rsi
movq %rsi, %rcx
andq %rdx, %rcx
sete %dil
testb $0x3, %sil
setne %sil
orb %dil, %sil
jne 0x8b058
incl (%rcx)
movq 0x28(%rax), %rsi
movq %rsi, %rcx
andq %rdx, %rcx
sete %dil
testb $0x3, %sil
setne %sil
orb %dil, %sil
jne 0x8b075
incl (%rcx)
movl %r15d, 0x30(%rax)
movq %r14, 0x38(%rax)
movq 0x48(%rax), %rsi
movq %rsi, %rcx
andq %rdx, %rcx
sete %dil
testb $0x3, %sil
setne %sil
orb %dil, %sil
jne 0x8b09a
incl (%rcx)
movq 0x58(%rax), %rsi
movq %rsi, %rcx
andq %rdx, %rcx
sete %dil
testb $0x3, %sil
setne %sil
orb %dil, %sil
jne 0x8b0b7
incl (%rcx)
movq 0x68(%rax), %rsi
movq %rsi, %rcx
andq %rdx, %rcx
sete %dil
testb $0x3, %sil
setne %sil
orb %dil, %sil
jne 0x8b0d4
incl (%rcx)
movq 0x78(%rax), %rcx
andq %rcx, %rdx
sete %sil
testb $0x3, %cl
setne %cl
orb %sil, %cl
jne 0x8b0ec
incl (%rdx)
decl (%rbx)
movq %rax, %rbx
jmp 0x8b134
movq 0x38(%rbx), %rcx
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq %rcx, %rax
sete %dl
testb $0x3, %cl
setne %cl
orb %dl, %cl
jne 0x8b12c
decl (%rax)
jne 0x8b12c
leaq 0x8762d(%rip), %rsi     # 0x112749
movl 0x30(%rbx), %edi
shlq $0x30, %rdi
orq 0x38(%rbx), %rdi
callq 0xd13d
movl %r15d, 0x30(%rbx)
movq %r14, 0x38(%rbx)
movq %rbx, %rax
addq $0x8, %rsp
popq %rbx
popq %r14
popq %r15
popq %rbp
retq
leaq 0x5df99(%rip), %rsi     # 0xe90e2
movl $0x33, %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_specializzer_zaSPCheck_pushzecheckzeblockzx
static void mw_mirth_specializzer_zaSPCheck_pushzecheckzeblockzx (struct mirth_mirth_zaMirth* in_zaMirth_1, struct std_list_List_1 in_zaSPCheck_2, uint64_t in_Block_3, struct mirth_mirth_zaMirth* *out_zaMirth_4, struct std_list_List_1 *out_zaSPCheck_5) {
	struct mirth_specializzer_SPCheckItem v6 = mtw_mirth_specializzer_SPCheckItem_Block(in_Block_3);
	struct mirth_mirth_zaMirth* v7;
	struct std_list_List_1 v8;
	mw_mirth_specializzer_zaSPCheck_pushzecheckzeitemzx(in_zaMirth_1, in_zaSPCheck_2, v6, &v7, &v8);
	*out_zaSPCheck_5 = v8;
	*out_zaMirth_4 = v7;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x38, %rsp
movq %r9, -0x30(%rbp)
movq %r8, -0x38(%rbp)
movq %rcx, %rbx
movq %rdx, %r15
movl %esi, %r12d
movq %rdi, %r13
movl $0x1, %edi
movl $0x10, %esi
callq 0x50c0
testq %rax, %rax
je 0x8b1f3
movl $0x1, (%rax)
movq %rbx, 0x8(%rax)
leaq -0x50(%rbp), %r14
movq %r14, (%rsp)
leaq -0x40(%rbp), %rbx
movq %r13, %rdi
movl %r12d, %esi
movq %r15, %rdx
movl $0x1, %ecx
movq %rax, %r8
movq %rbx, %r9
callq 0x8b3dc
movups (%r14), %xmm0
movq -0x30(%rbp), %rax
movups %xmm0, (%rax)
movq (%rbx), %rax
movq -0x38(%rbp), %rcx
movq %rax, (%rcx)
addq $0x38, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
leaq 0x5df50(%rip), %rsi     # 0xe914a
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_for_1_sp91
static void mw_std_list_List_1_for_1_sp91 (struct mirth_mirth_zaMirth* in_zaMirth_1, struct std_list_List_1 in_zaSPCheck_2, struct std_list_List_1 in_List_3, struct mirth_mirth_zaMirth* *out_zaMirth_4, struct std_list_List_1 *out_zaSPCheck_5) {
	bool v6 = true;
	struct mirth_mirth_zaMirth* r7 = in_zaMirth_1;
	struct std_list_List_1 r8 = in_zaSPCheck_2;
	struct std_list_List_1 v9 = in_List_3;
	bool v10 = v6;
	bool v11 = v6;
	while (v11) {
		struct mirth_mirth_zaMirth* r12 = r7;
		struct std_list_List_1 r13 = r8;
		struct std_list_List_1 v14 = v9;
		bool v15 = v10;
		struct mirth_mirth_zaMirth* branch_zaMirth_16;
		struct std_list_List_1 branch_zaSPCheck_17;
		struct std_list_List_1 branch_List_18;
		bool branch_Bool_19;
		switch ((v14).tag) {
			case std_list_List_1_Cons: {
				struct std_list_List_1 v20;
				VAL v21 = mtp_std_list_List_1_Cons(v14, &v20);
				struct mirth_mirth_zaMirth* v22;
				struct std_list_List_1 v23;
				mw_mirth_specializzer_zaSPCheck_checkzeargzx(r12, r13, V_mirth_arrow_Block(v21), &v22, &v23);
				bool v24 = true;
				branch_Bool_19 = v24;
				branch_List_18 = v20;
				branch_zaSPCheck_17 = v23;
				branch_zaMirth_16 = v22;
			} break;
			case std_list_List_1_Nil: {
				struct std_list_List_1 v25 = { .tag=std_list_List_1_Nil };
				bool v26 = false;
				branch_Bool_19 = v26;
				branch_List_18 = v25;
				branch_zaSPCheck_17 = r13;
				branch_zaMirth_16 = r12;
			} break;
			default: {
				do_panic(str_make("unexpected fallthrough in match\n", 32));
			}
		}
		v11 = branch_Bool_19;
		v10 = branch_Bool_19;
		v9 = branch_List_18;
		r8 = branch_zaSPCheck_17;
		r7 = branch_zaMirth_16;
	}
	decref(MK_std_list_List_1(v9));
	*out_zaSPCheck_5 = r8;
	*out_zaMirth_4 = r7;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x38, %rsp
movq %r9, -0x30(%rbp)
movq %rdx, %r14
movl %esi, %r15d
movq %rdi, %r13
leaq -0x48(%rbp), %rbx
leaq -0x40(%rbp), %r12
cmpl $0x1, %ecx
jne 0x8b27e
movq %r8, %rdi
leaq -0x58(%rbp), %rsi
callq 0xd0aa
movq %r13, %rdi
movl %r15d, %esi
movq %r14, %rdx
movq %rax, %rcx
movq %rbx, %r8
movq %r12, %r9
callq 0x8b167
movl -0x40(%rbp), %r15d
movl -0x3c(%rbp), %eax
movq -0x38(%rbp), %r14
movq -0x48(%rbp), %r13
movl -0x58(%rbp), %ecx
movq -0x50(%rbp), %r8
jmp 0x8b23e
testl %ecx, %ecx
jne 0x8b2a6
movq 0x10(%rbp), %rcx
movl %r15d, (%rcx)
movl %eax, 0x4(%rcx)
movq %r14, 0x8(%rcx)
movq -0x30(%rbp), %rax
movq %r13, (%rax)
addq $0x38, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
movl $0x20, %edi
callq 0xf5e4
movq $0x20, 0x10(%rax)
movups 0x5540e(%rip), %xmm0    # 0xe06cd
movups %xmm0, 0x18(%rax)
movups 0x55413(%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_specializzer_zaSPCheck_pushzecheckzewordzx
static void mw_mirth_specializzer_zaSPCheck_pushzecheckzewordzx (struct mirth_mirth_zaMirth* in_zaMirth_1, struct std_list_List_1 in_zaSPCheck_2, uint64_t in_Word_3, struct mirth_mirth_zaMirth* *out_zaMirth_4, struct std_list_List_1 *out_zaSPCheck_5) {
	struct mirth_specializzer_SPCheckItem v6 = mtw_mirth_specializzer_SPCheckItem_Word(in_Word_3);
	struct mirth_mirth_zaMirth* v7;
	struct std_list_List_1 v8;
	mw_mirth_specializzer_zaSPCheck_pushzecheckzeitemzx(in_zaMirth_1, in_zaSPCheck_2, v6, &v7, &v8);
	*out_zaSPCheck_5 = v8;
	*out_zaMirth_4 = v7;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x38, %rsp
movq %r9, -0x30(%rbp)
movq %r8, -0x38(%rbp)
movq %rcx, %rbx
movq %rdx, %r15
movl %esi, %r12d
movq %rdi, %r13
movl $0x1, %edi
movl $0x10, %esi
callq 0x50c0
testq %rax, %rax
je 0x8b35f
movl $0x1, (%rax)
movq %rbx, 0x8(%rax)
leaq -0x50(%rbp), %r14
movq %r14, (%rsp)
leaq -0x40(%rbp), %rbx
movq %r13, %rdi
movl %r12d, %esi
movq %r15, %rdx
xorl %ecx, %ecx
movq %rax, %r8
movq %rbx, %r9
callq 0x8b3dc
movups (%r14), %xmm0
movq -0x30(%rbp), %rax
movups %xmm0, (%rax)
movq (%rbx), %rax
movq -0x38(%rbp), %rcx
movq %rax, (%rcx)
addq $0x38, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
leaq 0x5dbc3(%rip), %rsi     # 0xe8f29
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_var_Var_iszephysicalzy
static bool mw_mirth_var_Var_iszephysicalzy (struct mirth_mirth_zaMirth* in_zaMirth_1, uint64_t in_Var_2, struct mirth_mirth_zaMirth* *out_zaMirth_3) {
	struct mirth_mirth_zaMirth* v5;
	struct mirth_type_Type v6 = mw_mirth_var_Var_type(in_zaMirth_1, in_Var_2, &v5);
	struct mirth_mirth_zaMirth* v7;
	bool v8 = mw_mirth_type_Type_iszephysicalzy(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 0x1089c55(%rip), %rdi   # 0x1114ff0
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 0x8c18e
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_Block_freezevars
static struct std_list_List_1 mw_mirth_arrow_Block_freezevars (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_freezevars, in_Block_2);
	bool v6 = mut_is_set(v5);
	struct mirth_mirth_zaMirth* branch_zaMirth_7;
	struct std_list_List_1 branch_List_8;
	if (v6) {
		VAL v9 = mut_get(v5);
		branch_List_8 = V_std_list_List_1(v9);
		branch_zaMirth_7 = in_zaMirth_1;
	} else {
		struct mirth_mirth_zaMirth* v10;
		struct mirth_arrow_Arrow* v11 = mw_mirth_arrow_Block_arrow(in_zaMirth_1, in_Block_2, &v10);
		struct mirth_mirth_zaMirth* v12;
		struct std_list_List_1 v13 = mw_mirth_arrow_Arrow_freezevars(v10, v11, &v12);
		incref(MK_std_list_List_1(v13));
		mut_set(MK_std_list_List_1(v13), v5);
		branch_List_8 = v13;
		branch_zaMirth_7 = v12;
	}
	*out_zaMirth_3 = branch_zaMirth_7;
	return branch_List_8;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x18, %rsp
movq %rdx, -0x38(%rbp)
movq %rsi, %r12
movq %rdi, %r15
movabsq $0xfffffffffffc, %rbx   # imm = 0xFFFFFFFFFFFC
leaq 0x108b1de(%rip), %rdi   # 0x1116808
callq 0x13c85
movq %rax, %r14
cmpq $0x0, 0x8(%rax)
je 0x8b650
movq %r14, %rdi
callq 0x13d82
movq %rax, %r12
andq %rax, %rbx
shrq $0x30, %r12
movq %rbx, %r13
jmp 0x8b6b7
leaq 0x108a261(%rip), %rdi   # 0x11158b8
movq %r12, %rsi
callq 0x13c85
leaq -0x30(%rbp), %r12
movq %r15, %rdi
movq %rax, %rsi
movq %r12, %rdx
callq 0x1a6db
movq (%r12), %rdi
leaq -0x30(%rbp), %rdx
movq %rax, %rsi
callq 0x8b6d3
movl %eax, %r12d
movq %rdx, %r13
movq %r12, %rdi
shlq $0x30, %rdi
orq %rdx, %rdi
leaq 0x85be1(%rip), %rsi     # 0x111279
andq %rdx, %rbx
sete %al
testb $0x3, %r13b
setne %cl
orb %al, %cl
jne 0x8b6ab
incl (%rbx)
movq %r14, %rdx
callq 0x14766
movq -0x30(%rbp), %r15
movq -0x38(%rbp), %rax
movq %r15, (%rax)
movl %r12d, %eax
movq %r13, %rdx
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: mw_std_list_List_1_union_sp1
static struct std_list_List_1 mw_std_list_List_1_union_sp1 (struct std_list_List_1 in_List_1, struct std_list_List_1 in_List_2) {
	incref(MK_std_list_List_1(in_List_1));
	struct std_list_List_1 v4 = mw_std_list_List_1_difference_sp1(in_List_2, in_List_1);
	struct std_list_List_1 v5 = mw_std_list_List_1_cat(in_List_1, v4);
	return v5;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r14
pushq %rbx
movq %rsi, %rbx
movl %edi, %r14d
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq %rsi, %rax
sete %sil
testb $0x3, %bl
setne %dil
orb %sil, %dil
jne 0x8bded
incl (%rax)
movl %edx, %edi
movq %rcx, %rsi
movl %r14d, %edx
movq %rbx, %rcx
callq 0x8be11
movq %rdx, %rcx
movl %r14d, %edi
movq %rbx, %rsi
movl %eax, %edx
popq %rbx
popq %r14
popq %rbp
jmp 0x28d8d
// File: /workspace/github_c_makefile_star2_O3/mirth-lang[P]mirth/bin/mirth1.c
// Function: mw_std_maybe_Maybe_1_has_1_sp1
static bool mw_std_maybe_Maybe_1_has_1_sp1 (struct std_maybe_Maybe_1 in_Maybe_1) {
	bool branch_Bool_3;
	switch ((in_Maybe_1).tag) {
		case std_maybe_Maybe_1_Some: {
			VAL v4 = mtp_std_maybe_Maybe_1_Some(in_Maybe_1);
			INT v5 = WRAP_I63(0LL);
			INT v6 = v5;
			INT v7 = value_nat(v4);
			bool v8 = int_eq(v7, v6);
			branch_Bool_3 = v8;
		} break;
		case std_maybe_Maybe_1_None: {
			bool v9 = false;
			branch_Bool_3 = v9;
		} break;
		default: {
			do_panic(str_make("unexpected fallthrough in match\n", 32));
		}
	}
	return branch_Bool_3;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %rbx
pushq %rax
testl %edi, %edi
je 0x8c6a6
cmpl $0x1, %edi
jne 0x8c6af
movq %rsi, %rdi
callq 0xd745
movq %rax, %rbx
movq %rax, %rdi
movq %rdx, %rsi
callq 0x324c1
movl $0x1, %esi
movq %rbx, %rdi
callq 0xe83a
testl %eax, %eax
sete %al
jmp 0x8c6a8
xorl %eax, %eax
addq $0x8, %rsp
popq %rbx
popq %rbp
retq
movl $0x20, %edi
callq 0xf5e4
movq $0x20, 0x10(%rax)
movups 0x54005(%rip), %xmm0    # 0xe06cd
movups %xmm0, 0x18(%rax)
movups 0x5400a(%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_MetaVar_expandzeif_2_sp4
static struct std_maybe_Maybe_1 mw_mirth_type_MetaVar_expandzeif_2_sp4 (struct mirth_mirth_zaMirth* in_zaMirth_1, uint64_t in_MetaVar_2, struct mirth_mirth_zaMirth* *out_zaMirth_3) {
	struct mirth_mirth_zaMirth* v5;
	struct std_maybe_Maybe_1 v6 = mw_mirth_type_MetaVar_typezy(in_zaMirth_1, in_MetaVar_2, &v5);
	struct mirth_mirth_zaMirth* branch_zaMirth_7;
	struct std_maybe_Maybe_1 branch_Maybe_8;
	switch ((v6).tag) {
		case std_maybe_Maybe_1_None: {
			struct std_maybe_Maybe_1 v9 = { .tag=std_maybe_Maybe_1_None };
			branch_Maybe_8 = v9;
			branch_zaMirth_7 = v5;
		} break;
		case std_maybe_Maybe_1_Some: {
			VAL v10 = mtp_std_maybe_Maybe_1_Some(v6);
			struct mirth_mirth_zaMirth* v11;
			struct mirth_type_Type v12 = mw_mirth_type_Type_expand(v5, V_mirth_type_Type(v10), &v11);
			incref(MK_mirth_type_Type(v12));
			struct std_maybe_Maybe_1 v13 = mtw_std_maybe_Maybe_1_Some(MK_mirth_type_Type(v12));
			struct mirth_mirth_zaMirth* v14;
			mw_mirth_type_MetaVar_typezyzx(v11, v13, in_MetaVar_2, &v14);
			struct mirth_mirth_zaMirth* v15;
			struct std_maybe_Maybe_1 v16 = mw_mirth_type_Type_physicalzebitszy(v14, v12, &v15);
			branch_Maybe_8 = v16;
			branch_zaMirth_7 = v15;
		} 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 %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x28, %rsp
movq %rdx, %rbx
movq %rsi, %r14
leaq -0x30(%rbp), %rdx
callq 0x2d45d
cmpl $0x1, %eax
je 0x8c719
testl %eax, %eax
jne 0x8c7da
xorl %eax, %eax
movq -0x30(%rbp), %rcx
xorl %edx, %edx
jmp 0x8c7c8
movq %rbx, -0x40(%rbp)
movabsq $0xfffffffffffc, %r15   # imm = 0xFFFFFFFFFFFC
movq %rdx, %rdi
callq 0xd745
movq -0x30(%rbp), %rdi
movq %rax, %rsi
shrq $0x30, %rsi
andq %r15, %rax
leaq -0x48(%rbp), %rcx
movq %rax, %rdx
callq 0x2d4cc
movq %rdx, %r12
movq %rax, -0x38(%rbp)
movq %rax, %rdi
shlq $0x30, %rdi
orq %rdx, %rdi
leaq 0x85388(%rip), %rsi     # 0x111ae9
movq %rdx, %rax
andq %r15, %rax
sete %cl
testb $0x3, %r12b
setne %dl
orb %cl, %dl
jne 0x8c777
incl (%rax)
callq 0x9353
movq %rdx, %rbx
movq -0x48(%rbp), %r13
leaq 0x1088c9e(%rip), %rdi   # 0x1115428
movq %r14, %rsi
callq 0x13c85
addq $0x4, %r15
orq %rbx, %r15
leaq 0x84b21(%rip), %rsi     # 0x1112c1
movq %r15, %rdi
movq %rax, %rdx
callq 0x14766
leaq -0x50(%rbp), %rbx
movq %r13, %rdi
movq -0x38(%rbp), %rsi
movq %r12, %rdx
movq %rbx, %rcx
callq 0x8c37c
movq (%rbx), %rcx
movq -0x40(%rbp), %rbx
movq %rcx, (%rbx)
addq $0x28, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
movl $0x20, %edi
callq 0xf5e4
movq $0x20, 0x10(%rax)
movups 0x53eda(%rip), %xmm0    # 0xe06cd
movups %xmm0, 0x18(%rax)
movups 0x53edf(%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_data_Tag_physicalzebitszy
static struct std_maybe_Maybe_1 mw_mirth_data_Tag_physicalzebitszy (struct mirth_mirth_zaMirth* in_zaMirth_1, uint64_t in_Tag_2, struct mirth_mirth_zaMirth* *out_zaMirth_3) {
	void* v5 = field_mut(&mfld_mirth_data_Tag_physicalzebitszy, in_Tag_2);
	bool v6 = mut_is_set(v5);
	struct mirth_mirth_zaMirth* branch_zaMirth_7;
	struct std_maybe_Maybe_1 branch_Maybe_8;
	if (v6) {
		VAL v9 = mut_get(v5);
		branch_Maybe_8 = V_std_maybe_Maybe_1(v9);
		branch_zaMirth_7 = in_zaMirth_1;
	} else {
		struct std_maybe_Maybe_1 v10 = { .tag=std_maybe_Maybe_1_None };
		struct mirth_mirth_zaMirth* v11;
		mw_mirth_data_Tag_physicalzebitszyzx(in_zaMirth_1, v10, in_Tag_2, &v11);
		struct mirth_mirth_zaMirth* v12;
		struct mirth_type_ArrowType* v13 = mw_mirth_data_Tag_type(v11, in_Tag_2, &v12);
		struct mirth_type_StackType v14 = v13->mdom;
		incref(MK_mirth_type_StackType(v14));
		decref(MK_mirth_type_ArrowType(v13));
		struct mirth_mirth_zaMirth* v15;
		struct std_maybe_Maybe_1 v16 = mw_mirth_type_StackType_physicalzebitszy(v12, v14, &v15);
		incref(MK_std_maybe_Maybe_1(v16));
		mut_set(MK_std_maybe_Maybe_1(v16), v5);
		branch_Maybe_8 = v16;
		branch_zaMirth_7 = v15;
	}
	*out_zaMirth_3 = branch_zaMirth_7;
	return branch_Maybe_8;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x18, %rsp
movq %rdx, -0x30(%rbp)
movq %rsi, %r15
movq %rdi, %r12
movabsq $0xfffffffffffc, %rbx   # imm = 0xFFFFFFFFFFFC
leaq 0x108995a(%rip), %rdi   # 0x1116830
callq 0x13c85
movq %rax, %r14
cmpq $0x0, 0x8(%rax)
je 0x8ceff
movq %r14, %rdi
callq 0x13d82
movq %rax, %r13
andq %rax, %rbx
shrq $0x30, %r13
movq %rbx, %r15
jmp 0x8cfbb
leaq 0x108992a(%rip), %rdi   # 0x1116830
movq %r15, %rsi
callq 0x13c85
leaq 0x843ac(%rip), %rsi     # 0x1112c1
xorl %edi, %edi
movq %rax, %rdx
callq 0x14766
leaq -0x40(%rbp), %rdx
movq %r12, %rdi
movq %r15, %rsi
callq 0x4fa43
movq %rax, %rdi
movl 0x8(%rax), %r12d
movq 0x10(%rax), %r13
movq %r13, %rcx
andq %rbx, %rcx
sete %dl
testb $0x3, %r13b
setne %sil
orb %dl, %sil
jne 0x8cf51
incl (%rcx)
andq %rbx, %rax
sete %cl
testb $0x3, %dil
setne %dl
orb %cl, %dl
jne 0x8cf72
decl (%rax)
jne 0x8cf72
leaq 0x84c0c(%rip), %rsi     # 0x111b79
callq 0xd13d
movq -0x40(%rbp), %rdi
leaq -0x38(%rbp), %rcx
movl %r12d, %esi
movq %r13, %rdx
callq 0x8cca7
movl %eax, %r13d
movq %rdx, %r15
movq %r13, %rdi
shlq $0x30, %rdi
orq %rdx, %rdi
andq %rdx, %rbx
sete %al
testb $0x3, %r15b
setne %cl
orb %al, %cl
jne 0x8cfa8
incl (%rbx)
leaq 0x84312(%rip), %rsi     # 0x1112c1
movq %r14, %rdx
callq 0x14766
movq -0x38(%rbp), %r12
movq -0x30(%rbp), %rax
movq %r12, (%rax)
movl %r13d, %eax
movq %r15, %rdx
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: mw_std_maybe_Maybe_1_map2_1_sp1
static struct std_maybe_Maybe_1 mw_std_maybe_Maybe_1_map2_1_sp1 (struct std_maybe_Maybe_1 in_Maybe_1, struct std_maybe_Maybe_1 in_Maybe_2) {
	struct std_maybe_Maybe_1 branch_Maybe_4;
	switch ((in_Maybe_2).tag) {
		case std_maybe_Maybe_1_None: {
			decref(MK_std_maybe_Maybe_1(in_Maybe_1));
			struct std_maybe_Maybe_1 v5 = { .tag=std_maybe_Maybe_1_None };
			branch_Maybe_4 = v5;
		} break;
		case std_maybe_Maybe_1_Some: {
			VAL v6 = mtp_std_maybe_Maybe_1_Some(in_Maybe_2);
			struct std_maybe_Maybe_1 branch_Maybe_7;
			switch ((in_Maybe_1).tag) {
				case std_maybe_Maybe_1_None: {
					decref(v6);
					struct std_maybe_Maybe_1 v8 = { .tag=std_maybe_Maybe_1_None };
					branch_Maybe_7 = v8;
				} break;
				case std_maybe_Maybe_1_Some: {
					VAL v9 = mtp_std_maybe_Maybe_1_Some(in_Maybe_1);
					INT v10 = value_nat(v9);
					INT v11 = value_nat(v6);
					INT v12 = int_add(v10, v11);
					INT v13 = v12;
					struct std_maybe_Maybe_1 v14 = mtw_std_maybe_Maybe_1_Some(MKNAT(v13));
					branch_Maybe_7 = v14;
				} break;
				default: {
					do_panic(str_make("unexpected fallthrough in match\n", 32));
				}
			}
			branch_Maybe_4 = branch_Maybe_7;
		} break;
		default: {
			do_panic(str_make("unexpected fallthrough in match\n", 32));
		}
	}
	return branch_Maybe_4;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r12
pushq %rbx
movq %rsi, %r12
movl %edi, %r15d
cmpl $0x1, %edx
je 0x8d02c
testl %edx, %edx
jne 0x8d0ca
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq %r12, %rax
sete %cl
testb $0x3, %r12b
setne %dl
orb %cl, %dl
jne 0x8d070
decl (%rax)
jne 0x8d070
shlq $0x30, %r15
orq %r12, %r15
leaq 0x8429f(%rip), %rsi     # 0x1112c1
movq %r15, %rdi
callq 0xd13d
jmp 0x8d070
movq %rcx, %rdi
callq 0xd745
movq %rax, %rbx
movq %rdx, %r14
cmpl $0x1, %r15d
je 0x8d076
testl %r15d, %r15d
jne 0x8d0ca
testb $0x1, %r14b
je 0x8d070
movabsq $0xfffffffffffc, %rcx   # imm = 0xFFFFFFFFFFFC
movq %rbx, %rax
andq %rcx, %rax
sete %cl
testb $0x3, %bl
setne %dl
orb %cl, %dl
jne 0x8d070
decl (%rax)
je 0x8d0bf
xorl %eax, %eax
xorl %edx, %edx
jmp 0x8d0b6
movq %r12, %rdi
callq 0xd745
movq %rax, %r15
movq %rax, %rdi
movq %rdx, %rsi
callq 0x324c1
movq %rbx, %rdi
movq %r14, %rsi
callq 0x324c1
movq %r15, %rdi
movq %rbx, %rsi
callq 0xe50f
leaq 0x84068(%rip), %rsi     # 0x111111
movq %rax, %rdi
callq 0x9353
movl $0x1, %eax
popq %rbx
popq %r12
popq %r14
popq %r15
popq %rbp
retq
movq %rbx, %rdi
movq %r14, %rsi
jmp 0x8d025
movl $0x20, %edi
callq 0xf5e4
movq $0x20, 0x10(%rax)
movups 0x535ea(%rip), %xmm0    # 0xe06cd
movups %xmm0, 0x18(%rax)
movups 0x535ef(%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_word_Word_spzesynthed
static struct std_list_List_1 mw_mirth_word_Word_spzesynthed (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_ztspzesynthed, in_Word_2);
	struct std_maybe_Maybe_1 v6 = mw_std_prelude_zozy(v5);
	struct std_list_List_1 branch_Map_7;
	switch ((v6).tag) {
		case std_maybe_Maybe_1_Some: {
			VAL v8 = mtp_std_maybe_Maybe_1_Some(v6);
			branch_Map_7 = V_std_list_List_1(v8);
		} break;
		case std_maybe_Maybe_1_None: {
			struct std_list_List_1 v9 = mw_std_map_Map_2_Nil();
			branch_Map_7 = v9;
		} break;
		default: {
			do_panic(str_make("unexpected fallthrough in match\n", 32));
		}
	}
	*out_zaMirth_3 = in_zaMirth_1;
	return branch_Map_7;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r14
pushq %rbx
movq %rdx, %rbx
movq %rdi, %r14
leaq 0x1089752(%rip), %rdi   # 0x1116860
callq 0x13c85
movq %rax, %rdi
callq 0x14f5f
cmpl $0x1, %eax
jne 0x8d13b
movq %rdx, %rdi
callq 0xd745
movabsq $0xfffffffffffc, %rdx   # imm = 0xFFFFFFFFFFFC
andq %rax, %rdx
shrq $0x30, %rax
jmp 0x8d13f
xorl %eax, %eax
xorl %edx, %edx
movq %r14, (%rbx)
popq %rbx
popq %r14
popq %rbp
retq
// File: /workspace/github_c_makefile_star2_O3/mirth-lang[P]mirth/bin/mirth1.c
// Function: mb_mirth_mirth_PropLabel_prop_1_sp1_0
static void mb_mirth_mirth_PropLabel_prop_1_sp1_0 (void) {
	uint64_t v0 = V_mirth_word_Word(pop_value());
	struct mirth_mirth_zaMirth* r1 = V_mirth_mirth_zaMirth(pop_resource());
	struct mirth_mirth_zaMirth* v2;
	struct mirth_arrow_Arrow* v3 = mw_mirth_word_Word_arrow(r1, v0, &v2);
	struct mirth_type_ArrowType* v4;
	struct std_list_List_1 v5 = mw_mirth_arrow_Arrow_ctxzetype(v3, &v4);
	PTUP r6 = PTRMK(0,tup_new(2),0);
	((TUP*)PTRPTR(r6))->size = 2;
	((TUP*)PTRPTR(r6))->cells[1] = MK_mirth_type_ArrowType(v4);
	((TUP*)PTRPTR(r6))->cells[0] = MK_std_list_List_1(v5);
	push_resource(MK_mirth_mirth_zaMirth(v2));
	push_value(MKTUP(r6));
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
pushq %rax
callq 0xd699
movq %rax, %rbx
callq 0xd6f2
movq %rax, %r14
leaq 0x1088564(%rip), %rdi   # 0x11156d0
movq %rbx, %rsi
callq 0x13c85
leaq -0x30(%rbp), %rbx
movq %r14, %rdi
movq %rax, %rsi
movq %rbx, %rdx
callq 0x1a6db
movq (%rbx), %rbx
leaq -0x30(%rbp), %r14
movq %rax, %rdi
movq %r14, %rsi
callq 0x3482e
movl %eax, %r15d
movq %rdx, %r12
movl $0x2, %edi
callq 0xe0e7
movq %rax, %r13
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq %r13, %rax
movw $0x2, 0x6(%rax)
movq (%r14), %rcx
leaq 0x849b1(%rip), %rdx     # 0x111b79
movq %rcx, 0x18(%rax)
movq %rdx, 0x20(%rax)
shlq $0x30, %r15
orq %r12, %r15
leaq 0x8409b(%rip), %rcx     # 0x111279
movq %r15, 0x8(%rax)
movq %rcx, 0x10(%rax)
leaq 0x84703(%rip), %rsi     # 0x1118f0
movq %rbx, %rdi
callq 0x8e6d
leaq 0x8419d(%rip), %rsi     # 0x111399
movq %r13, %rdi
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
jmp 0xd34b