// File: /workspace/github_c_makefile_star2_O2/mirth-lang[P]mirth/bin/mirth1.c
// Function: mw_mirth_mirth_Prop_1_forcezx
static VAL mw_mirth_mirth_Prop_1_forcezx (struct mirth_mirth_zaMirth* in_zaMirth_1, void* in_MutProp_2, struct mirth_mirth_zaMirth* *out_zaMirth_3) {
	struct mirth_mirth_zaMirth* v5;
	struct std_maybe_Maybe_1 v6 = mw_mirth_mirth_Prop_1_tryzeforcezx(in_zaMirth_1, in_MutProp_2, &v5);
	struct mirth_mirth_zaMirth* branch_zaMirth_7;
	VAL branch_zux1_8;
	switch ((v6).tag) {
		case std_maybe_Maybe_1_Some: {
			VAL v9 = mtp_std_maybe_Maybe_1_Some(v6);
			branch_zux1_8 = v9;
			branch_zaMirth_7 = v5;
		} break;
		case std_maybe_Maybe_1_None: {
			struct std_list_List_1 r10 = v5->mzapropstack;
			incref(MK_std_list_List_1(r10));
			v5->mzapropstack = r10;
			STR* v11;
			STRLIT(v11, "", 0);
			STR* v12;
			STRLIT(v12, "Recursive prop detected:", 24);
			STR* v13;
			mw_std_str_zaStr_pushzestrzx(v12, v11, &v13);
			struct std_list_List_1 v14 = mw_std_list_List_1_reverse(r10);
			bool v15 = true;
			struct mirth_mirth_zaMirth* r16 = v5;
			STR* r17 = v13;
			struct std_list_List_1 v18 = v14;
			bool v19 = v15;
			bool v20 = v15;
			while (v20) {
				struct mirth_mirth_zaMirth* r21 = r16;
				STR* r22 = r17;
				struct std_list_List_1 v23 = v18;
				bool v24 = v19;
				struct mirth_mirth_zaMirth* branch_zaMirth_25;
				STR* branch_zaStr_26;
				struct std_list_List_1 branch_List_27;
				bool branch_Bool_28;
				switch ((v23).tag) {
					case std_list_List_1_Cons: {
						struct std_list_List_1 v29;
						VAL v30 = mtp_std_list_List_1_Cons(v23, &v29);
						STR* v31;
						STRLIT(v31, "\n  - ", 5);
						STR* v32;
						mw_std_str_zaStr_pushzestrzx(v31, r22, &v32);
						struct mirth_mirth_zaMirth* v33;
						STR* v34;
						mw_mirth_mirth_PropLabel_tracezj(r21, v32, V_mirth_mirth_PropLabel(v30), &v33, &v34);
						bool v35 = true;
						branch_Bool_28 = v35;
						branch_List_27 = v29;
						branch_zaStr_26 = v34;
						branch_zaMirth_25 = v33;
					} break;
					case std_list_List_1_Nil: {
						struct std_list_List_1 v36 = { .tag=std_list_List_1_Nil };
						bool v37 = false;
						branch_Bool_28 = v37;
						branch_List_27 = v36;
						branch_zaStr_26 = r22;
						branch_zaMirth_25 = r21;
					} break;
					default: {
						do_panic(str_make("unexpected fallthrough in match\n", 32));
					}
				}
				v20 = branch_Bool_28;
				v19 = branch_Bool_28;
				v18 = branch_List_27;
				r17 = branch_zaStr_26;
				r16 = branch_zaMirth_25;
			}
			decref(MK_std_list_List_1(v18));
			mw_mirth_mirth_zaMirth_fatalzeerrorzx(r16, r17);
		} break;
		default: {
			do_panic(str_make("unexpected fallthrough in match\n", 32));
		}
	}
	*out_zaMirth_3 = branch_zaMirth_7;
	return branch_zux1_8;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x38, %rsp
movq %rdx, %rbx
leaq -0x48(%rbp), %rdx
callq 0x1483b
cmpl $0x1, %eax
jne 0x1851c
movq %rdx, %rdi
callq 0xd491
movq -0x48(%rbp), %rcx
movq %rcx, (%rbx)
addq $0x38, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
testl %eax, %eax
jne 0x18f66
movabsq $0xfffffffffffc, %r14   # imm = 0xFFFFFFFFFFFC
movq -0x48(%rbp), %r13
movl 0x68(%r13), %r12d
movl 0x6c(%r13), %eax
movq 0x70(%r13), %r15
movq %r15, %rcx
andq %r14, %rcx
sete %dl
testb $0x3, %r15b
setne %sil
orb %dl, %sil
jne 0x18556
incl (%rcx)
movl %r12d, 0x68(%r13)
movl %eax, 0x6c(%r13)
movq %r15, 0x70(%r13)
movq 0x10f36b7(%rip), %rbx   # 0x110bc20
testq %rbx, %rbx
jne 0x18586
leaq 0xc4180(%rip), %rdi     # 0xdc6f5
xorl %esi, %esi
callq 0x8a21
movq %rax, %rbx
movq %rax, 0x10f369a(%rip)   # 0x110bc20
movq %rbx, %rax
andq %r14, %rax
sete %cl
testb $0x3, %bl
setne %dl
orb %cl, %dl
jne 0x1859b
incl (%rax)
movq 0x10f3686(%rip), %rsi   # 0x110bc28
testq %rsi, %rsi
jne 0x185c0
leaq 0xbee75(%rip), %rdi     # 0xd7423
pushq $0x18
popq %rsi
callq 0x8a21
movq %rax, %rsi
movq %rax, 0x10f3668(%rip)   # 0x110bc28
movq %rsi, %rax
andq %r14, %rax
sete %cl
testb $0x3, %sil
setne %dl
orb %cl, %dl
jne 0x185d6
incl (%rax)
movq %rbx, %rdi
callq 0xd8b0
movq %rax, %rbx
movl %r12d, %edi
movq %r15, %rsi
callq 0xcd32
movb $0x1, %cl
movq %rdx, %rdi
testb $0x1, %cl
je 0x18f7d
xorl %ecx, %ecx
movl $0x0, %edx
testl %eax, %eax
je 0x185ee
cmpl $0x1, %eax
jne 0x18f66
leaq -0x58(%rbp), %rsi
callq 0xce01
movq %rax, %r15
movq 0x10f360f(%rip), %rsi   # 0x110bc30
testq %rsi, %rsi
jne 0x1863f
leaq 0xbee0f(%rip), %rdi     # 0xd743c
pushq $0x5
popq %rsi
callq 0x8a21
movq %rax, %rsi
movq %rax, 0x10f35f1(%rip)   # 0x110bc30
movq %rsi, %rax
andq %r14, %rax
sete %cl
testb $0x3, %sil
setne %dl
orb %cl, %dl
jne 0x18655
incl (%rax)
movq %rbx, %rdi
callq 0xd8b0
movq %rax, %rbx
movq %r15, %rax
shrq $0x30, %rax
cmpw $0x19, %ax
ja 0x18f66
andq %r14, %r15
leaq 0xb9dc1(%rip), %rcx     # 0xd243c
movslq (%rcx,%rax,4), %rax
addq %rcx, %rax
jmpq *%rax
movq 0x10f35ad(%rip), %rsi   # 0x110bc38
testq %rsi, %rsi
jne 0x186a9
leaq 0xbedab(%rip), %rdi     # 0xd7442
pushq $0x12
popq %rsi
callq 0x8a21
movq %rax, %rsi
movq %rax, 0x10f358f(%rip)   # 0x110bc38
movq %rsi, %rax
andq %r14, %rax
sete %cl
testb $0x3, %sil
setne %dl
orb %cl, %dl
jne 0x186bf
incl (%rax)
movq %rbx, %rdi
callq 0xd8b0
movq %rax, %rbx
jmp 0x18f5a
movq 0x8(%r15), %r12
decl (%r15)
jne 0x186e0
movq %r15, %rdi
callq 0x5030
movq 0x10f35d1(%rip), %rsi   # 0x110bcb8
testq %rsi, %rsi
jne 0x18ce2
leaq 0xbee45(%rip), %rdi     # 0xd753c
pushq $0x12
popq %rsi
callq 0x8a21
movq %rax, %rsi
movq %rax, 0x10f35af(%rip)   # 0x110bcb8
jmp 0x18ce2
movq 0x8(%r15), %r12
decl (%r15)
jne 0x1871f
movq %r15, %rdi
callq 0x5030
movq 0x10f3582(%rip), %rsi   # 0x110bca8
testq %rsi, %rsi
jne 0x189ba
leaq 0xbede5(%rip), %rdi     # 0xd751b
pushq $0xf
popq %rsi
callq 0x8a21
movq %rax, %rsi
movq %rax, 0x10f3560(%rip)   # 0x110bca8
jmp 0x189ba
movq 0x8(%r15), %r12
decl (%r15)
jne 0x1875e
movq %r15, %rdi
callq 0x5030
movq 0x10f352b(%rip), %rsi   # 0x110bc90
testq %rsi, %rsi
jne 0x18d50
leaq 0xbed77(%rip), %rdi     # 0xd74ec
pushq $0xf
popq %rsi
callq 0x8a21
movq %rax, %rsi
movq %rax, 0x10f3509(%rip)   # 0x110bc90
jmp 0x18d50
movq 0x8(%r15), %r12
decl (%r15)
jne 0x1879d
movq %r15, %rdi
callq 0x5030
movq 0x10f34b4(%rip), %rsi   # 0x110bc58
testq %rsi, %rsi
jne 0x187c2
leaq 0xbecd3(%rip), %rdi     # 0xd7483
pushq $0xd
popq %rsi
callq 0x8a21
movq %rax, %rsi
movq %rax, 0x10f3496(%rip)   # 0x110bc58
movq %rsi, %rax
andq %r14, %rax
sete %cl
testb $0x3, %sil
setne %dl
orb %cl, %dl
jne 0x187d8
incl (%rax)
movq %rbx, %rdi
callq 0xd8b0
movq %rax, %rbx
leaq -0x38(%rbp), %r15
movq %r13, %rdi
movq %r12, %rsi
movq %r15, %rdx
callq 0x190c9
jmp 0x18df1
movq 0x8(%r15), %r12
decl (%r15)
jne 0x1880b
movq %r15, %rdi
callq 0x5030
movq 0x10f3486(%rip), %rsi   # 0x110bc98
testq %rsi, %rsi
jne 0x18d50
leaq 0xbecda(%rip), %rdi     # 0xd74fc
pushq $0xe
popq %rsi
callq 0x8a21
movq %rax, %rsi
movq %rax, 0x10f3464(%rip)   # 0x110bc98
jmp 0x18d50
movq 0x8(%r15), %r12
decl (%r15)
jne 0x1884a
movq %r15, %rdi
callq 0x5030
movq 0x10f342f(%rip), %rsi   # 0x110bc80
testq %rsi, %rsi
jne 0x18d50
leaq 0xbec6e(%rip), %rdi     # 0xd74cf
pushq $0xe
popq %rsi
callq 0x8a21
movq %rax, %rsi
movq %rax, 0x10f340d(%rip)   # 0x110bc80
jmp 0x18d50
movq 0x8(%r15), %r12
decl (%r15)
jne 0x18889
movq %r15, %rdi
callq 0x5030
movq 0x10f3470(%rip), %rsi   # 0x110bd00
testq %rsi, %rsi
jne 0x188ae
leaq 0xbed43(%rip), %rdi     # 0xd75df
pushq $0xf
popq %rsi
callq 0x8a21
movq %rax, %rsi
movq %rax, 0x10f3452(%rip)   # 0x110bd00
movq %rsi, %rax
andq %r14, %rax
sete %cl
testb $0x3, %sil
setne %dl
orb %cl, %dl
jne 0x188c4
incl (%rax)
movq %rbx, %rdi
callq 0xd8b0
movq %rax, %rbx
leaq 0x10f352a(%rip), %rdi   # 0x110be00
movq %r12, %rsi
callq 0x12f88
movq %rax, %rdi
callq 0x1307d
movq %rax, %rdx
shrq $0x30, %rdx
andq %r14, %rax
leaq -0x38(%rbp), %r15
leaq -0x30(%rbp), %r12
movq %r13, %rdi
movq %rbx, %rsi
movq %rax, %rcx
jmp 0x18e04
movq 0x8(%r15), %r12
decl (%r15)
jne 0x18917
movq %r15, %rdi
callq 0x5030
movq 0x10f33da(%rip), %rsi   # 0x110bcf8
testq %rsi, %rsi
jne 0x18f04
leaq 0xbec9c(%rip), %rdi     # 0xd75ca
pushq $0x14
popq %rsi
callq 0x8a21
movq %rax, %rsi
movq %rax, 0x10f33b8(%rip)   # 0x110bcf8
jmp 0x18f04
movq 0x8(%r15), %r12
decl (%r15)
jne 0x18956
movq %r15, %rdi
callq 0x5030
movq 0x10f32eb(%rip), %rsi   # 0x110bc48
testq %rsi, %rsi
jne 0x18aa3
leaq 0xbeaf7(%rip), %rdi     # 0xd7464
pushq $0xf
popq %rsi
callq 0x8a21
movq %rax, %rsi
movq %rax, 0x10f32c9(%rip)   # 0x110bc48
jmp 0x18aa3
movq 0x8(%r15), %r12
decl (%r15)
jne 0x18995
movq %r15, %rdi
callq 0x5030
movq 0x10f3314(%rip), %rsi   # 0x110bcb0
testq %rsi, %rsi
jne 0x189ba
leaq 0xbeb83(%rip), %rdi     # 0xd752b
pushq $0x10
popq %rsi
callq 0x8a21
movq %rax, %rsi
movq %rax, 0x10f32f6(%rip)   # 0x110bcb0
movq %rsi, %rax
andq %r14, %rax
sete %cl
testb $0x3, %sil
setne %dl
orb %cl, %dl
jne 0x189d0
incl (%rax)
movq %rbx, %rdi
callq 0xd8b0
movq %rax, %rbx
leaq -0x38(%rbp), %r15
movq %r13, %rdi
movq %r12, %rsi
movq %r15, %rdx
callq 0x1921b
jmp 0x18f37
movq 0x8(%r15), %r12
decl (%r15)
jne 0x18a03
movq %r15, %rdi
callq 0x5030
movq 0x10f3246(%rip), %rsi   # 0x110bc50
testq %rsi, %rsi
jne 0x18aa3
leaq 0xbea5a(%rip), %rdi     # 0xd7474
pushq $0xe
popq %rsi
callq 0x8a21
movq %rax, %rsi
movq %rax, 0x10f3224(%rip)   # 0x110bc50
jmp 0x18aa3
movq 0x8(%r15), %r12
decl (%r15)
jne 0x18a3f
movq %r15, %rdi
callq 0x5030
movq 0x10f322a(%rip), %rsi   # 0x110bc70
testq %rsi, %rsi
jne 0x18dbe
leaq 0xbea5a(%rip), %rdi     # 0xd74b0
pushq $0xe
popq %rsi
callq 0x8a21
movq %rax, %rsi
movq %rax, 0x10f3208(%rip)   # 0x110bc70
jmp 0x18dbe
movq 0x8(%r15), %r12
decl (%r15)
jne 0x18a7e
movq %r15, %rdi
callq 0x5030
movq 0x10f31bb(%rip), %rsi   # 0x110bc40
testq %rsi, %rsi
jne 0x18aa3
leaq 0xbe9c4(%rip), %rdi     # 0xd7455
pushq $0xe
popq %rsi
callq 0x8a21
movq %rax, %rsi
movq %rax, 0x10f319d(%rip)   # 0x110bc40
movq %rsi, %rax
andq %r14, %rax
sete %cl
testb $0x3, %sil
setne %dl
orb %cl, %dl
jne 0x18ab9
incl (%rax)
movq %rbx, %rdi
callq 0xd8b0
movq %rax, %rbx
leaq -0x38(%rbp), %r15
movq %r13, %rdi
movq %r12, %rsi
movq %r15, %rdx
callq 0x18fb4
jmp 0x18df1
movq 0x8(%r15), %r12
decl (%r15)
jne 0x18aec
movq %r15, %rdi
callq 0x5030
movq 0x10f31cd(%rip), %rsi   # 0x110bcc0
testq %rsi, %rsi
jne 0x18ce2
leaq 0xbea4c(%rip), %rdi     # 0xd754f
pushq $0x11
popq %rsi
callq 0x8a21
movq %rax, %rsi
movq %rax, 0x10f31ab(%rip)   # 0x110bcc0
jmp 0x18ce2
movq 0x8(%r15), %r12
decl (%r15)
jne 0x18b2b
movq %r15, %rdi
callq 0x5030
movq 0x10f31a6(%rip), %rsi   # 0x110bcd8
testq %rsi, %rsi
jne 0x18b88
leaq 0xbea47(%rip), %rdi     # 0xd7585
pushq $0xf
popq %rsi
callq 0x8a21
movq %rax, %rsi
movq %rax, 0x10f3188(%rip)   # 0x110bcd8
jmp 0x18b88
movq 0x8(%r15), %r12
decl (%r15)
jne 0x18b63
movq %r15, %rdi
callq 0x5030
movq 0x10f30f6(%rip), %rsi   # 0x110bc60
testq %rsi, %rsi
jne 0x18b88
leaq 0xbe91b(%rip), %rdi     # 0xd7491
pushq $0xf
popq %rsi
callq 0x8a21
movq %rax, %rsi
movq %rax, 0x10f30d8(%rip)   # 0x110bc60
movq %rsi, %rax
andq %r14, %rax
sete %cl
testb $0x3, %sil
setne %dl
orb %cl, %dl
jne 0x18b9e
incl (%rax)
movq %rbx, %rdi
callq 0xd8b0
movq %rax, %rbx
leaq -0x38(%rbp), %r15
movq %r13, %rdi
movq %r12, %rsi
movq %r15, %rdx
callq 0x19103
jmp 0x18f37
movq 0x8(%r15), %r12
decl (%r15)
jne 0x18bd1
movq %r15, %rdi
callq 0x5030
movq 0x10f3108(%rip), %rsi   # 0x110bce0
testq %rsi, %rsi
jne 0x18f04
leaq 0xbe9ad(%rip), %rdi     # 0xd7595
pushq $0xf
popq %rsi
callq 0x8a21
movq %rax, %rsi
movq %rax, 0x10f30e6(%rip)   # 0x110bce0
jmp 0x18f04
movq 0x8(%r15), %r12
decl (%r15)
jne 0x18c10
movq %r15, %rdi
callq 0x5030
movq 0x10f3089(%rip), %rsi   # 0x110bca0
testq %rsi, %rsi
jne 0x18c35
leaq 0xbe8e8(%rip), %rdi     # 0xd750b
pushq $0xf
popq %rsi
callq 0x8a21
movq %rax, %rsi
movq %rax, 0x10f306b(%rip)   # 0x110bca0
movq %rsi, %rax
andq %r14, %rax
sete %cl
testb $0x3, %sil
setne %dl
orb %cl, %dl
jne 0x18c4b
incl (%rax)
movq %rbx, %rdi
callq 0xd8b0
movq %rax, %rbx
leaq -0x38(%rbp), %r15
movq %r13, %rdi
movq %r12, %rsi
movq %r15, %rdx
callq 0x191f2
jmp 0x18f37
movq 0x8(%r15), %r12
decl (%r15)
jne 0x18c7e
movq %r15, %rdi
callq 0x5030
movq 0x10f2fe3(%rip), %rsi   # 0x110bc68
testq %rsi, %rsi
jne 0x18dbe
leaq 0xbe80c(%rip), %rdi     # 0xd74a1
pushq $0xe
popq %rsi
callq 0x8a21
movq %rax, %rsi
movq %rax, 0x10f2fc1(%rip)   # 0x110bc68
jmp 0x18dbe
movq 0x8(%r15), %r12
decl (%r15)
jne 0x18cbd
movq %r15, %rdi
callq 0x5030
movq 0x10f3004(%rip), %rsi   # 0x110bcc8
testq %rsi, %rsi
jne 0x18ce2
leaq 0xbe891(%rip), %rdi     # 0xd7561
pushq $0x12
popq %rsi
callq 0x8a21
movq %rax, %rsi
movq %rax, 0x10f2fe6(%rip)   # 0x110bcc8
movq %rsi, %rax
andq %r14, %rax
sete %cl
testb $0x3, %sil
setne %dl
orb %cl, %dl
jne 0x18cf8
incl (%rax)
movq %rbx, %rdi
callq 0xd8b0
movq %rax, %rbx
leaq -0x38(%rbp), %r15
movq %r13, %rdi
movq %r12, %rsi
movq %r15, %rdx
callq 0x19244
jmp 0x18f37
movq 0x8(%r15), %r12
decl (%r15)
jne 0x18d2b
movq %r15, %rdi
callq 0x5030
movq 0x10f2f56(%rip), %rsi   # 0x110bc88
testq %rsi, %rsi
jne 0x18d50
leaq 0xbe7a0(%rip), %rdi     # 0xd74de
pushq $0xd
popq %rsi
callq 0x8a21
movq %rax, %rsi
movq %rax, 0x10f2f38(%rip)   # 0x110bc88
movq %rsi, %rax
andq %r14, %rax
sete %cl
testb $0x3, %sil
setne %dl
orb %cl, %dl
jne 0x18d66
incl (%rax)
movq %rbx, %rdi
callq 0xd8b0
movq %rax, %rbx
leaq -0x38(%rbp), %r15
movq %r13, %rdi
movq %r12, %rsi
movq %r15, %rdx
callq 0x191c9
jmp 0x18f37
movq 0x8(%r15), %r12
decl (%r15)
jne 0x18d99
movq %r15, %rdi
callq 0x5030
movq 0x10f2ed8(%rip), %rsi   # 0x110bc78
testq %rsi, %rsi
jne 0x18dbe
leaq 0xbe713(%rip), %rdi     # 0xd74bf
pushq $0xf
popq %rsi
callq 0x8a21
movq %rax, %rsi
movq %rax, 0x10f2eba(%rip)   # 0x110bc78
movq %rsi, %rax
andq %r14, %rax
sete %cl
testb $0x3, %sil
setne %dl
orb %cl, %dl
jne 0x18dd4
incl (%rax)
movq %rbx, %rdi
callq 0xd8b0
movq %rax, %rbx
leaq -0x38(%rbp), %r15
movq %r13, %rdi
movq %r12, %rsi
movq %r15, %rdx
callq 0x1918f
movq %rdx, %rcx
movq (%r15), %rdi
leaq -0x30(%rbp), %r15
leaq -0x40(%rbp), %r12
movq %rbx, %rsi
movl %eax, %edx
movq %r15, %r8
movq %r12, %r9
callq 0x18fee
jmp 0x18f53
movq 0x8(%r15), %r12
decl (%r15)
jne 0x18e25
movq %r15, %rdi
callq 0x5030
movq 0x10f2ebc(%rip), %rsi   # 0x110bce8
testq %rsi, %rsi
jne 0x18f04
leaq 0xbe769(%rip), %rdi     # 0xd75a5
pushq $0xf
popq %rsi
callq 0x8a21
movq %rax, %rsi
movq %rax, 0x10f2e9a(%rip)   # 0x110bce8
jmp 0x18f04
movq 0x8(%r15), %r12
decl (%r15)
jne 0x18e64
movq %r15, %rdi
callq 0x5030
movq 0x10f2e65(%rip), %rsi   # 0x110bcd0
testq %rsi, %rsi
jne 0x18e89
leaq 0xbe6fd(%rip), %rdi     # 0xd7574
pushq $0x10
popq %rsi
callq 0x8a21
movq %rax, %rsi
movq %rax, 0x10f2e47(%rip)   # 0x110bcd0
movq %rsi, %rax
andq %r14, %rax
sete %cl
testb $0x3, %sil
setne %dl
orb %cl, %dl
jne 0x18e9f
incl (%rax)
movq %rbx, %rdi
callq 0xd8b0
movq %rax, %rbx
leaq 0x10f2f2f(%rip), %rdi   # 0x110bde0
movq %r12, %rsi
callq 0x12f88
movq %rax, %rdi
callq 0x1307d
leaq -0x38(%rbp), %r15
leaq -0x30(%rbp), %r12
movq %r13, %rdi
jmp 0x18f42
movq 0x8(%r15), %r12
decl (%r15)
jne 0x18edf
movq %r15, %rdi
callq 0x5030
movq 0x10f2e0a(%rip), %rsi   # 0x110bcf0
testq %rsi, %rsi
jne 0x18f04
leaq 0xbe6c3(%rip), %rdi     # 0xd75b5
pushq $0x14
popq %rsi
callq 0x8a21
movq %rax, %rsi
movq %rax, 0x10f2dec(%rip)   # 0x110bcf0
movq %rsi, %rax
andq %r14, %rax
sete %cl
testb $0x3, %sil
setne %dl
orb %cl, %dl
jne 0x18f1a
incl (%rax)
movq %rbx, %rdi
callq 0xd8b0
movq %rax, %rbx
leaq -0x38(%rbp), %r15
movq %r13, %rdi
movq %r12, %rsi
movq %r15, %rdx
callq 0x1926d
movq (%r15), %rdi
leaq -0x30(%rbp), %r15
leaq -0x40(%rbp), %r12
movq %rbx, %rsi
movq %rax, %rdx
movq %r15, %rcx
movq %r12, %r8
callq 0x1912c
movq (%r12), %rbx
movq (%r15), %r13
movl -0x58(%rbp), %eax
movq -0x50(%rbp), %rdx
jmp 0x185ec
leaq 0xbb8a0(%rip), %rdi     # 0xd480d
pushq $0x20
popq %rsi
callq 0x8a21
movq %rax, %rdi
callq 0x8cc6
andq %rdi, %r14
sete %cl
testb $0x3, %dil
setne %dl
orb %cl, %dl
jne 0x18fa9
decl (%r14)
jne 0x18fa9
shlq $0x30, %rax
orq %rdi, %rax
movq %rax, %rdi
leaq 0xef2d5(%rip), %rsi     # 0x108279
callq 0xce94
movq %r13, %rdi
movq %rbx, %rsi
callq 0x13deb