LLM4Binary/decompile-bench-makefile huggingface dataset:
// File: /workspace/github_c_makefile_star2_O2/mirth-lang[P]mirth/bin/mirth1.c
// Function: mirth_match_Pattern_free
static void mirth_match_Pattern_free (VAL vself) {
	ASSERT(vself.tag == TAG_mirth_match_Pattern);
	struct mirth_match_Pattern* self = vself.data.ptr;
	decref(MK_mirth_arrow_Home(self->mhome));
	decref(MK_std_list_List_1(self->mouterzectx));
	decref(MK_std_list_List_1(self->minnerzectx));
	decref(MK_std_list_List_1(self->msaved));
	decref(MK_mirth_type_StackType(self->mmid));
	decref(MK_mirth_type_StackType(self->mcod));
	decref(MK_std_list_List_1(self->matoms));
	free(self);
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r12
pushq %rbx
leaq 0xbd8a6(%rip), %rax     # 0x109551
cmpq %rsi, %rax
jne 0x4be29
movq %rdi, %rbx
movabsq $0xfffffffffffc, %r12   # imm = 0xFFFFFFFFFFFC
movq 0x10(%rdi), %rcx
movq %rcx, %rax
andq %r12, %rax
sete %dl
testb $0x3, %cl
setne %cl
orb %dl, %cl
jne 0x4bcf3
decl (%rax)
jne 0x4bcf3
leaq 0xbd706(%rip), %rsi     # 0x1093e9
movl 0x8(%rbx), %edi
shlq $0x30, %rdi
orq 0x10(%rbx), %rdi
callq 0xce94
movq 0x30(%rbx), %rcx
leaq 0xbc57b(%rip), %r14     # 0x108279
movq %rcx, %rax
andq %r12, %rax
sete %dl
testb $0x3, %cl
setne %cl
orb %dl, %cl
jne 0x4bd28
decl (%rax)
jne 0x4bd28
movl 0x28(%rbx), %edi
shlq $0x30, %rdi
orq 0x30(%rbx), %rdi
movq %r14, %rsi
callq 0xce94
movq 0x40(%rbx), %rcx
movq %rcx, %rax
andq %r12, %rax
sete %dl
testb $0x3, %cl
setne %cl
orb %dl, %cl
jne 0x4bd56
decl (%rax)
jne 0x4bd56
movl 0x38(%rbx), %edi
shlq $0x30, %rdi
orq 0x40(%rbx), %rdi
movq %r14, %rsi
callq 0xce94
movq 0x50(%rbx), %rcx
movq %rcx, %rax
andq %r12, %rax
sete %dl
testb $0x3, %cl
setne %cl
orb %dl, %cl
jne 0x4bd84
decl (%rax)
jne 0x4bd84
movl 0x48(%rbx), %edi
shlq $0x30, %rdi
orq 0x50(%rbx), %rdi
movq %r14, %rsi
callq 0xce94
movq 0x60(%rbx), %rcx
leaq 0xbce32(%rip), %r15     # 0x108bc1
movq %rcx, %rax
andq %r12, %rax
sete %dl
testb $0x3, %cl
setne %cl
orb %dl, %cl
jne 0x4bdb9
decl (%rax)
jne 0x4bdb9
movl 0x58(%rbx), %edi
shlq $0x30, %rdi
orq 0x60(%rbx), %rdi
movq %r15, %rsi
callq 0xce94
movq 0x70(%rbx), %rcx
movq %rcx, %rax
andq %r12, %rax
sete %dl
testb $0x3, %cl
setne %cl
orb %dl, %cl
jne 0x4bde7
decl (%rax)
jne 0x4bde7
movl 0x68(%rbx), %edi
shlq $0x30, %rdi
orq 0x70(%rbx), %rdi
movq %r15, %rsi
callq 0xce94
movq 0x80(%rbx), %rax
andq %rax, %r12
sete %cl
testb $0x3, %al
setne %al
orb %cl, %al
jne 0x4be19
decl (%r12)
jne 0x4be19
movl 0x78(%rbx), %edi
shlq $0x30, %rdi
orq 0x80(%rbx), %rdi
movq %r14, %rsi
callq 0xce94
movq %rbx, %rdi
popq %rbx
popq %r12
popq %r14
popq %r15
popq %rbp
jmp 0x5030
leaq 0x8de73(%rip), %rsi     # 0xd9ca3
pushq $0x2
popq %rdi
pushq $0x52
popq %rdx
callq 0x5060
callq 0x52ae
pushq $0x1
popq %rdi
callq 0x5130
// File: /workspace/github_c_makefile_star2_O2/mirth-lang[P]mirth/bin/mirth1.c
// Function: mirth_match_Case_free
static void mirth_match_Case_free (VAL vself) {
	ASSERT(vself.tag == TAG_mirth_match_Case);
	struct mirth_match_Case* self = vself.data.ptr;
	decref(MK_mirth_match_Pattern(self->mpattern));
	decref(MK_mirth_arrow_Arrow(self->mbody));
	free(self);
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r14
pushq %rbx
leaq 0xbd784(%rip), %rax     # 0x109629
cmpq %rsi, %rax
jne 0x4bf11
movq %rdi, %rbx
movabsq $0xfffffffffffc, %r14   # imm = 0xFFFFFFFFFFFC
movq 0x8(%rdi), %rdi
movq %rdi, %rax
andq %r14, %rax
sete %cl
testb $0x3, %dil
setne %dl
orb %cl, %dl
jne 0x4bedf
decl (%rax)
jne 0x4bedf
leaq 0xbd677(%rip), %rsi     # 0x109551
callq 0xce94
movq 0x10(%rbx), %rdi
andq %rdi, %r14
sete %al
testb $0x3, %dil
setne %cl
orb %al, %cl
jne 0x4bf05
decl (%r14)
jne 0x4bf05
leaq 0xbd4a1(%rip), %rsi     # 0x1093a1
callq 0xce94
movq %rbx, %rdi
popq %rbx
popq %r14
popq %rbp
jmp 0x5030
leaq 0x8de34(%rip), %rsi     # 0xd9d4c
pushq $0x2
popq %rdi
pushq $0x4f
popq %rdx
callq 0x5060
callq 0x52ae
pushq $0x1
popq %rdi
callq 0x5130
// File: /workspace/github_c_makefile_star2_O2/mirth-lang[P]mirth/bin/mirth1.c
// Function: mirth_match_Match_free
static void mirth_match_Match_free (VAL vself) {
	ASSERT(vself.tag == TAG_mirth_match_Match);
	struct mirth_match_Match* self = vself.data.ptr;
	decref(MK_mirth_arrow_Home(self->mhome));
	decref(MK_std_list_List_1(self->mctx));
	decref(MK_mirth_type_StackType(self->mdom));
	decref(MK_mirth_type_StackType(self->mcod));
	decref(MK_std_list_List_1(self->mcases));
	free(self);
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r12
pushq %rbx
leaq 0xbd6c3(%rip), %rax     # 0x109671
cmpq %rsi, %rax
jne 0x4c0ca
movq %rdi, %rbx
movabsq $0xfffffffffffc, %r12   # imm = 0xFFFFFFFFFFFC
movq 0x10(%rdi), %rcx
movq %rcx, %rax
andq %r12, %rax
sete %dl
testb $0x3, %cl
setne %cl
orb %dl, %cl
jne 0x4bff6
decl (%rax)
jne 0x4bff6
leaq 0xbd403(%rip), %rsi     # 0x1093e9
movl 0x8(%rbx), %edi
shlq $0x30, %rdi
orq 0x10(%rbx), %rdi
callq 0xce94
movq 0x30(%rbx), %rcx
leaq 0xbc278(%rip), %r14     # 0x108279
movq %rcx, %rax
andq %r12, %rax
sete %dl
testb $0x3, %cl
setne %cl
orb %dl, %cl
jne 0x4c02b
decl (%rax)
jne 0x4c02b
movl 0x28(%rbx), %edi
shlq $0x30, %rdi
orq 0x30(%rbx), %rdi
movq %r14, %rsi
callq 0xce94
movq 0x40(%rbx), %rcx
leaq 0xbcb8b(%rip), %r15     # 0x108bc1
movq %rcx, %rax
andq %r12, %rax
sete %dl
testb $0x3, %cl
setne %cl
orb %dl, %cl
jne 0x4c060
decl (%rax)
jne 0x4c060
movl 0x38(%rbx), %edi
shlq $0x30, %rdi
orq 0x40(%rbx), %rdi
movq %r15, %rsi
callq 0xce94
movq 0x50(%rbx), %rcx
movq %rcx, %rax
andq %r12, %rax
sete %dl
testb $0x3, %cl
setne %cl
orb %dl, %cl
jne 0x4c08e
decl (%rax)
jne 0x4c08e
movl 0x48(%rbx), %edi
shlq $0x30, %rdi
orq 0x50(%rbx), %rdi
movq %r15, %rsi
callq 0xce94
movq 0x60(%rbx), %rax
andq %rax, %r12
sete %cl
testb $0x3, %al
setne %al
orb %cl, %al
jne 0x4c0ba
decl (%r12)
jne 0x4c0ba
movl 0x58(%rbx), %edi
shlq $0x30, %rdi
orq 0x60(%rbx), %rdi
movq %r14, %rsi
callq 0xce94
movq %rbx, %rdi
popq %rbx
popq %r12
popq %r14
popq %r15
popq %rbp
jmp 0x5030
leaq 0x8dcf6(%rip), %rsi     # 0xd9dc7
pushq $0x2
popq %rdi
pushq $0x50
popq %rdx
callq 0x5060
callq 0x52ae
pushq $0x1
popq %rdi
callq 0x5130
// File: /workspace/github_c_makefile_star2_O2/mirth-lang[P]mirth/bin/mirth1.c
// Function: mw_mirth_match_Case_iszedefaultzecasezy
static bool mw_mirth_match_Case_iszedefaultzecasezy (struct mirth_mirth_zaMirth* in_zaMirth_1, struct mirth_match_Case* in_Case_2, struct mirth_mirth_zaMirth* *out_zaMirth_3) {
	struct mirth_match_Pattern* v5 = in_Case_2->mpattern;
	incref(MK_mirth_match_Pattern(v5));
	decref(MK_mirth_match_Case(in_Case_2));
	bool v6 = mw_mirth_match_Pattern_iszedefaultzy(v5);
	*out_zaMirth_3 = in_zaMirth_1;
	return v6;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %rbx
pushq %rax
movq %rdx, %rbx
movq %rdi, %r14
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
movq 0x8(%rsi), %r15
movq %r15, %rcx
andq %rax, %rcx
sete %dl
testb $0x3, %r15b
setne %dil
orb %dl, %dil
jne 0x4ca0b
incl (%rcx)
andq %rsi, %rax
sete %cl
testb $0x3, %sil
setne %dl
orb %cl, %dl
jne 0x4ca32
decl (%rax)
jne 0x4ca32
leaq 0xbcc02(%rip), %rax     # 0x109629
movq %rsi, %rdi
movq %rax, %rsi
callq 0xce94
movq %r15, %rdi
callq 0x4ca48
movq %r14, (%rbx)
addq $0x8, %rsp
popq %rbx
popq %r14
popq %r15
popq %rbp
retq
// File: /workspace/github_c_makefile_star2_O2/mirth-lang[P]mirth/bin/mirth1.c
// Function: mw_mirth_match_Pattern_singlezetagzy
static struct std_maybe_Maybe_1 mw_mirth_match_Pattern_singlezetagzy (struct mirth_match_Pattern* in_Pattern_1) {
	struct std_list_List_1 v3 = in_Pattern_1->matoms;
	incref(MK_std_list_List_1(v3));
	decref(MK_mirth_match_Pattern(in_Pattern_1));
	struct std_maybe_Maybe_1 v4 = mw_std_list_List_1_singlezy(v3);
	struct std_maybe_Maybe_1 branch_Maybe_5;
	switch ((v4).tag) {
		case std_maybe_Maybe_1_Some: {
			VAL v6 = mtp_std_maybe_Maybe_1_Some(v4);
			struct mirth_match_PatternOp v7 = V_mirth_match_PatternAtom(v6)->mop;
			incref(MK_mirth_match_PatternOp(v7));
			decref(MK_mirth_match_PatternAtom(V_mirth_match_PatternAtom(v6)));
			struct std_maybe_Maybe_1 v8 = mw_mirth_match_PatternOp_zfTag(v7);
			branch_Maybe_5 = v8;
		} break;
		case std_maybe_Maybe_1_None: {
			struct std_maybe_Maybe_1 v9 = { .tag=std_maybe_Maybe_1_None };
			branch_Maybe_5 = v9;
		} break;
		default: {
			do_panic(str_make("unexpected fallthrough in match\n", 32));
		}
	}
	return branch_Maybe_5;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
pushq %rax
movabsq $0xfffffffffffc, %r15   # imm = 0xFFFFFFFFFFFC
movl 0x78(%rdi), %ebx
movq 0x80(%rdi), %r14
movq %r14, %rax
andq %r15, %rax
sete %cl
testb $0x3, %r14b
setne %dl
orb %cl, %dl
jne 0x4cd6b
incl (%rax)
movq %rdi, %rax
andq %r15, %rax
sete %cl
testb $0x3, %dil
setne %dl
orb %cl, %dl
jne 0x4cd8f
decl (%rax)
jne 0x4cd8f
leaq 0xbc7c7(%rip), %rsi     # 0x109551
callq 0xce94
movl %ebx, %edi
movq %r14, %rsi
callq 0xea6b
testl %eax, %eax
je 0x4ce3f
cmpl $0x1, %eax
jne 0x4ce50
movq %rdx, %rdi
callq 0xd491
movq %rax, %rdi
movl 0x60(%rax), %ebx
movq 0x68(%rax), %r14
movq %r14, %r12
andq %r15, %r12
setne %cl
testb $0x3, %r14b
sete %r13b
andb %cl, %r13b
cmpb $0x1, %r13b
jne 0x4cdda
incl (%r12)
andq %r15, %rax
sete %cl
testb $0x3, %dil
setne %dl
orb %cl, %dl
jne 0x4cdfb
decl (%rax)
jne 0x4cdfb
leaq 0xbc7a3(%rip), %rsi     # 0x109599
callq 0xce94
cmpl $0x1, %ebx
jne 0x4ce1c
movq %r14, %rdi
callq 0x4bf7f
leaq 0xbbe41(%rip), %rsi     # 0x108c50
movq %rax, %rdi
callq 0x8d0c
pushq $0x1
popq %rax
jmp 0x4ce41
testb %r13b, %r13b
je 0x4ce3d
decl (%r12)
jne 0x4ce3d
shlq $0x30, %rbx
orq %r14, %rbx
leaq 0xbc7ac(%rip), %rsi     # 0x1095e1
movq %rbx, %rdi
callq 0xce94
xorl %eax, %eax
xorl %edx, %edx
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
leaq 0x879b6(%rip), %rdi     # 0xd480d
pushq $0x20
popq %rsi
callq 0x8a21
movq %rax, %rdi
callq 0x8cc6
// File: /workspace/github_c_makefile_star2_O2/mirth-lang[P]mirth/bin/mirth1.c
// Function: mw_mirth_data_Data_tags
static struct std_list_List_1 mw_mirth_data_Data_tags (struct mirth_mirth_zaMirth* in_zaMirth_1, uint64_t in_Data_2, struct mirth_mirth_zaMirth* *out_zaMirth_3) {
	void* v5 = field_mut(&mfld_mirth_data_Data_tags, in_Data_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 std_list_List_1 v10 = { .tag=std_list_List_1_Nil };
		incref(MK_std_list_List_1(v10));
		mut_set(MK_std_list_List_1(v10), v5);
		branch_List_8 = v10;
		branch_zaMirth_7 = in_zaMirth_1;
	}
	*out_zaMirth_3 = branch_zaMirth_7;
	return branch_List_8;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r12
pushq %rbx
movq %rdx, %rbx
movq %rdi, %r14
leaq 0x10bf3d9(%rip), %rdi   # 0x110c258
callq 0x12f88
movq %rax, %r15
movq %rax, %rdi
callq 0x142de
testb %al, %al
je 0x4ceb1
movq %r15, %rdi
callq 0x1307d
movq %rax, %r12
movabsq $0xfffffffffffc, %rdx   # imm = 0xFFFFFFFFFFFC
andq %rax, %rdx
shrq $0x30, %r12
jmp 0x4cec7
leaq 0xbb3c1(%rip), %rsi     # 0x108279
xorl %r12d, %r12d
xorl %edi, %edi
movq %r15, %rdx
callq 0x1393b
xorl %edx, %edx
movq %r14, (%rbx)
movl %r12d, %eax
popq %rbx
popq %r12
popq %r14
popq %r15
popq %rbp
retq
// File: /workspace/github_c_makefile_star2_O2/mirth-lang[P]mirth/bin/mirth1.c
// Function: mw_mirth_elab_zaAB_abzetokenzx
static void mw_mirth_elab_zaAB_abzetokenzx (struct mirth_arrow_Arrow* in_zaAB_1, uint64_t in_Token_2, struct mirth_arrow_Arrow* *out_zaAB_3) {
	incref(MK_mirth_arrow_Arrow(in_zaAB_1));
	struct mirth_arrow_Arrow* v4 = mirth_arrow_Arrow_set_tokenzeend(in_zaAB_1, in_Token_2);
	decref(MK_mirth_arrow_Arrow(in_zaAB_1));
	*out_zaAB_3 = v4;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x18, %rsp
movq %rdi, %r14
movabsq $0xfffffffffffc, %r12   # imm = 0xFFFFFFFFFFFC
movq %rdi, %r13
andq %r12, %r13
setne %al
testb $0x3, %r14b
sete %bl
andb %al, %bl
cmpb $0x1, %bl
jne 0x4cf0f
incl (%r13)
cmpl $0x2, (%r14)
jb 0x4cfd0
movq %rsi, -0x30(%rbp)
movq %rdx, -0x38(%rbp)
pushq $0x1
popq %rdi
pushq $0x68
popq %rsi
callq 0x50c0
testq %rax, %rax
je 0x4d008
movq %rax, %r15
pushq $0xd
popq %rcx
movq %rax, %rdi
movq %r14, %rsi
rep  movsq (%rsi), %es:(%rdi)
movq 0x10(%rax), %rcx
movq %rcx, %rax
andq %r12, %rax
sete %dl
testb $0x3, %cl
setne %cl
orb %dl, %cl
jne 0x4cf5d
incl (%rax)
movq -0x30(%rbp), %rax
movq %rax, 0x20(%r15)
movq 0x30(%r15), %rcx
movq %rcx, %rax
andq %r12, %rax
sete %dl
testb $0x3, %cl
setne %cl
orb %dl, %cl
jne 0x4cf7e
incl (%rax)
movq 0x40(%r15), %rcx
movq %rcx, %rax
andq %r12, %rax
sete %dl
testb $0x3, %cl
setne %cl
orb %dl, %cl
jne 0x4cf97
incl (%rax)
movq 0x50(%r15), %rcx
movq %rcx, %rax
andq %r12, %rax
sete %dl
testb $0x3, %cl
setne %cl
orb %dl, %cl
jne 0x4cfb0
incl (%rax)
movq 0x60(%r15), %rax
andq %rax, %r12
sete %cl
testb $0x3, %al
setne %al
orb %cl, %al
movq -0x38(%rbp), %rdx
jne 0x4cfcb
incl (%r12)
decl (%r14)
jmp 0x4cfd7
movq %rsi, 0x20(%r14)
movq %r14, %r15
testb %bl, %bl
je 0x4cff6
decl (%r13)
jne 0x4cff6
leaq 0xbc3b9(%rip), %rsi     # 0x1093a1
movq %r14, %rdi
movq %rdx, %rbx
callq 0xce94
movq %rbx, %rdx
movq %r15, (%rdx)
addq $0x18, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
leaq 0x8d5b1(%rip), %rsi     # 0xda5c0
pushq $0x2
popq %rdi
pushq $0x33
popq %rdx
callq 0x5060
callq 0x52ae
pushq $0x1
popq %rdi
callq 0x5130
// File: /workspace/github_c_makefile_star2_O2/mirth-lang[P]mirth/bin/mirth1.c
// Function: mw_mirth_elab_zaAB_abzelabelzepopzx
static void mw_mirth_elab_zaAB_abzelabelzepopzx (struct mirth_mirth_zaMirth* in_zaMirth_1, struct mirth_arrow_Arrow* in_zaAB_2, uint64_t in_Label_3, struct mirth_mirth_zaMirth* *out_zaMirth_4, struct mirth_arrow_Arrow* *out_zaAB_5) {
	struct std_list_List_1 v6 = { .tag=std_list_List_1_Nil };
	struct mirth_arrow_Op v7 = mtw_mirth_arrow_Op_LabelPop(in_Label_3);
	struct mirth_mirth_zaMirth* v8;
	struct mirth_arrow_Arrow* v9;
	mw_mirth_elab_zaAB_abzeopzx(in_zaMirth_1, in_zaAB_2, v6, v7, &v8, &v9);
	*out_zaAB_5 = v9;
	*out_zaMirth_4 = v8;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x18, %rsp
movq %r8, %r14
movq %rcx, -0x30(%rbp)
movq %rdx, %r13
movq %rsi, %r15
movq %rdi, %r12
pushq $0x1
popq %rdi
pushq $0x10
popq %rsi
callq 0x50c0
testq %rax, %rax
je 0x4d0a5
movl $0x1, (%rax)
movq %r13, 0x8(%rax)
leaq -0x38(%rbp), %r13
leaq -0x40(%rbp), %rbx
pushq $0xd
popq %r8
movq %r12, %rdi
movq %r15, %rsi
xorl %edx, %edx
xorl %ecx, %ecx
movq %rax, %r9
pushq %r13
pushq %rbx
callq 0x3fc75
popq %rax
popq %rcx
movq (%r13), %rax
movq %rax, (%r14)
movq (%rbx), %rax
movq -0x30(%rbp), %rcx
movq %rax, (%rcx)
addq $0x18, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
leaq 0x8d548(%rip), %rsi     # 0xda5f4
pushq $0x2
popq %rdi
pushq $0x31
popq %rdx
callq 0x5060
callq 0x52ae
pushq $0x1
popq %rdi
callq 0x5130
// File: /workspace/github_c_makefile_star2_O2/mirth-lang[P]mirth/bin/mirth1.c
// Function: mw_mirth_elab_zaAB_abzeprimzx
static void mw_mirth_elab_zaAB_abzeprimzx (struct mirth_mirth_zaMirth* in_zaMirth_1, struct mirth_arrow_Arrow* in_zaAB_2, struct std_list_List_1 in_List_3, enum mirth_prim_Prim in_Prim_4, struct mirth_mirth_zaMirth* *out_zaMirth_5, struct mirth_arrow_Arrow* *out_zaAB_6) {
	struct mirth_arrow_Op v7 = mtw_mirth_arrow_Op_Prim(in_Prim_4);
	struct mirth_mirth_zaMirth* v8;
	struct mirth_arrow_Arrow* v9;
	mw_mirth_elab_zaAB_abzeopzx(in_zaMirth_1, in_zaAB_2, in_List_3, v7, &v8, &v9);
	*out_zaAB_6 = v9;
	*out_zaMirth_5 = v8;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x18, %rsp
movq %r9, -0x30(%rbp)
movq %rcx, %r14
movl %edx, %r15d
movq %rsi, %r12
movq %rdi, %r13
movl %r8d, %edi
callq 0x50895
leaq -0x38(%rbp), %rbx
leaq -0x40(%rbp), %r10
movq %r13, %rdi
movq %r12, %rsi
movl %r15d, %edx
movq %r14, %rcx
xorl %r8d, %r8d
movq %rax, %r9
pushq %rbx
pushq %r10
movq %r10, %r14
callq 0x3fc75
popq %rax
popq %rcx
movq (%rbx), %rax
movq 0x10(%rbp), %rcx
movq %rax, (%rcx)
movq (%r14), %rax
movq -0x30(%rbp), %rcx
movq %rax, (%rcx)
addq $0x18, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
// File: /workspace/github_c_makefile_star2_O2/mirth-lang[P]mirth/bin/mirth1.c
// Function: mtp_mirth_token_TokenValue_Str
static STR* mtp_mirth_token_TokenValue_Str (struct mirth_token_TokenValue in_TokenValue_1) {
	struct mirth_token_TokenValue_Str v3 = *in_TokenValue_1.ptr.Str;
	if (!--(in_TokenValue_1.ptr.Str->refs)) {
		free(in_TokenValue_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 0x4d163
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq %rbx, %rax
sete %cl
testb $0x3, %bl
setne %dl
orb %cl, %dl
jne 0x4d168
incl (%rax)
jmp 0x4d168
callq 0x5030
movq %rbx, %rax
addq $0x8, %rsp
popq %rbx
popq %rbp
retq
// File: /workspace/github_c_makefile_star2_O2/mirth-lang[P]mirth/bin/mirth1.c
// Function: mtw_mirth_arrow_PushValue_Str
static struct mirth_arrow_PushValue mtw_mirth_arrow_PushValue_Str (STR* in_Str_1) {
	struct mirth_arrow_PushValue_Str* v3 = calloc(1, sizeof *v3);
	ASSERT(v3);
	v3->refs = 1;
	v3->mStr = in_Str_1;
	struct mirth_arrow_PushValue v4 = { .tag=mirth_arrow_PushValue_Str, .ptr.Str=v3 };
	return v4;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %rbx
pushq %rax
movq %rdi, %rbx
pushq $0x1
popq %rdi
pushq $0x10
popq %rsi
callq 0x50c0
testq %rax, %rax
je 0x4d19c
movl $0x1, (%rax)
movq %rbx, 0x8(%rax)
addq $0x8, %rsp
popq %rbx
popq %rbp
retq
leaq 0x8d099(%rip), %rsi     # 0xda23c
pushq $0x2
popq %rdi
pushq $0x31
popq %rdx
callq 0x5060
callq 0x52ae
pushq $0x1
popq %rdi
callq 0x5130
// File: /workspace/github_c_makefile_star2_O2/mirth-lang[P]mirth/bin/mirth1.c
// Function: mw_mirth_elab_zaAB_abzepushzevaluezx
static void mw_mirth_elab_zaAB_abzepushzevaluezx (struct mirth_mirth_zaMirth* in_zaMirth_1, struct mirth_arrow_Arrow* in_zaAB_2, struct mirth_arrow_PushValue in_PushValue_3, struct mirth_mirth_zaMirth* *out_zaMirth_4, struct mirth_arrow_Arrow* *out_zaAB_5) {
	struct std_list_List_1 v6 = { .tag=std_list_List_1_Nil };
	struct mirth_arrow_Op v7 = mtw_mirth_arrow_Op_Push(in_PushValue_3);
	struct mirth_mirth_zaMirth* v8;
	struct mirth_arrow_Arrow* v9;
	mw_mirth_elab_zaAB_abzeopzx(in_zaMirth_1, in_zaAB_2, v6, v7, &v8, &v9);
	*out_zaAB_5 = v9;
	*out_zaMirth_4 = v8;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x18, %rsp
movq %r9, %r14
movq %r8, -0x30(%rbp)
movq %rcx, %r13
movl %edx, %ebx
movq %rsi, %r15
movq %rdi, %r12
pushq $0x1
popq %rdi
pushq $0x18
popq %rsi
callq 0x50c0
testq %rax, %rax
je 0x4d23e
movl $0x1, (%rax)
movl %ebx, 0x8(%rax)
movq %r13, 0x10(%rax)
leaq -0x38(%rbp), %rbx
leaq -0x40(%rbp), %r13
pushq $0x5
popq %r8
movq %r12, %rdi
movq %r15, %rsi
xorl %edx, %edx
xorl %ecx, %ecx
movq %rax, %r9
pushq %rbx
pushq %r13
callq 0x3fc75
popq %rax
popq %rcx
movq (%rbx), %rax
movq %rax, (%r14)
movq (%r13), %rax
movq -0x30(%rbp), %rcx
movq %rax, (%rcx)
addq $0x18, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
leaq 0x8d029(%rip), %rsi     # 0xda26e
pushq $0x2
popq %rdi
pushq $0x31
popq %rdx
callq 0x5060
callq 0x52ae
pushq $0x1
popq %rdi
callq 0x5130
// File: /workspace/github_c_makefile_star2_O2/mirth-lang[P]mirth/bin/mirth1.c
// Function: mtp_mirth_token_TokenValue_Int
static INT mtp_mirth_token_TokenValue_Int (struct mirth_token_TokenValue in_TokenValue_1) {
	struct mirth_token_TokenValue_Int v3 = *in_TokenValue_1.ptr.Int;
	if (!--(in_TokenValue_1.ptr.Int->refs)) {
		free(in_TokenValue_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 0x4d289
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq %rbx, %rax
sete %cl
testb $0x3, %bl
setne %dl
orb %cl, %dl
jne 0x4d28e
incl (%rax)
jmp 0x4d28e
callq 0x5030
movq %rbx, %rax
addq $0x8, %rsp
popq %rbx
popq %rbp
retq
// File: /workspace/github_c_makefile_star2_O2/mirth-lang[P]mirth/bin/mirth1.c
// Function: mtw_mirth_arrow_PushValue_U64
static struct mirth_arrow_PushValue mtw_mirth_arrow_PushValue_U64 (uint64_t in_U64_1) {
	struct mirth_arrow_PushValue_U64* v3 = calloc(1, sizeof *v3);
	ASSERT(v3);
	v3->refs = 1;
	v3->mU64 = in_U64_1;
	struct mirth_arrow_PushValue v4 = { .tag=mirth_arrow_PushValue_U64, .ptr.U64=v3 };
	return v4;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %rbx
pushq %rax
movq %rdi, %rbx
pushq $0x1
popq %rdi
pushq $0x10
popq %rsi
callq 0x50c0
testq %rax, %rax
je 0x4d2c2
movl $0x1, (%rax)
movq %rbx, 0x8(%rax)
addq $0x8, %rsp
popq %rbx
popq %rbp
retq
leaq 0x8d0d1(%rip), %rsi     # 0xda39a
pushq $0x2
popq %rdi
pushq $0x31
popq %rdx
callq 0x5060
callq 0x52ae
pushq $0x1
popq %rdi
callq 0x5130
// File: /workspace/github_c_makefile_star2_O2/mirth-lang[P]mirth/bin/mirth1.c
// Function: mw_mirth_elab_zaAB_abzelabelzepushzx
static void mw_mirth_elab_zaAB_abzelabelzepushzx (struct mirth_mirth_zaMirth* in_zaMirth_1, struct mirth_arrow_Arrow* in_zaAB_2, uint64_t in_Label_3, struct mirth_mirth_zaMirth* *out_zaMirth_4, struct mirth_arrow_Arrow* *out_zaAB_5) {
	struct std_list_List_1 v6 = { .tag=std_list_List_1_Nil };
	struct mirth_arrow_Op v7 = mtw_mirth_arrow_Op_LabelPush(in_Label_3);
	struct mirth_mirth_zaMirth* v8;
	struct mirth_arrow_Arrow* v9;
	mw_mirth_elab_zaAB_abzeopzx(in_zaMirth_1, in_zaAB_2, v6, v7, &v8, &v9);
	*out_zaAB_5 = v9;
	*out_zaMirth_4 = v8;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x18, %rsp
movq %r8, %r14
movq %rcx, -0x30(%rbp)
movq %rdx, %r13
movq %rsi, %r15
movq %rdi, %r12
pushq $0x1
popq %rdi
pushq $0x10
popq %rsi
callq 0x50c0
testq %rax, %rax
je 0x4d35f
movl $0x1, (%rax)
movq %r13, 0x8(%rax)
leaq -0x38(%rbp), %r13
leaq -0x40(%rbp), %rbx
pushq $0xc
popq %r8
movq %r12, %rdi
movq %r15, %rsi
xorl %edx, %edx
xorl %ecx, %ecx
movq %rax, %r9
pushq %r13
pushq %rbx
callq 0x3fc75
popq %rax
popq %rcx
movq (%r13), %rax
movq %rax, (%r14)
movq (%rbx), %rax
movq -0x30(%rbp), %rcx
movq %rax, (%rcx)
addq $0x18, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
leaq 0x8d1c4(%rip), %rsi     # 0xda52a
pushq $0x2
popq %rdi
pushq $0x31
popq %rdx
callq 0x5060
callq 0x52ae
pushq $0x1
popq %rdi
callq 0x5130
// File: /workspace/github_c_makefile_star2_O2/mirth-lang[P]mirth/bin/mirth1.c
// Function: mw_mirth_elab_zaAB_elabzenozeargszx
static void mw_mirth_elab_zaAB_elabzenozeargszx (struct mirth_mirth_zaMirth* in_zaMirth_1, struct mirth_arrow_Arrow* in_zaAB_2, struct mirth_mirth_zaMirth* *out_zaMirth_3, struct mirth_arrow_Arrow* *out_zaAB_4) {
	struct mirth_arrow_Arrow* v5;
	uint64_t v6 = mw_mirth_elab_zaAB_abzetokenzo(in_zaAB_2, &v5);
	struct mirth_mirth_zaMirth* v7;
	mw_mirth_token_Token_argsze0(in_zaMirth_1, v6, &v7);
	*out_zaAB_4 = v5;
	*out_zaMirth_3 = v7;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x18, %rsp
movq %rcx, %rbx
movq %rdx, %r14
movq %rdi, %r15
leaq -0x38(%rbp), %r12
movq %rsi, %rdi
movq %r12, %rsi
callq 0x3f5b0
leaq -0x30(%rbp), %r13
movq %r15, %rdi
movq %rax, %rsi
movq %r13, %rdx
callq 0x24a81
movq (%r12), %rax
movq %rax, (%rbx)
movq (%r13), %rax
movq %rax, (%r14)
addq $0x18, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
// File: /workspace/github_c_makefile_star2_O2/mirth-lang[P]mirth/bin/mirth1.c
// Function: mw_mirth_elab_zaAB_elabzeatomzefailedzx
static void mw_mirth_elab_zaAB_elabzeatomzefailedzx (struct mirth_mirth_zaMirth* in_zaMirth_1, struct mirth_arrow_Arrow* in_zaAB_2, struct mirth_mirth_zaMirth* *out_zaMirth_3, struct mirth_arrow_Arrow* *out_zaAB_4) {
	struct mirth_type_StackType v5 = { .tag=mirth_type_StackType_Error };
	struct mirth_arrow_Arrow* v6;
	mw_mirth_elab_zaAB_abzetypezx(in_zaAB_2, v5, &v6);
	*out_zaAB_4 = v6;
	*out_zaMirth_3 = in_zaMirth_1;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r12
pushq %rbx
subq $0x10, %rsp
movq %rcx, %rbx
movq %rdx, %r14
movq %rdi, %r15
leaq -0x28(%rbp), %r12
movq %rsi, %rdi
xorl %esi, %esi
xorl %edx, %edx
movq %r12, %rcx
callq 0x4f845
movq (%r12), %rax
movq %rax, (%rbx)
movq %r15, (%r14)
addq $0x10, %rsp
popq %rbx
popq %r12
popq %r14
popq %r15
popq %rbp
retq
// File: /workspace/github_c_makefile_star2_O2/mirth-lang[P]mirth/bin/mirth1.c
// Function: mw_mirth_macro_MacroAction_arrowzy
static struct std_maybe_Maybe_1 mw_mirth_macro_MacroAction_arrowzy (struct mirth_macro_MacroAction in_MacroAction_1) {
	struct std_maybe_Maybe_1 branch_Maybe_3;
	switch ((in_MacroAction_1).tag) {
		case mirth_macro_MacroAction_Arrow: {
			VAL v4 = mtp_mirth_macro_MacroAction_Arrow(in_MacroAction_1);
			struct std_maybe_Maybe_1 v5 = mtw_std_maybe_Maybe_1_Some(v4);
			branch_Maybe_3 = v5;
		} break;
		default: {
			decref(MK_mirth_macro_MacroAction(in_MacroAction_1));
			struct std_maybe_Maybe_1 v6 = { .tag=std_maybe_Maybe_1_None };
			branch_Maybe_3 = v6;
		} break;
	}
	return branch_Maybe_3;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r14
pushq %rbx
cmpl $0x2, %edi
jne 0x4f7f2
movq 0x8(%rsi), %rbx
movq 0x10(%rsi), %r14
decl (%rsi)
je 0x4f82a
testb $0x1, %r14b
je 0x4f832
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq %rbx, %rax
sete %cl
testb $0x3, %bl
setne %dl
orb %cl, %dl
jne 0x4f832
incl (%rax)
jmp 0x4f832
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq %rsi, %rax
sete %cl
testb $0x3, %sil
setne %dl
orb %cl, %dl
jne 0x4f824
decl (%rax)
jne 0x4f824
shlq $0x30, %rdi
orq %rsi, %rdi
leaq 0xb95e2(%rip), %rsi     # 0x108e01
callq 0xce94
xorl %eax, %eax
xorl %edx, %edx
jmp 0x4f840
movq %rsi, %rdi
callq 0x5030
movq %rbx, %rdi
movq %r14, %rsi
callq 0x8d0c
pushq $0x1
popq %rax
popq %rbx
popq %r14
popq %rbp
retq
// File: /workspace/github_c_makefile_star2_O2/mirth-lang[P]mirth/bin/mirth1.c
// Function: mw_mirth_elab_zaAB_abzetypezx
static void mw_mirth_elab_zaAB_abzetypezx (struct mirth_arrow_Arrow* in_zaAB_1, struct mirth_type_StackType in_StackType_2, struct mirth_arrow_Arrow* *out_zaAB_3) {
	incref(MK_mirth_arrow_Arrow(in_zaAB_1));
	struct mirth_arrow_Arrow* v4 = mirth_arrow_Arrow_set_cod(in_zaAB_1, in_StackType_2);
	decref(MK_mirth_arrow_Arrow(in_zaAB_1));
	*out_zaAB_3 = v4;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
pushq %rax
movq %rcx, %rbx
movq %rdi, %r14
movabsq $0xfffffffffffc, %r12   # imm = 0xFFFFFFFFFFFC
andq %rdi, %r12
setne %al
testb $0x3, %r14b
sete %r13b
andb %al, %r13b
cmpb $0x1, %r13b
jne 0x4f87e
incl (%r12)
movq %r14, %rdi
callq 0x4f8b5
movq %rax, %r15
testb %r13b, %r13b
je 0x4f8a3
decl (%r12)
jne 0x4f8a3
leaq 0xb9b06(%rip), %rsi     # 0x1093a1
movq %r14, %rdi
callq 0xce94
movq %r15, (%rbx)
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
// File: /workspace/github_c_makefile_star2_O2/mirth-lang[P]mirth/bin/mirth1.c
// Function: mirth_arrow_Arrow_set_cod
static struct mirth_arrow_Arrow* mirth_arrow_Arrow_set_cod(struct mirth_arrow_Arrow* self, struct mirth_type_StackType x) {
	if (self->refs > 1) {
		struct mirth_arrow_Arrow* 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));
		incref(MK_mirth_type_StackType(self2->mdom));
		self2->mcod = x;
		incref(MK_std_list_List_1(self2->matoms));
		self->refs--;
		return self2;
	}
	decref(MK_mirth_type_StackType(self->mcod));
	self->mcod = 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 0x4f979
pushq $0x1
popq %rdi
pushq $0x68
popq %rsi
callq 0x50c0
testq %rax, %rax
je 0x4f9c8
movabsq $0xfffffffffffc, %rdx   # imm = 0xFFFFFFFFFFFC
pushq $0xd
popq %rcx
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 0x4f918
incl (%rcx)
movq 0x30(%rax), %rsi
movq %rsi, %rcx
andq %rdx, %rcx
sete %dil
testb $0x3, %sil
setne %sil
orb %dil, %sil
jne 0x4f935
incl (%rcx)
movq 0x40(%rax), %rsi
movq %rsi, %rcx
andq %rdx, %rcx
sete %dil
testb $0x3, %sil
setne %sil
orb %dil, %sil
jne 0x4f952
incl (%rcx)
movl %r15d, 0x48(%rax)
movq %r14, 0x50(%rax)
movq 0x60(%rax), %rcx
andq %rcx, %rdx
sete %sil
testb $0x3, %cl
setne %cl
orb %sil, %cl
jne 0x4f972
incl (%rdx)
decl (%rbx)
movq %rax, %rbx
jmp 0x4f9ba
movq 0x50(%rbx), %rcx
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq %rcx, %rax
sete %dl
testb $0x3, %cl
setne %cl
orb %dl, %cl
jne 0x4f9b2
decl (%rax)
jne 0x4f9b2
leaq 0xb921f(%rip), %rsi     # 0x108bc1
movl 0x48(%rbx), %edi
shlq $0x30, %rdi
orq 0x50(%rbx), %rdi
callq 0xce94
movl %r15d, 0x48(%rbx)
movq %r14, 0x50(%rbx)
movq %rbx, %rax
addq $0x8, %rsp
popq %rbx
popq %r14
popq %r15
popq %rbp
retq
leaq 0x8a50b(%rip), %rsi     # 0xd9eda
pushq $0x2
popq %rdi
pushq $0x33
popq %rdx
callq 0x5060
callq 0x52ae
pushq $0x1
popq %rdi
callq 0x5130
// File: /workspace/github_c_makefile_star2_O2/mirth-lang[P]mirth/bin/mirth1.c
// Function: mw_mirth_alias_Alias_target
static struct mirth_def_Def mw_mirth_alias_Alias_target (struct mirth_mirth_zaMirth* in_zaMirth_1, uint64_t in_Alias_2, struct mirth_mirth_zaMirth* *out_zaMirth_3) {
	void* v5 = field_mut(&mfld_mirth_alias_Alias_zttarget, in_Alias_2);
	struct mirth_mirth_zaMirth* v6;
	VAL v7 = mw_mirth_mirth_Prop_1_forcezx(in_zaMirth_1, v5, &v6);
	*out_zaMirth_3 = v6;
	return V_mirth_def_Def(v7);
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %rbx
pushq %rax
movq %rdx, %rbx
movq %rdi, %r14
leaq 0x10bca1a(%rip), %rdi   # 0x110c418
callq 0x12f88
leaq -0x20(%rbp), %r15
movq %r14, %rdi
movq %rax, %rsi
movq %r15, %rdx
callq 0x184dc
movq (%r15), %rcx
movq %rcx, (%rbx)
movabsq $0xfffffffffffc, %rdx   # imm = 0xFFFFFFFFFFFC
andq %rax, %rdx
shrq $0x30, %rax
addq $0x8, %rsp
popq %rbx
popq %r14
popq %r15
popq %rbp
retq
// File: /workspace/github_c_makefile_star2_O2/mirth-lang[P]mirth/bin/mirth1.c
// Function: mw_mirth_elab_zaAB_abzebufferzx
static void mw_mirth_elab_zaAB_abzebufferzx (struct mirth_mirth_zaMirth* in_zaMirth_1, struct mirth_arrow_Arrow* in_zaAB_2, uint64_t in_Buffer_3, struct mirth_mirth_zaMirth* *out_zaMirth_4, struct mirth_arrow_Arrow* *out_zaAB_5) {
	struct std_list_List_1 v6 = { .tag=std_list_List_1_Nil };
	struct mirth_arrow_Op v7 = mtw_mirth_arrow_Op_Buffer(in_Buffer_3);
	struct mirth_mirth_zaMirth* v8;
	struct mirth_arrow_Arrow* v9;
	mw_mirth_elab_zaAB_abzeopzx(in_zaMirth_1, in_zaAB_2, v6, v7, &v8, &v9);
	*out_zaAB_5 = v9;
	*out_zaMirth_4 = v8;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x18, %rsp
movq %r8, %rbx
movq %rcx, %r14
movq %rsi, %r15
movq %rdi, %r12
movq %rdx, %rdi
callq 0x4fd15
leaq -0x30(%rbp), %r13
leaq -0x38(%rbp), %r10
pushq $0x3
popq %r8
movq %r12, %rdi
movq %r15, %rsi
xorl %edx, %edx
xorl %ecx, %ecx
movq %rax, %r9
pushq %r13
pushq %r10
movq %r10, %r15
callq 0x3fc75
popq %rax
popq %rcx
movq (%r13), %rax
movq %rax, (%rbx)
movq (%r15), %rax
movq %rax, (%r14)
addq $0x18, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
// File: /workspace/github_c_makefile_star2_O2/mirth-lang[P]mirth/bin/mirth1.c
// Function: mw_mirth_elab_zaAB_abzefieldzx
static void mw_mirth_elab_zaAB_abzefieldzx (struct mirth_mirth_zaMirth* in_zaMirth_1, struct mirth_arrow_Arrow* in_zaAB_2, uint64_t in_Field_3, struct mirth_mirth_zaMirth* *out_zaMirth_4, struct mirth_arrow_Arrow* *out_zaAB_5) {
	struct std_list_List_1 v6 = { .tag=std_list_List_1_Nil };
	struct mirth_arrow_Op v7 = mtw_mirth_arrow_Op_Field(in_Field_3);
	struct mirth_mirth_zaMirth* v8;
	struct mirth_arrow_Arrow* v9;
	mw_mirth_elab_zaAB_abzeopzx(in_zaMirth_1, in_zaAB_2, v6, v7, &v8, &v9);
	*out_zaAB_5 = v9;
	*out_zaMirth_4 = v8;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x18, %rsp
movq %r8, %rbx
movq %rcx, %r14
movq %rsi, %r15
movq %rdi, %r12
movq %rdx, %rdi
callq 0x4fda7
leaq -0x30(%rbp), %r13
leaq -0x38(%rbp), %r10
pushq $0x4
popq %r8
movq %r12, %rdi
movq %r15, %rsi
xorl %edx, %edx
xorl %ecx, %ecx
movq %rax, %r9
pushq %r13
pushq %r10
movq %r10, %r15
callq 0x3fc75
popq %rax
popq %rcx
movq (%r13), %rax
movq %rax, (%rbx)
movq (%r15), %rax
movq %rax, (%r14)
addq $0x18, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
// File: /workspace/github_c_makefile_star2_O2/mirth-lang[P]mirth/bin/mirth1.c
// Function: mw_mirth_elab_zaAB_abzewordzx
static void mw_mirth_elab_zaAB_abzewordzx (struct mirth_mirth_zaMirth* in_zaMirth_1, struct mirth_arrow_Arrow* in_zaAB_2, struct std_list_List_1 in_List_3, uint64_t in_Word_4, struct mirth_mirth_zaMirth* *out_zaMirth_5, struct mirth_arrow_Arrow* *out_zaAB_6) {
	struct mirth_arrow_Op v7 = mtw_mirth_arrow_Op_Word(in_Word_4);
	struct mirth_mirth_zaMirth* v8;
	struct mirth_arrow_Arrow* v9;
	mw_mirth_elab_zaAB_abzeopzx(in_zaMirth_1, in_zaAB_2, in_List_3, v7, &v8, &v9);
	*out_zaAB_6 = v9;
	*out_zaMirth_5 = v8;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x18, %rsp
movq %r9, -0x30(%rbp)
movq %rcx, %r14
movl %edx, %r15d
movq %rsi, %r12
movq %rdi, %r13
movq %r8, %rdi
callq 0x50803
leaq -0x38(%rbp), %rbx
leaq -0x40(%rbp), %r10
pushq $0x1
popq %r8
movq %r13, %rdi
movq %r12, %rsi
movl %r15d, %edx
movq %r14, %rcx
movq %rax, %r9
pushq %rbx
pushq %r10
movq %r10, %r14
callq 0x3fc75
popq %rax
popq %rcx
movq (%rbx), %rax
movq 0x10(%rbp), %rcx
movq %rax, (%rcx)
movq (%r14), %rax
movq -0x30(%rbp), %rcx
movq %rax, (%rcx)
addq $0x18, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
// File: /workspace/github_c_makefile_star2_O2/mirth-lang[P]mirth/bin/mirth1.c
// Function: mtw_mirth_arrow_Op_Tag
static struct mirth_arrow_Op mtw_mirth_arrow_Op_Tag (uint64_t in_Tag_1) {
	struct mirth_arrow_Op_Tag* v3 = calloc(1, sizeof *v3);
	ASSERT(v3);
	v3->refs = 1;
	v3->mTag = in_Tag_1;
	struct mirth_arrow_Op v4 = { .tag=mirth_arrow_Op_Tag, .ptr.Tag=v3 };
	return v4;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %rbx
pushq %rax
movq %rdi, %rbx
pushq $0x1
popq %rdi
pushq $0x10
popq %rsi
callq 0x50c0
testq %rax, %rax
je 0x4fcf6
movl $0x1, (%rax)
movq %rbx, 0x8(%rax)
addq $0x8, %rsp
popq %rbx
popq %rbp
retq
leaq 0x8a4e1(%rip), %rsi     # 0xda1de
pushq $0x2
popq %rdi
pushq $0x31
popq %rdx
callq 0x5060
callq 0x52ae
pushq $0x1
popq %rdi
callq 0x5130
// File: /workspace/github_c_makefile_star2_O2/mirth-lang[P]mirth/bin/mirth1.c
// Function: mtw_mirth_arrow_Op_Buffer
static struct mirth_arrow_Op mtw_mirth_arrow_Op_Buffer (uint64_t in_Buffer_1) {
	struct mirth_arrow_Op_Buffer* v3 = calloc(1, sizeof *v3);
	ASSERT(v3);
	v3->refs = 1;
	v3->mBuffer = in_Buffer_1;
	struct mirth_arrow_Op v4 = { .tag=mirth_arrow_Op_Buffer, .ptr.Buffer=v3 };
	return v4;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %rbx
pushq %rax
movq %rdi, %rbx
pushq $0x1
popq %rdi
pushq $0x10
popq %rsi
callq 0x50c0
testq %rax, %rax
je 0x4fd3f
movl $0x1, (%rax)
movq %rbx, 0x8(%rax)
addq $0x8, %rsp
popq %rbx
popq %rbp
retq
leaq 0x8a1c8(%rip), %rsi     # 0xd9f0e
pushq $0x2
popq %rdi
pushq $0x31
popq %rdx
callq 0x5060
callq 0x52ae
pushq $0x1
popq %rdi
callq 0x5130
// File: /workspace/github_c_makefile_star2_O2/mirth-lang[P]mirth/bin/mirth1.c
// Function: mtw_mirth_arrow_Op_External
static struct mirth_arrow_Op mtw_mirth_arrow_Op_External (uint64_t in_External_1) {
	struct mirth_arrow_Op_External* v3 = calloc(1, sizeof *v3);
	ASSERT(v3);
	v3->refs = 1;
	v3->mExternal = in_External_1;
	struct mirth_arrow_Op v4 = { .tag=mirth_arrow_Op_External, .ptr.External=v3 };
	return v4;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %rbx
pushq %rax
movq %rdi, %rbx
pushq $0x1
popq %rdi
pushq $0x10
popq %rsi
callq 0x50c0
testq %rax, %rax
je 0x4fd88
movl $0x1, (%rax)
movq %rbx, 0x8(%rax)
addq $0x8, %rsp
popq %rbx
popq %rbp
retq
leaq 0x8a1b1(%rip), %rsi     # 0xd9f40
pushq $0x2
popq %rdi
pushq $0x31
popq %rdx
callq 0x5060
callq 0x52ae
pushq $0x1
popq %rdi
callq 0x5130
// File: /workspace/github_c_makefile_star2_O2/mirth-lang[P]mirth/bin/mirth1.c
// Function: mtw_mirth_arrow_Op_Field
static struct mirth_arrow_Op mtw_mirth_arrow_Op_Field (uint64_t in_Field_1) {
	struct mirth_arrow_Op_Field* v3 = calloc(1, sizeof *v3);
	ASSERT(v3);
	v3->refs = 1;
	v3->mField = in_Field_1;
	struct mirth_arrow_Op v4 = { .tag=mirth_arrow_Op_Field, .ptr.Field=v3 };
	return v4;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %rbx
pushq %rax
movq %rdi, %rbx
pushq $0x1
popq %rdi
pushq $0x10
popq %rsi
callq 0x50c0
testq %rax, %rax
je 0x4fdd1
movl $0x1, (%rax)
movq %rbx, 0x8(%rax)
addq $0x8, %rsp
popq %rbx
popq %rbp
retq
leaq 0x8a19a(%rip), %rsi     # 0xd9f72
pushq $0x2
popq %rdi
pushq $0x31
popq %rdx
callq 0x5060
callq 0x52ae
pushq $0x1
popq %rdi
callq 0x5130
// File: /workspace/github_c_makefile_star2_O2/mirth-lang[P]mirth/bin/mirth1.c
// Function: mw_std_list_List_1_tail
static struct std_list_List_1 mw_std_list_List_1_tail (struct std_list_List_1 in_List_1) {
	struct std_list_List_1 branch_List_3;
	switch ((in_List_1).tag) {
		case std_list_List_1_Nil: {
			struct std_list_List_1 v4 = { .tag=std_list_List_1_Nil };
			branch_List_3 = v4;
		} break;
		case std_list_List_1_Cons: {
			struct std_list_List_1 v5;
			VAL v6 = mtp_std_list_List_1_Cons(in_List_1, &v5);
			decref(v6);
			branch_List_3 = v5;
		} break;
		default: {
			do_panic(str_make("unexpected fallthrough in match\n", 32));
		}
	}
	return branch_List_3;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x10, %rsp
testl %edi, %edi
je 0x4ffa7
cmpl $0x1, %edi
jne 0x4ffb1
leaq -0x10(%rbp), %rax
movq %rsi, %rdi
movq %rax, %rsi
callq 0xce01
testb $0x1, %dl
je 0x4ff9e
movabsq $0xfffffffffffc, %rcx   # imm = 0xFFFFFFFFFFFC
andq %rax, %rcx
sete %sil
testb $0x3, %al
setne %dil
orb %sil, %dil
jne 0x4ff9e
decl (%rcx)
jne 0x4ff9e
movq %rax, %rdi
movq %rdx, %rsi
callq 0xce94
movl -0x10(%rbp), %edi
movq -0x8(%rbp), %rdx
jmp 0x4ffa9
xorl %edx, %edx
movl %edi, %eax
addq $0x10, %rsp
popq %rbp
retq
leaq 0x84855(%rip), %rdi     # 0xd480d
pushq $0x20
popq %rsi
callq 0x8a21
movq %rax, %rdi
callq 0x8cc6
// File: /workspace/github_c_makefile_star2_O2/mirth-lang[P]mirth/bin/mirth1.c
// Function: mw_mirth_token_Token_alloczenonezx
static uint64_t mw_mirth_token_Token_alloczenonezx (struct mirth_mirth_zaMirth* in_zaMirth_1, struct mirth_mirth_zaMirth* *out_zaMirth_2) {
	struct std_maybe_Maybe_1 v4 = { .tag=std_maybe_Maybe_1_None };
	INT v5 = WRAP_I63(0LL);
	INT v6 = WRAP_I63(0LL);
	uint64_t v7 = mw_mirth_module_Module_Nil();
	struct mirth_token_TokenValue v8 = { .tag=mirth_token_TokenValue_None };
	struct mirth_mirth_zaMirth* v9;
	uint64_t v10 = mw_mirth_token_Token_Makezx(in_zaMirth_1, v8, v7, v5, v6, v4, &v9);
	*out_zaMirth_2 = v9;
	return v10;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r14
pushq %rbx
subq $0x30, %rsp
movq %rsi, %rbx
xorps %xmm0, %xmm0
movaps %xmm0, -0x20(%rbp)
movaps -0x20(%rbp), %xmm0
movups %xmm0, (%rsp)
leaq -0x28(%rbp), %r14
movq %r14, 0x10(%rsp)
pushq $0x1
popq %r8
xorl %esi, %esi
xorl %edx, %edx
xorl %ecx, %ecx
movq %r8, %r9
callq 0x5035d
movq (%r14), %rcx
movq %rcx, (%rbx)
addq $0x30, %rsp
popq %rbx
popq %r14
popq %rbp
retq
// File: /workspace/github_c_makefile_star2_O2/mirth-lang[P]mirth/bin/mirth1.c
// Function: mw_mirth_token_Token_locationzx
static void mw_mirth_token_Token_locationzx (struct mirth_mirth_zaMirth* in_zaMirth_1, struct mirth_location_Location* in_Location_2, uint64_t in_Token_3, struct mirth_mirth_zaMirth* *out_zaMirth_4) {
	uint64_t v5;
	INT v6;
	INT v7;
	mtp_mirth_location_Location_Location(in_Location_2, &v5, &v6, &v7);
	struct mirth_mirth_zaMirth* v8;
	mw_mirth_token_Token_modulezx(in_zaMirth_1, v5, in_Token_3, &v8);
	struct mirth_mirth_zaMirth* v9;
	mw_mirth_token_Token_rowzx(v8, v6, in_Token_3, &v9);
	struct mirth_mirth_zaMirth* v10;
	mw_mirth_token_Token_colzx(v9, v7, in_Token_3, &v10);
	*out_zaMirth_4 = v10;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x28, %rsp
movq %rcx, -0x30(%rbp)
movq %rdx, %r15
movq %rdi, %r14
leaq -0x48(%rbp), %r13
leaq -0x40(%rbp), %rbx
leaq -0x38(%rbp), %r12
movq %rsi, %rdi
movq %r13, %rsi
movq %rbx, %rdx
movq %r12, %rcx
callq 0x19522
movq (%r13), %r13
leaq 0x10bbcee(%rip), %rdi   # 0x110bd40
movq %r15, %rsi
callq 0x12f88
leaq 0xb8f97(%rip), %rsi     # 0x108ff8
movq %r13, %rdi
movq %rax, %rdx
callq 0x1393b
movq (%rbx), %rbx
leaq 0x10bbcda(%rip), %rdi   # 0x110bd50
movq %r15, %rsi
callq 0x12f88
leaq 0xb83a4(%rip), %r13     # 0x108429
movq %rbx, %rdi
movq %r13, %rsi
movq %rax, %rdx
callq 0x1393b
movq (%r12), %rbx
leaq 0x10bbcc2(%rip), %rdi   # 0x110bd60
movq %r15, %rsi
callq 0x12f88
movq %rbx, %rdi
movq %r13, %rsi
movq %rax, %rdx
callq 0x1393b
movq -0x30(%rbp), %rax
movq %r14, (%rax)
addq $0x28, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
// File: /workspace/github_c_makefile_star2_O2/mirth-lang[P]mirth/bin/mirth1.c
// Function: mtw_mirth_token_TokenValue_LParen
static struct mirth_token_TokenValue mtw_mirth_token_TokenValue_LParen (uint64_t in_Token_1) {
	struct mirth_token_TokenValue_LParen* v3 = calloc(1, sizeof *v3);
	ASSERT(v3);
	v3->refs = 1;
	v3->mToken = in_Token_1;
	struct mirth_token_TokenValue v4 = { .tag=mirth_token_TokenValue_LParen, .ptr.LParen=v3 };
	return v4;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %rbx
pushq %rax
movq %rdi, %rbx
pushq $0x1
popq %rdi
pushq $0x10
popq %rsi
callq 0x50c0
testq %rax, %rax
je 0x500f4
movl $0x1, (%rax)
movq %rbx, 0x8(%rax)
addq $0x8, %rsp
popq %rbx
popq %rbp
retq
leaq 0x89ee2(%rip), %rsi     # 0xd9fdd
pushq $0x2
popq %rdi
pushq $0x31
popq %rdx
callq 0x5060
callq 0x52ae
pushq $0x1
popq %rdi
callq 0x5130
// File: /workspace/github_c_makefile_star2_O2/mirth-lang[P]mirth/bin/mirth1.c
// Function: mtw_mirth_token_TokenValue_RParen
static struct mirth_token_TokenValue mtw_mirth_token_TokenValue_RParen (uint64_t in_Token_1) {
	struct mirth_token_TokenValue_RParen* v3 = calloc(1, sizeof *v3);
	ASSERT(v3);
	v3->refs = 1;
	v3->mToken = in_Token_1;
	struct mirth_token_TokenValue v4 = { .tag=mirth_token_TokenValue_RParen, .ptr.RParen=v3 };
	return v4;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %rbx
pushq %rax
movq %rdi, %rbx
pushq $0x1
popq %rdi
pushq $0x10
popq %rsi
callq 0x50c0
testq %rax, %rax
je 0x5013d
movl $0x1, (%rax)
movq %rbx, 0x8(%rax)
addq $0x8, %rsp
popq %rbx
popq %rbp
retq
leaq 0x89ecb(%rip), %rsi     # 0xda00f
pushq $0x2
popq %rdi
pushq $0x31
popq %rdx
callq 0x5060
callq 0x52ae
pushq $0x1
popq %rdi
callq 0x5130
// File: /workspace/github_c_makefile_star2_O2/mirth-lang[P]mirth/bin/mirth1.c
// Function: mtw_mirth_token_TokenValue_LCurly
static struct mirth_token_TokenValue mtw_mirth_token_TokenValue_LCurly (uint64_t in_Token_1) {
	struct mirth_token_TokenValue_LCurly* v3 = calloc(1, sizeof *v3);
	ASSERT(v3);
	v3->refs = 1;
	v3->mToken = in_Token_1;
	struct mirth_token_TokenValue v4 = { .tag=mirth_token_TokenValue_LCurly, .ptr.LCurly=v3 };
	return v4;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %rbx
pushq %rax
movq %rdi, %rbx
pushq $0x1
popq %rdi
pushq $0x10
popq %rsi
callq 0x50c0
testq %rax, %rax
je 0x50186
movl $0x1, (%rax)
movq %rbx, 0x8(%rax)
addq $0x8, %rsp
popq %rbx
popq %rbp
retq
leaq 0x89eb4(%rip), %rsi     # 0xda041
pushq $0x2
popq %rdi
pushq $0x31
popq %rdx
callq 0x5060
callq 0x52ae
pushq $0x1
popq %rdi
callq 0x5130
// File: /workspace/github_c_makefile_star2_O2/mirth-lang[P]mirth/bin/mirth1.c
// Function: mtw_mirth_token_TokenValue_RCurly
static struct mirth_token_TokenValue mtw_mirth_token_TokenValue_RCurly (uint64_t in_Token_1) {
	struct mirth_token_TokenValue_RCurly* v3 = calloc(1, sizeof *v3);
	ASSERT(v3);
	v3->refs = 1;
	v3->mToken = in_Token_1;
	struct mirth_token_TokenValue v4 = { .tag=mirth_token_TokenValue_RCurly, .ptr.RCurly=v3 };
	return v4;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %rbx
pushq %rax
movq %rdi, %rbx
pushq $0x1
popq %rdi
pushq $0x10
popq %rsi
callq 0x50c0
testq %rax, %rax
je 0x501cf
movl $0x1, (%rax)
movq %rbx, 0x8(%rax)
addq $0x8, %rsp
popq %rbx
popq %rbp
retq
leaq 0x89e9d(%rip), %rsi     # 0xda073
pushq $0x2
popq %rdi
pushq $0x31
popq %rdx
callq 0x5060
callq 0x52ae
pushq $0x1
popq %rdi
callq 0x5130
// File: /workspace/github_c_makefile_star2_O2/mirth-lang[P]mirth/bin/mirth1.c
// Function: mtw_mirth_token_TokenValue_LSquare
static struct mirth_token_TokenValue mtw_mirth_token_TokenValue_LSquare (uint64_t in_Token_1) {
	struct mirth_token_TokenValue_LSquare* v3 = calloc(1, sizeof *v3);
	ASSERT(v3);
	v3->refs = 1;
	v3->mToken = in_Token_1;
	struct mirth_token_TokenValue v4 = { .tag=mirth_token_TokenValue_LSquare, .ptr.LSquare=v3 };
	return v4;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %rbx
pushq %rax
movq %rdi, %rbx
pushq $0x1
popq %rdi
pushq $0x10
popq %rsi
callq 0x50c0
testq %rax, %rax
je 0x50218
movl $0x1, (%rax)
movq %rbx, 0x8(%rax)
addq $0x8, %rsp
popq %rbx
popq %rbp
retq
leaq 0x89e86(%rip), %rsi     # 0xda0a5
pushq $0x2
popq %rdi
pushq $0x31
popq %rdx
callq 0x5060
callq 0x52ae
pushq $0x1
popq %rdi
callq 0x5130
// File: /workspace/github_c_makefile_star2_O2/mirth-lang[P]mirth/bin/mirth1.c
// Function: mtw_mirth_token_TokenValue_RSquare
static struct mirth_token_TokenValue mtw_mirth_token_TokenValue_RSquare (uint64_t in_Token_1) {
	struct mirth_token_TokenValue_RSquare* v3 = calloc(1, sizeof *v3);
	ASSERT(v3);
	v3->refs = 1;
	v3->mToken = in_Token_1;
	struct mirth_token_TokenValue v4 = { .tag=mirth_token_TokenValue_RSquare, .ptr.RSquare=v3 };
	return v4;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %rbx
pushq %rax
movq %rdi, %rbx
pushq $0x1
popq %rdi
pushq $0x10
popq %rsi
callq 0x50c0
testq %rax, %rax
je 0x50261
movl $0x1, (%rax)
movq %rbx, 0x8(%rax)
addq $0x8, %rsp
popq %rbx
popq %rbp
retq
leaq 0x89e6f(%rip), %rsi     # 0xda0d7
pushq $0x2
popq %rdi
pushq $0x31
popq %rdx
callq 0x5060
callq 0x52ae
pushq $0x1
popq %rdi
callq 0x5130
// File: /workspace/github_c_makefile_star2_O2/mirth-lang[P]mirth/bin/mirth1.c
// Function: mtw_mirth_token_TokenValue_LColon
static struct mirth_token_TokenValue mtw_mirth_token_TokenValue_LColon (uint64_t in_Token_1) {
	struct mirth_token_TokenValue_LColon* v3 = calloc(1, sizeof *v3);
	ASSERT(v3);
	v3->refs = 1;
	v3->mToken = in_Token_1;
	struct mirth_token_TokenValue v4 = { .tag=mirth_token_TokenValue_LColon, .ptr.LColon=v3 };
	return v4;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %rbx
pushq %rax
movq %rdi, %rbx
pushq $0x1
popq %rdi
pushq $0x10
popq %rsi
callq 0x50c0
testq %rax, %rax
je 0x502aa
movl $0x1, (%rax)
movq %rbx, 0x8(%rax)
addq $0x8, %rsp
popq %rbx
popq %rbp
retq
leaq 0x89e58(%rip), %rsi     # 0xda109
pushq $0x2
popq %rdi
pushq $0x31
popq %rdx
callq 0x5060
callq 0x52ae
pushq $0x1
popq %rdi
callq 0x5130
// File: /workspace/github_c_makefile_star2_O2/mirth-lang[P]mirth/bin/mirth1.c
// Function: mtw_mirth_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
pushq $0x1
popq %rdi
pushq $0x10
popq %rsi
callq 0x50c0
testq %rax, %rax
je 0x502f3
movl $0x1, (%rax)
movq %rbx, 0x8(%rax)
addq $0x8, %rsp
popq %rbx
popq %rbp
retq
leaq 0x89e41(%rip), %rsi     # 0xda13b
pushq $0x2
popq %rdi
pushq $0x31
popq %rdx
callq 0x5060
callq 0x52ae
pushq $0x1
popq %rdi
callq 0x5130