// File: /workspace/github_c_makefile_star2_O1/mirth-lang[P]mirth/bin/mirth1.c
// Function: mw_mirth_name_Name_mangled
static STR* mw_mirth_name_Name_mangled (struct mirth_mirth_zaMirth* in_zaMirth_1, uint64_t in_Name_2, struct mirth_mirth_zaMirth* *out_zaMirth_3) {
	void* v5 = field_mut(&mfld_mirth_name_Name_mangled, in_Name_2);
	bool v6 = mut_is_set(v5);
	struct mirth_mirth_zaMirth* branch_zaMirth_7;
	STR* branch_Str_8;
	if (v6) {
		VAL v9 = mut_get(v5);
		branch_Str_8 = value_str(v9);
		branch_zaMirth_7 = in_zaMirth_1;
	} else {
		struct mirth_mirth_zaMirth* v10;
		STR* v11 = mw_mirth_name_Name_str(in_zaMirth_1, in_Name_2, &v10);
		STR* v12 = mw_std_prim_Str_zzencode(v11);
		incref(MKSTR(v12));
		mut_set(MKSTR(v12), v5);
		branch_Str_8 = v12;
		branch_zaMirth_7 = v10;
	}
	*out_zaMirth_3 = branch_zaMirth_7;
	return branch_Str_8;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x38, %rsp
movq %rdx, %r14
movq %rsi, %rbx
movq %rdi, %r15
leaq 0x1085643(%rip), %rdi   # 0x111a8c8
callq 0x13ff0
movq %rax, %r12
movq %rax, %rdi
callq 0x153b0
testb %al, %al
je 0x952b4
movq %r12, %rdi
callq 0x140f0
movq %rax, %rdi
movq %rdx, %rsi
callq 0x942c
movq %rax, %r13
jmp 0x95d6f
leaq 0x108320d(%rip), %rdi   # 0x11184c8
movq %rbx, %rsi
callq 0x13ff0
movq %rax, %rdi
callq 0x140f0
movq %rax, %rdi
movq %rdx, %rsi
callq 0x942c
movq %rax, %rbx
cmpq $0x0, 0x10855f7(%rip)   # 0x111a8d8
jne 0x952f9
xorl %edi, %edi
callq 0xf9f7
movq $0x0, 0x10(%rax)
movq %rax, 0x10855df(%rip)   # 0x111a8d8
movabsq $0xfffffffffffc, %rcx   # imm = 0xFFFFFFFFFFFC
movq 0x10855ce(%rip), %rsi   # 0x111a8d8
movq %rsi, %rax
andq %rcx, %rax
sete %cl
testb $0x3, %sil
setne %dl
orb %cl, %dl
jne 0x95320
incl (%rax)
movq %rsi, -0x30(%rbp)
movq %r12, -0x50(%rbp)
movq %r15, -0x58(%rbp)
movq %r14, -0x60(%rbp)
movq %rbx, %rcx
movabsq $0xfffffffffffc, %r14   # imm = 0xFFFFFFFFFFFC
andq %r14, %rcx
setne %al
testb $0x3, %bl
sete %dl
andb %al, %dl
movb %dl, -0x31(%rbp)
cmpb $0x1, %dl
jne 0x95356
addl $0x2, (%rcx)
movq %rcx, -0x48(%rbp)
movq %rbx, %rdi
callq 0xebc3
movq %rax, %r13
movq %rbx, -0x40(%rbp)
movq %rbx, %rdi
callq 0xe740
movq %rax, %rdi
callq 0xe7a9
movq %rax, %r15
movq %rax, %r12
andq %r14, %r12
sete %al
testb $0x3, %r15b
setne %r14b
orb %al, %r14b
jne 0x95396
incl (%r12)
movl $0x1, %edi
movq %r15, %rsi
callq 0xec04
testl %eax, %eax
setle %al
movq %r15, %rbx
movl $0x1, %ecx
cmovgq %rcx, %rbx
orb %al, %r14b
movabsq $0xfffffffffffc, %r14   # imm = 0xFFFFFFFFFFFC
jne 0x953dd
decl (%r12)
jne 0x953d8
movq %r15, %rdi
leaq 0x80056(%rip), %rsi     # 0x115429
callq 0xd4e3
movl $0x1, %ebx
movq %rbx, %rax
andq %r14, %rax
sete %cl
testb $0x3, %bl
setne %dl
orb %cl, %dl
jne 0x953f2
incl (%rax)
movl $0x1, %edi
movq %rbx, %rsi
callq 0xec04
testl %eax, %eax
jns 0x95ced
movzbl (%r13), %edi
callq 0xe7a9
movq %rax, %rdi
callq 0xe818
movq %rax, %r12
addl $-0x21, %eax
cmpl $0x3f, %eax
ja 0x95469
leaq 0x4e415(%rip), %rcx     # 0xe3840
movslq (%rcx,%rax,4), %rax
addq %rcx, %rax
jmpq *%rax
cmpq $0x0, 0x108555c(%rip)   # 0x111a998
jne 0x9545d
movl $0x2, %edi
callq 0xf9f7
movq $0x2, 0x10(%rax)
movw $0x787a, 0x18(%rax)     # imm = 0x787A
movq %rax, 0x108553b(%rip)   # 0x111a998
movq 0x1085534(%rip), %rsi   # 0x111a998
jmp 0x95bb8
leal -0x7a(%r12), %eax
cmpl $0x4, %eax
ja 0x954b8
leaq 0x4e4c6(%rip), %rcx     # 0xe3940
movslq (%rcx,%rax,4), %rax
addq %rcx, %rax
jmpq *%rax
cmpq $0x0, 0x108551d(%rip)   # 0x111a9a8
jne 0x954ac
movl $0x2, %edi
callq 0xf9f7
movq $0x2, 0x10(%rax)
movw $0x7a7a, 0x18(%rax)     # imm = 0x7A7A
movq %rax, 0x10854fc(%rip)   # 0x111a9a8
movq 0x10854f5(%rip), %rsi   # 0x111a9a8
jmp 0x95bb8
movl %r12d, %eax
leaq 0x1(,%rax,2), %r15
movq %r15, %rdi
callq 0xe818
andl $0xf0, %eax
cmpl $0x30, %eax
jb 0x954e7
movq %r15, %rdi
callq 0xe818
andl $0xfe, %eax
cmpl $0x3a, %eax
jb 0x9552f
movq %r15, %rdi
callq 0xe818
movzbl %al, %eax
cmpl $0x41, %eax
jb 0x95507
movq %r15, %rdi
callq 0xe818
movzbl %al, %eax
cmpl $0x5b, %eax
jb 0x9552f
movq %r15, %rdi
callq 0xe818
movzbl %al, %eax
cmpl $0x61, %eax
jb 0x95c69
movq %r15, %rdi
callq 0xe818
movzbl %al, %eax
cmpl $0x7a, %eax
ja 0x95c69
movl %r12d, %edi
callq 0x11871
movq -0x30(%rbp), %rdi
jmp 0x95ce5
cmpq $0x0, 0x1085448(%rip)   # 0x111a990
jne 0x95569
movl $0x2, %edi
callq 0xf9f7
movq $0x2, 0x10(%rax)
movw $0x777a, 0x18(%rax)     # imm = 0x777A
movq %rax, 0x1085427(%rip)   # 0x111a990
movq 0x1085420(%rip), %rsi   # 0x111a990
jmp 0x95bb8
cmpq $0x0, 0x1085423(%rip)   # 0x111a9a0
jne 0x9559e
movl $0x2, %edi
callq 0xf9f7
movq $0x2, 0x10(%rax)
movw $0x797a, 0x18(%rax)     # imm = 0x797A
movq %rax, 0x1085402(%rip)   # 0x111a9a0
movq 0x10853fb(%rip), %rsi   # 0x111a9a0
jmp 0x95bb8
cmpq $0x0, 0x108533e(%rip)   # 0x111a8f0
jne 0x955d3
movl $0x2, %edi
callq 0xf9f7
movq $0x2, 0x10(%rax)
movw $0x637a, 0x18(%rax)     # imm = 0x637A
movq %rax, 0x108531d(%rip)   # 0x111a8f0
movq 0x1085316(%rip), %rsi   # 0x111a8f0
jmp 0x95bb8
cmpq $0x0, 0x1085319(%rip)   # 0x111a900
jne 0x95608
movl $0x2, %edi
callq 0xf9f7
movq $0x2, 0x10(%rax)
movw $0x657a, 0x18(%rax)     # imm = 0x657A
movq %rax, 0x10852f8(%rip)   # 0x111a900
movq 0x10852f1(%rip), %rsi   # 0x111a900
jmp 0x95bb8
cmpq $0x0, 0x1085304(%rip)   # 0x111a920
jne 0x9563d
movl $0x2, %edi
callq 0xf9f7
movq $0x2, 0x10(%rax)
movw $0x697a, 0x18(%rax)     # imm = 0x697A
movq %rax, 0x10852e3(%rip)   # 0x111a920
movq 0x10852dc(%rip), %rsi   # 0x111a920
jmp 0x95bb8
cmpq $0x0, 0x10852bf(%rip)   # 0x111a910
jne 0x95672
movl $0x2, %edi
callq 0xf9f7
movq $0x2, 0x10(%rax)
movw $0x677a, 0x18(%rax)     # imm = 0x677A
movq %rax, 0x108529e(%rip)   # 0x111a910
movq 0x1085297(%rip), %rsi   # 0x111a910
jmp 0x95bb8
cmpq $0x0, 0x10852fa(%rip)   # 0x111a980
jne 0x956a7
movl $0x2, %edi
callq 0xf9f7
movq $0x2, 0x10(%rax)
movw $0x757a, 0x18(%rax)     # imm = 0x757A
movq %rax, 0x10852d9(%rip)   # 0x111a980
movq 0x10852d2(%rip), %rsi   # 0x111a980
jmp 0x95bb8
cmpq $0x0, 0x10852fd(%rip)   # 0x111a9b8
jne 0x956e0
movl $0x3, %edi
callq 0xf9f7
movq $0x3, 0x10(%rax)
movw $0x527a, 0x18(%rax)     # imm = 0x527A
movb $0x42, 0x1a(%rax)
movq %rax, 0x10852d8(%rip)   # 0x111a9b8
movq 0x10852d1(%rip), %rsi   # 0x111a9b8
jmp 0x95bb8
cmpq $0x0, 0x108525c(%rip)   # 0x111a950
jne 0x95715
movl $0x2, %edi
callq 0xf9f7
movq $0x2, 0x10(%rax)
movw $0x6f7a, 0x18(%rax)     # imm = 0x6F7A
movq %rax, 0x108523b(%rip)   # 0x111a950
movq 0x1085234(%rip), %rsi   # 0x111a950
jmp 0x95bb8
cmpq $0x0, 0x10851cf(%rip)   # 0x111a8f8
jne 0x9574a
movl $0x2, %edi
callq 0xf9f7
movq $0x2, 0x10(%rax)
movw $0x647a, 0x18(%rax)     # imm = 0x647A
movq %rax, 0x10851ae(%rip)   # 0x111a8f8
movq 0x10851a7(%rip), %rsi   # 0x111a8f8
jmp 0x95bb8
cmpq $0x0, 0x1085182(%rip)   # 0x111a8e0
jne 0x9577f
movl $0x2, %edi
callq 0xf9f7
movq $0x2, 0x10(%rax)
movw $0x617a, 0x18(%rax)     # imm = 0x617A
movq %rax, 0x1085161(%rip)   # 0x111a8e0
movq 0x108515a(%rip), %rsi   # 0x111a8e0
jmp 0x95bb8
cmpq $0x0, 0x108524d(%rip)   # 0x111a9e0
jne 0x957b4
movl $0x2, %edi
callq 0xf9f7
movq $0x2, 0x10(%rax)
movw $0x517a, 0x18(%rax)     # imm = 0x517A
movq %rax, 0x108522c(%rip)   # 0x111a9e0
movq 0x1085225(%rip), %rsi   # 0x111a9e0
jmp 0x95bb8
cmpq $0x0, 0x1085198(%rip)   # 0x111a960
jne 0x957e9
movl $0x2, %edi
callq 0xf9f7
movq $0x2, 0x10(%rax)
movw $0x717a, 0x18(%rax)     # imm = 0x717A
movq %rax, 0x1085177(%rip)   # 0x111a960
movq 0x1085170(%rip), %rsi   # 0x111a960
jmp 0x95bb8
cmpq $0x0, 0x10851db(%rip)   # 0x111a9d8
jne 0x95822
movl $0x3, %edi
callq 0xf9f7
movq $0x3, 0x10(%rax)
movw $0x527a, 0x18(%rax)     # imm = 0x527A
movb $0x50, 0x1a(%rax)
movq %rax, 0x10851b6(%rip)   # 0x111a9d8
movq 0x10851af(%rip), %rsi   # 0x111a9d8
jmp 0x95bb8
cmpq $0x0, 0x1085132(%rip)   # 0x111a968
jne 0x95857
movl $0x2, %edi
callq 0xf9f7
movq $0x2, 0x10(%rax)
movw $0x727a, 0x18(%rax)     # imm = 0x727A
movq %rax, 0x1085111(%rip)   # 0x111a968
movq 0x108510a(%rip), %rsi   # 0x111a968
jmp 0x95bb8
cmpq $0x0, 0x10850dd(%rip)   # 0x111a948
jne 0x9588c
movl $0x2, %edi
callq 0xf9f7
movq $0x2, 0x10(%rax)
movw $0x6e7a, 0x18(%rax)     # imm = 0x6E7A
movq %rax, 0x10850bc(%rip)   # 0x111a948
movq 0x10850b5(%rip), %rsi   # 0x111a948
jmp 0x95bb8
cmpq $0x0, 0x10850d0(%rip)   # 0x111a970
jne 0x958c1
movl $0x2, %edi
callq 0xf9f7
movq $0x2, 0x10(%rax)
movw $0x737a, 0x18(%rax)     # imm = 0x737A
movq %rax, 0x10850af(%rip)   # 0x111a970
movq 0x10850a8(%rip), %rsi   # 0x111a970
jmp 0x95bb8
cmpq $0x0, 0x108505b(%rip)   # 0x111a930
jne 0x958f6
movl $0x2, %edi
callq 0xf9f7
movq $0x2, 0x10(%rax)
movw $0x6b7a, 0x18(%rax)     # imm = 0x6B7A
movq %rax, 0x108503a(%rip)   # 0x111a930
movq 0x1085033(%rip), %rsi   # 0x111a930
jmp 0x95bb8
cmpq $0x0, 0x1085036(%rip)   # 0x111a940
jne 0x9592b
movl $0x2, %edi
callq 0xf9f7
movq $0x2, 0x10(%rax)
movw $0x6d7a, 0x18(%rax)     # imm = 0x6D7A
movq %rax, 0x1085015(%rip)   # 0x111a940
movq 0x108500e(%rip), %rsi   # 0x111a940
jmp 0x95bb8
cmpq $0x0, 0x1084fa9(%rip)   # 0x111a8e8
jne 0x95960
movl $0x2, %edi
callq 0xf9f7
movq $0x2, 0x10(%rax)
movw $0x627a, 0x18(%rax)     # imm = 0x627A
movq %rax, 0x1084f88(%rip)   # 0x111a8e8
movq 0x1084f81(%rip), %rsi   # 0x111a8e8
jmp 0x95bb8
cmpq $0x0, 0x1084fa4(%rip)   # 0x111a918
jne 0x95995
movl $0x2, %edi
callq 0xf9f7
movq $0x2, 0x10(%rax)
movw $0x687a, 0x18(%rax)     # imm = 0x687A
movq %rax, 0x1084f83(%rip)   # 0x111a918
movq 0x1084f7c(%rip), %rsi   # 0x111a918
jmp 0x95bb8
cmpq $0x0, 0x1084f7f(%rip)   # 0x111a928
jne 0x959ca
movl $0x2, %edi
callq 0xf9f7
movq $0x2, 0x10(%rax)
movw $0x6a7a, 0x18(%rax)     # imm = 0x6A7A
movq %rax, 0x1084f5e(%rip)   # 0x111a928
movq 0x1084f57(%rip), %rsi   # 0x111a928
jmp 0x95bb8
cmpq $0x0, 0x1084ff2(%rip)   # 0x111a9d0
jne 0x95a03
movl $0x3, %edi
callq 0xf9f7
movq $0x3, 0x10(%rax)
movw $0x4c7a, 0x18(%rax)     # imm = 0x4C7A
movb $0x50, 0x1a(%rax)
movq %rax, 0x1084fcd(%rip)   # 0x111a9d0
movq 0x1084fc6(%rip), %rsi   # 0x111a9d0
jmp 0x95bb8
cmpq $0x0, 0x1084ef1(%rip)   # 0x111a908
jne 0x95a38
movl $0x2, %edi
callq 0xf9f7
movq $0x2, 0x10(%rax)
movw $0x667a, 0x18(%rax)     # imm = 0x667A
movq %rax, 0x1084ed0(%rip)   # 0x111a908
movq 0x1084ec9(%rip), %rsi   # 0x111a908
jmp 0x95bb8
cmpq $0x0, 0x1084f0c(%rip)   # 0x111a958
jne 0x95a6d
movl $0x2, %edi
callq 0xf9f7
movq $0x2, 0x10(%rax)
movw $0x707a, 0x18(%rax)     # imm = 0x707A
movq %rax, 0x1084eeb(%rip)   # 0x111a958
movq 0x1084ee4(%rip), %rsi   # 0x111a958
jmp 0x95bb8
cmpq $0x0, 0x1084eb7(%rip)   # 0x111a938
jne 0x95aa2
movl $0x2, %edi
callq 0xf9f7
movq $0x2, 0x10(%rax)
movw $0x6c7a, 0x18(%rax)     # imm = 0x6C7A
movq %rax, 0x1084e96(%rip)   # 0x111a938
movq 0x1084e8f(%rip), %rsi   # 0x111a938
jmp 0x95bb8
cmpq $0x0, 0x1084efa(%rip)   # 0x111a9b0
jne 0x95adb
movl $0x3, %edi
callq 0xf9f7
movq $0x3, 0x10(%rax)
movw $0x4c7a, 0x18(%rax)     # imm = 0x4C7A
movb $0x42, 0x1a(%rax)
movq %rax, 0x1084ed5(%rip)   # 0x111a9b0
movq 0x1084ece(%rip), %rsi   # 0x111a9b0
jmp 0x95bb8
cmpq $0x0, 0x1084e89(%rip)   # 0x111a978
jne 0x95b10
movl $0x2, %edi
callq 0xf9f7
movq $0x2, 0x10(%rax)
movw $0x747a, 0x18(%rax)     # imm = 0x747A
movq %rax, 0x1084e68(%rip)   # 0x111a978
movq 0x1084e61(%rip), %rsi   # 0x111a978
jmp 0x95bb8
cmpq $0x0, 0x1084e64(%rip)   # 0x111a988
jne 0x95b45
movl $0x2, %edi
callq 0xf9f7
movq $0x2, 0x10(%rax)
movw $0x767a, 0x18(%rax)     # imm = 0x767A
movq %rax, 0x1084e43(%rip)   # 0x111a988
movq 0x1084e3c(%rip), %rsi   # 0x111a988
jmp 0x95bb8
cmpq $0x0, 0x1084e72(%rip)   # 0x111a9c8
jne 0x95b7b
movl $0x3, %edi
callq 0xf9f7
movq $0x3, 0x10(%rax)
movw $0x527a, 0x18(%rax)     # imm = 0x527A
movb $0x43, 0x1a(%rax)
movq %rax, 0x1084e4d(%rip)   # 0x111a9c8
movq 0x1084e46(%rip), %rsi   # 0x111a9c8
jmp 0x95bb8
cmpq $0x0, 0x1084e34(%rip)   # 0x111a9c0
jne 0x95bb1
movl $0x3, %edi
callq 0xf9f7
movq $0x3, 0x10(%rax)
movw $0x4c7a, 0x18(%rax)     # imm = 0x4C7A
movb $0x43, 0x1a(%rax)
movq %rax, 0x1084e0f(%rip)   # 0x111a9c0
movq 0x1084e08(%rip), %rsi   # 0x111a9c0
movq %rsi, %rax
andq %r14, %rax
sete %cl
testb $0x3, %sil
setne %dl
orb %cl, %dl
jne 0x95bce
incl (%rax)
movq -0x30(%rbp), %rdi
callq 0xe43c
movq %rax, -0x30(%rbp)
movl $0x3, %esi
movq %rbx, %rdi
callq 0xedca
movq %rax, %r15
movq %rax, %r12
andq %r14, %r12
sete %al
testb $0x3, %r15b
setne %r14b
orb %al, %r14b
jne 0x95c05
incl (%r12)
movl $0x1, %edi
movq %r15, %rsi
callq 0xec04
testl %eax, %eax
setle %al
movq %r15, %rbx
movl $0x1, %ecx
cmovgq %rcx, %rbx
orb %al, %r14b
movabsq $0xfffffffffffc, %r14   # imm = 0xFFFFFFFFFFFC
jne 0x95c4c
decl (%r12)
movl $0x1, %ebx
jne 0x95c4c
movq %r15, %rdi
leaq 0x7f7e2(%rip), %rsi     # 0x115429
callq 0xd4e3
movq %rbx, %rax
andq %r14, %rax
sete %cl
testb $0x3, %bl
setne %dl
orb %cl, %dl
jne 0x95c61
incl (%rax)
incq %r13
jmp 0x953f2
cmpq $0x0, 0x1084d77(%rip)   # 0x111a9e8
jne 0x95c90
movl $0x1, %edi
callq 0xf9f7
movq $0x1, 0x10(%rax)
movb $0x7a, 0x18(%rax)
movq %rax, 0x1084d58(%rip)   # 0x111a9e8
movq 0x1084d51(%rip), %rsi   # 0x111a9e8
movq %rsi, %rax
andq %r14, %rax
sete %cl
testb $0x3, %sil
setne %dl
orb %cl, %dl
jne 0x95cad
incl (%rax)
movq -0x30(%rbp), %rdi
callq 0xe43c
movq %rax, %r15
movl %r12d, %edi
leaq -0x38(%rbp), %rsi
callq 0x85835
movl %eax, %edi
callq 0x11871
movq %r15, %rdi
movq %rax, %rsi
callq 0xe43c
movq %rax, %r15
movl -0x38(%rbp), %edi
callq 0x11871
movq %r15, %rdi
movq %rax, %rsi
jmp 0x95bd2
movq %rbx, %rax
andq %r14, %rax
sete %cl
testb $0x3, %bl
setne %dl
orb %cl, %dl
jne 0x95d13
decl (%rax)
jne 0x95d13
leaq 0x7f406(%rip), %rsi     # 0x115111
movq %rbx, %rdi
callq 0xd4e3
leaq 0x7f43f(%rip), %rbx     # 0x115159
cmpb $0x0, -0x31(%rbp)
movq -0x60(%rbp), %r14
movq -0x58(%rbp), %r15
movq -0x50(%rbp), %r12
movq -0x30(%rbp), %r13
je 0x95d44
movq -0x48(%rbp), %rax
decl (%rax)
jne 0x95d44
movq -0x40(%rbp), %rdi
movq %rbx, %rsi
callq 0xd4e3
movabsq $0xfffffffffffc, %rdx   # imm = 0xFFFFFFFFFFFC
andq %r13, %rdx
sete %al
testb $0x3, %r13b
setne %cl
orb %al, %cl
jne 0x95d61
incl (%rdx)
movq %r13, %rdi
movq %rbx, %rsi
movq %r12, %rdx
callq 0x14ab5
movq %r15, (%r14)
movq %r13, %rax
addq $0x38, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq