// File: /workspace/github_c_makefile_star2_O1/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 0x158b0
cmpl $0x1, %eax
jne 0x1a9b2
movq %rdx, %rdi
callq 0xdaeb
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 0x1b6cb
movabsq $0xfffffffffffc, %r14   # imm = 0xFFFFFFFFFFFC
movq -0x48(%rbp), %r15
movl 0x68(%r15), %eax
movl %eax, -0x3c(%rbp)
movl 0x6c(%r15), %eax
movq 0x70(%r15), %r13
movq %r13, %rcx
andq %r14, %rcx
sete %dl
testb $0x3, %r13b
setne %sil
orb %dl, %sil
jne 0x1a9ef
incl (%rcx)
movl -0x3c(%rbp), %ecx
movl %ecx, 0x68(%r15)
movl %eax, 0x6c(%r15)
movq %r13, 0x70(%r15)
cmpq $0x0, 0x10fe21a(%rip)   # 0x1118c20
jne 0x1aa1e
xorl %edi, %edi
callq 0xf9f7
movq $0x0, 0x10(%rax)
movq %rax, 0x10fe202(%rip)   # 0x1118c20
movq 0x10fe1fb(%rip), %rbx   # 0x1118c20
movq %rbx, %rax
andq %r14, %rax
sete %cl
testb $0x3, %bl
setne %dl
orb %cl, %dl
jne 0x1aa3a
incl (%rax)
cmpq $0x0, 0x10fe1e6(%rip)   # 0x1118c28
jne 0x1aa76
movl $0x18, %edi
callq 0xf9f7
movq $0x18, 0x10(%rax)
movabsq $0x3a64657463657465, %rcx # imm = 0x3A64657463657465
movq %rcx, 0x28(%rax)
movups 0xcc953(%rip), %xmm0    # 0xe73be
movups %xmm0, 0x18(%rax)
movq %rax, 0x10fe1b2(%rip)   # 0x1118c28
movq 0x10fe1ab(%rip), %rsi   # 0x1118c28
movq %rsi, %rax
andq %r14, %rax
sete %cl
testb $0x3, %sil
setne %dl
orb %cl, %dl
jne 0x1aa93
incl (%rax)
movq %rbx, %rdi
callq 0xe43c
movq %rax, %r12
xorl %edi, %edi
xorl %esi, %esi
movl -0x3c(%rbp), %edx
movq %r13, %rcx
callq 0xd37c
movq %rdx, %rdi
testl %eax, %eax
je 0x1aba8
cmpl $0x1, %eax
jne 0x1b6cb
leaq -0x58(%rbp), %rsi
callq 0xd450
movq %rax, %r13
cmpq $0x0, 0x10fe15b(%rip)   # 0x1118c30
jne 0x1aafb
movl $0x5, %edi
callq 0xf9f7
movq $0x5, 0x10(%rax)
movl $0x2d20200a, 0x18(%rax) # imm = 0x2D20200A
movb $0x20, 0x1c(%rax)
movq %rax, 0x10fe135(%rip)   # 0x1118c30
movq 0x10fe12e(%rip), %rsi   # 0x1118c30
movq %rsi, %rax
andq %r14, %rax
sete %cl
testb $0x3, %sil
setne %dl
orb %cl, %dl
jne 0x1ab18
incl (%rax)
movq %r12, %rdi
callq 0xe43c
movq %rax, %r12
movq %r13, %rax
shrq $0x30, %rax
cmpw $0x19, %ax
ja 0x1b6cb
andq %r14, %r13
leaq 0xc78ea(%rip), %rcx     # 0xe2428
movslq (%rcx,%rax,4), %rax
addq %rcx, %rax
jmpq *%rax
cmpq $0x0, 0x10fe0e9(%rip)   # 0x1118c38
jne 0x1ab7b
movl $0x12, %edi
callq 0xf9f7
movq $0x12, 0x10(%rax)
movups 0xcc873(%rip), %xmm0    # 0xe73dd
movups %xmm0, 0x18(%rax)
movw $0x6563, 0x28(%rax)     # imm = 0x6563
movq %rax, 0x10fe0bd(%rip)   # 0x1118c38
movq 0x10fe0b6(%rip), %rsi   # 0x1118c38
movq %rsi, %rax
andq %r14, %rax
sete %cl
testb $0x3, %sil
setne %dl
orb %cl, %dl
jne 0x1ab98
incl (%rax)
movq %r12, %rdi
callq 0xe43c
movq %rax, %r12
jmp 0x1b683
xorl %ecx, %ecx
xorl %edi, %edi
jmp 0x1b68c
movq 0x8(%r13), %rbx
decl (%r13)
jne 0x1abc3
movq %r13, %rdi
callq 0x5030
cmpq $0x0, 0x10fe0ed(%rip)   # 0x1118cb8
jne 0x1abf7
movl $0x12, %edi
callq 0xf9f7
movq $0x12, 0x10(%rax)
movups 0xcc8f1(%rip), %xmm0    # 0xe74d7
movups %xmm0, 0x18(%rax)
movw $0x2074, 0x28(%rax)     # imm = 0x2074
movq %rax, 0x10fe0c1(%rip)   # 0x1118cb8
movq 0x10fe0ba(%rip), %rsi   # 0x1118cb8
jmp 0x1b39f
movq 0x8(%r13), %rbx
decl (%r13)
jne 0x1ac15
movq %r13, %rdi
callq 0x5030
cmpq $0x0, 0x10fe08b(%rip)   # 0x1118ca8
jne 0x1ac54
movl $0xf, %edi
callq 0xf9f7
movq $0xf, 0x10(%rax)
movabsq $0x6e71207361696c61, %rcx # imm = 0x6E71207361696C61
movq %rcx, 0x18(%rax)
movabsq $0x20746120656d616e, %rcx # imm = 0x20746120656D616E
movq %rcx, 0x1f(%rax)
movq %rax, 0x10fe054(%rip)   # 0x1118ca8
movq 0x10fe04d(%rip), %rsi   # 0x1118ca8
jmp 0x1af78
movq 0x8(%r13), %rbx
decl (%r13)
jne 0x1ac72
movq %r13, %rdi
callq 0x5030
cmpq $0x0, 0x10fe016(%rip)   # 0x1118c90
jne 0x1acb1
movl $0xf, %edi
callq 0xf9f7
movq $0xf, 0x10(%rax)
movabsq $0x7261702064726f77, %rcx # imm = 0x7261702064726F77
movq %rcx, 0x18(%rax)
movabsq $0x20746120736d6172, %rcx # imm = 0x20746120736D6172
movq %rcx, 0x1f(%rax)
movq %rax, 0x10fdfdf(%rip)   # 0x1118c90
movq 0x10fdfd8(%rip), %rsi   # 0x1118c90
jmp 0x1b424
movq 0x8(%r13), %rbx
decl (%r13)
jne 0x1accf
movq %r13, %rdi
callq 0x5030
cmpq $0x0, 0x10fdf81(%rip)   # 0x1118c58
jne 0x1ad0e
movl $0xd, %edi
callq 0xf9f7
movq $0xd, 0x10(%rax)
movabsq $0x7079746320676174, %rcx # imm = 0x7079746320676174
movq %rcx, 0x18(%rax)
movabsq $0x2074612065707974, %rcx # imm = 0x2074612065707974
movq %rcx, 0x1d(%rax)
movq %rax, 0x10fdf4a(%rip)   # 0x1118c58
movq 0x10fdf43(%rip), %rsi   # 0x1118c58
movq %rsi, %rax
andq %r14, %rax
sete %cl
testb $0x3, %sil
setne %dl
orb %cl, %dl
jne 0x1ad2b
incl (%rax)
movq %r12, %rdi
callq 0xe43c
movq %rax, %r12
leaq 0x10fdfe3(%rip), %rdi   # 0x1118d20
jmp 0x1b4d1
movq 0x8(%r13), %rbx
decl (%r13)
jne 0x1ad54
movq %r13, %rdi
callq 0x5030
cmpq $0x0, 0x10fdf3c(%rip)   # 0x1118c98
jne 0x1ad93
movl $0xe, %edi
callq 0xf9f7
movq $0xe, 0x10(%rax)
movabsq $0x7272612064726f77, %rcx # imm = 0x7272612064726F77
movq %rcx, 0x18(%rax)
movabsq $0x20746120776f7272, %rcx # imm = 0x20746120776F7272
movq %rcx, 0x1e(%rax)
movq %rax, 0x10fdf05(%rip)   # 0x1118c98
movq 0x10fdefe(%rip), %rsi   # 0x1118c98
jmp 0x1b424
movq 0x8(%r13), %rbx
decl (%r13)
jne 0x1adb1
movq %r13, %rdi
callq 0x5030
cmpq $0x0, 0x10fdec7(%rip)   # 0x1118c80
jne 0x1adf0
movl $0xe, %edi
callq 0xf9f7
movq $0xe, 0x10(%rax)
movabsq $0x616e712064726f77, %rcx # imm = 0x616E712064726F77
movq %rcx, 0x18(%rax)
movabsq $0x20746120656d616e, %rcx # imm = 0x20746120656D616E
movq %rcx, 0x1e(%rax)
movq %rax, 0x10fde90(%rip)   # 0x1118c80
movq 0x10fde89(%rip), %rsi   # 0x1118c80
jmp 0x1b424
movq 0x8(%r13), %rbx
decl (%r13)
jne 0x1ae0e
movq %r13, %rdi
callq 0x5030
cmpq $0x0, 0x10fdeea(%rip)   # 0x1118d00
jne 0x1ae4d
movl $0xf, %edi
callq 0xf9f7
movq $0xf, 0x10(%rax)
movabsq $0x6e71206f7263616d, %rcx # imm = 0x6E71206F7263616D
movq %rcx, 0x18(%rax)
movabsq $0x20746120656d616e, %rcx # imm = 0x20746120656D616E
movq %rcx, 0x1f(%rax)
movq %rax, 0x10fdeb3(%rip)   # 0x1118d00
movq 0x10fdeac(%rip), %rsi   # 0x1118d00
movq %rsi, %rax
andq %r14, %rax
sete %cl
testb $0x3, %sil
setne %dl
orb %cl, %dl
jne 0x1ae6a
incl (%rax)
movq %r12, %rdi
callq 0xe43c
movq %rax, %r12
leaq 0x10fdf84(%rip), %rdi   # 0x1118e00
jmp 0x1b4d1
movq 0x8(%r13), %rbx
decl (%r13)
jne 0x1ae93
movq %r13, %rdi
callq 0x5030
cmpq $0x0, 0x10fde5d(%rip)   # 0x1118cf8
jne 0x1aec8
movl $0x14, %edi
callq 0xf9f7
movq $0x14, 0x10(%rax)
movups 0xcc6af(%rip), %xmm0    # 0xe7565
movups %xmm0, 0x18(%rax)
movl $0x20746120, 0x28(%rax) # imm = 0x20746120
movq %rax, 0x10fde30(%rip)   # 0x1118cf8
movq 0x10fde29(%rip), %rsi   # 0x1118cf8
jmp 0x1b628
movq 0x8(%r13), %rbx
decl (%r13)
jne 0x1aee6
movq %r13, %rdi
callq 0x5030
cmpq $0x0, 0x10fdd5a(%rip)   # 0x1118c48
jne 0x1af25
movl $0xf, %edi
callq 0xf9f7
movq $0xf, 0x10(%rax)
movabsq $0x7261702061746164, %rcx # imm = 0x7261702061746164
movq %rcx, 0x18(%rax)
movabsq $0x20746120736d6172, %rcx # imm = 0x20746120736D6172
movq %rcx, 0x1f(%rax)
movq %rax, 0x10fdd23(%rip)   # 0x1118c48
movq 0x10fdd1c(%rip), %rsi   # 0x1118c48
jmp 0x1b0b7
movq 0x8(%r13), %rbx
decl (%r13)
jne 0x1af43
movq %r13, %rdi
callq 0x5030
cmpq $0x0, 0x10fdd65(%rip)   # 0x1118cb0
jne 0x1af71
movl $0x10, %edi
callq 0xf9f7
movq $0x10, 0x10(%rax)
movups 0xcc560(%rip), %xmm0    # 0xe74c6
movups %xmm0, 0x18(%rax)
movq %rax, 0x10fdd3f(%rip)   # 0x1118cb0
movq 0x10fdd38(%rip), %rsi   # 0x1118cb0
movq %rsi, %rax
andq %r14, %rax
sete %cl
testb $0x3, %sil
setne %dl
orb %cl, %dl
jne 0x1af8e
incl (%rax)
movq %r12, %rdi
callq 0xe43c
movq %rax, %r12
leaq 0x10fde20(%rip), %rdi   # 0x1118dc0
jmp 0x1b650
movq 0x8(%r13), %rbx
decl (%r13)
jne 0x1afb7
movq %r13, %rdi
callq 0x5030
cmpq $0x0, 0x10fdc91(%rip)   # 0x1118c50
jne 0x1aff6
movl $0xe, %edi
callq 0xf9f7
movq $0xe, 0x10(%rax)
movabsq $0x7974632061746164, %rcx # imm = 0x7974632061746164
movq %rcx, 0x18(%rax)
movabsq $0x2074612065707974, %rcx # imm = 0x2074612065707974
movq %rcx, 0x1e(%rax)
movq %rax, 0x10fdc5a(%rip)   # 0x1118c50
movq 0x10fdc53(%rip), %rsi   # 0x1118c50
jmp 0x1b0b7
movq 0x8(%r13), %rbx
decl (%r13)
jne 0x1b014
movq %r13, %rdi
callq 0x5030
cmpq $0x0, 0x10fdc54(%rip)   # 0x1118c70
jne 0x1b053
movl $0xe, %edi
callq 0xf9f7
movq $0xe, 0x10(%rax)
movabsq $0x7261702065707974, %rcx # imm = 0x7261702065707974
movq %rcx, 0x18(%rax)
movabsq $0x2074612073617261, %rcx # imm = 0x2074612073617261
movq %rcx, 0x1e(%rax)
movq %rax, 0x10fdc1d(%rip)   # 0x1118c70
movq 0x10fdc16(%rip), %rsi   # 0x1118c70
jmp 0x1b4a9
movq 0x8(%r13), %rbx
decl (%r13)
jne 0x1b071
movq %r13, %rdi
callq 0x5030
cmpq $0x0, 0x10fdbc7(%rip)   # 0x1118c40
jne 0x1b0b0
movl $0xe, %edi
callq 0xf9f7
movq $0xe, 0x10(%rax)
movabsq $0x616e712061746164, %rcx # imm = 0x616E712061746164
movq %rcx, 0x18(%rax)
movabsq $0x20746120656d616e, %rcx # imm = 0x20746120656D616E
movq %rcx, 0x1e(%rax)
movq %rax, 0x10fdb90(%rip)   # 0x1118c40
movq 0x10fdb89(%rip), %rsi   # 0x1118c40
movq %rsi, %rax
andq %r14, %rax
sete %cl
testb $0x3, %sil
setne %dl
orb %cl, %dl
jne 0x1b0cd
incl (%rax)
movq %r12, %rdi
callq 0xe43c
movq %rax, %r12
leaq 0x10fdc29(%rip), %rdi   # 0x1118d08
jmp 0x1b4d1
movq 0x8(%r13), %rbx
decl (%r13)
jne 0x1b0f6
movq %r13, %rdi
callq 0x5030
cmpq $0x0, 0x10fdbc2(%rip)   # 0x1118cc0
jne 0x1b128
movl $0x11, %edi
callq 0xf9f7
movq $0x11, 0x10(%rax)
movups 0xcc3d1(%rip), %xmm0    # 0xe74ea
movups %xmm0, 0x18(%rax)
movb $0x20, 0x28(%rax)
movq %rax, 0x10fdb98(%rip)   # 0x1118cc0
movq 0x10fdb91(%rip), %rsi   # 0x1118cc0
jmp 0x1b39f
movq 0x8(%r13), %rbx
decl (%r13)
jne 0x1b146
movq %r13, %rdi
callq 0x5030
cmpq $0x0, 0x10fdb8a(%rip)   # 0x1118cd8
jne 0x1b185
movl $0xf, %edi
callq 0xf9f7
movq $0xf, 0x10(%rax)
movabsq $0x776f20656c626174, %rcx # imm = 0x776F20656C626174
movq %rcx, 0x18(%rax)
movabsq $0x2074612072656e77, %rcx # imm = 0x2074612072656E77
movq %rcx, 0x1f(%rax)
movq %rax, 0x10fdb53(%rip)   # 0x1118cd8
movq 0x10fdb4c(%rip), %rsi   # 0x1118cd8
jmp 0x1b1e6
movq 0x8(%r13), %rbx
decl (%r13)
jne 0x1b1a0
movq %r13, %rdi
callq 0x5030
cmpq $0x0, 0x10fdab8(%rip)   # 0x1118c60
jne 0x1b1df
movl $0xf, %edi
callq 0xf9f7
movq $0xf, 0x10(%rax)
movabsq $0x6e7120656c626174, %rcx # imm = 0x6E7120656C626174
movq %rcx, 0x18(%rax)
movabsq $0x20746120656d616e, %rcx # imm = 0x20746120656D616E
movq %rcx, 0x1f(%rax)
movq %rax, 0x10fda81(%rip)   # 0x1118c60
movq 0x10fda7a(%rip), %rsi   # 0x1118c60
movq %rsi, %rax
andq %r14, %rax
sete %cl
testb $0x3, %sil
setne %dl
orb %cl, %dl
jne 0x1b1fc
incl (%rax)
movq %r12, %rdi
callq 0xe43c
movq %rax, %r12
leaq 0x10fdb22(%rip), %rdi   # 0x1118d30
jmp 0x1b650
movq 0x8(%r13), %rbx
decl (%r13)
jne 0x1b225
movq %r13, %rdi
callq 0x5030
cmpq $0x0, 0x10fdab3(%rip)   # 0x1118ce0
jne 0x1b264
movl $0xf, %edi
callq 0xf9f7
movq $0xf, 0x10(%rax)
movabsq $0x776f20646c656966, %rcx # imm = 0x776F20646C656966
movq %rcx, 0x18(%rax)
movabsq $0x2074612072656e77, %rcx # imm = 0x2074612072656E77
movq %rcx, 0x1f(%rax)
movq %rax, 0x10fda7c(%rip)   # 0x1118ce0
movq 0x10fda75(%rip), %rsi   # 0x1118ce0
jmp 0x1b628
movq 0x8(%r13), %rbx
decl (%r13)
jne 0x1b282
movq %r13, %rdi
callq 0x5030
cmpq $0x0, 0x10fda16(%rip)   # 0x1118ca0
jne 0x1b2c1
movl $0xf, %edi
callq 0xf9f7
movq $0xf, 0x10(%rax)
movabsq $0x7261206b636f6c62, %rcx # imm = 0x7261206B636F6C62
movq %rcx, 0x18(%rax)
movabsq $0x20746120776f7272, %rcx # imm = 0x20746120776F7272
movq %rcx, 0x1f(%rax)
movq %rax, 0x10fd9df(%rip)   # 0x1118ca0
movq 0x10fd9d8(%rip), %rsi   # 0x1118ca0
movq %rsi, %rax
andq %r14, %rax
sete %cl
testb $0x3, %sil
setne %dl
orb %cl, %dl
jne 0x1b2de
incl (%rax)
movq %r12, %rdi
callq 0xe43c
movq %rax, %r12
leaq 0x10fdac0(%rip), %rdi   # 0x1118db0
jmp 0x1b650
movq 0x8(%r13), %rbx
decl (%r13)
jne 0x1b307
movq %r13, %rdi
callq 0x5030
cmpq $0x0, 0x10fd959(%rip)   # 0x1118c68
jne 0x1b346
movl $0xe, %edi
callq 0xf9f7
movq $0xe, 0x10(%rax)
movabsq $0x616e712065707974, %rcx # imm = 0x616E712065707974
movq %rcx, 0x18(%rax)
movabsq $0x20746120656d616e, %rcx # imm = 0x20746120656D616E
movq %rcx, 0x1e(%rax)
movq %rax, 0x10fd922(%rip)   # 0x1118c68
movq 0x10fd91b(%rip), %rsi   # 0x1118c68
jmp 0x1b4a9
movq 0x8(%r13), %rbx
decl (%r13)
jne 0x1b364
movq %r13, %rdi
callq 0x5030
cmpq $0x0, 0x10fd95c(%rip)   # 0x1118cc8
jne 0x1b398
movl $0x12, %edi
callq 0xf9f7
movq $0x12, 0x10(%rax)
movups 0xcc175(%rip), %xmm0    # 0xe74fc
movups %xmm0, 0x18(%rax)
movw $0x2074, 0x28(%rax)     # imm = 0x2074
movq %rax, 0x10fd930(%rip)   # 0x1118cc8
movq 0x10fd929(%rip), %rsi   # 0x1118cc8
movq %rsi, %rax
andq %r14, %rax
sete %cl
testb $0x3, %sil
setne %dl
orb %cl, %dl
jne 0x1b3b5
incl (%rax)
movq %r12, %rdi
callq 0xe43c
movq %rax, %r12
leaq 0x10fda09(%rip), %rdi   # 0x1118dd0
jmp 0x1b650
movq 0x8(%r13), %rbx
decl (%r13)
jne 0x1b3de
movq %r13, %rdi
callq 0x5030
cmpq $0x0, 0x10fd8a2(%rip)   # 0x1118c88
jne 0x1b41d
movl $0xd, %edi
callq 0xf9f7
movq $0xd, 0x10(%rax)
movabsq $0x7079742064726f77, %rcx # imm = 0x7079742064726F77
movq %rcx, 0x18(%rax)
movabsq $0x2074612065707974, %rcx # imm = 0x2074612065707974
movq %rcx, 0x1d(%rax)
movq %rax, 0x10fd86b(%rip)   # 0x1118c88
movq 0x10fd864(%rip), %rsi   # 0x1118c88
movq %rsi, %rax
andq %r14, %rax
sete %cl
testb $0x3, %sil
setne %dl
orb %cl, %dl
jne 0x1b43a
incl (%rax)
movq %r12, %rdi
callq 0xe43c
movq %rax, %r12
leaq 0x10fd954(%rip), %rdi   # 0x1118da0
jmp 0x1b650
movq 0x8(%r13), %rbx
decl (%r13)
jne 0x1b463
movq %r13, %rdi
callq 0x5030
cmpq $0x0, 0x10fd80d(%rip)   # 0x1118c78
jne 0x1b4a2
movl $0xf, %edi
callq 0xf9f7
movq $0xf, 0x10(%rax)
movabsq $0x7261742065707974, %rcx # imm = 0x7261742065707974
movq %rcx, 0x18(%rax)
movabsq $0x2074612074656772, %rcx # imm = 0x2074612074656772
movq %rcx, 0x1f(%rax)
movq %rax, 0x10fd7d6(%rip)   # 0x1118c78
movq 0x10fd7cf(%rip), %rsi   # 0x1118c78
movq %rsi, %rax
andq %r14, %rax
sete %cl
testb $0x3, %sil
setne %dl
orb %cl, %dl
jne 0x1b4bf
incl (%rax)
movq %r12, %rdi
callq 0xe43c
movq %rax, %r12
leaq 0x10fd8bf(%rip), %rdi   # 0x1118d90
movq %rbx, %rsi
callq 0x13ff0
movq %rax, %rdi
callq 0x140f0
movq %rax, %rdx
shrq $0x30, %rdx
andq %r14, %rax
leaq -0x38(%rbp), %rbx
leaq -0x30(%rbp), %r13
movq %r15, %rdi
movq %r12, %rsi
movq %rax, %rcx
movq %rbx, %r8
movq %r13, %r9
callq 0x1b6fb
jmp 0x1b67c
movq 0x8(%r13), %rbx
decl (%r13)
jne 0x1b51e
movq %r13, %rdi
callq 0x5030
cmpq $0x0, 0x10fd7c2(%rip)   # 0x1118ce8
jne 0x1b55d
movl $0xf, %edi
callq 0xf9f7
movq $0xf, 0x10(%rax)
movabsq $0x6e7120646c656966, %rcx # imm = 0x6E7120646C656966
movq %rcx, 0x18(%rax)
movabsq $0x20746120656d616e, %rcx # imm = 0x20746120656D616E
movq %rcx, 0x1f(%rax)
movq %rax, 0x10fd78b(%rip)   # 0x1118ce8
movq 0x10fd784(%rip), %rsi   # 0x1118ce8
jmp 0x1b628
movq 0x8(%r13), %rbx
decl (%r13)
jne 0x1b57b
movq %r13, %rdi
callq 0x5030
cmpq $0x0, 0x10fd74d(%rip)   # 0x1118cd0
jne 0x1b5a9
movl $0x10, %edi
callq 0xf9f7
movq $0x10, 0x10(%rax)
movups 0xcbf71(%rip), %xmm0    # 0xe750f
movups %xmm0, 0x18(%rax)
movq %rax, 0x10fd727(%rip)   # 0x1118cd0
movq 0x10fd720(%rip), %rsi   # 0x1118cd0
movq %rsi, %rax
andq %r14, %rax
sete %cl
testb $0x3, %sil
setne %dl
orb %cl, %dl
jne 0x1b5c6
incl (%rax)
movq %r12, %rdi
callq 0xe43c
movq %rax, %r12
leaq 0x10fd808(%rip), %rdi   # 0x1118de0
jmp 0x1b650
movq 0x8(%r13), %rbx
decl (%r13)
jne 0x1b5ec
movq %r13, %rdi
callq 0x5030
cmpq $0x0, 0x10fd6fc(%rip)   # 0x1118cf0
jne 0x1b621
movl $0x14, %edi
callq 0xf9f7
movq $0x14, 0x10(%rax)
movups 0xcbf41(%rip), %xmm0    # 0xe7550
movups %xmm0, 0x18(%rax)
movl $0x20746120, 0x28(%rax) # imm = 0x20746120
movq %rax, 0x10fd6cf(%rip)   # 0x1118cf0
movq 0x10fd6c8(%rip), %rsi   # 0x1118cf0
movq %rsi, %rax
andq %r14, %rax
sete %cl
testb $0x3, %sil
setne %dl
orb %cl, %dl
jne 0x1b63e
incl (%rax)
movq %r12, %rdi
callq 0xe43c
movq %rax, %r12
leaq 0x10fd7a0(%rip), %rdi   # 0x1118df0
movq %rbx, %rsi
callq 0x13ff0
movq %rax, %rdi
callq 0x140f0
leaq -0x38(%rbp), %rbx
leaq -0x30(%rbp), %r13
movq %r15, %rdi
movq %r12, %rsi
movq %rax, %rdx
movq %rbx, %rcx
movq %r13, %r8
callq 0x1b7fe
movq (%r13), %r12
movq (%rbx), %r15
movl -0x58(%rbp), %eax
movq -0x50(%rbp), %rdi
movb $0x1, %cl
testb %cl, %cl
jne 0x1aab0
andq %rdi, %r14
sete %cl
testb $0x3, %dil
setne %dl
orb %cl, %dl
jne 0x1b6c0
decl (%r14)
jne 0x1b6c0
shlq $0x30, %rax
orq %rdi, %rax
movq %rax, %rdi
leaq 0xf9bbe(%rip), %rsi     # 0x115279
callq 0xd4e3
movq %r15, %rdi
movq %r12, %rsi
callq 0x15000
movl $0x20, %edi
callq 0xf9f7
movq $0x20, 0x10(%rax)
movups 0xc9069(%rip), %xmm0    # 0xe474d
movups %xmm0, 0x18(%rax)
movups 0xc906e(%rip), %xmm0    # 0xe475d
movups %xmm0, 0x28(%rax)
movq %rax, %rdi
callq 0x95a5