// File: /workspace/github_c_makefile_star2_O0/mirth-lang[P]mirth/bin/mirth1.c
// Function: mw_mirth_name_QName_tozemodulezepath
static STR* mw_mirth_name_QName_tozemodulezepath (struct mirth_name_QName* in_QName_1, struct mirth_mirth_zaMirth* in_zaMirth_2, struct mirth_mirth_zaMirth* *out_zaMirth_4) {
	incref(MK_mirth_name_QName(in_QName_1));
	struct mirth_name_Namespace v7 = in_QName_1->mnamespace;
	incref(MK_mirth_name_Namespace(v7));
	decref(MK_mirth_name_QName(in_QName_1));
	STR* branch_Path_8;
	struct mirth_mirth_zaMirth* branch_zaMirth_9;
	switch ((v7).tag) {
		case mirth_name_Namespace_Package: {
			uint64_t v10 = mtp_mirth_name_Namespace_Package(v7);
			struct mirth_mirth_zaMirth* v11;
			struct std_maybe_Maybe_1 v12 = mw_mirth_package_Package_pathzeorzesearch(in_zaMirth_2, v10, &v11);
			struct mirth_mirth_zaMirth* branch_zaMirth_13;
			uint64_t branch_Package_14;
			VAL branch_zux1_15;
			switch ((v12).tag) {
				case std_maybe_Maybe_1_Some: {
					VAL v16 = mtp_std_maybe_Maybe_1_Some(v12);
					branch_zux1_15 = v16;
					branch_Package_14 = v10;
					branch_zaMirth_13 = v11;
				} break;
				case std_maybe_Maybe_1_None: {
					STR* v17;
					STRLIT(v17, "False path defined for package ", 31);
					struct mirth_mirth_zaMirth* v18;
					uint64_t v19 = mw_mirth_package_Package_name(v11, v10, &v18);
					struct mirth_mirth_zaMirth* v20;
					STR* v21 = mw_mirth_name_Name_zgStr(v18, v19, &v20);
					mw_mirth_mirth_zaMirth_fatalzeerrorzx(v20, v21);
				} break;
				default: {
					do_panic(str_make("unexpected fallthrough in match\n", 32));
				}
			}
			uint64_t v24 = in_QName_1->mname;
			decref(MK_mirth_name_QName(in_QName_1));
			struct mirth_mirth_zaMirth* v25;
			STR* v26 = mw_mirth_name_Name_zgStr(branch_zaMirth_13, v24, &v25);
			STR* v27;
			STRLIT(v27, ".mth", 4);
			STR* v28 = str_cat(v26, v27);
			STR* v29 = mw_std_path_Path_join(value_str(branch_zux1_15), v28);
			branch_zaMirth_9 = v25;
			branch_Path_8 = v29;
		} break;
		default: {
			decref(MK_mirth_name_Namespace(v7));
			STR* v30;
			STRLIT(v30, "expected module name in QName.to-module-path", 44);
			mw_mirth_mirth_zaMirth_fatalzeerrorzx(in_zaMirth_2, v30);
		} break;
	}
	*out_zaMirth_4 = branch_zaMirth_9;
	return branch_Path_8;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x320, %rsp            # imm = 0x320
movq %rdi, -0x8(%rbp)
movq %rsi, -0x10(%rbp)
movq %rdx, -0x18(%rbp)
movq -0x8(%rbp), %rax
movq %rax, -0x28(%rbp)
leaq 0x1a333a(%rip), %rax    # 0x3917d0
orq $0x1, %rax
movq %rax, -0x20(%rbp)
movq -0x20(%rbp), %rax
andq $0x1, %rax
cmpq $0x0, %rax
je 0x1ee528
movq -0x8(%rbp), %rax
movq %rax, -0x38(%rbp)
leaq 0x1a3315(%rip), %rax    # 0x3917d0
orq $0x1, %rax
movq %rax, -0x30(%rbp)
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0x38(%rbp), %rax
cmpq $0x0, %rax
je 0x1ee528
movq -0x8(%rbp), %rax
movq %rax, -0x48(%rbp)
leaq 0x1a32ea(%rip), %rax    # 0x3917d0
orq $0x1, %rax
movq %rax, -0x40(%rbp)
movq -0x48(%rbp), %rax
andq $0x3, %rax
cmpq $0x0, %rax
jne 0x1ee528
movq -0x8(%rbp), %rax
movq %rax, -0x58(%rbp)
leaq 0x1a32c5(%rip), %rax    # 0x3917d0
orq $0x1, %rax
movq %rax, -0x50(%rbp)
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0x58(%rbp), %rax
movl (%rax), %ecx
addl $0x1, %ecx
movl %ecx, (%rax)
jmp 0x1ee52a
movq -0x8(%rbp), %rax
movq 0x8(%rax), %rcx
movq %rcx, -0x68(%rbp)
movq 0x10(%rax), %rax
movq %rax, -0x60(%rbp)
movl -0x68(%rbp), %edi
movq -0x60(%rbp), %rsi
callq 0x59830
movq %rax, -0x78(%rbp)
movq %rdx, -0x70(%rbp)
movq -0x70(%rbp), %rax
andq $0x1, %rax
cmpq $0x0, %rax
je 0x1ee5ef
movl -0x68(%rbp), %edi
movq -0x60(%rbp), %rsi
callq 0x59830
movq %rax, -0x88(%rbp)
movq %rdx, -0x80(%rbp)
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0x88(%rbp), %rax
cmpq $0x0, %rax
je 0x1ee5ef
movl -0x68(%rbp), %edi
movq -0x60(%rbp), %rsi
callq 0x59830
movq %rax, -0x98(%rbp)
movq %rdx, -0x90(%rbp)
movq -0x98(%rbp), %rax
andq $0x3, %rax
cmpq $0x0, %rax
jne 0x1ee5ef
movl -0x68(%rbp), %edi
movq -0x60(%rbp), %rsi
callq 0x59830
movq %rax, -0xa8(%rbp)
movq %rdx, -0xa0(%rbp)
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0xa8(%rbp), %rax
movl (%rax), %ecx
addl $0x1, %ecx
movl %ecx, (%rax)
jmp 0x1ee5f1
jmp 0x1ee5f3
movq -0x8(%rbp), %rax
movq %rax, -0xb8(%rbp)
leaq 0x1a31cb(%rip), %rax    # 0x3917d0
orq $0x1, %rax
movq %rax, -0xb0(%rbp)
movq -0xb0(%rbp), %rax
andq $0x1, %rax
cmpq $0x0, %rax
je 0x1ee6f7
movq -0x8(%rbp), %rax
movq %rax, -0xc8(%rbp)
leaq 0x1a3199(%rip), %rax    # 0x3917d0
orq $0x1, %rax
movq %rax, -0xc0(%rbp)
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0xc8(%rbp), %rax
cmpq $0x0, %rax
je 0x1ee6f7
movq -0x8(%rbp), %rax
movq %rax, -0xd8(%rbp)
leaq 0x1a3161(%rip), %rax    # 0x3917d0
orq $0x1, %rax
movq %rax, -0xd0(%rbp)
movq -0xd8(%rbp), %rax
andq $0x3, %rax
cmpq $0x0, %rax
jne 0x1ee6f7
movq -0x8(%rbp), %rax
movq %rax, -0xe8(%rbp)
leaq 0x1a3133(%rip), %rax    # 0x3917d0
orq $0x1, %rax
movq %rax, -0xe0(%rbp)
movabsq $0xfffffffffffc, %rcx   # imm = 0xFFFFFFFFFFFC
andq -0xe8(%rbp), %rcx
movl (%rcx), %eax
addl $-0x1, %eax
movl %eax, (%rcx)
cmpl $0x0, %eax
jne 0x1ee6f5
movq -0x8(%rbp), %rax
movq %rax, -0xf8(%rbp)
leaq 0x1a30f9(%rip), %rax    # 0x3917d0
orq $0x1, %rax
movq %rax, -0xf0(%rbp)
movq -0xf8(%rbp), %rdi
movq -0xf0(%rbp), %rsi
callq 0x127c0
jmp 0x1ee6f7
jmp 0x1ee6f9
movl -0x68(%rbp), %eax
subl $0x1, %eax
jne 0x1eebdc
jmp 0x1ee707
movl -0x68(%rbp), %edi
movq -0x60(%rbp), %rsi
callq 0x59cf0
movq %rax, -0x110(%rbp)
movq -0x10(%rbp), %rdi
movq -0x110(%rbp), %rsi
leaq -0x118(%rbp), %rdx
callq 0x1ef640
movl %eax, -0x128(%rbp)
movq %rdx, -0x120(%rbp)
movl -0x128(%rbp), %eax
movl %eax, -0x31c(%rbp)
testl %eax, %eax
je 0x1ee7be
jmp 0x1ee750
movl -0x31c(%rbp), %eax
subl $0x1, %eax
jne 0x1ee920
jmp 0x1ee761
movl -0x128(%rbp), %edi
movq -0x120(%rbp), %rsi
callq 0x174a0
movq %rax, -0x158(%rbp)
movq %rdx, -0x150(%rbp)
movq -0x158(%rbp), %rax
movq %rax, -0x148(%rbp)
movq -0x150(%rbp), %rax
movq %rax, -0x140(%rbp)
movq -0x110(%rbp), %rax
movq %rax, -0x138(%rbp)
movq -0x118(%rbp), %rax
movq %rax, -0x130(%rbp)
jmp 0x1ee939
jmp 0x1ee7c0
cmpq $0x0, 0x11a8120(%rip)   # 0x13968e8
jne 0x1ee7e2
leaq 0x16e215(%rip), %rdi    # 0x35c9e6
movl $0x1f, %esi
callq 0xb6c0
movq %rax, 0x11a8106(%rip)   # 0x13968e8
jmp 0x1ee7e4
movq 0x11a80fd(%rip), %rax   # 0x13968e8
movq %rax, -0x170(%rbp)
leaq 0x1a295f(%rip), %rax    # 0x391158
orq $0x1, %rax
movq %rax, -0x168(%rbp)
movq -0x168(%rbp), %rax
andq $0x1, %rax
cmpq $0x0, %rax
je 0x1ee8b9
movq 0x11a80c8(%rip), %rax   # 0x13968e8
movq %rax, -0x180(%rbp)
leaq 0x1a292a(%rip), %rax    # 0x391158
orq $0x1, %rax
movq %rax, -0x178(%rbp)
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0x180(%rbp), %rax
cmpq $0x0, %rax
je 0x1ee8b9
movq 0x11a8091(%rip), %rax   # 0x13968e8
movq %rax, -0x190(%rbp)
leaq 0x1a28f3(%rip), %rax    # 0x391158
orq $0x1, %rax
movq %rax, -0x188(%rbp)
movq -0x190(%rbp), %rax
andq $0x3, %rax
cmpq $0x0, %rax
jne 0x1ee8b9
movq 0x11a8060(%rip), %rax   # 0x13968e8
movq %rax, -0x1a0(%rbp)
leaq 0x1a28c2(%rip), %rax    # 0x391158
orq $0x1, %rax
movq %rax, -0x198(%rbp)
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0x1a0(%rbp), %rax
movl (%rax), %ecx
addl $0x1, %ecx
movl %ecx, (%rax)
jmp 0x1ee8bb
movq 0x11a8026(%rip), %rax   # 0x13968e8
movq %rax, -0x160(%rbp)
movq -0x118(%rbp), %rdi
movq -0x110(%rbp), %rsi
leaq -0x1a8(%rbp), %rdx
callq 0x47060
movq %rax, -0x1b0(%rbp)
movq -0x1a8(%rbp), %rdi
movq -0x1b0(%rbp), %rsi
leaq -0x1b8(%rbp), %rdx
callq 0x6e5d0
movq %rax, -0x1c0(%rbp)
movq -0x1b8(%rbp), %rdi
movq -0x1c0(%rbp), %rsi
callq 0x44a80
jmp 0x1ee939
leaq 0x16555a(%rip), %rdi    # 0x353e81
movl $0x20, %esi
callq 0xb6c0
movq %rax, %rdi
callq 0xc620
movq -0x8(%rbp), %rax
movq 0x18(%rax), %rax
movq %rax, -0x1c8(%rbp)
movq -0x8(%rbp), %rax
movq %rax, -0x1d8(%rbp)
leaq 0x1a2e76(%rip), %rax    # 0x3917d0
orq $0x1, %rax
movq %rax, -0x1d0(%rbp)
movq -0x1d0(%rbp), %rax
andq $0x1, %rax
cmpq $0x0, %rax
je 0x1eea4c
movq -0x8(%rbp), %rax
movq %rax, -0x1e8(%rbp)
leaq 0x1a2e44(%rip), %rax    # 0x3917d0
orq $0x1, %rax
movq %rax, -0x1e0(%rbp)
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0x1e8(%rbp), %rax
cmpq $0x0, %rax
je 0x1eea4c
movq -0x8(%rbp), %rax
movq %rax, -0x1f8(%rbp)
leaq 0x1a2e0c(%rip), %rax    # 0x3917d0
orq $0x1, %rax
movq %rax, -0x1f0(%rbp)
movq -0x1f8(%rbp), %rax
andq $0x3, %rax
cmpq $0x0, %rax
jne 0x1eea4c
movq -0x8(%rbp), %rax
movq %rax, -0x208(%rbp)
leaq 0x1a2dde(%rip), %rax    # 0x3917d0
orq $0x1, %rax
movq %rax, -0x200(%rbp)
movabsq $0xfffffffffffc, %rcx   # imm = 0xFFFFFFFFFFFC
andq -0x208(%rbp), %rcx
movl (%rcx), %eax
addl $-0x1, %eax
movl %eax, (%rcx)
cmpl $0x0, %eax
jne 0x1eea4a
movq -0x8(%rbp), %rax
movq %rax, -0x218(%rbp)
leaq 0x1a2da4(%rip), %rax    # 0x3917d0
orq $0x1, %rax
movq %rax, -0x210(%rbp)
movq -0x218(%rbp), %rdi
movq -0x210(%rbp), %rsi
callq 0x127c0
jmp 0x1eea4c
jmp 0x1eea4e
movq -0x130(%rbp), %rdi
movq -0x1c8(%rbp), %rsi
leaq -0x220(%rbp), %rdx
callq 0x6e5d0
movq %rax, -0x228(%rbp)
cmpq $0x0, 0x11a7e79(%rip)   # 0x13968f0
jne 0x1eea91
leaq 0x16556e(%rip), %rdi    # 0x353fee
movl $0x4, %esi
callq 0xb6c0
movq %rax, 0x11a7e5f(%rip)   # 0x13968f0
jmp 0x1eea93
movq 0x11a7e56(%rip), %rax   # 0x13968f0
movq %rax, -0x240(%rbp)
leaq 0x1a26b0(%rip), %rax    # 0x391158
orq $0x1, %rax
movq %rax, -0x238(%rbp)
movq -0x238(%rbp), %rax
andq $0x1, %rax
cmpq $0x0, %rax
je 0x1eeb68
movq 0x11a7e21(%rip), %rax   # 0x13968f0
movq %rax, -0x250(%rbp)
leaq 0x1a267b(%rip), %rax    # 0x391158
orq $0x1, %rax
movq %rax, -0x248(%rbp)
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0x250(%rbp), %rax
cmpq $0x0, %rax
je 0x1eeb68
movq 0x11a7dea(%rip), %rax   # 0x13968f0
movq %rax, -0x260(%rbp)
leaq 0x1a2644(%rip), %rax    # 0x391158
orq $0x1, %rax
movq %rax, -0x258(%rbp)
movq -0x260(%rbp), %rax
andq $0x3, %rax
cmpq $0x0, %rax
jne 0x1eeb68
movq 0x11a7db9(%rip), %rax   # 0x13968f0
movq %rax, -0x270(%rbp)
leaq 0x1a2613(%rip), %rax    # 0x391158
orq $0x1, %rax
movq %rax, -0x268(%rbp)
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0x270(%rbp), %rax
movl (%rax), %ecx
addl $0x1, %ecx
movl %ecx, (%rax)
jmp 0x1eeb6a
movq 0x11a7d7f(%rip), %rax   # 0x13968f0
movq %rax, -0x230(%rbp)
movq -0x228(%rbp), %rdi
movq -0x230(%rbp), %rsi
callq 0x1a680
movq %rax, -0x278(%rbp)
movq -0x148(%rbp), %rdi
movq -0x140(%rbp), %rsi
callq 0xb980
movq %rax, %rdi
movq -0x278(%rbp), %rsi
callq 0x1c22a0
movq %rax, -0x280(%rbp)
movq -0x220(%rbp), %rax
movq %rax, -0x108(%rbp)
movq -0x280(%rbp), %rax
movq %rax, -0x100(%rbp)
jmp 0x1eedf0
jmp 0x1eebde
movl -0x68(%rbp), %edi
movq -0x60(%rbp), %rsi
callq 0x59830
movq %rax, -0x290(%rbp)
movq %rdx, -0x288(%rbp)
movq -0x288(%rbp), %rax
andq $0x1, %rax
cmpq $0x0, %rax
je 0x1eecd3
movl -0x68(%rbp), %edi
movq -0x60(%rbp), %rsi
callq 0x59830
movq %rax, -0x2a0(%rbp)
movq %rdx, -0x298(%rbp)
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0x2a0(%rbp), %rax
cmpq $0x0, %rax
je 0x1eecd3
movl -0x68(%rbp), %edi
movq -0x60(%rbp), %rsi
callq 0x59830
movq %rax, -0x2b0(%rbp)
movq %rdx, -0x2a8(%rbp)
movq -0x2b0(%rbp), %rax
andq $0x3, %rax
cmpq $0x0, %rax
jne 0x1eecd3
movl -0x68(%rbp), %edi
movq -0x60(%rbp), %rsi
callq 0x59830
movq %rax, -0x2c0(%rbp)
movq %rdx, -0x2b8(%rbp)
movabsq $0xfffffffffffc, %rcx   # imm = 0xFFFFFFFFFFFC
andq -0x2c0(%rbp), %rcx
movl (%rcx), %eax
addl $-0x1, %eax
movl %eax, (%rcx)
cmpl $0x0, %eax
jne 0x1eecd1
movl -0x68(%rbp), %edi
movq -0x60(%rbp), %rsi
callq 0x59830
movq %rax, -0x2d0(%rbp)
movq %rdx, -0x2c8(%rbp)
movq -0x2d0(%rbp), %rdi
movq -0x2c8(%rbp), %rsi
callq 0x127c0
jmp 0x1eecd3
jmp 0x1eecd5
jmp 0x1eecd7
cmpq $0x0, 0x11a7c19(%rip)   # 0x13968f8
jne 0x1eecf9
leaq 0x16dd1e(%rip), %rdi    # 0x35ca06
movl $0x2c, %esi
callq 0xb6c0
movq %rax, 0x11a7bff(%rip)   # 0x13968f8
jmp 0x1eecfb
movq 0x11a7bf6(%rip), %rax   # 0x13968f8
movq %rax, -0x2e8(%rbp)
leaq 0x1a2448(%rip), %rax    # 0x391158
orq $0x1, %rax
movq %rax, -0x2e0(%rbp)
movq -0x2e0(%rbp), %rax
andq $0x1, %rax
cmpq $0x0, %rax
je 0x1eedd0
movq 0x11a7bc1(%rip), %rax   # 0x13968f8
movq %rax, -0x2f8(%rbp)
leaq 0x1a2413(%rip), %rax    # 0x391158
orq $0x1, %rax
movq %rax, -0x2f0(%rbp)
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0x2f8(%rbp), %rax
cmpq $0x0, %rax
je 0x1eedd0
movq 0x11a7b8a(%rip), %rax   # 0x13968f8
movq %rax, -0x308(%rbp)
leaq 0x1a23dc(%rip), %rax    # 0x391158
orq $0x1, %rax
movq %rax, -0x300(%rbp)
movq -0x308(%rbp), %rax
andq $0x3, %rax
cmpq $0x0, %rax
jne 0x1eedd0
movq 0x11a7b59(%rip), %rax   # 0x13968f8
movq %rax, -0x318(%rbp)
leaq 0x1a23ab(%rip), %rax    # 0x391158
orq $0x1, %rax
movq %rax, -0x310(%rbp)
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0x318(%rbp), %rax
movl (%rax), %ecx
addl $0x1, %ecx
movl %ecx, (%rax)
jmp 0x1eedd2
movq 0x11a7b1f(%rip), %rax   # 0x13968f8
movq %rax, -0x2d8(%rbp)
movq -0x10(%rbp), %rdi
movq -0x2d8(%rbp), %rsi
callq 0x44a80
movq -0x108(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, (%rax)
movq -0x100(%rbp), %rax
addq $0x320, %rsp            # imm = 0x320
popq %rbp
retq
nop