// File: /workspace/github_c_makefile_star2_O1/mirth-lang[P]mirth/bin/mirth1.c
// Function: mw_mirth_name_QName_climbzeupzenamezy
static struct std_list_List_1 mw_mirth_name_QName_climbzeupzenamezy (struct mirth_mirth_zaMirth* in_zaMirth_1, uint64_t in_Name_2, struct mirth_name_QName* in_QName_3, struct mirth_mirth_zaMirth* *out_zaMirth_4) {
	incref(MK_mirth_name_QName(in_QName_3));
	uint64_t v6 = in_QName_3->mname;
	decref(MK_mirth_name_QName(in_QName_3));
	uint64_t v7 = in_Name_2;
	uint64_t v8 = v6;
	bool v9 = (v7 == v8);
	struct mirth_mirth_zaMirth* branch_zaMirth_10;
	uint64_t branch_Name_11;
	struct mirth_name_QName* branch_QName_12;
	struct std_list_List_1 branch_List_13;
	if (v9) {
		incref(MK_mirth_name_QName(in_QName_3));
		struct mirth_name_Namespace v14 = in_QName_3->mnamespace;
		incref(MK_mirth_name_Namespace(v14));
		decref(MK_mirth_name_QName(in_QName_3));
		struct std_list_List_1 v15 = { .tag=std_list_List_1_Nil };
		struct std_list_List_1 v16 = mw_std_list_List_1_cons(MK_mirth_name_Namespace(v14), v15);
		branch_List_13 = v16;
		branch_QName_12 = in_QName_3;
		branch_Name_11 = in_Name_2;
		branch_zaMirth_10 = in_zaMirth_1;
	} else {
		struct std_list_List_1 v17 = { .tag=std_list_List_1_Nil };
		branch_List_13 = v17;
		branch_QName_12 = in_QName_3;
		branch_Name_11 = in_Name_2;
		branch_zaMirth_10 = in_zaMirth_1;
	}
	struct mirth_mirth_zaMirth* v18;
	struct std_list_List_1 v19 = mw_mirth_name_Name_defs(branch_zaMirth_10, branch_Name_11, &v18);
	bool v20 = true;
	struct std_list_List_1 v21 = branch_List_13;
	struct mirth_name_QName* v22 = branch_QName_12;
	struct mirth_mirth_zaMirth* r23 = v18;
	struct std_list_List_1 v24 = v19;
	bool v25 = v20;
	bool v26 = v20;
	while (v26) {
		struct std_list_List_1 v27 = v21;
		struct mirth_name_QName* v28 = v22;
		struct mirth_mirth_zaMirth* r29 = r23;
		struct std_list_List_1 v30 = v24;
		bool v31 = v25;
		struct mirth_name_QName* branch_QName_32;
		struct mirth_mirth_zaMirth* branch_zaMirth_33;
		struct std_list_List_1 branch_List_34;
		struct std_list_List_1 branch_List_35;
		bool branch_Bool_36;
		switch ((v30).tag) {
			case std_list_List_1_Cons: {
				struct std_list_List_1 v37;
				VAL v38 = mtp_std_list_List_1_Cons(v30, &v37);
				struct mirth_name_QName* branch_QName_39;
				struct mirth_mirth_zaMirth* branch_zaMirth_40;
				struct std_list_List_1 branch_List_41;
				switch ((V_mirth_def_Def(v38)).tag) {
					case mirth_def_Def_Alias: {
						uint64_t v42 = mtp_mirth_def_Def_Alias(V_mirth_def_Def(v38));
						void* v43 = field_mut(&mfld_mirth_alias_Alias_zttarget, v42);
						struct mirth_mirth_zaMirth* v44;
						struct std_maybe_Maybe_1 v45 = mw_mirth_mirth_Prop_1_tryzeforcezx(r29, v43, &v44);
						struct mirth_name_QName* branch_QName_46;
						struct mirth_mirth_zaMirth* branch_zaMirth_47;
						bool branch_Bool_48;
						switch ((v45).tag) {
							case std_maybe_Maybe_1_Some: {
								VAL v49 = mtp_std_maybe_Maybe_1_Some(v45);
								struct mirth_mirth_zaMirth* v50;
								struct mirth_name_QName* v51 = mw_mirth_def_Def_qnamezehard(v44, V_mirth_def_Def(v49), &v50);
								incref(MK_mirth_name_QName(v28));
								struct mirth_mirth_zaMirth* v52;
								bool v53 = mw_mirth_name_QName_zd(v50, v51, v28, &v52);
								branch_Bool_48 = v53;
								branch_zaMirth_47 = v52;
								branch_QName_46 = v28;
							} break;
							case std_maybe_Maybe_1_None: {
								bool v54 = false;
								branch_Bool_48 = v54;
								branch_zaMirth_47 = v44;
								branch_QName_46 = v28;
							} break;
							default: {
								do_panic(str_make("unexpected fallthrough in match\n", 32));
							}
						}
						struct mirth_name_QName* branch_QName_55;
						struct mirth_mirth_zaMirth* branch_zaMirth_56;
						struct std_list_List_1 branch_List_57;
						if (branch_Bool_48) {
							struct mirth_mirth_zaMirth* v58;
							struct mirth_name_Namespace v59 = mw_mirth_alias_Alias_namespace(branch_zaMirth_47, v42, &v58);
							struct std_list_List_1 v60 = mw_std_list_List_1_cons(MK_mirth_name_Namespace(v59), v27);
							branch_List_57 = v60;
							branch_zaMirth_56 = v58;
							branch_QName_55 = branch_QName_46;
						} else {
							branch_List_57 = v27;
							branch_zaMirth_56 = branch_zaMirth_47;
							branch_QName_55 = branch_QName_46;
						}
						branch_List_41 = branch_List_57;
						branch_zaMirth_40 = branch_zaMirth_56;
						branch_QName_39 = branch_QName_55;
					} break;
					case mirth_def_Def_Type: {
						uint64_t v61 = mtp_mirth_def_Def_Type(V_mirth_def_Def(v38));
						struct mirth_mirth_zaMirth* v62;
						struct mirth_type_Type v63 = mw_mirth_typedef_TypeDef_target(r29, v61, &v62);
						struct mirth_mirth_zaMirth* v64;
						struct std_maybe_Maybe_1 v65 = mw_mirth_type_Type_tyconzy(v62, v63, &v64);
						struct mirth_name_QName* branch_QName_66;
						struct mirth_mirth_zaMirth* branch_zaMirth_67;
						bool branch_Bool_68;
						switch ((v65).tag) {
							case std_maybe_Maybe_1_Some: {
								VAL v69 = mtp_std_maybe_Maybe_1_Some(v65);
								struct mirth_mirth_zaMirth* v70;
								struct mirth_name_QName* v71 = mw_mirth_tycon_Tycon_qnamezehard(v64, V_mirth_tycon_Tycon(v69), &v70);
								incref(MK_mirth_name_QName(v28));
								struct mirth_mirth_zaMirth* v72;
								bool v73 = mw_mirth_name_QName_zd(v70, v71, v28, &v72);
								branch_Bool_68 = v73;
								branch_zaMirth_67 = v72;
								branch_QName_66 = v28;
							} break;
							case std_maybe_Maybe_1_None: {
								bool v74 = false;
								branch_Bool_68 = v74;
								branch_zaMirth_67 = v64;
								branch_QName_66 = v28;
							} break;
							default: {
								do_panic(str_make("unexpected fallthrough in match\n", 32));
							}
						}
						struct mirth_name_QName* branch_QName_75;
						struct mirth_mirth_zaMirth* branch_zaMirth_76;
						struct std_list_List_1 branch_List_77;
						if (branch_Bool_68) {
							struct mirth_mirth_zaMirth* v78;
							struct mirth_name_Namespace v79 = mw_mirth_typedef_TypeDef_namespace(branch_zaMirth_67, v61, &v78);
							struct std_list_List_1 v80 = mw_std_list_List_1_cons(MK_mirth_name_Namespace(v79), v27);
							branch_List_77 = v80;
							branch_zaMirth_76 = v78;
							branch_QName_75 = branch_QName_66;
						} else {
							branch_List_77 = v27;
							branch_zaMirth_76 = branch_zaMirth_67;
							branch_QName_75 = branch_QName_66;
						}
						branch_List_41 = branch_List_77;
						branch_zaMirth_40 = branch_zaMirth_76;
						branch_QName_39 = branch_QName_75;
					} break;
					default: {
						decref(MK_mirth_def_Def(V_mirth_def_Def(v38)));
						branch_List_41 = v27;
						branch_zaMirth_40 = r29;
						branch_QName_39 = v28;
					} break;
				}
				bool v81 = true;
				branch_Bool_36 = v81;
				branch_List_35 = v37;
				branch_List_34 = branch_List_41;
				branch_zaMirth_33 = branch_zaMirth_40;
				branch_QName_32 = branch_QName_39;
			} break;
			case std_list_List_1_Nil: {
				struct std_list_List_1 v82 = { .tag=std_list_List_1_Nil };
				bool v83 = false;
				branch_Bool_36 = v83;
				branch_List_35 = v82;
				branch_List_34 = v27;
				branch_zaMirth_33 = r29;
				branch_QName_32 = v28;
			} break;
			default: {
				do_panic(str_make("unexpected fallthrough in match\n", 32));
			}
		}
		v26 = branch_Bool_36;
		v25 = branch_Bool_36;
		v24 = branch_List_35;
		r23 = branch_zaMirth_33;
		v22 = branch_QName_32;
		v21 = branch_List_34;
	}
	decref(MK_std_list_List_1(v24));
	decref(MK_mirth_name_QName(v22));
	*out_zaMirth_4 = r23;
	return v21;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x58, %rsp
movq %rcx, -0x68(%rbp)
movq %rsi, %rbx
movabsq $0xfffffffffffc, %r13   # imm = 0xFFFFFFFFFFFC
movq %rdx, %r14
andq %r13, %r14
setne %al
movq %rdx, -0x38(%rbp)
testb $0x3, %dl
sete %r15b
andb %al, %r15b
cmpb $0x1, %r15b
jne 0x2efa8
incl (%r14)
movq -0x38(%rbp), %rax
movq 0x18(%rax), %r12
testb %r15b, %r15b
je 0x2efd2
decl (%r14)
jne 0x2efd2
movq %rdi, -0x48(%rbp)
movq -0x38(%rbp), %rdi
leaq 0xe6778(%rip), %rsi     # 0x115741
callq 0xd4e3
movq -0x48(%rbp), %rdi
cmpq %rbx, %r12
jne 0x2f04e
testb %r15b, %r15b
je 0x2efdf
incl (%r14)
movq -0x38(%rbp), %rcx
movq 0x10(%rcx), %rax
movl 0x8(%rcx), %r12d
shlq $0x30, %r12
movq %rax, %rcx
andq %r13, %rcx
sete %dl
testb $0x3, %al
setne %sil
orb %dl, %sil
jne 0x2f005
incl (%rcx)
movq %rdi, -0x48(%rbp)
orq %rax, %r12
leaq 0xe6926(%rip), %rsi     # 0x115939
testb %r15b, %r15b
je 0x2f033
decl (%r14)
jne 0x2f033
movq -0x38(%rbp), %rdi
movq %rsi, %r14
leaq 0xe6716(%rip), %rsi     # 0x115741
callq 0xd4e3
movq %r14, %rsi
movq %r12, %rdi
xorl %edx, %edx
xorl %ecx, %ecx
callq 0xd592
movq %rdx, %r14
movl $0x1, %r12d
movq -0x48(%rbp), %rdi
jmp 0x2f054
xorl %r12d, %r12d
xorl %r14d, %r14d
leaq -0x80(%rbp), %r15
movq %rbx, %rsi
movq %r15, %rdx
callq 0x1503c
movq %rdx, %rdi
movq (%r15), %rbx
movq -0x38(%rbp), %rdx
movq %rdx, %rcx
andq %r13, %rcx
movq %rcx, -0x60(%rbp)
setne %cl
testb $0x3, %dl
sete %dl
andb %cl, %dl
movb %dl, -0x29(%rbp)
testl %eax, %eax
je 0x2f145
cmpl $0x1, %eax
jne 0x2f35b
leaq -0x78(%rbp), %rsi
callq 0xd450
movq %rax, %rcx
shrq $0x30, %rcx
movq %rax, %rdi
andq %r13, %rdi
cmpq $0x5, %rcx
je 0x2f14e
testl %ecx, %ecx
jne 0x2f1ec
movq 0x8(%rdi), %r15
decl (%rdi)
jne 0x2f0cb
callq 0x5030
leaq 0x10ea346(%rip), %rdi   # 0x1119418
movq %r15, %rsi
callq 0x13ff0
movq %rbx, %rdi
movq %rax, %rsi
leaq -0x50(%rbp), %rdx
callq 0x158b0
testl %eax, %eax
je 0x2f218
cmpl $0x1, %eax
jne 0x2f35b
movq %rdx, %rdi
callq 0xdaeb
movq -0x50(%rbp), %rdi
movq %rax, %rsi
shrq $0x30, %rsi
andq %r13, %rax
movq %rax, %rdx
leaq -0x40(%rbp), %rcx
callq 0x2e781
cmpb $0x0, -0x29(%rbp)
je 0x2f128
movq -0x60(%rbp), %rcx
incl (%rcx)
movq -0x40(%rbp), %rdi
movq %rax, %rsi
movq -0x38(%rbp), %rdx
leaq -0x58(%rbp), %rcx
callq 0x19a82
movq -0x58(%rbp), %rbx
jmp 0x2f21e
xorl %ecx, %ecx
xorl %edi, %edi
jmp 0x2f2dd
movq 0x8(%rdi), %r15
decl (%rdi)
jne 0x2f15b
callq 0x5030
leaq 0x10e9ec6(%rip), %rdi   # 0x1119028
movq %r15, %rsi
callq 0x13ff0
movq %rbx, %rdi
movq %rax, %rsi
leaq -0x40(%rbp), %rdx
callq 0x1a972
movq -0x40(%rbp), %rdi
movq %rax, %rsi
shrq $0x30, %rsi
andq %r13, %rax
movq %rax, %rdx
leaq -0x50(%rbp), %rcx
callq 0x2dc76
testl %eax, %eax
je 0x2f233
cmpl $0x1, %eax
jne 0x2f35b
movq %rdx, %rdi
callq 0xdaeb
movq -0x50(%rbp), %rdi
movq %rax, %rsi
shrq $0x30, %rsi
andq %r13, %rax
movq %rax, %rdx
leaq -0x40(%rbp), %rcx
callq 0x1a2ad
cmpb $0x0, -0x29(%rbp)
je 0x2f1d2
movq -0x60(%rbp), %rcx
incl (%rcx)
movq -0x40(%rbp), %rdi
movq %rax, %rsi
movq -0x38(%rbp), %rdx
leaq -0x58(%rbp), %rcx
callq 0x19a82
movq -0x58(%rbp), %rbx
jmp 0x2f239
movq %rax, %rcx
andq %r13, %rcx
je 0x2f2d4
decl (%rcx)
jne 0x2f2d4
andq $-0x4, %rax
movq %rax, %rdi
leaq 0xe657b(%rip), %rsi     # 0x115789
callq 0xd4e3
jmp 0x2f2d4
movq -0x50(%rbp), %rbx
xorl %eax, %eax
testb %al, %al
je 0x2f2d4
movq %r14, -0x48(%rbp)
leaq 0x10e92df(%rip), %rdi   # 0x1118510
jmp 0x2f24c
movq -0x50(%rbp), %rbx
xorl %eax, %eax
testb %al, %al
je 0x2f2d4
movq %r14, -0x48(%rbp)
leaq 0x10e9954(%rip), %rdi   # 0x1118ba0
movq %r15, %rsi
callq 0x13ff0
movq %rbx, %rdi
movq %rax, %rsi
leaq -0x40(%rbp), %rdx
callq 0x1a972
movl 0x8(%rax), %r15d
movq 0x10(%rax), %r14
movq %r14, %rcx
andq %r13, %rcx
sete %dl
testb $0x3, %r14b
setne %sil
orb %dl, %sil
jne 0x2f283
incl (%rcx)
movq -0x40(%rbp), %rbx
movq %rax, %rcx
andq %r13, %rcx
sete %dl
testb $0x3, %al
setne %sil
orb %dl, %sil
jne 0x2f2ae
decl (%rcx)
jne 0x2f2ae
movq %rax, %rdi
leaq 0xe6498(%rip), %rsi     # 0x115741
callq 0xd4e3
shlq $0x30, %r15
orq %r14, %r15
movq %r15, %rdi
leaq 0xe667a(%rip), %rsi     # 0x115939
movl %r12d, %edx
movq -0x48(%rbp), %rcx
callq 0xd592
movq %rdx, %r14
movl $0x1, %r12d
movl -0x78(%rbp), %eax
movq -0x70(%rbp), %rdi
movb $0x1, %cl
testb %cl, %cl
jne 0x2f085
movq %rdi, %rcx
andq %r13, %rcx
sete %dl
testb $0x3, %dil
setne %sil
orb %dl, %sil
jne 0x2f315
decl (%rcx)
jne 0x2f315
shlq $0x30, %rax
orq %rdi, %rax
leaq 0xe5f6c(%rip), %rsi     # 0x115279
movq %rax, %rdi
callq 0xd4e3
movq -0x38(%rbp), %rcx
andq %rcx, %r13
sete %al
testb $0x3, %cl
setne %cl
orb %al, %cl
jne 0x2f33f
decl (%r13)
jne 0x2f33f
movq -0x38(%rbp), %rdi
leaq 0xe6407(%rip), %rsi     # 0x115741
callq 0xd4e3
movq -0x68(%rbp), %rax
movq %rbx, (%rax)
movl %r12d, %eax
movq %r14, %rdx
addq $0x58, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
movl $0x20, %edi
callq 0xf9f7
movq $0x20, 0x10(%rax)
movups 0xb53d9(%rip), %xmm0    # 0xe474d
movups %xmm0, 0x18(%rax)
movups 0xb53de(%rip), %xmm0    # 0xe475d
movups %xmm0, 0x28(%rax)
movq %rax, %rdi
callq 0x95a5