LLM4Binary/decompile-bench-makefile huggingface dataset:
// File: /workspace/github_c_makefile_star2_O3/mirth-lang[P]mirth/bin/mirth1.c
// Function: mtw_mirth_name_Namespace_Tycon
static struct mirth_name_Namespace mtw_mirth_name_Namespace_Tycon (struct mirth_tycon_Tycon in_Tycon_1) {
	struct mirth_name_Namespace_Tycon* v3 = calloc(1, sizeof *v3);
	ASSERT(v3);
	v3->refs = 1;
	v3->mTycon = in_Tycon_1;
	struct mirth_name_Namespace v4 = { .tag=mirth_name_Namespace_Tycon, .ptr.Tycon=v3 };
	return v4;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r14
pushq %rbx
movq %rsi, %rbx
movl %edi, %r14d
movl $0x1, %edi
movl $0x18, %esi
callq 0x50c0
testq %rax, %rax
je 0x194b2
movl $0x1, (%rax)
movl %r14d, 0x8(%rax)
movq %rbx, 0x10(%rax)
popq %rbx
popq %r14
popq %rbp
retq
leaq 0xc9da9(%rip), %rsi     # 0xe3262
movl $0x31, %edx
movl $0x2, %edi
callq 0x5060
callq 0x52b6
movl $0x1, %edi
callq 0x5130
// File: /workspace/github_c_makefile_star2_O3/mirth-lang[P]mirth/bin/mirth1.c
// Function: mtp_mirth_name_QName_QName
static void mtp_mirth_name_QName_QName (struct mirth_name_QName* in_QName_1, struct mirth_name_Namespace *out_Namespace_2, uint64_t *out_Name_3, INT *out_Int_4) {
	struct mirth_name_QName v5 = *in_QName_1;
	if (!--(in_QName_1->refs)) {
		free(in_QName_1);
	} else {
		incref(MK_mirth_name_Namespace(v5.mnamespace));
		incref(MKINT(v5.marity));
	}
	*out_Int_4 = v5.marity;
	*out_Name_3 = v5.mname;
	*out_Namespace_2 = v5.mnamespace;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x18, %rsp
movq %rsi, %rbx
movl 0x8(%rdi), %r9d
movl 0xc(%rdi), %r10d
movq 0x10(%rdi), %r14
movq 0x18(%rdi), %r15
movq 0x20(%rdi), %r12
decl (%rdi)
je 0x198e2
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
movq %r14, %r8
andq %rax, %r8
sete %dil
testb $0x3, %r14b
setne %sil
orb %dil, %sil
jne 0x198ca
incl (%r8)
andq %r12, %rax
sete %dil
testb $0x3, %r12b
setne %sil
orb %dil, %sil
jne 0x19905
incl (%rax)
jmp 0x19905
movq %rdx, -0x38(%rbp)
movq %rcx, %r13
movl %r9d, -0x30(%rbp)
movl %r10d, -0x2c(%rbp)
callq 0x5030
movl -0x2c(%rbp), %r10d
movl -0x30(%rbp), %r9d
movq %r13, %rcx
movq -0x38(%rbp), %rdx
movq %r12, (%rcx)
movq %r15, (%rdx)
movl %r9d, (%rbx)
movl %r10d, 0x4(%rbx)
movq %r14, 0x8(%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: mirth_name_Namespace_free
void mirth_name_Namespace_free (VAL v) {
	struct mirth_name_Namespace self = V_mirth_name_Namespace(v);
	switch (self.tag) {
		case mirth_name_Namespace_Root: break;
		case mirth_name_Namespace_Package: {
			free(self.ptr.Package);
		} break;
		case mirth_name_Namespace_Module: {
			free(self.ptr.Module);
		} break;
		case mirth_name_Namespace_Tycon: {
			decref(MK_mirth_tycon_Tycon(self.ptr.Tycon->mTycon));
			free(self.ptr.Tycon);
		} break;
		case mirth_name_Namespace_Word: {
			free(self.ptr.Word);
		} break;
	}
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %rbx
pushq %rax
movq %rdi, %rcx
shrq $0x30, %rcx
decl %ecx
cmpl $0x3, %ecx
ja 0x19b70
movq %rdi, %rbx
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq %rax, %rbx
leaq 0xc4898(%rip), %rdx     # 0xde3c0
movslq (%rdx,%rcx,4), %rcx
addq %rdx, %rcx
jmpq *%rcx
movq %rbx, %rdi
addq $0x8, %rsp
popq %rbx
popq %rbp
jmp 0x5030
movq 0x10(%rbx), %rcx
andq %rcx, %rax
sete %dl
testb $0x3, %cl
setne %cl
orb %dl, %cl
jne 0x19b31
decl (%rax)
jne 0x19b31
leaq 0xf7e23(%rip), %rsi     # 0x111981
movl 0x8(%rbx), %edi
shlq $0x30, %rdi
orq 0x10(%rbx), %rdi
callq 0xd13d
jmp 0x19b31
addq $0x8, %rsp
popq %rbx
popq %rbp
retq
// File: /workspace/github_c_makefile_star2_O3/mirth-lang[P]mirth/bin/mirth1.c
// Function: mtp_mirth_name_Namespace_Tycon
static struct mirth_tycon_Tycon mtp_mirth_name_Namespace_Tycon (struct mirth_name_Namespace in_Namespace_1) {
	struct mirth_name_Namespace_Tycon v3 = *in_Namespace_1.ptr.Tycon;
	if (!--(in_Namespace_1.ptr.Tycon->refs)) {
		free(in_Namespace_1.ptr.Tycon);
	} else {
		incref(MK_mirth_tycon_Tycon(v3.mTycon));
	}
	return v3.mTycon;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r14
pushq %rbx
movl 0x8(%rdi), %ebx
movq 0x10(%rdi), %r14
decl (%rdi)
je 0x19c67
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq %r14, %rax
sete %cl
testb $0x3, %r14b
setne %dl
orb %cl, %dl
jne 0x19c6c
incl (%rax)
jmp 0x19c6c
callq 0x5030
movl %ebx, %eax
movq %r14, %rdx
popq %rbx
popq %r14
popq %rbp
retq
// File: /workspace/github_c_makefile_star2_O3/mirth-lang[P]mirth/bin/mirth1.c
// Function: mw_mirth_package_Package_namezj
static void mw_mirth_package_Package_namezj (struct mirth_mirth_zaMirth* in_zaMirth_1, STR* in_zaStr_2, uint64_t in_Package_3, struct mirth_mirth_zaMirth* *out_zaMirth_4, STR* *out_zaStr_5) {
	struct mirth_mirth_zaMirth* v6;
	uint64_t v7 = mw_mirth_package_Package_name(in_zaMirth_1, in_Package_3, &v6);
	struct mirth_mirth_zaMirth* v8;
	STR* v9;
	mw_mirth_name_Name_namezj(v6, in_zaStr_2, v7, &v8, &v9);
	*out_zaStr_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 %rsi, %r15
movq %rdi, %r12
leaq 0x10fa536(%rip), %rdi   # 0x11144e0
movq %rdx, %rsi
callq 0x13c85
movq %rax, %rdi
callq 0x13d82
leaq -0x40(%rbp), %r13
leaq -0x38(%rbp), %rbx
movq %r12, %rdi
movq %r15, %rsi
movq %rax, %rdx
movq %r13, %rcx
movq %rbx, %r8
callq 0x1a0d2
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
// File: /workspace/github_c_makefile_star2_O3/mirth-lang[P]mirth/bin/mirth1.c
// Function: mw_mirth_tycon_Tycon_qnamezehard
static struct mirth_name_QName* mw_mirth_tycon_Tycon_qnamezehard (struct mirth_mirth_zaMirth* in_zaMirth_1, struct mirth_tycon_Tycon in_Tycon_2, struct mirth_mirth_zaMirth* *out_zaMirth_3) {
	struct mirth_mirth_zaMirth* branch_zaMirth_5;
	struct mirth_name_QName* branch_QName_6;
	switch ((in_Tycon_2).tag) {
		case mirth_tycon_Tycon_Data: {
			uint64_t v7 = mtp_mirth_tycon_Tycon_Data(in_Tycon_2);
			struct mirth_mirth_zaMirth* v8;
			struct mirth_name_QName* v9 = mw_mirth_data_Data_qnamezehard(in_zaMirth_1, v7, &v8);
			branch_QName_6 = v9;
			branch_zaMirth_5 = v8;
		} break;
		case mirth_tycon_Tycon_Table: {
			uint64_t v10 = mtp_mirth_tycon_Tycon_Table(in_Tycon_2);
			struct mirth_mirth_zaMirth* v11;
			struct mirth_name_QName* v12 = mw_mirth_table_Table_qnamezehard(in_zaMirth_1, v10, &v11);
			branch_QName_6 = v12;
			branch_zaMirth_5 = v11;
		} break;
		case mirth_tycon_Tycon_Prim: {
			enum mirth_type_PrimType v13 = mtp_mirth_tycon_Tycon_Prim(in_Tycon_2);
			struct mirth_mirth_zaMirth* v14;
			struct mirth_name_QName* v15 = mw_mirth_type_PrimType_tyconzeqname(in_zaMirth_1, v13, &v14);
			branch_QName_6 = v15;
			branch_zaMirth_5 = v14;
		} break;
		default: {
			do_panic(str_make("unexpected fallthrough in match\n", 32));
		}
	}
	*out_zaMirth_3 = branch_zaMirth_5;
	return branch_QName_6;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r12
pushq %rbx
subq $0x10, %rsp
movq %rcx, %rbx
movq %rdi, %r14
cmpl $0x2, %esi
je 0x1a06c
cmpl $0x1, %esi
je 0x1a036
testl %esi, %esi
jne 0x1a0a2
movq 0x8(%rdx), %r15
decl (%rdx)
jne 0x1a02d
movq %rdx, %rdi
callq 0x5030
leaq 0x10fab4c(%rip), %rdi   # 0x1114b80
jmp 0x1a04d
movq 0x8(%rdx), %r15
decl (%rdx)
jne 0x1a046
movq %rdx, %rdi
callq 0x5030
leaq 0x10fab43(%rip), %rdi   # 0x1114b90
movq %r15, %rsi
callq 0x13c85
leaq -0x28(%rbp), %r15
movq %r14, %rdi
movq %rax, %rsi
movq %r15, %rdx
callq 0x1a6db
movq (%r15), %rcx
jmp 0x1a092
movl 0x4(%rdx), %r15d
decl (%rdx)
jne 0x1a07c
movq %rdx, %rdi
callq 0x5030
leaq -0x28(%rbp), %r12
movq %r14, %rdi
movl %r15d, %esi
movq %r12, %rdx
callq 0x1a125
movq (%r12), %rcx
movq %rcx, (%rbx)
addq $0x10, %rsp
popq %rbx
popq %r12
popq %r14
popq %r15
popq %rbp
retq
movl $0x20, %edi
callq 0xf5e4
movq $0x20, 0x10(%rax)
movups 0xc6612(%rip), %xmm0    # 0xe06cd
movups %xmm0, 0x18(%rax)
movups 0xc6617(%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_name_Name_namezj
static void mw_mirth_name_Name_namezj (struct mirth_mirth_zaMirth* in_zaMirth_1, STR* in_zaStr_2, uint64_t in_Name_3, struct mirth_mirth_zaMirth* *out_zaMirth_4, STR* *out_zaStr_5) {
	struct mirth_mirth_zaMirth* v6;
	STR* v7 = mw_mirth_name_Name_str(in_zaMirth_1, in_Name_3, &v6);
	STR* v8;
	mw_std_str_zaStr_pushzestrzx(v7, in_zaStr_2, &v8);
	*out_zaStr_5 = v8;
	*out_zaMirth_4 = v6;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r12
pushq %rbx
movq %r8, %r14
movq %rcx, %rbx
movq %rsi, %r15
movq %rdi, %r12
leaq 0x10fa3d8(%rip), %rdi   # 0x11144c8
movq %rdx, %rsi
callq 0x13c85
movq %rax, %rdi
callq 0x13d82
movq %rax, %rdi
movq %rdx, %rsi
callq 0x9189
movq %r15, %rdi
movq %rax, %rsi
callq 0xe069
movq %rax, (%r14)
movq %r12, (%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_locationzyzj_sp1
static void mw_std_maybe_Maybe_1_locationzyzj_sp1 (struct mirth_mirth_zaMirth* in_zaMirth_1, STR* in_zaStr_2, struct std_maybe_Maybe_1 in_Maybe_3, struct mirth_mirth_zaMirth* *out_zaMirth_4, STR* *out_zaStr_5) {
	struct mirth_mirth_zaMirth* branch_zaMirth_6;
	STR* branch_zaStr_7;
	switch ((in_Maybe_3).tag) {
		case std_maybe_Maybe_1_Some: {
			VAL v8 = mtp_std_maybe_Maybe_1_Some(in_Maybe_3);
			struct mirth_mirth_zaMirth* v9;
			STR* v10;
			mw_mirth_token_Token_locationzj(in_zaMirth_1, in_zaStr_2, V_mirth_token_Token(v8), &v9, &v10);
			branch_zaStr_7 = v10;
			branch_zaMirth_6 = v9;
		} break;
		case std_maybe_Maybe_1_None: {
			STR* v11;
			STRLIT(v11, "???", 3);
			STR* v12;
			mw_std_str_zaStr_pushzestrzx(v11, in_zaStr_2, &v12);
			branch_zaStr_7 = v12;
			branch_zaMirth_6 = in_zaMirth_1;
		} break;
		default: {
			do_panic(str_make("unexpected fallthrough in match\n", 32));
		}
	}
	*out_zaStr_5 = branch_zaStr_7;
	*out_zaMirth_4 = branch_zaMirth_6;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x18, %rsp
movq %r9, %r14
movq %r8, %rbx
movq %rsi, %r12
movq %rdi, %r15
testl %edx, %edx
je 0x1b49e
movq %r14, -0x30(%rbp)
cmpl $0x1, %edx
jne 0x1b50a
movq %rbx, %r14
movq %rcx, %rdi
callq 0xd745
leaq -0x40(%rbp), %r13
leaq -0x38(%rbp), %rbx
movq %r15, %rdi
movq %r12, %rsi
movq %rax, %rdx
movq %r13, %rcx
movq %rbx, %r8
callq 0x1b53a
movq (%rbx), %rax
movq (%r13), %r15
movq %r14, %rbx
movq -0x30(%rbp), %r14
jmp 0x1b4f5
movq 0x10f9873(%rip), %rsi   # 0x1114d18
testq %rsi, %rsi
jne 0x1b4d0
movl $0x3, %edi
callq 0xf5e4
movq %rax, %rsi
movq $0x3, 0x10(%rax)
movw $0x3f3f, 0x18(%rax)     # imm = 0x3F3F
movb $0x3f, 0x1a(%rax)
movq %rax, 0x10f9848(%rip)   # 0x1114d18
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq %rsi, %rax
sete %cl
testb $0x3, %sil
setne %dl
orb %cl, %dl
jne 0x1b4ed
incl (%rax)
movq %r12, %rdi
callq 0xe069
movq %rax, (%r14)
movq %r15, (%rbx)
addq $0x18, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
movl $0x20, %edi
callq 0xf5e4
movq $0x20, 0x10(%rax)
movups 0xc51aa(%rip), %xmm0    # 0xe06cd
movups %xmm0, 0x18(%rax)
movups 0xc51af(%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_token_Token_location
static struct mirth_location_Location* mw_mirth_token_Token_location (struct mirth_mirth_zaMirth* in_zaMirth_1, uint64_t in_Token_2, struct mirth_mirth_zaMirth* *out_zaMirth_3) {
	struct mirth_mirth_zaMirth* v5;
	uint64_t v6 = mw_mirth_token_Token_module(in_zaMirth_1, in_Token_2, &v5);
	struct mirth_mirth_zaMirth* v7;
	INT v8 = mw_mirth_token_Token_row(v5, in_Token_2, &v7);
	struct mirth_mirth_zaMirth* v9;
	INT v10 = mw_mirth_token_Token_col(v7, in_Token_2, &v9);
	struct mirth_location_Location* v11 = mtw_mirth_location_Location_Location(v6, v8, v10);
	*out_zaMirth_3 = v9;
	return v11;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
pushq %rax
movq %rdx, %rbx
movq %rsi, %r12
movq %rdi, %r14
leaq 0x10f9785(%rip), %rdi   # 0x1114d40
callq 0x13c85
movq %rax, %rdi
callq 0x13d82
movq %rax, %r15
leaq 0x10f977e(%rip), %rdi   # 0x1114d50
movq %r12, %rsi
callq 0x13c85
movq %rax, %rdi
callq 0x13d82
movq %rax, %r13
movq %rax, %rdi
movq %rdx, %rsi
callq 0x1099d
leaq 0x10f9769(%rip), %rdi   # 0x1114d60
movq %r12, %rsi
callq 0x13c85
movq %rax, %rdi
callq 0x13d82
movq %rax, %r12
movq %rax, %rdi
movq %rdx, %rsi
callq 0x1099d
movq %r15, %rdi
movq %r13, %rsi
movq %r12, %rdx
callq 0x1b780
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_location_Location_emitzj
static void mw_mirth_location_Location_emitzj (struct mirth_mirth_zaMirth* in_zaMirth_1, STR* in_zaStr_2, struct mirth_location_Location* in_Location_3, struct mirth_mirth_zaMirth* *out_zaMirth_4, STR* *out_zaStr_5) {
	uint64_t v6;
	INT v7;
	INT v8;
	mtp_mirth_location_Location_Location(in_Location_3, &v6, &v7, &v8);
	struct mirth_mirth_zaMirth* v9;
	STR* v10 = mw_mirth_module_Module_sourcezepath(in_zaMirth_1, v6, &v9);
	STR* v11;
	mw_std_str_zaStr_pushzestrzx(v10, in_zaStr_2, &v11);
	STR* v12;
	STRLIT(v12, ":", 1);
	STR* v13;
	mw_std_str_zaStr_pushzestrzx(v12, v11, &v13);
	STR* v14;
	mw_mirth_location_Row_intzj(v13, v7, &v14);
	STR* v15;
	STRLIT(v15, ":", 1);
	STR* v16;
	mw_std_str_zaStr_pushzestrzx(v15, v14, &v16);
	STR* v17;
	mw_mirth_location_Col_intzj(v16, v8, &v17);
	*out_zaStr_5 = v17;
	*out_zaMirth_4 = v9;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x18, %rsp
movq %r8, %r14
movq %rcx, %rbx
movq %rdx, %rax
movq %rsi, %r12
movq %rdi, %r15
leaq -0x40(%rbp), %r13
leaq -0x38(%rbp), %rdx
leaq -0x30(%rbp), %rcx
movq %rax, %rdi
movq %r13, %rsi
callq 0x1b7e9
movq (%r13), %rsi
leaq 0x10f9709(%rip), %rdi   # 0x1114d80
callq 0x13c85
movq %rax, %rdi
callq 0x13d82
movq %rax, %rdi
movq %rdx, %rsi
callq 0x9189
movq %r12, %rdi
movq %rax, %rsi
callq 0xe069
movq %rax, %r12
movq 0x10f96cc(%rip), %rsi   # 0x1114d70
testq %rsi, %rsi
jne 0x1b6c9
movl $0x1, %edi
callq 0xf5e4
movq %rax, %rsi
movq $0x1, 0x10(%rax)
movb $0x3a, 0x18(%rax)
movq %rax, 0x10f96a7(%rip)   # 0x1114d70
movabsq $0xfffffffffffc, %r13   # imm = 0xFFFFFFFFFFFC
movq %rsi, %rax
andq %r13, %rax
sete %cl
testb $0x3, %sil
setne %dl
orb %cl, %dl
jne 0x1b6e9
incl (%rax)
movq %r12, %rdi
callq 0xe069
movq %rax, %r12
movq -0x38(%rbp), %rdi
callq 0xfea8
movq %r12, %rdi
movq %rax, %rsi
callq 0xe069
movq %rax, %r12
movq 0x10f9666(%rip), %rsi   # 0x1114d78
testq %rsi, %rsi
jne 0x1b737
movl $0x1, %edi
callq 0xf5e4
movq %rax, %rsi
movq $0x1, 0x10(%rax)
movb $0x3a, 0x18(%rax)
movq %rax, 0x10f9641(%rip)   # 0x1114d78
andq %rsi, %r13
sete %al
testb $0x3, %sil
setne %cl
orb %al, %cl
jne 0x1b74c
incl (%r13)
movq %r12, %rdi
callq 0xe069
movq %rax, %r12
movq -0x30(%rbp), %rdi
callq 0xfea8
movq %r12, %rdi
movq %rax, %rsi
callq 0xe069
movq %rax, (%r14)
movq %r15, (%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: mtw_mirth_location_Location_Location
static struct mirth_location_Location* mtw_mirth_location_Location_Location (uint64_t in_Module_1, INT in_Row_2, INT in_Col_3) {
	struct mirth_location_Location* v5 = calloc(1, sizeof *v5);
	ASSERT(v5);
	v5->refs = 1;
	v5->mcol = in_Col_3;
	v5->mrow = in_Row_2;
	v5->mmodule = in_Module_1;
	return v5;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %rbx
pushq %rax
movq %rdx, %r15
movq %rsi, %r14
movq %rdi, %rbx
movl $0x1, %edi
movl $0x20, %esi
callq 0x50c0
testq %rax, %rax
je 0x1b7c4
movl $0x1, (%rax)
movq %r15, 0x18(%rax)
movq %r14, 0x10(%rax)
movq %rbx, 0x8(%rax)
addq $0x8, %rsp
popq %rbx
popq %r14
popq %r15
popq %rbp
retq
leaq 0xc7cc4(%rip), %rsi     # 0xe348f
movl $0x31, %edx
movl $0x2, %edi
callq 0x5060
callq 0x52b6
movl $0x1, %edi
callq 0x5130
// File: /workspace/github_c_makefile_star2_O3/mirth-lang[P]mirth/bin/mirth1.c
// Function: mtp_mirth_location_Location_Location
static void mtp_mirth_location_Location_Location (struct mirth_location_Location* in_Location_1, uint64_t *out_Module_2, INT *out_Row_3, INT *out_Col_4) {
	struct mirth_location_Location v5 = *in_Location_1;
	if (!--(in_Location_1->refs)) {
		free(in_Location_1);
	} else {
		incref(MKINT(v5.mrow));
		incref(MKINT(v5.mcol));
	}
	*out_Col_4 = v5.mcol;
	*out_Row_3 = v5.mrow;
	*out_Module_2 = v5.mmodule;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
pushq %rax
movq %rcx, %r15
movq %rdx, %r14
movq 0x8(%rdi), %r12
movq 0x10(%rdi), %r13
movq 0x18(%rdi), %rbx
decl (%rdi)
je 0x1b843
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
movq %r13, %rcx
andq %rax, %rcx
sete %dl
testb $0x3, %r13b
setne %dil
orb %dl, %dil
jne 0x1b82f
incl (%rcx)
andq %rbx, %rax
sete %cl
testb $0x3, %bl
setne %dl
orb %cl, %dl
jne 0x1b850
incl (%rax)
jmp 0x1b850
movq %rsi, -0x30(%rbp)
callq 0x5030
movq -0x30(%rbp), %rsi
movq %rbx, (%r15)
movq %r13, (%r14)
movq %r12, (%rsi)
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_name_QName_Prim
static struct mirth_name_QName* mw_mirth_name_QName_Prim (struct mirth_mirth_zaMirth* in_zaMirth_1, STR* in_Str_2, INT in_Int_3, struct mirth_mirth_zaMirth* *out_zaMirth_4) {
	struct mirth_mirth_zaMirth* v6;
	uint64_t v7 = mw_mirth_name_Name_Name(in_zaMirth_1, in_Str_2, &v6);
	struct mirth_mirth_zaMirth* v8;
	struct mirth_name_Namespace v9 = mw_mirth_name_Namespace_Prim(v6, &v8);
	struct mirth_name_QName* v10 = mtw_mirth_name_QName_QName(v9, v7, in_Int_3);
	*out_zaMirth_4 = v8;
	return v10;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r12
pushq %rbx
subq $0x10, %rsp
movq %rcx, %rbx
movq %rdx, %r14
leaq -0x28(%rbp), %r15
movq %r15, %rdx
callq 0x12e7f
movq %rax, %r12
movq (%r15), %rdi
leaq -0x30(%rbp), %r15
movq %r15, %rsi
callq 0x1937c
movq %rax, %rdi
callq 0x193d8
movq (%r15), %r15
movl $0x2, %edi
movq %rax, %rsi
movq %r12, %rdx
movq %r14, %rcx
callq 0x1549b
movq %r15, (%rbx)
addq $0x10, %rsp
popq %rbx
popq %r12
popq %r14
popq %r15
popq %rbp
retq
// File: /workspace/github_c_makefile_star2_O3/mirth-lang[P]mirth/bin/mirth1.c
// Function: mw_mirth_name_QName_namezj
static void mw_mirth_name_QName_namezj (struct mirth_mirth_zaMirth* in_zaMirth_1, STR* in_zaStr_2, struct mirth_name_QName* in_QName_3, struct mirth_mirth_zaMirth* *out_zaMirth_4, STR* *out_zaStr_5) {
	uint64_t v6 = in_QName_3->mname;
	decref(MK_mirth_name_QName(in_QName_3));
	struct mirth_mirth_zaMirth* v7;
	STR* v8;
	mw_mirth_name_Name_namezj(in_zaMirth_1, in_zaStr_2, v6, &v7, &v8);
	*out_zaStr_5 = v8;
	*out_zaMirth_4 = v7;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x28, %rsp
movq %r8, -0x30(%rbp)
movq %rcx, -0x38(%rbp)
movq %rsi, %r15
movq %rdi, %r13
movq 0x18(%rdx), %r12
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq %rdx, %rax
sete %cl
testb $0x3, %dl
setne %sil
orb %cl, %sil
jne 0x1b91b
decl (%rax)
jne 0x1b91b
leaq 0xf5e2e(%rip), %rsi     # 0x111741
movq %rdx, %rdi
callq 0xd13d
leaq -0x48(%rbp), %rbx
leaq -0x40(%rbp), %r14
movq %r13, %rdi
movq %r15, %rsi
movq %r12, %rdx
movq %rbx, %rcx
movq %r14, %r8
callq 0x1a0d2
movq (%r14), %rax
movq -0x30(%rbp), %rcx
movq %rax, (%rcx)
movq (%rbx), %rax
movq -0x38(%rbp), %rcx
movq %rax, (%rcx)
addq $0x28, %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_mirth_zaMirth_errorzelocation
static struct mirth_location_Location* mw_mirth_mirth_zaMirth_errorzelocation (struct mirth_mirth_zaMirth* in_zaMirth_1, struct mirth_mirth_zaMirth* *out_zaMirth_2) {
	struct mirth_mirth_LexicalState* v4 = in_zaMirth_1->mlexicalzestate;
	incref(MK_mirth_mirth_LexicalState(v4));
	struct std_maybe_Maybe_1 v5 = v4->merrorzetoken;
	incref(MK_std_maybe_Maybe_1(v5));
	decref(MK_mirth_mirth_LexicalState(v4));
	struct mirth_mirth_zaMirth* branch_zaMirth_6;
	struct mirth_location_Location* branch_Location_7;
	switch ((v5).tag) {
		case std_maybe_Maybe_1_Some: {
			VAL v8 = mtp_std_maybe_Maybe_1_Some(v5);
			struct mirth_mirth_zaMirth* v9;
			struct mirth_location_Location* v10 = mw_mirth_token_Token_location(in_zaMirth_1, V_mirth_token_Token(v8), &v9);
			branch_Location_7 = v10;
			branch_zaMirth_6 = v9;
		} break;
		case std_maybe_Maybe_1_None: {
			struct mirth_mirth_zaMirth* v11;
			struct mirth_location_Location* v12 = mw_mirth_mirth_zaMirth_defaultzeerrorzelocation(in_zaMirth_1, &v11);
			branch_Location_7 = v12;
			branch_zaMirth_6 = v11;
		} break;
		default: {
			do_panic(str_make("unexpected fallthrough in match\n", 32));
		}
	}
	*out_zaMirth_2 = branch_zaMirth_6;
	return branch_Location_7;
}

// 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, %r12   # imm = 0xFFFFFFFFFFFC
movq 0x48(%rdi), %rdi
movq %rdi, %rax
andq %r12, %rax
setne %dl
testb $0x3, %dil
sete %cl
andb %dl, %cl
cmpb $0x1, %cl
jne 0x1b995
incl (%rax)
movl 0x8(%rdi), %r13d
movq 0x10(%rdi), %r15
movq %r15, %rdx
andq %r12, %rdx
sete %sil
testb $0x3, %r15b
setne %r8b
orb %sil, %r8b
jne 0x1b9b6
incl (%rdx)
testb %cl, %cl
je 0x1b9ca
decl (%rax)
jne 0x1b9ca
leaq 0xf5e9c(%rip), %rsi     # 0x111861
callq 0xd13d
testl %r13d, %r13d
je 0x1b9f4
cmpl $0x1, %r13d
jne 0x1ba50
movq %r15, %rdi
callq 0xd745
leaq -0x30(%rbp), %r15
movq %r14, %rdi
movq %rax, %rsi
movq %r15, %rdx
callq 0x1b59d
movq (%r15), %rcx
jmp 0x1ba3e
leaq -0x30(%rbp), %rsi
movq %r14, %rdi
callq 0x12d94
movq 0x10(%rax), %r14
andq %rax, %r12
sete %cl
testb $0x3, %al
setne %dl
orb %cl, %dl
jne 0x1ba28
decl (%r12)
jne 0x1ba28
leaq 0xf5c91(%rip), %rsi     # 0x1116b1
movq %rax, %rdi
callq 0xd13d
movl $0x1, %esi
movl $0x1, %edx
movq %r14, %rdi
callq 0x1b780
movq -0x30(%rbp), %rcx
movq %rcx, (%rbx)
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
movl $0x20, %edi
callq 0xf5e4
movq $0x20, 0x10(%rax)
movups 0xc4c64(%rip), %xmm0    # 0xe06cd
movups %xmm0, 0x18(%rax)
movups 0xc4c69(%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_mirth_Diagnostic_free
static void mirth_mirth_Diagnostic_free (VAL vself) {
	ASSERT(vself.tag == TAG_mirth_mirth_Diagnostic);
	struct mirth_mirth_Diagnostic* self = vself.data.ptr;
	decref(MK_mirth_location_Location(self->mlocation));
	decref(MKSTR(self->mmessage));
	free(self);
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r14
pushq %rbx
leaq 0xf5c24(%rip), %rax     # 0x1119c9
cmpq %rsi, %rax
jne 0x1be11
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 0x1bddf
decl (%rax)
jne 0x1bddf
leaq 0xf5c37(%rip), %rsi     # 0x111a11
callq 0xd13d
movq 0x10(%rbx), %rdi
andq %rdi, %r14
sete %al
testb $0x3, %dil
setne %cl
orb %al, %cl
jne 0x1be05
decl (%r14)
jne 0x1be05
leaq 0xf5359(%rip), %rsi     # 0x111159
callq 0xd13d
movq %rbx, %rdi
popq %rbx
popq %r14
popq %rbp
jmp 0x5030
leaq 0xc76f8(%rip), %rsi     # 0xe3510
movl $0x56, %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: mirth_location_Location_free
static void mirth_location_Location_free (VAL vself) {
	ASSERT(vself.tag == TAG_mirth_location_Location);
	struct mirth_location_Location* self = vself.data.ptr;
	decref(MKINT(self->mrow));
	decref(MKINT(self->mcol));
	free(self);
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %rbx
pushq %rax
leaq 0xf5b7d(%rip), %rax     # 0x111a11
cmpq %rsi, %rax
jne 0x1bf05
movq %rdi, %rbx
movabsq $0xfffffffffffc, %r15   # imm = 0xFFFFFFFFFFFC
leaq 0xf557c(%rip), %r14     # 0x111429
movq 0x10(%rdi), %rdi
movq %rdi, %rax
andq %r15, %rax
sete %cl
testb $0x3, %dil
setne %dl
orb %cl, %dl
jne 0x1bed1
decl (%rax)
jne 0x1bed1
movq %r14, %rsi
callq 0xd13d
movq 0x18(%rbx), %rdi
andq %rdi, %r15
sete %al
testb $0x3, %dil
setne %cl
orb %al, %cl
jne 0x1bef3
decl (%r15)
jne 0x1bef3
movq %r14, %rsi
callq 0xd13d
movq %rbx, %rdi
addq $0x8, %rsp
popq %rbx
popq %r14
popq %r15
popq %rbp
jmp 0x5030
leaq 0xc7664(%rip), %rsi     # 0xe3570
movl $0x57, %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_mirth_zaMirth_popzediagnosticszx
static struct std_list_List_1 mw_mirth_mirth_zaMirth_popzediagnosticszx (struct mirth_mirth_zaMirth* in_zaMirth_1, struct mirth_mirth_zaMirth* *out_zaMirth_2) {
	struct std_list_List_1 r4 = in_zaMirth_1->mzadiagnostics;
	struct std_list_List_1 v5;
	struct std_list_List_1 v6 = mw_std_list_zaLister_1_popzeallzx(r4, &v5);
	in_zaMirth_1->mzadiagnostics = v5;
	*out_zaMirth_2 = in_zaMirth_1;
	return v6;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x18, %rsp
movq %rsi, %rbx
movq %rdi, %r14
leaq 0x58(%rdi), %r13
movl 0x58(%rdi), %r15d
movq 0x60(%rdi), %r12
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq %r12, %rax
setne %cl
testb $0x3, %r12b
sete %dl
xorps %xmm0, %xmm0
testb %dl, %cl
je 0x1bfd9
cmpl $0x0, (%rax)
movaps %xmm0, -0x40(%rbp)
jne 0x1bfdd
movq %r15, %rdi
shlq $0x30, %rdi
orq %r12, %rdi
leaq 0xf52a7(%rip), %rsi     # 0x111279
callq 0xd13d
jmp 0x1bfdd
movaps %xmm0, -0x40(%rbp)
xorl %edi, %edi
xorl %esi, %esi
movl %r15d, %edx
movq %r12, %rcx
callq 0xd01b
movaps -0x40(%rbp), %xmm0
movups %xmm0, (%r13)
movq %r14, (%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: mirth_name_QName_free
static void mirth_name_QName_free (VAL vself) {
	ASSERT(vself.tag == TAG_mirth_name_QName);
	struct mirth_name_QName* self = vself.data.ptr;
	decref(MK_mirth_name_Namespace(self->mnamespace));
	decref(MKINT(self->marity));
	free(self);
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r14
pushq %rbx
leaq 0xf54d7(%rip), %rax     # 0x111741
cmpq %rsi, %rax
jne 0x1c2e0
movq %rdi, %rbx
movabsq $0xfffffffffffc, %r14   # imm = 0xFFFFFFFFFFFC
movq 0x10(%rdi), %rcx
movq %rcx, %rax
andq %r14, %rax
sete %dl
testb $0x3, %cl
setne %cl
orb %dl, %cl
jne 0x1c2ae
decl (%rax)
jne 0x1c2ae
leaq 0xf569b(%rip), %rsi     # 0x111939
movl 0x8(%rbx), %edi
shlq $0x30, %rdi
orq 0x10(%rbx), %rdi
callq 0xd13d
movq 0x20(%rbx), %rdi
andq %rdi, %r14
sete %al
testb $0x3, %dil
setne %cl
orb %al, %cl
jne 0x1c2d4
decl (%r14)
jne 0x1c2d4
leaq 0xf515a(%rip), %rsi     # 0x111429
callq 0xd13d
movq %rbx, %rdi
popq %rbx
popq %r14
popq %rbp
jmp 0x5030
leaq 0xc732a(%rip), %rsi     # 0xe3611
movl $0x50, %edx
movl $0x2, %edi
callq 0x5060
callq 0x52b6
movl $0x1, %edi
callq 0x5130
// File: /workspace/github_c_makefile_star2_O3/mirth-lang[P]mirth/bin/mirth1.c
// Function: mtw_mirth_def_Def_Module
static struct mirth_def_Def mtw_mirth_def_Def_Module (uint64_t in_Module_1) {
	struct mirth_def_Def_Module* v3 = calloc(1, sizeof *v3);
	ASSERT(v3);
	v3->refs = 1;
	v3->mModule = in_Module_1;
	struct mirth_def_Def v4 = { .tag=mirth_def_Def_Module, .ptr.Module=v3 };
	return v4;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %rbx
pushq %rax
movq %rdi, %rbx
movl $0x1, %edi
movl $0x10, %esi
callq 0x50c0
testq %rax, %rax
je 0x1c380
movl $0x1, (%rax)
movq %rbx, 0x8(%rax)
addq $0x8, %rsp
popq %rbx
popq %rbp
retq
leaq 0xc72fb(%rip), %rsi     # 0xe3682
movl $0x31, %edx
movl $0x2, %edi
callq 0x5060
callq 0x52b6
movl $0x1, %edi
callq 0x5130
// File: /workspace/github_c_makefile_star2_O3/mirth-lang[P]mirth/bin/mirth1.c
// Function: mtw_mirth_type_Type_Prim
static struct mirth_type_Type mtw_mirth_type_Type_Prim (enum mirth_type_PrimType in_PrimType_1) {
	struct mirth_type_Type_Prim* v3 = calloc(1, sizeof *v3);
	ASSERT(v3);
	v3->refs = 1;
	v3->mPrimType = in_PrimType_1;
	struct mirth_type_Type v4 = { .tag=mirth_type_Type_Prim, .ptr.Prim=v3 };
	return v4;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %rbx
pushq %rax
movl %edi, %ebx
movl $0x1, %edi
movl $0x8, %esi
callq 0x50c0
testq %rax, %rax
je 0x1eb81
movq %rax, %rdx
movl $0x1, (%rax)
movl %ebx, 0x4(%rax)
movl $0x2, %eax
addq $0x8, %rsp
popq %rbx
popq %rbp
retq
leaq 0xc4c60(%rip), %rsi     # 0xe37e8
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_sp84
static struct mirth_type_Type mw_std_list_List_1_for_1_sp84 (struct mirth_type_Type in_Type_1, struct std_list_List_1 in_List_2) {
	bool v4 = true;
	struct mirth_type_Type v5 = in_Type_1;
	struct std_list_List_1 v6 = in_List_2;
	bool v7 = v4;
	bool v8 = v4;
	while (v8) {
		struct mirth_type_Type v9 = v5;
		struct std_list_List_1 v10 = v6;
		bool v11 = v7;
		struct mirth_type_Type branch_Type_12;
		struct std_list_List_1 branch_List_13;
		bool branch_Bool_14;
		switch ((v10).tag) {
			case std_list_List_1_Cons: {
				struct std_list_List_1 v15;
				VAL v16 = mtp_std_list_List_1_Cons(v10, &v15);
				struct mirth_type_Type v17 = mtw_mirth_type_Type_Var(V_mirth_var_Var(v16));
				struct mirth_type_Type v18 = mtw_mirth_type_Type_App(v9, v17);
				bool v19 = true;
				branch_Bool_14 = v19;
				branch_List_13 = v15;
				branch_Type_12 = v18;
			} break;
			case std_list_List_1_Nil: {
				struct std_list_List_1 v20 = { .tag=std_list_List_1_Nil };
				bool v21 = false;
				branch_Bool_14 = v21;
				branch_List_13 = v20;
				branch_Type_12 = v9;
			} break;
			default: {
				do_panic(str_make("unexpected fallthrough in match\n", 32));
			}
		}
		v8 = branch_Bool_14;
		v7 = branch_Bool_14;
		v6 = branch_List_13;
		v5 = branch_Type_12;
	}
	decref(MK_std_list_List_1(v6));
	return v5;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %rbx
subq $0x18, %rsp
movq %rsi, %rbx
movl %edi, %r15d
leaq -0x28(%rbp), %r14
cmpl $0x1, %edx
jne 0x1ebfa
movq %rcx, %rdi
movq %r14, %rsi
callq 0xd0aa
movq %rax, %rdi
callq 0x1f349
movl %r15d, %edi
movq %rbx, %rsi
movl $0x5, %edx
movq %rax, %rcx
callq 0x1f39c
movq %rdx, %rbx
movl -0x28(%rbp), %edx
movq -0x20(%rbp), %rcx
movl $0xb, %r15d
jmp 0x1ebbd
testl %edx, %edx
jne 0x1ec0f
movl %r15d, %eax
movq %rbx, %rdx
addq $0x18, %rsp
popq %rbx
popq %r14
popq %r15
popq %rbp
retq
movl $0x20, %edi
callq 0xf5e4
movq $0x20, 0x10(%rax)
movups 0xc1aa5(%rip), %xmm0    # 0xe06cd
movups %xmm0, 0x18(%rax)
movups 0xc1aaa(%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_name_Name_head
static enum std_byte_Byte mw_mirth_name_Name_head (struct mirth_mirth_zaMirth* in_zaMirth_1, uint64_t in_Name_2, struct mirth_mirth_zaMirth* *out_zaMirth_3) {
	struct mirth_mirth_zaMirth* v5;
	STR* v6 = mw_mirth_name_Name_zgStr(in_zaMirth_1, in_Name_2, &v5);
	INT v7 = WRAP_I63(0LL);
	enum std_byte_Byte v8 = mw_std_prim_Str_bytezo(v7, v6);
	*out_zaMirth_3 = v5;
	return v8;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r14
pushq %rbx
movq %rdx, %rbx
movq %rdi, %r14
leaq 0x10f5875(%rip), %rdi   # 0x11144c8
callq 0x13c85
movq %rax, %rdi
callq 0x13d82
movq %rax, %rdi
movq %rdx, %rsi
callq 0x9189
movl $0x1, %edi
movq %rax, %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_mirth_name_Name_tailzehead
static enum std_byte_Byte mw_mirth_name_Name_tailzehead (struct mirth_mirth_zaMirth* in_zaMirth_1, uint64_t in_Name_2, struct mirth_mirth_zaMirth* *out_zaMirth_3) {
	struct mirth_mirth_zaMirth* v5;
	STR* v6 = mw_mirth_name_Name_zgStr(in_zaMirth_1, in_Name_2, &v5);
	INT v7 = WRAP_I63(1LL);
	enum std_byte_Byte v8 = mw_std_prim_Str_bytezo(v7, v6);
	*out_zaMirth_3 = v5;
	return v8;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r14
pushq %rbx
movq %rdx, %rbx
movq %rdi, %r14
leaq 0x10f5834(%rip), %rdi   # 0x11144c8
callq 0x13c85
movq %rax, %rdi
callq 0x13d82
movq %rax, %rdi
movq %rdx, %rsi
callq 0x9189
movl $0x3, %edi
movq %rax, %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_mirth_var_Var_Makezx
static uint64_t mw_mirth_var_Var_Makezx (struct mirth_mirth_zaMirth* in_zaMirth_1, uint64_t in_Name_2, struct mirth_type_Type in_Type_3, struct std_maybe_Maybe_1 in_Maybe_4, struct mirth_mirth_zaMirth* *out_zaMirth_5) {
	struct mirth_mirth_zaMirth* v7;
	uint64_t v8 = mw_mirth_var_Var_Alloczx(in_zaMirth_1, &v7);
	void* v9 = field_mut(&mfld_mirth_var_Var_name, v8);
	mut_set(MK_mirth_name_Name(in_Name_2), v9);
	void* v10 = field_mut(&mfld_mirth_var_Var_type, v8);
	mut_set(MK_mirth_type_Type(in_Type_3), v10);
	void* v11 = field_mut(&mfld_mirth_var_Var_autozerunzy, v8);
	mut_set(MK_std_maybe_Maybe_1(in_Maybe_4), v11);
	*out_zaMirth_5 = v7;
	return v8;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x18, %rsp
movq %r9, -0x30(%rbp)
movl %r8d, %r15d
movq %rcx, %rbx
movl %edx, %r13d
movq %rsi, %r12
movq %rdi, -0x38(%rbp)
movq 0x10f6323(%rip), %r14   # 0x1115010
incq %r14
movq %r14, 0x10f6319(%rip)   # 0x1115010
leaq 0x10f62e2(%rip), %rdi   # 0x1114fe0
movq %r14, %rsi
callq 0x13c85
leaq 0xf29eb(%rip), %rsi     # 0x1116f8
movq %r12, %rdi
movq %rax, %rdx
callq 0x14766
leaq 0x10f62d1(%rip), %rdi   # 0x1114ff0
movq %r14, %rsi
callq 0x13c85
shlq $0x30, %r13
orq %rbx, %r13
leaq 0xf2db4(%rip), %rsi     # 0x111ae9
movq %r13, %rdi
movq %rax, %rdx
callq 0x14766
leaq 0x10f62b9(%rip), %rdi   # 0x1115000
movq %r14, %rsi
callq 0x13c85
shlq $0x30, %r15
orq -0x30(%rbp), %r15
leaq 0xf2563(%rip), %rsi     # 0x1112c1
movq %r15, %rdi
movq %rax, %rdx
callq 0x14766
movq -0x38(%rbp), %rax
movq 0x10(%rbp), %rcx
movq %rax, (%rcx)
movq %r14, %rax
addq $0x18, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
// File: /workspace/github_c_makefile_star2_O3/mirth-lang[P]mirth/bin/mirth1.c
// Function: mirth_type_StackType_free
void mirth_type_StackType_free (VAL v) {
	struct mirth_type_StackType self = V_mirth_type_StackType(v);
	switch (self.tag) {
		case mirth_type_StackType_Error: break;
		case mirth_type_StackType_Ignore: break;
		case mirth_type_StackType_Unit: break;
		case mirth_type_StackType_Var: {
			free(self.ptr.Var);
		} break;
		case mirth_type_StackType_Meta: {
			free(self.ptr.Meta);
		} break;
		case mirth_type_StackType_Cons: {
			decref(MK_mirth_type_StackType(self.ptr.Cons->mStackType));
			decref(MK_mirth_type_Type(self.ptr.Cons->mType));
			free(self.ptr.Cons);
		} break;
		case mirth_type_StackType_ConsLabel: {
			decref(MK_mirth_type_StackType(self.ptr.ConsLabel->mStackType));
			decref(MK_mirth_type_Type(self.ptr.ConsLabel->mType));
			free(self.ptr.ConsLabel);
		} break;
		case mirth_type_StackType_With: {
			decref(MK_mirth_type_StackType(self.ptr.With->mStackType));
			decref(MK_mirth_type_Type(self.ptr.With->mResource));
			free(self.ptr.With);
		} break;
		case mirth_type_StackType_WithLabel: {
			decref(MK_mirth_type_StackType(self.ptr.WithLabel->mStackType));
			decref(MK_mirth_type_Type(self.ptr.WithLabel->mResource));
			free(self.ptr.WithLabel);
		} break;
	}
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r14
pushq %rbx
movq %rdi, %rax
shrq $0x30, %rax
addl $-0x3, %eax
cmpl $0x5, %eax
ja 0x1f09d
movq %rdi, %rbx
movabsq $0xfffffffffffc, %r14   # imm = 0xFFFFFFFFFFFC
andq %r14, %rbx
leaq 0xbf4ad(%rip), %rcx     # 0xde4d4
movslq (%rcx,%rax,4), %rax
addq %rcx, %rax
jmpq *%rax
movq 0x10(%rbx), %rcx
movq %rcx, %rax
andq %r14, %rax
sete %dl
testb $0x3, %cl
setne %cl
orb %dl, %cl
jne 0x1f062
decl (%rax)
jne 0x1f062
leaq 0xf2b6f(%rip), %rsi     # 0x111bc1
movl 0x8(%rbx), %edi
shlq $0x30, %rdi
orq 0x10(%rbx), %rdi
callq 0xd13d
movq 0x20(%rbx), %rax
andq %rax, %r14
sete %cl
testb $0x3, %al
setne %al
orb %cl, %al
jne 0x1f091
decl (%r14)
jne 0x1f091
leaq 0xf2a68(%rip), %rsi     # 0x111ae9
movl 0x18(%rbx), %edi
shlq $0x30, %rdi
orq 0x20(%rbx), %rdi
callq 0xd13d
movq %rbx, %rdi
popq %rbx
popq %r14
popq %rbp
jmp 0x5030
popq %rbx
popq %r14
popq %rbp
retq
// File: /workspace/github_c_makefile_star2_O3/mirth-lang[P]mirth/bin/mirth1.c
// Function: mirth_type_ArrowType_free
static void mirth_type_ArrowType_free (VAL vself) {
	ASSERT(vself.tag == TAG_mirth_type_ArrowType);
	struct mirth_type_ArrowType* self = vself.data.ptr;
	decref(MK_mirth_type_StackType(self->mdom));
	decref(MK_mirth_type_StackType(self->mcod));
	free(self);
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %rbx
pushq %rax
leaq 0xf2a79(%rip), %rax     # 0x111b79
cmpq %rsi, %rax
jne 0x1f184
movq %rdi, %rbx
movabsq $0xfffffffffffc, %r15   # imm = 0xFFFFFFFFFFFC
movq 0x10(%rdi), %rcx
leaq 0xf2aa4(%rip), %r14     # 0x111bc1
movq %rcx, %rax
andq %r15, %rax
sete %dl
testb $0x3, %cl
setne %cl
orb %dl, %cl
jne 0x1f147
decl (%rax)
jne 0x1f147
movl 0x8(%rbx), %edi
shlq $0x30, %rdi
orq 0x10(%rbx), %rdi
movq %r14, %rsi
callq 0xd13d
movq 0x20(%rbx), %rax
andq %rax, %r15
sete %cl
testb $0x3, %al
setne %al
orb %cl, %al
jne 0x1f172
decl (%r15)
jne 0x1f172
movl 0x18(%rbx), %edi
shlq $0x30, %rdi
orq 0x20(%rbx), %rdi
movq %r14, %rsi
callq 0xd13d
movq %rbx, %rdi
addq $0x8, %rsp
popq %rbx
popq %r14
popq %r15
popq %rbp
jmp 0x5030
leaq 0xc45b9(%rip), %rsi     # 0xe3744
movl $0x53, %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: mirth_type_Value_free
void mirth_type_Value_free (VAL v) {
	struct mirth_type_Value self = V_mirth_type_Value(v);
	switch (self.tag) {
		case mirth_type_Value_Int: {
			decref(MKINT(self.ptr.Int->mInt));
			free(self.ptr.Int);
		} break;
		case mirth_type_Value_F64: {
			free(self.ptr.F64);
		} break;
		case mirth_type_Value_Str: {
			decref(MKSTR(self.ptr.Str->mStr));
			free(self.ptr.Str);
		} break;
		case mirth_type_Value_Block: {
			free(self.ptr.Block);
		} break;
	}
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %rbx
pushq %rax
movq %rdi, %rcx
shrq $0x30, %rcx
cmpw $0x3, %cx
ja 0x1f280
movq %rdi, %rbx
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq %rax, %rbx
leaq 0xbf2cc(%rip), %rdx     # 0xde4ec
movslq (%rdx,%rcx,4), %rcx
addq %rdx, %rcx
jmpq *%rcx
movq %rbx, %rdi
addq $0x8, %rsp
popq %rbx
popq %rbp
jmp 0x5030
movq 0x8(%rbx), %rdi
andq %rdi, %rax
sete %cl
testb $0x3, %dil
setne %dl
orb %cl, %dl
jne 0x1f229
decl (%rax)
jne 0x1f229
leaq 0xf21d2(%rip), %rsi     # 0x111429
jmp 0x1f279
movq 0x8(%rbx), %rdi
andq %rdi, %rax
sete %cl
testb $0x3, %dil
setne %dl
orb %cl, %dl
jne 0x1f229
decl (%rax)
jne 0x1f229
leaq 0xf1ee0(%rip), %rsi     # 0x111159
callq 0xd13d
jmp 0x1f229
addq $0x8, %rsp
popq %rbx
popq %rbp
retq
// File: /workspace/github_c_makefile_star2_O3/mirth-lang[P]mirth/bin/mirth1.c
// Function: mtw_mirth_type_Type_Var
static struct mirth_type_Type mtw_mirth_type_Type_Var (uint64_t in_Var_1) {
	struct mirth_type_Type_Var* v3 = calloc(1, sizeof *v3);
	ASSERT(v3);
	v3->refs = 1;
	v3->mVar = in_Var_1;
	struct mirth_type_Type v4 = { .tag=mirth_type_Type_Var, .ptr.Var=v3 };
	return v4;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %rbx
pushq %rax
movq %rdi, %rbx
movl $0x1, %edi
movl $0x10, %esi
callq 0x50c0
testq %rax, %rax
je 0x1f377
movl $0x1, (%rax)
movq %rbx, 0x8(%rax)
addq $0x8, %rsp
popq %rbx
popq %rbp
retq
leaq 0xc449c(%rip), %rsi     # 0xe381a
movl $0x31, %edx
movl $0x2, %edi
callq 0x5060
callq 0x52b6
movl $0x1, %edi
callq 0x5130
// File: /workspace/github_c_makefile_star2_O3/mirth-lang[P]mirth/bin/mirth1.c
// Function: mtw_mirth_type_Type_App
static struct mirth_type_Type mtw_mirth_type_Type_App (struct mirth_type_Type in_Type_1, struct mirth_type_Type in_Type_2) {
	struct mirth_type_Type_App* v4 = calloc(1, sizeof *v4);
	ASSERT(v4);
	v4->refs = 1;
	v4->mType = in_Type_2;
	v4->mType_1 = in_Type_1;
	struct mirth_type_Type v5 = { .tag=mirth_type_Type_App, .ptr.App=v4 };
	return v5;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r12
pushq %rbx
movq %rcx, %r14
movl %edx, %r12d
movq %rsi, %rbx
movl %edi, %r15d
movl $0x1, %edi
movl $0x28, %esi
callq 0x50c0
testq %rax, %rax
je 0x1f3ee
movq %rax, %rdx
movl $0x1, (%rax)
movl %r12d, 0x18(%rax)
movq %r14, 0x20(%rax)
movl %r15d, 0x8(%rax)
movq %rbx, 0x10(%rax)
movl $0xb, %eax
popq %rbx
popq %r12
popq %r14
popq %r15
popq %rbp
retq
leaq 0xc4457(%rip), %rsi     # 0xe384c
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_typedef_TypeDef_Newzx
static uint64_t mw_mirth_typedef_TypeDef_Newzx (struct mirth_mirth_zaMirth* in_zaMirth_1, struct std_maybe_Maybe_1 in_Maybe_2, struct std_maybe_Maybe_1 in_Maybe_3, uint64_t in_Name_4, struct mirth_mirth_PropState_1 in_PropState_5, struct mirth_mirth_zaMirth* *out_zaMirth_6) {
	struct mirth_mirth_zaMirth* v8;
	uint64_t v9 = mw_mirth_typedef_TypeDef_Makezx(in_zaMirth_1, in_Maybe_2, in_Maybe_3, in_Name_4, &v8);
	struct mirth_mirth_PropLabel v10 = mtw_mirth_mirth_PropLabel_TypeDefQName(v9);
	struct mirth_mirth_Prop_1* v11 = mtw_mirth_mirth_Prop_1_Prop(v10, in_PropState_5);
	void* v12 = field_mut(&mfld_mirth_typedef_TypeDef_ztqname, v9);
	mut_set(MK_mirth_mirth_Prop_1(v11), v12);
	struct mirth_def_Def v13 = mtw_mirth_def_Def_Type(v9);
	struct mirth_mirth_zaMirth* v14;
	mw_mirth_def_Def_register(v8, v13, &v14);
	*out_zaMirth_6 = v14;
	return v9;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x18, %rsp
movq %r9, -0x38(%rbp)
movq %r8, %r13
movl %ecx, %r12d
movq %rdx, %r14
movl %esi, %r15d
movq %rdi, -0x30(%rbp)
movq 0x10f5c19(%rip), %rbx   # 0x1115058
incq %rbx
movq %rbx, 0x10f5c0f(%rip)   # 0x1115058
leaq 0x10f5bf8(%rip), %rdi   # 0x1115048
movq %rbx, %rsi
callq 0x13c85
shlq $0x30, %r15
orq %r14, %r15
leaq 0xf1e5b(%rip), %r14     # 0x1112c1
movq %r15, %rdi
movq %r14, %rsi
movq %rax, %rdx
callq 0x14766
leaq 0x10f5915(%rip), %rdi   # 0x1114d90
movq %rbx, %rsi
callq 0x13c85
shlq $0x30, %r12
orq %r13, %r12
movq %r12, %rdi
movq %r14, %rsi
movq %rax, %rdx
callq 0x14766
leaq 0x10f5aa9(%rip), %rdi   # 0x1114f48
movq %rbx, %rsi
callq 0x13c85
leaq 0xf224a(%rip), %rsi     # 0x1116f8
movq -0x38(%rbp), %rdi
movq %rax, %rdx
callq 0x14766
movl $0x1, %edi
movl $0x10, %esi
callq 0x50c0
testq %rax, %rax
je 0x1f566
movq 0x18(%rbp), %rcx
movl 0x10(%rbp), %edx
movl $0x1, (%rax)
movq %rbx, 0x8(%rax)
movl $0x6, %edi
movq %rax, %rsi
callq 0x1f63a
movq %rax, %r14
leaq 0x10f56a6(%rip), %rdi   # 0x1114ba0
movq %rbx, %rsi
callq 0x13c85
leaq 0xf22c8(%rip), %rsi     # 0x1117d1
movq %r14, %rdi
movq %rax, %rdx
callq 0x14766
movl $0x1, %edi
movl $0x10, %esi
callq 0x50c0
testq %rax, %rax
je 0x1f56f
movq 0x20(%rbp), %r15
movl $0x1, (%rax)
movq %rbx, 0x8(%rax)
leaq -0x40(%rbp), %r14
movq -0x30(%rbp), %rdi
movl $0x5, %esi
movq %rax, %rdx
movq %r14, %rcx
callq 0x1346e
movq (%r14), %rax
movq %rax, (%r15)
movq %rbx, %rax
addq $0x18, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
leaq 0xc4311(%rip), %rsi     # 0xe387e
jmp 0x1f576
leaq 0xc436c(%rip), %rsi     # 0xe38e2
movl $0x31, %edx
movl $0x2, %edi
callq 0x5060
callq 0x52b6
movl $0x1, %edi
callq 0x5130
// File: /workspace/github_c_makefile_star2_O3/mirth-lang[P]mirth/bin/mirth1.c
// Function: mtw_mirth_mirth_PropLabel_TypeDefTarget
static struct mirth_mirth_PropLabel mtw_mirth_mirth_PropLabel_TypeDefTarget (uint64_t in_TypeDef_1) {
	struct mirth_mirth_PropLabel_TypeDefTarget* v3 = calloc(1, sizeof *v3);
	ASSERT(v3);
	v3->refs = 1;
	v3->mTypeDef = in_TypeDef_1;
	struct mirth_mirth_PropLabel v4 = { .tag=mirth_mirth_PropLabel_TypeDefTarget, .ptr.TypeDefTarget=v3 };
	return v4;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %rbx
pushq %rax
movq %rdi, %rbx
movl $0x1, %edi
movl $0x10, %esi
callq 0x50c0
testq %rax, %rax
je 0x1f5c2
movl $0x1, (%rax)
movq %rbx, 0x8(%rax)
addq $0x8, %rsp
popq %rbx
popq %rbp
retq
leaq 0xc434b(%rip), %rsi     # 0xe3914
movl $0x31, %edx
movl $0x2, %edi
callq 0x5060
callq 0x52b6
movl $0x1, %edi
callq 0x5130
// File: /workspace/github_c_makefile_star2_O3/mirth-lang[P]mirth/bin/mirth1.c
// Function: mtw_mirth_mirth_PropLabel_TypeDefParams
static struct mirth_mirth_PropLabel mtw_mirth_mirth_PropLabel_TypeDefParams (uint64_t in_TypeDef_1) {
	struct mirth_mirth_PropLabel_TypeDefParams* v3 = calloc(1, sizeof *v3);
	ASSERT(v3);
	v3->refs = 1;
	v3->mTypeDef = in_TypeDef_1;
	struct mirth_mirth_PropLabel v4 = { .tag=mirth_mirth_PropLabel_TypeDefParams, .ptr.TypeDefParams=v3 };
	return v4;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %rbx
pushq %rax
movq %rdi, %rbx
movl $0x1, %edi
movl $0x10, %esi
callq 0x50c0
testq %rax, %rax
je 0x1f615
movl $0x1, (%rax)
movq %rbx, 0x8(%rax)
addq $0x8, %rsp
popq %rbx
popq %rbp
retq
leaq 0xc432a(%rip), %rsi     # 0xe3946
movl $0x31, %edx
movl $0x2, %edi
callq 0x5060
callq 0x52b6
movl $0x1, %edi
callq 0x5130
// File: /workspace/github_c_makefile_star2_O3/mirth-lang[P]mirth/bin/mirth1.c
// Function: mtw_mirth_mirth_Prop_1_Prop
static struct mirth_mirth_Prop_1* mtw_mirth_mirth_Prop_1_Prop (struct mirth_mirth_PropLabel in_PropLabel_1, struct mirth_mirth_PropState_1 in_PropState_2) {
	struct mirth_mirth_Prop_1* v4 = calloc(1, sizeof *v4);
	ASSERT(v4);
	v4->refs = 1;
	v4->mstate = in_PropState_2;
	v4->mlabel = in_PropLabel_1;
	return v4;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r12
pushq %rbx
movq %rcx, %r14
movl %edx, %r12d
movq %rsi, %rbx
movl %edi, %r15d
movl $0x1, %edi
movl $0x28, %esi
callq 0x50c0
testq %rax, %rax
je 0x1f684
movl $0x1, (%rax)
movl %r12d, 0x18(%rax)
movq %r14, 0x20(%rax)
movl %r15d, 0x8(%rax)
movq %rbx, 0x10(%rax)
popq %rbx
popq %r12
popq %r14
popq %r15
popq %rbp
retq
leaq 0xc4225(%rip), %rsi     # 0xe38b0
movl $0x31, %edx
movl $0x2, %edi
callq 0x5060
callq 0x52b6
movl $0x1, %edi
callq 0x5130
// File: /workspace/github_c_makefile_star2_O3/mirth-lang[P]mirth/bin/mirth1.c
// Function: mtw_mirth_type_CType_Void
static struct mirth_type_CType mtw_mirth_type_CType_Void (STR* in_Str_1) {
	struct mirth_type_CType_Void* v3 = calloc(1, sizeof *v3);
	ASSERT(v3);
	v3->refs = 1;
	v3->mStr = in_Str_1;
	struct mirth_type_CType v4 = { .tag=mirth_type_CType_Void, .ptr.Void=v3 };
	return v4;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %rbx
pushq %rax
movq %rdi, %rbx
movl $0x1, %edi
movl $0x10, %esi
callq 0x50c0
testq %rax, %rax
je 0x1fd97
movq %rax, %rdx
movl $0x1, (%rax)
movq %rbx, 0x8(%rax)
movl $0x6, %eax
addq $0x8, %rsp
popq %rbx
popq %rbp
retq
leaq 0xc3faf(%rip), %rsi     # 0xe3d4d
movl $0x31, %edx
movl $0x2, %edi
callq 0x5060
callq 0x52b6
movl $0x1, %edi
callq 0x5130