// File: /workspace/github_c_makefile_star2_O3/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 $0x28, %rsp
movq %rdx, %rbx
leaq -0x40(%rbp), %rdx
callq 0x1555d
cmpl $0x1, %eax
jne 0x1a71b
movq %rdx, %rdi
callq 0xd745
movq -0x40(%rbp), %rcx
movq %rcx, (%rbx)
addq $0x28, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
testl %eax, %eax
jne 0x1b409
movabsq $0xfffffffffffc, %rbx   # imm = 0xFFFFFFFFFFFC
movq -0x40(%rbp), %r14
movl 0x68(%r14), %r13d
movl 0x6c(%r14), %eax
movq 0x70(%r14), %r12
movq %r12, %rcx
andq %rbx, %rcx
sete %dl
testb $0x3, %r12b
setne %sil
orb %dl, %sil
jne 0x1a755
incl (%rcx)
movl %r13d, 0x68(%r14)
movl %eax, 0x6c(%r14)
movq %r12, 0x70(%r14)
movq 0x10fa4b8(%rip), %r15   # 0x1114c20
testq %r15, %r15
jne 0x1a786
xorl %edi, %edi
callq 0xf5e4
movq %rax, %r15
movq $0x0, 0x10(%rax)
movq %rax, 0x10fa49a(%rip)   # 0x1114c20
movq %r15, %rax
andq %rbx, %rax
sete %cl
testb $0x3, %r15b
setne %dl
orb %cl, %dl
jne 0x1a79c
incl (%rax)
movq 0x10fa485(%rip), %rsi   # 0x1114c28
testq %rsi, %rsi
jne 0x1a7dd
movl $0x18, %edi
callq 0xf5e4
movq %rax, %rsi
movq $0x18, 0x10(%rax)
movabsq $0x3a64657463657465, %rax # imm = 0x3A64657463657465
movq %rax, 0x28(%rsi)
movups 0xc8aed(%rip), %xmm0    # 0xe32bf
movups %xmm0, 0x18(%rsi)
movq %rsi, 0x10fa44b(%rip)   # 0x1114c28
movq %rsi, %rax
andq %rbx, %rax
sete %cl
testb $0x3, %sil
setne %dl
orb %cl, %dl
jne 0x1a7f3
incl (%rax)
movq %r15, %rdi
callq 0xe069
movq %rax, %r15
xorl %edi, %edi
xorl %esi, %esi
movl %r13d, %edx
movq %r12, %rcx
callq 0xd01b
movq %rdx, %rdi
cmpl $0x1, %eax
jne 0x1b3fa
leaq -0x50(%rbp), %rsi
callq 0xd0aa
movq %rax, %r12
movq 0x10fa404(%rip), %rsi   # 0x1114c30
testq %rsi, %rsi
jne 0x1a858
movl $0x5, %edi
callq 0xf5e4
movq %rax, %rsi
movq $0x5, 0x10(%rax)
movl $0x2d20200a, 0x18(%rax) # imm = 0x2D20200A
movb $0x20, 0x1c(%rax)
movq %rax, 0x10fa3d8(%rip)   # 0x1114c30
movq %rsi, %rax
andq %rbx, %rax
sete %cl
testb $0x3, %sil
setne %dl
orb %cl, %dl
jne 0x1a86e
incl (%rax)
movq %r15, %rdi
callq 0xe069
movq %rax, %r15
movq %r12, %rax
shrq $0x30, %rax
cmpw $0x19, %ax
ja 0x1b409
andq %rbx, %r12
leaq 0xc3ba8(%rip), %rcx     # 0xde43c
movslq (%rcx,%rax,4), %rax
addq %rcx, %rax
jmpq *%rax
movq 0x10fa394(%rip), %rsi   # 0x1114c38
testq %rsi, %rsi
jne 0x1a8d6
movl $0x12, %edi
callq 0xf5e4
movq %rax, %rsi
movq $0x12, 0x10(%rax)
movups 0xc8a19(%rip), %xmm0    # 0xe32de
movups %xmm0, 0x18(%rax)
movw $0x6563, 0x28(%rax)     # imm = 0x6563
movq %rax, 0x10fa362(%rip)   # 0x1114c38
movq %rsi, %rax
andq %rbx, %rax
sete %cl
testb $0x3, %sil
setne %dl
orb %cl, %dl
jne 0x1a8ec
incl (%rax)
movq %r15, %rdi
callq 0xe069
movq %rax, %r15
jmp 0x1b3ee
movq 0x8(%r12), %r13
decl (%r12)
jne 0x1a90f
movq %r12, %rdi
callq 0x5030
movq 0x10fa3a2(%rip), %rsi   # 0x1114cb8
testq %rsi, %rsi
jne 0x1b10a
movl $0x12, %edi
callq 0xf5e4
movq %rax, %rsi
movq $0x12, 0x10(%rax)
movups 0xc8a9d(%rip), %xmm0    # 0xe33d8
movups %xmm0, 0x18(%rax)
movw $0x2074, 0x28(%rax)     # imm = 0x2074
movq %rax, 0x10fa36c(%rip)   # 0x1114cb8
jmp 0x1b10a
movq 0x8(%r12), %r13
decl (%r12)
jne 0x1a964
movq %r12, %rdi
callq 0x5030
movq 0x10fa33d(%rip), %rsi   # 0x1114ca8
testq %rsi, %rsi
jne 0x1acd5
movl $0xf, %edi
callq 0xf5e4
movq %rax, %rsi
movq $0xf, 0x10(%rax)
movabsq $0x6e71207361696c61, %rax # imm = 0x6E71207361696C61
movq %rax, 0x18(%rsi)
movabsq $0x20746120656d616e, %rax # imm = 0x20746120656D616E
movq %rax, 0x1f(%rsi)
movq %rsi, 0x10fa2fc(%rip)   # 0x1114ca8
jmp 0x1acd5
movq 0x8(%r12), %r13
decl (%r12)
jne 0x1a9c4
movq %r12, %rdi
callq 0x5030
movq 0x10fa2c5(%rip), %rsi   # 0x1114c90
testq %rsi, %rsi
jne 0x1b18e
movl $0xf, %edi
callq 0xf5e4
movq %rax, %rsi
movq $0xf, 0x10(%rax)
movabsq $0x7261702064726f77, %rax # imm = 0x7261702064726F77
movq %rax, 0x18(%rsi)
movabsq $0x20746120736d6172, %rax # imm = 0x20746120736D6172
movq %rax, 0x1f(%rsi)
movq %rsi, 0x10fa284(%rip)   # 0x1114c90
jmp 0x1b18e
movq 0x8(%r12), %r13
decl (%r12)
jne 0x1aa24
movq %r12, %rdi
callq 0x5030
movq 0x10fa22d(%rip), %rsi   # 0x1114c58
testq %rsi, %rsi
jne 0x1aa68
movl $0xd, %edi
callq 0xf5e4
movq %rax, %rsi
movq $0xd, 0x10(%rax)
movabsq $0x7079746320676174, %rax # imm = 0x7079746320676174
movq %rax, 0x18(%rsi)
movabsq $0x2074612065707974, %rax # imm = 0x2074612065707974
movq %rax, 0x1d(%rsi)
movq %rsi, 0x10fa1f0(%rip)   # 0x1114c58
movq %rsi, %rax
andq %rbx, %rax
sete %cl
testb $0x3, %sil
setne %dl
orb %cl, %dl
jne 0x1aa7e
incl (%rax)
movq %r15, %rdi
callq 0xe069
movq %rax, %r15
leaq 0x10fa290(%rip), %rdi   # 0x1114d20
jmp 0x1b23a
movq 0x8(%r12), %r13
decl (%r12)
jne 0x1aaa8
movq %r12, %rdi
callq 0x5030
movq 0x10fa1e9(%rip), %rsi   # 0x1114c98
testq %rsi, %rsi
jne 0x1b18e
movl $0xe, %edi
callq 0xf5e4
movq %rax, %rsi
movq $0xe, 0x10(%rax)
movabsq $0x7272612064726f77, %rax # imm = 0x7272612064726F77
movq %rax, 0x18(%rsi)
movabsq $0x20746120776f7272, %rax # imm = 0x20746120776F7272
movq %rax, 0x1e(%rsi)
movq %rsi, 0x10fa1a8(%rip)   # 0x1114c98
jmp 0x1b18e
movq 0x8(%r12), %r13
decl (%r12)
jne 0x1ab08
movq %r12, %rdi
callq 0x5030
movq 0x10fa171(%rip), %rsi   # 0x1114c80
testq %rsi, %rsi
jne 0x1b18e
movl $0xe, %edi
callq 0xf5e4
movq %rax, %rsi
movq $0xe, 0x10(%rax)
movabsq $0x616e712064726f77, %rax # imm = 0x616E712064726F77
movq %rax, 0x18(%rsi)
movabsq $0x20746120656d616e, %rax # imm = 0x20746120656D616E
movq %rax, 0x1e(%rsi)
movq %rsi, 0x10fa130(%rip)   # 0x1114c80
jmp 0x1b18e
movq 0x8(%r12), %r13
decl (%r12)
jne 0x1ab68
movq %r12, %rdi
callq 0x5030
movq 0x10fa191(%rip), %rsi   # 0x1114d00
testq %rsi, %rsi
jne 0x1abac
movl $0xf, %edi
callq 0xf5e4
movq %rax, %rsi
movq $0xf, 0x10(%rax)
movabsq $0x6e71206f7263616d, %rax # imm = 0x6E71206F7263616D
movq %rax, 0x18(%rsi)
movabsq $0x20746120656d616e, %rax # imm = 0x20746120656D616E
movq %rax, 0x1f(%rsi)
movq %rsi, 0x10fa154(%rip)   # 0x1114d00
movq %rsi, %rax
andq %rbx, %rax
sete %cl
testb $0x3, %sil
setne %dl
orb %cl, %dl
jne 0x1abc2
incl (%rax)
movq %r15, %rdi
callq 0xe069
movq %rax, %r15
leaq 0x10fa22c(%rip), %rdi   # 0x1114e00
jmp 0x1b23a
movq 0x8(%r12), %r13
decl (%r12)
jne 0x1abec
movq %r12, %rdi
callq 0x5030
movq 0x10fa105(%rip), %rsi   # 0x1114cf8
testq %rsi, %rsi
jne 0x1b392
movl $0x14, %edi
callq 0xf5e4
movq %rax, %rsi
movq $0x14, 0x10(%rax)
movups 0xc884e(%rip), %xmm0    # 0xe3466
movups %xmm0, 0x18(%rax)
movl $0x20746120, 0x28(%rax) # imm = 0x20746120
movq %rax, 0x10fa0ce(%rip)   # 0x1114cf8
jmp 0x1b392
movq 0x8(%r12), %r13
decl (%r12)
jne 0x1ac42
movq %r12, %rdi
callq 0x5030
movq 0x10f9fff(%rip), %rsi   # 0x1114c48
testq %rsi, %rsi
jne 0x1ae19
movl $0xf, %edi
callq 0xf5e4
movq %rax, %rsi
movq $0xf, 0x10(%rax)
movabsq $0x7261702061746164, %rax # imm = 0x7261702061746164
movq %rax, 0x18(%rsi)
movabsq $0x20746120736d6172, %rax # imm = 0x20746120736D6172
movq %rax, 0x1f(%rsi)
movq %rsi, 0x10f9fbe(%rip)   # 0x1114c48
jmp 0x1ae19
movq 0x8(%r12), %r13
decl (%r12)
jne 0x1aca2
movq %r12, %rdi
callq 0x5030
movq 0x10fa007(%rip), %rsi   # 0x1114cb0
testq %rsi, %rsi
jne 0x1acd5
movl $0x10, %edi
callq 0xf5e4
movq %rax, %rsi
movq $0x10, 0x10(%rax)
movups 0xc86fd(%rip), %xmm0    # 0xe33c7
movups %xmm0, 0x18(%rax)
movq %rax, 0x10f9fdb(%rip)   # 0x1114cb0
movq %rsi, %rax
andq %rbx, %rax
sete %cl
testb $0x3, %sil
setne %dl
orb %cl, %dl
jne 0x1aceb
incl (%rax)
movq %r15, %rdi
callq 0xe069
movq %rax, %r15
leaq 0x10fa0c3(%rip), %rdi   # 0x1114dc0
jmp 0x1b3ba
movq 0x8(%r12), %r13
decl (%r12)
jne 0x1ad15
movq %r12, %rdi
callq 0x5030
movq 0x10f9f34(%rip), %rsi   # 0x1114c50
testq %rsi, %rsi
jne 0x1ae19
movl $0xe, %edi
callq 0xf5e4
movq %rax, %rsi
movq $0xe, 0x10(%rax)
movabsq $0x7974632061746164, %rax # imm = 0x7974632061746164
movq %rax, 0x18(%rsi)
movabsq $0x2074612065707974, %rax # imm = 0x2074612065707974
movq %rax, 0x1e(%rsi)
movq %rsi, 0x10f9ef3(%rip)   # 0x1114c50
jmp 0x1ae19
movq 0x8(%r12), %r13
decl (%r12)
jne 0x1ad75
movq %r12, %rdi
callq 0x5030
movq 0x10f9ef4(%rip), %rsi   # 0x1114c70
testq %rsi, %rsi
jne 0x1b212
movl $0xe, %edi
callq 0xf5e4
movq %rax, %rsi
movq $0xe, 0x10(%rax)
movabsq $0x7261702065707974, %rax # imm = 0x7261702065707974
movq %rax, 0x18(%rsi)
movabsq $0x2074612073617261, %rax # imm = 0x2074612073617261
movq %rax, 0x1e(%rsi)
movq %rsi, 0x10f9eb3(%rip)   # 0x1114c70
jmp 0x1b212
movq 0x8(%r12), %r13
decl (%r12)
jne 0x1add5
movq %r12, %rdi
callq 0x5030
movq 0x10f9e64(%rip), %rsi   # 0x1114c40
testq %rsi, %rsi
jne 0x1ae19
movl $0xe, %edi
callq 0xf5e4
movq %rax, %rsi
movq $0xe, 0x10(%rax)
movabsq $0x616e712061746164, %rax # imm = 0x616E712061746164
movq %rax, 0x18(%rsi)
movabsq $0x20746120656d616e, %rax # imm = 0x20746120656D616E
movq %rax, 0x1e(%rsi)
movq %rsi, 0x10f9e27(%rip)   # 0x1114c40
movq %rsi, %rax
andq %rbx, %rax
sete %cl
testb $0x3, %sil
setne %dl
orb %cl, %dl
jne 0x1ae2f
incl (%rax)
movq %r15, %rdi
callq 0xe069
movq %rax, %r15
leaq 0x10f9ec7(%rip), %rdi   # 0x1114d08
jmp 0x1b23a
movq 0x8(%r12), %r13
decl (%r12)
jne 0x1ae59
movq %r12, %rdi
callq 0x5030
movq 0x10f9e60(%rip), %rsi   # 0x1114cc0
testq %rsi, %rsi
jne 0x1b10a
movl $0x11, %edi
callq 0xf5e4
movq %rax, %rsi
movq $0x11, 0x10(%rax)
movups 0xc8566(%rip), %xmm0    # 0xe33eb
movups %xmm0, 0x18(%rax)
movb $0x20, 0x28(%rax)
movq %rax, 0x10f9e2c(%rip)   # 0x1114cc0
jmp 0x1b10a
movq 0x8(%r12), %r13
decl (%r12)
jne 0x1aeac
movq %r12, %rdi
callq 0x5030
movq 0x10f9e25(%rip), %rsi   # 0x1114cd8
testq %rsi, %rsi
jne 0x1af4d
movl $0xf, %edi
callq 0xf5e4
movq %rax, %rsi
movq $0xf, 0x10(%rax)
movabsq $0x776f20656c626174, %rax # imm = 0x776F20656C626174
movq %rax, 0x18(%rsi)
movabsq $0x2074612072656e77, %rax # imm = 0x2074612072656E77
movq %rax, 0x1f(%rsi)
movq %rsi, 0x10f9de4(%rip)   # 0x1114cd8
jmp 0x1af4d
movq 0x8(%r12), %r13
decl (%r12)
jne 0x1af09
movq %r12, %rdi
callq 0x5030
movq 0x10f9d50(%rip), %rsi   # 0x1114c60
testq %rsi, %rsi
jne 0x1af4d
movl $0xf, %edi
callq 0xf5e4
movq %rax, %rsi
movq $0xf, 0x10(%rax)
movabsq $0x6e7120656c626174, %rax # imm = 0x6E7120656C626174
movq %rax, 0x18(%rsi)
movabsq $0x20746120656d616e, %rax # imm = 0x20746120656D616E
movq %rax, 0x1f(%rsi)
movq %rsi, 0x10f9d13(%rip)   # 0x1114c60
movq %rsi, %rax
andq %rbx, %rax
sete %cl
testb $0x3, %sil
setne %dl
orb %cl, %dl
jne 0x1af63
incl (%rax)
movq %r15, %rdi
callq 0xe069
movq %rax, %r15
leaq 0x10f9dbb(%rip), %rdi   # 0x1114d30
jmp 0x1b3ba
movq 0x8(%r12), %r13
decl (%r12)
jne 0x1af8d
movq %r12, %rdi
callq 0x5030
movq 0x10f9d4c(%rip), %rsi   # 0x1114ce0
testq %rsi, %rsi
jne 0x1b392
movl $0xf, %edi
callq 0xf5e4
movq %rax, %rsi
movq $0xf, 0x10(%rax)
movabsq $0x776f20646c656966, %rax # imm = 0x776F20646C656966
movq %rax, 0x18(%rsi)
movabsq $0x2074612072656e77, %rax # imm = 0x2074612072656E77
movq %rax, 0x1f(%rsi)
movq %rsi, 0x10f9d0b(%rip)   # 0x1114ce0
jmp 0x1b392
movq 0x8(%r12), %r13
decl (%r12)
jne 0x1afed
movq %r12, %rdi
callq 0x5030
movq 0x10f9cac(%rip), %rsi   # 0x1114ca0
testq %rsi, %rsi
jne 0x1b031
movl $0xf, %edi
callq 0xf5e4
movq %rax, %rsi
movq $0xf, 0x10(%rax)
movabsq $0x7261206b636f6c62, %rax # imm = 0x7261206B636F6C62
movq %rax, 0x18(%rsi)
movabsq $0x20746120776f7272, %rax # imm = 0x20746120776F7272
movq %rax, 0x1f(%rsi)
movq %rsi, 0x10f9c6f(%rip)   # 0x1114ca0
movq %rsi, %rax
andq %rbx, %rax
sete %cl
testb $0x3, %sil
setne %dl
orb %cl, %dl
jne 0x1b047
incl (%rax)
movq %r15, %rdi
callq 0xe069
movq %rax, %r15
leaq 0x10f9d57(%rip), %rdi   # 0x1114db0
jmp 0x1b3ba
movq 0x8(%r12), %r13
decl (%r12)
jne 0x1b071
movq %r12, %rdi
callq 0x5030
movq 0x10f9bf0(%rip), %rsi   # 0x1114c68
testq %rsi, %rsi
jne 0x1b212
movl $0xe, %edi
callq 0xf5e4
movq %rax, %rsi
movq $0xe, 0x10(%rax)
movabsq $0x616e712065707974, %rax # imm = 0x616E712065707974
movq %rax, 0x18(%rsi)
movabsq $0x20746120656d616e, %rax # imm = 0x20746120656D616E
movq %rax, 0x1e(%rsi)
movq %rsi, 0x10f9baf(%rip)   # 0x1114c68
jmp 0x1b212
movq 0x8(%r12), %r13
decl (%r12)
jne 0x1b0d1
movq %r12, %rdi
callq 0x5030
movq 0x10f9bf0(%rip), %rsi   # 0x1114cc8
testq %rsi, %rsi
jne 0x1b10a
movl $0x12, %edi
callq 0xf5e4
movq %rax, %rsi
movq $0x12, 0x10(%rax)
movups 0xc8304(%rip), %xmm0    # 0xe33fd
movups %xmm0, 0x18(%rax)
movw $0x2074, 0x28(%rax)     # imm = 0x2074
movq %rax, 0x10f9bbe(%rip)   # 0x1114cc8
movq %rsi, %rax
andq %rbx, %rax
sete %cl
testb $0x3, %sil
setne %dl
orb %cl, %dl
jne 0x1b120
incl (%rax)
movq %r15, %rdi
callq 0xe069
movq %rax, %r15
leaq 0x10f9c9e(%rip), %rdi   # 0x1114dd0
jmp 0x1b3ba
movq 0x8(%r12), %r13
decl (%r12)
jne 0x1b14a
movq %r12, %rdi
callq 0x5030
movq 0x10f9b37(%rip), %rsi   # 0x1114c88
testq %rsi, %rsi
jne 0x1b18e
movl $0xd, %edi
callq 0xf5e4
movq %rax, %rsi
movq $0xd, 0x10(%rax)
movabsq $0x7079742064726f77, %rax # imm = 0x7079742064726F77
movq %rax, 0x18(%rsi)
movabsq $0x2074612065707974, %rax # imm = 0x2074612065707974
movq %rax, 0x1d(%rsi)
movq %rsi, 0x10f9afa(%rip)   # 0x1114c88
movq %rsi, %rax
andq %rbx, %rax
sete %cl
testb $0x3, %sil
setne %dl
orb %cl, %dl
jne 0x1b1a4
incl (%rax)
movq %r15, %rdi
callq 0xe069
movq %rax, %r15
leaq 0x10f9bea(%rip), %rdi   # 0x1114da0
jmp 0x1b3ba
movq 0x8(%r12), %r13
decl (%r12)
jne 0x1b1ce
movq %r12, %rdi
callq 0x5030
movq 0x10f9aa3(%rip), %rsi   # 0x1114c78
testq %rsi, %rsi
jne 0x1b212
movl $0xf, %edi
callq 0xf5e4
movq %rax, %rsi
movq $0xf, 0x10(%rax)
movabsq $0x7261742065707974, %rax # imm = 0x7261742065707974
movq %rax, 0x18(%rsi)
movabsq $0x2074612074656772, %rax # imm = 0x2074612074656772
movq %rax, 0x1f(%rsi)
movq %rsi, 0x10f9a66(%rip)   # 0x1114c78
movq %rsi, %rax
andq %rbx, %rax
sete %cl
testb $0x3, %sil
setne %dl
orb %cl, %dl
jne 0x1b228
incl (%rax)
movq %r15, %rdi
callq 0xe069
movq %rax, %r15
leaq 0x10f9b56(%rip), %rdi   # 0x1114d90
movq %r13, %rsi
callq 0x13c85
movq %rax, %rdi
callq 0x13d82
movq %rax, %rdx
shrq $0x30, %rdx
andq %rbx, %rax
leaq -0x38(%rbp), %r12
leaq -0x30(%rbp), %r13
movq %r14, %rdi
movq %r15, %rsi
movq %rax, %rcx
movq %r12, %r8
movq %r13, %r9
callq 0x1b439
jmp 0x1b3e6
movq 0x8(%r12), %r13
decl (%r12)
jne 0x1b288
movq %r12, %rdi
callq 0x5030
movq 0x10f9a59(%rip), %rsi   # 0x1114ce8
testq %rsi, %rsi
jne 0x1b392
movl $0xf, %edi
callq 0xf5e4
movq %rax, %rsi
movq $0xf, 0x10(%rax)
movabsq $0x6e7120646c656966, %rax # imm = 0x6E7120646C656966
movq %rax, 0x18(%rsi)
movabsq $0x20746120656d616e, %rax # imm = 0x20746120656D616E
movq %rax, 0x1f(%rsi)
movq %rsi, 0x10f9a18(%rip)   # 0x1114ce8
jmp 0x1b392
movq 0x8(%r12), %r13
decl (%r12)
jne 0x1b2e8
movq %r12, %rdi
callq 0x5030
movq 0x10f99e1(%rip), %rsi   # 0x1114cd0
testq %rsi, %rsi
jne 0x1b31b
movl $0x10, %edi
callq 0xf5e4
movq %rax, %rsi
movq $0x10, 0x10(%rax)
movups 0xc8100(%rip), %xmm0    # 0xe3410
movups %xmm0, 0x18(%rax)
movq %rax, 0x10f99b5(%rip)   # 0x1114cd0
movq %rsi, %rax
andq %rbx, %rax
sete %cl
testb $0x3, %sil
setne %dl
orb %cl, %dl
jne 0x1b331
incl (%rax)
movq %r15, %rdi
callq 0xe069
movq %rax, %r15
leaq 0x10f9a9d(%rip), %rdi   # 0x1114de0
jmp 0x1b3ba
movq 0x8(%r12), %r13
decl (%r12)
jne 0x1b358
movq %r12, %rdi
callq 0x5030
movq 0x10f9991(%rip), %rsi   # 0x1114cf0
testq %rsi, %rsi
jne 0x1b392
movl $0x14, %edi
callq 0xf5e4
movq %rax, %rsi
movq $0x14, 0x10(%rax)
movups 0xc80d1(%rip), %xmm0    # 0xe3451
movups %xmm0, 0x18(%rax)
movl $0x20746120, 0x28(%rax) # imm = 0x20746120
movq %rax, 0x10f995e(%rip)   # 0x1114cf0
movq %rsi, %rax
andq %rbx, %rax
sete %cl
testb $0x3, %sil
setne %dl
orb %cl, %dl
jne 0x1b3a8
incl (%rax)
movq %r15, %rdi
callq 0xe069
movq %rax, %r15
leaq 0x10f9a36(%rip), %rdi   # 0x1114df0
movq %r13, %rsi
callq 0x13c85
movq %rax, %rdi
callq 0x13d82
leaq -0x38(%rbp), %r12
leaq -0x30(%rbp), %r13
movq %r14, %rdi
movq %r15, %rsi
movq %rax, %rdx
movq %r12, %rcx
movq %r13, %r8
callq 0x1b53a
movq (%r13), %r15
movq (%r12), %r14
movl -0x50(%rbp), %eax
movq -0x48(%rbp), %rdi
jmp 0x1a810
testl %eax, %eax
jne 0x1b409
movq %r14, %rdi
movq %r15, %rsi
callq 0x14cad
movl $0x20, %edi
callq 0xf5e4
movq $0x20, 0x10(%rax)
movups 0xc52ab(%rip), %xmm0    # 0xe06cd
movups %xmm0, 0x18(%rax)
movups 0xc52b0(%rip), %xmm0    # 0xe06dd
movups %xmm0, 0x28(%rax)
movq %rax, %rdi
callq 0x9302