// File: /workspace/github_c_makefile_star2_O2/mirth-lang[P]mirth/bin/mirth1.c
// Function: mb_mirth_mirth_PropLabel_prop_1_sp7_0
static void mb_mirth_mirth_PropLabel_prop_1_sp7_0 (void) {
	PTUP v0 = value_tup(pop_value());
	struct mirth_mirth_zaMirth* r1 = V_mirth_mirth_zaMirth(pop_resource());
	VAL v2 = ((TUP*)PTRPTR(v0))->cells[0];
	VAL v3 = ((TUP*)PTRPTR(v0))->cells[1];
	VAL v4 = ((TUP*)PTRPTR(v0))->cells[2];
	VAL v5 = ((TUP*)PTRPTR(v0))->cells[3];
	tup_decref_outer(v0);
	incref(v5);
	struct mirth_mirth_zaMirth* v6;
	struct mirth_type_ArrowType* v7;
	uint64_t v8;
	struct mirth_arrow_Home v9;
	uint64_t v10;
	struct std_list_List_1 v11 = mw_mirth_elab_initialzectxzetypezebodyzehome(r1, V_mirth_word_Word(v5), &v6, &v7, &v8, &v9, &v10);
	struct mirth_type_StackType v12;
	struct mirth_type_StackType v13;
	mtp_mirth_type_ArrowType_ArrowType(v7, &v12, &v13);
	incref(MK_mirth_type_StackType(v12));
	struct std_list_List_1 v14 = { .tag=std_list_List_1_Nil };
	struct mirth_arrow_Arrow* v15 = mtw_mirth_arrow_Arrow_Arrow(v9, v8, v8, v11, v12, v12, v14);
	struct mirth_mirth_zaMirth* v16;
	struct std_list_List_1 v17 = mw_mirth_word_Word_params(v6, V_mirth_word_Word(v5), &v16);
	struct std_list_List_1 v18 = mw_std_list_List_1_map_1_sp18(v17);
	incref(MK_std_list_List_1(v18));
	incref(MK_mirth_type_StackType(v13));
	struct mirth_arrow_Arrow* v19;
	uint64_t v20 = mw_mirth_elab_zaAB_abzetokenzo(v15, &v19);
	incref(MK_std_list_List_1(v18));
	struct mirth_arrow_Arrow* v21;
	struct std_list_List_1 v22 = mw_mirth_elab_zaAB_abzectxzo(v19, &v21);
	struct mirth_arrow_Arrow* v23;
	struct mirth_type_StackType v24 = mw_mirth_elab_zaAB_abzetypezo(v21, &v23);
	struct mirth_mirth_zaMirth* v25;
	struct mirth_arrow_Arrow* v26;
	struct mirth_type_StackType v27;
	struct std_list_List_1 v28 = mw_std_list_List_1_reversezefor_1_sp13(v16, v23, v22, v24, v18, &v25, &v26, &v27);
	struct mirth_type_ArrowType* v29 = mw_mirth_type_Tzezg(v27, v13);
	struct mirth_arrow_Arrow* v30;
	struct mirth_arrow_Home v31 = mw_mirth_elab_zaAB_abzehomezo(v26, &v30);
	struct mirth_type_StackType v32;
	struct mirth_type_StackType v33;
	mtp_mirth_type_ArrowType_ArrowType(v29, &v32, &v33);
	incref(MK_mirth_type_StackType(v32));
	struct std_list_List_1 v34 = { .tag=std_list_List_1_Nil };
	struct mirth_arrow_Arrow* v35 = mtw_mirth_arrow_Arrow_Arrow(v31, v20, v20, v28, v32, v32, v34);
	struct std_maybe_Maybe_1 v36 = mw_std_list_List_1_singlezy(v18);
	struct mirth_mirth_zaMirth* branch_zaMirth_37;
	VAL branch_zux1_38;
	VAL branch_zux2_39;
	switch ((v36).tag) {
		case std_maybe_Maybe_1_Some: {
			VAL v40 = mtp_std_maybe_Maybe_1_Some(v36);
			branch_zux2_39 = v40;
			branch_zux1_38 = MK_mirth_arrow_Arrow(v35);
			branch_zaMirth_37 = v25;
		} break;
		case std_maybe_Maybe_1_None: {
			STR* v41;
			STRLIT(v41, "Expected one parameter.", 23);
			mw_mirth_mirth_zaMirth_fatalzeerrorzx(v25, v41);
		} break;
		default: {
			do_panic(str_make("unexpected fallthrough in match\n", 32));
		}
	}
	struct mirth_mirth_zaMirth* v44;
	bool v45 = mw_mirth_data_Data_iszeresourcezy(branch_zaMirth_37, V_mirth_data_Data(v2), &v44);
	struct mirth_mirth_zaMirth* branch_zaMirth_46;
	struct mirth_arrow_Arrow* branch_zaAB_47;
	if (v45) {
		struct std_list_List_1 v48 = { .tag=std_list_List_1_Nil };
		struct mirth_mirth_zaMirth* v49;
		struct mirth_arrow_Arrow* v50;
		mw_mirth_elab_zaAB_abzewordzx(v44, V_mirth_arrow_Arrow(branch_zux1_38), v48, V_mirth_word_Word(v3), &v49, &v50);
		struct mirth_arrow_Arrow* v51;
		struct mirth_type_StackType v52 = mw_mirth_elab_zaAB_abzetypezo(v50, &v51);
		struct mirth_mirth_zaMirth* v53;
		struct std_maybe_Maybe_1 v54 = mw_mirth_type_StackType_forcezewithzyzx(v49, v52, &v53);
		struct mirth_type_StackType v55 = mw_std_maybe_Maybe_1_ifzy_2_sp51(v54);
		struct mirth_mirth_zaMirth* v56;
		struct mirth_type_StackType v57 = mw_mirth_type_StackType_Freshzx(v53, &v56);
		struct mirth_type_ArrowType* v58 = mw_mirth_type_Tzezg(v55, v57);
		struct mirth_arrow_Arrow* v59;
		struct std_list_List_1 v60 = mw_mirth_elab_zaAB_abzectxzo(v51, &v59);
		struct mirth_arrow_Arrow* v61;
		uint64_t v62 = mw_mirth_elab_zaAB_abzetokenzo(v59, &v61);
		struct mirth_arrow_Arrow* v63;
		struct mirth_arrow_Home v64 = mw_mirth_elab_zaAB_abzehomezo(v61, &v63);
		struct mirth_type_StackType v65;
		struct mirth_type_StackType v66;
		mtp_mirth_type_ArrowType_ArrowType(v58, &v65, &v66);
		incref(MK_mirth_type_StackType(v65));
		struct std_list_List_1 v67 = { .tag=std_list_List_1_Nil };
		struct mirth_arrow_Arrow* v68 = mtw_mirth_arrow_Arrow_Arrow(v64, v62, v62, v60, v65, v65, v67);
		struct mirth_mirth_zaMirth* v69;
		struct mirth_arrow_Arrow* v70;
		mw_mirth_elab_zaAB_abzevarzx(v56, v68, V_mirth_var_Var(branch_zux2_39), &v69, &v70);
		struct mirth_mirth_zaMirth* v71;
		struct mirth_arrow_Arrow* v72;
		mw_mirth_elab_zaAB_abzeunifyzetypezx(v69, v70, v66, &v71, &v72);
		struct mirth_mirth_zaMirth* v73;
		uint64_t v74 = mw_mirth_arrow_Block_Newzx(v71, v72, &v73);
		struct std_list_List_1 v75 = { .tag=std_list_List_1_Nil };
		struct std_list_List_1 v76 = mw_std_list_List_1_cons(MK_mirth_arrow_Block(v74), v75);
		enum mirth_prim_Prim v77 = mirth_prim_Prim_RDip;
		struct mirth_mirth_zaMirth* v78;
		struct mirth_arrow_Arrow* v79;
		mw_mirth_elab_zaAB_abzeprimzx(v73, v63, v76, v77, &v78, &v79);
		struct std_list_List_1 v80 = { .tag=std_list_List_1_Nil };
		struct mirth_mirth_zaMirth* v81;
		struct mirth_arrow_Arrow* v82;
		mw_mirth_elab_zaAB_abzewordzx(v78, v79, v80, V_mirth_word_Word(v4), &v81, &v82);
		branch_zaAB_47 = v82;
		branch_zaMirth_46 = v81;
	} else {
		struct std_list_List_1 v83 = { .tag=std_list_List_1_Nil };
		enum mirth_prim_Prim v84 = mirth_prim_Prim_Dup;
		struct mirth_mirth_zaMirth* v85;
		struct mirth_arrow_Arrow* v86;
		mw_mirth_elab_zaAB_abzeprimzx(v44, V_mirth_arrow_Arrow(branch_zux1_38), v83, v84, &v85, &v86);
		struct mirth_arrow_Arrow* v87;
		struct mirth_type_StackType v88 = mw_mirth_elab_zaAB_abzetypezo(v86, &v87);
		struct mirth_mirth_zaMirth* v89;
		struct std_maybe_Maybe_1 v90 = mw_mirth_type_StackType_forcezeconszyzx(v85, v88, &v89);
		struct mirth_type_StackType v91 = mw_std_maybe_Maybe_1_ifzy_2_sp51(v90);
		struct mirth_mirth_zaMirth* v92;
		struct mirth_type_StackType v93 = mw_mirth_type_StackType_Freshzx(v89, &v92);
		struct mirth_type_ArrowType* v94 = mw_mirth_type_Tzezg(v91, v93);
		struct mirth_arrow_Arrow* v95;
		struct std_list_List_1 v96 = mw_mirth_elab_zaAB_abzectxzo(v87, &v95);
		struct mirth_arrow_Arrow* v97;
		uint64_t v98 = mw_mirth_elab_zaAB_abzetokenzo(v95, &v97);
		struct mirth_arrow_Arrow* v99;
		struct mirth_arrow_Home v100 = mw_mirth_elab_zaAB_abzehomezo(v97, &v99);
		struct mirth_type_StackType v101;
		struct mirth_type_StackType v102;
		mtp_mirth_type_ArrowType_ArrowType(v94, &v101, &v102);
		incref(MK_mirth_type_StackType(v101));
		struct std_list_List_1 v103 = { .tag=std_list_List_1_Nil };
		struct mirth_arrow_Arrow* v104 = mtw_mirth_arrow_Arrow_Arrow(v100, v98, v98, v96, v101, v101, v103);
		struct std_list_List_1 v105 = { .tag=std_list_List_1_Nil };
		struct mirth_mirth_zaMirth* v106;
		struct mirth_arrow_Arrow* v107;
		mw_mirth_elab_zaAB_abzewordzx(v92, v104, v105, V_mirth_word_Word(v3), &v106, &v107);
		struct mirth_mirth_zaMirth* v108;
		struct mirth_arrow_Arrow* v109;
		mw_mirth_elab_zaAB_abzevarzx(v106, v107, V_mirth_var_Var(branch_zux2_39), &v108, &v109);
		struct mirth_mirth_zaMirth* v110;
		struct mirth_arrow_Arrow* v111;
		mw_mirth_elab_zaAB_abzeunifyzetypezx(v108, v109, v102, &v110, &v111);
		struct mirth_mirth_zaMirth* v112;
		uint64_t v113 = mw_mirth_arrow_Block_Newzx(v110, v111, &v112);
		struct std_list_List_1 v114 = { .tag=std_list_List_1_Nil };
		struct std_list_List_1 v115 = mw_std_list_List_1_cons(MK_mirth_arrow_Block(v113), v114);
		enum mirth_prim_Prim v116 = mirth_prim_Prim_Dip;
		struct mirth_mirth_zaMirth* v117;
		struct mirth_arrow_Arrow* v118;
		mw_mirth_elab_zaAB_abzeprimzx(v112, v99, v115, v116, &v117, &v118);
		struct std_list_List_1 v119 = { .tag=std_list_List_1_Nil };
		struct mirth_mirth_zaMirth* v120;
		struct mirth_arrow_Arrow* v121;
		mw_mirth_elab_zaAB_abzewordzx(v117, v118, v119, V_mirth_word_Word(v4), &v120, &v121);
		branch_zaAB_47 = v121;
		branch_zaMirth_46 = v120;
	}
	struct mirth_mirth_zaMirth* v122;
	struct mirth_arrow_Arrow* v123;
	mw_mirth_elab_zaAB_abzeunifyzetypezx(branch_zaMirth_46, branch_zaAB_47, v33, &v122, &v123);
	struct mirth_arrow_Arrow* v124;
	struct std_list_List_1 v125 = mw_mirth_elab_zaAB_abzectxzo(v30, &v124);
	struct mirth_arrow_Arrow* v126;
	struct mirth_type_StackType v127 = mw_mirth_elab_zaAB_abzetypezo(v124, &v126);
	struct mirth_arrow_Arrow* v128;
	uint64_t v129 = mw_mirth_elab_zaAB_abzetokenzo(v126, &v128);
	struct mirth_arrow_Lambda* v130 = mtw_mirth_arrow_Lambda_Lambda(v129, v125, v127, v18, v123);
	struct mirth_arrow_Op v131 = mtw_mirth_arrow_Op_Lambda(v130);
	struct std_list_List_1 v132 = { .tag=std_list_List_1_Nil };
	struct mirth_mirth_zaMirth* v133;
	struct mirth_arrow_Arrow* v134;
	mw_mirth_elab_zaAB_abzeopzx(v122, v128, v132, v131, &v133, &v134);
	struct mirth_mirth_zaMirth* v135;
	struct mirth_arrow_Arrow* v136;
	mw_mirth_elab_zaAB_abzeunifyzetypezx(v133, v134, v13, &v135, &v136);
	struct mirth_mirth_zaMirth* v137;
	struct mirth_arrow_Arrow* v138 = mw_mirth_elab_finalizzezewordzearrow(v135, v136, v10, &v137);
	push_resource(MK_mirth_mirth_zaMirth(v137));
	push_value(MK_mirth_arrow_Arrow(v138));
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x228, %rsp            # imm = 0x228
callq 0xd3d6
movq %rax, %r14
movq %rax, %rdi
movq %rdx, %rsi
callq 0x8a95
callq 0xd429
movq %rax, %rbx
movabsq $0xfffffffffffc, %r13   # imm = 0xFFFFFFFFFFFC
movq %r14, %rax
andq %r13, %rax
movq 0x8(%rax), %rcx
movq %rcx, -0xf0(%rbp)
movq 0x18(%rax), %rcx
movq %rcx, -0x70(%rbp)
movq 0x28(%rax), %rcx
movq %rcx, -0x78(%rbp)
movq 0x38(%rax), %r15
movb 0x40(%rax), %r12b
movq %r14, %rdi
callq 0x8ae0
testb $0x1, %r12b
movq %r13, %r12
je 0x70734
movq %r15, %rax
andq %r12, %rax
sete %cl
testb $0x3, %r15b
setne %dl
orb %cl, %dl
jne 0x70734
incl (%rax)
leaq -0x158(%rbp), %rax
movq %rax, (%rsp)
leaq -0x168(%rbp), %rdx
leaq -0x1f0(%rbp), %r14
leaq -0x160(%rbp), %r8
leaq -0x1a0(%rbp), %r9
movq %rbx, %rdi
movq %r15, %rsi
movq %r14, %rcx
callq 0x3eb67
movl %eax, %ebx
movq %rdx, %r13
movq (%r14), %rdi
leaq -0x1e8(%rbp), %r14
leaq -0xe8(%rbp), %rdx
movq %r14, %rsi
callq 0x36e55
movq 0x8(%r14), %rcx
movq %rcx, %rax
andq %r12, %rax
sete %dl
testb $0x3, %cl
setne %cl
orb %dl, %cl
jne 0x707a0
incl (%rax)
xorps %xmm0, %xmm0
movaps %xmm0, -0x210(%rbp)
movq -0x160(%rbp), %rcx
movl -0x1a0(%rbp), %edi
movq -0x198(%rbp), %rsi
movups %xmm0, 0x20(%rsp)
movups -0x1e8(%rbp), %xmm0
movups %xmm0, 0x10(%rsp)
movups %xmm0, (%rsp)
movq %rcx, %rdx
movl %ebx, %r8d
movq %r13, %r9
callq 0x3f209
movq %rax, %rbx
movq -0x168(%rbp), %rdi
leaq -0x150(%rbp), %rdx
movq %r15, %rsi
callq 0x3f2aa
movl %eax, %edi
movq %rdx, %rsi
callq 0x3f4a9
movl %eax, -0xd8(%rbp)
movq %rdx, -0xd0(%rbp)
movq %rdx, %r14
andq %r12, %r14
setne %al
testb $0x3, %dl
sete %r15b
andb %al, %r15b
cmpb $0x1, %r15b
jne 0x7082d
incl (%r14)
movq -0xe0(%rbp), %rcx
movq %rcx, %rax
andq %r12, %rax
sete %dl
testb $0x3, %cl
setne %cl
orb %dl, %cl
jne 0x70849
incl (%rax)
movq %r12, -0x68(%rbp)
leaq -0x148(%rbp), %rsi
movq %rbx, %rdi
callq 0x3f5b0
movq %rax, -0x40(%rbp)
testb %r15b, %r15b
je 0x70868
incl (%r14)
movq -0x148(%rbp), %rdi
leaq -0x1d8(%rbp), %rbx
movq %rbx, %rsi
callq 0x3f60a
movl %eax, %r14d
movq %rdx, %r12
movq (%rbx), %rdi
leaq -0x1d0(%rbp), %rbx
movq %rbx, %rsi
callq 0x3f687
movq %rdx, %r9
movq -0x150(%rbp), %rdi
movq (%rbx), %rsi
movups -0xd8(%rbp), %xmm0
movups %xmm0, (%rsp)
leaq -0x220(%rbp), %rbx
movq %rbx, 0x20(%rsp)
leaq -0x1c8(%rbp), %r13
movq %r13, 0x18(%rsp)
leaq -0xc8(%rbp), %rcx
movq %rcx, 0x10(%rsp)
movl %r14d, %edx
movq %r12, %rcx
movl %eax, %r8d
callq 0x3f704
movl %eax, -0x2c(%rbp)
movq %rdx, -0x38(%rbp)
movl (%rbx), %edi
movq 0x8(%rbx), %rsi
movl -0xe8(%rbp), %edx
movq -0xe0(%rbp), %rcx
callq 0x1e896
movq %rax, %r15
movq (%r13), %rdi
leaq -0x140(%rbp), %rsi
callq 0x3fa30
movl %eax, %r14d
movq %rdx, %r12
leaq -0x1c0(%rbp), %rbx
leaq -0x190(%rbp), %rdx
movq %r15, %rdi
movq %rbx, %rsi
callq 0x36e55
movq 0x8(%rbx), %rcx
movq %rcx, %rax
movabsq $0xfffffffffffc, %rdx   # imm = 0xFFFFFFFFFFFC
andq %rdx, %rax
sete %dl
testb $0x3, %cl
setne %cl
orb %dl, %cl
jne 0x70954
incl (%rax)
xorps %xmm0, %xmm0
movaps %xmm0, -0x200(%rbp)
movups %xmm0, 0x20(%rsp)
movups -0x1c0(%rbp), %xmm0
movups %xmm0, 0x10(%rsp)
movups %xmm0, (%rsp)
movl %r14d, %edi
movq %r12, %rsi
movq -0x40(%rbp), %rcx
movq %rcx, %rdx
movl -0x2c(%rbp), %r8d
movq -0x38(%rbp), %r9
callq 0x3f209
movq %rax, %rbx
movl -0xd8(%rbp), %edi
movq -0xd0(%rbp), %rsi
callq 0xea6b
cmpl $0x1, %eax
jne 0x70f1f
movq %rdx, %rdi
callq 0xd491
movq %rax, -0x40(%rbp)
movq -0xc8(%rbp), %rdi
leaq -0xc0(%rbp), %rdx
movq -0xf0(%rbp), %rsi
callq 0x1e4f2
testb %al, %al
je 0x70bc2
movq -0xc0(%rbp), %rdi
leaq -0xb0(%rbp), %r15
movq %r15, (%rsp)
leaq -0xb8(%rbp), %r14
movq %rbx, %rsi
xorl %edx, %edx
xorl %ecx, %ecx
movq -0x70(%rbp), %r8
movq %r14, %r9
callq 0x4fb07
movq (%r15), %rdi
leaq -0xa8(%rbp), %rbx
movq %rbx, %rsi
callq 0x3f687
movq (%r14), %rdi
leaq -0xa0(%rbp), %r14
movl %eax, %esi
movq %r14, %rcx
callq 0x38e9f
movl %eax, %edi
movq %rdx, %rsi
callq 0x51072
movl %eax, %r15d
movq %rdx, %r12
movq (%r14), %rdi
leaq -0x48(%rbp), %rsi
callq 0x3a29b
pushq $0x4
popq %rdx
movl %r15d, %edi
movq %r12, %rsi
movq %rax, %rcx
callq 0x1e896
movq %rax, %r13
movq (%rbx), %rdi
leaq -0x98(%rbp), %rbx
movq %rbx, %rsi
callq 0x3f60a
movl %eax, -0x2c(%rbp)
movq %rdx, -0x38(%rbp)
movq (%rbx), %rdi
leaq -0x90(%rbp), %rbx
movq %rbx, %rsi
callq 0x3f5b0
movq %rax, %r12
movq (%rbx), %rdi
leaq -0x60(%rbp), %rsi
callq 0x3fa30
movl %eax, %r15d
movq %rdx, %rbx
leaq -0x88(%rbp), %r14
leaq -0x58(%rbp), %rdx
movq %r13, %rdi
movq %r14, %rsi
callq 0x36e55
movq 0x8(%r14), %rax
movabsq $0xfffffffffffc, %rdx   # imm = 0xFFFFFFFFFFFC
andq %rax, %rdx
sete %cl
testb $0x3, %al
setne %al
orb %cl, %al
jne 0x70ad0
incl (%rdx)
xorps %xmm0, %xmm0
movaps %xmm0, -0x180(%rbp)
movups %xmm0, 0x20(%rsp)
movups -0x88(%rbp), %xmm0
movups %xmm0, 0x10(%rsp)
movups %xmm0, (%rsp)
movl %r15d, %edi
movq %rbx, %rsi
movq %r12, %rdx
movq %r12, %rcx
movl -0x2c(%rbp), %r8d
movq -0x38(%rbp), %r9
callq 0x3f209
movq -0x48(%rbp), %rdi
leaq -0x138(%rbp), %rbx
leaq -0x130(%rbp), %r14
movq %rax, %rsi
movq -0x40(%rbp), %rdx
movq %rbx, %rcx
movq %r14, %r8
callq 0x4d510
movq (%rbx), %rdi
movq (%r14), %rsi
movl -0x58(%rbp), %edx
movq -0x50(%rbp), %rcx
leaq -0x128(%rbp), %rbx
leaq -0x120(%rbp), %r14
movq %rbx, %r8
movq %r14, %r9
callq 0x3faad
movq (%rbx), %rdi
movq (%r14), %rsi
leaq -0x118(%rbp), %rbx
movq %rbx, %rdx
callq 0x5114e
leaq 0x98b4a(%rip), %rsi     # 0x1096b8
movq %rax, %rdi
xorl %edx, %edx
xorl %ecx, %ecx
callq 0xcf39
movq %rdx, %rcx
movq (%rbx), %rdi
movq -0x60(%rbp), %rsi
leaq -0x108(%rbp), %r14
movq %r14, (%rsp)
pushq $0x1
popq %rdx
pushq $0x6
popq %r8
leaq -0x110(%rbp), %rbx
movq %rbx, %r9
callq 0x4d0c4
movq (%rbx), %rdi
movq (%r14), %rsi
leaq -0xf8(%rbp), %r14
movq %r14, (%rsp)
leaq -0x100(%rbp), %rbx
jmp 0x70dcf
movq -0xc0(%rbp), %rdi
leaq -0xb0(%rbp), %r15
movq %r15, (%rsp)
pushq $0x1
popq %r8
leaq -0xb8(%rbp), %r14
movq %rbx, %rsi
xorl %edx, %edx
xorl %ecx, %ecx
movq %r14, %r9
callq 0x4d0c4
movq (%r15), %rdi
leaq -0xa8(%rbp), %rbx
movq %rbx, %rsi
callq 0x3f687
movq (%r14), %rdi
leaq -0xa0(%rbp), %r14
movl %eax, %esi
movq %r14, %rcx
callq 0x3896d
movl %eax, %edi
movq %rdx, %rsi
callq 0x51072
movl %eax, %r15d
movq %rdx, %r12
movq (%r14), %rdi
leaq -0x48(%rbp), %rsi
callq 0x3a29b
pushq $0x4
popq %rdx
movl %r15d, %edi
movq %r12, %rsi
movq %rax, %rcx
callq 0x1e896
movq %rax, %r14
movq (%rbx), %rdi
leaq -0x98(%rbp), %rbx
movq %rbx, %rsi
callq 0x3f60a
movl %eax, -0x2c(%rbp)
movq %rdx, -0x38(%rbp)
movq (%rbx), %rdi
leaq -0x90(%rbp), %rbx
movq %rbx, %rsi
callq 0x3f5b0
movq %rax, %r13
movq (%rbx), %rdi
leaq -0x60(%rbp), %rsi
callq 0x3fa30
movl %eax, %r15d
movq %rdx, %rbx
leaq -0x88(%rbp), %r12
leaq -0x58(%rbp), %rdx
movq %r14, %rdi
movq %r12, %rsi
callq 0x36e55
movq 0x8(%r12), %rax
movabsq $0xfffffffffffc, %rdx   # imm = 0xFFFFFFFFFFFC
andq %rax, %rdx
sete %cl
testb $0x3, %al
setne %al
orb %cl, %al
jne 0x70cba
incl (%rdx)
xorps %xmm0, %xmm0
movaps %xmm0, -0x180(%rbp)
movups %xmm0, 0x20(%rsp)
movups -0x88(%rbp), %xmm0
movups %xmm0, 0x10(%rsp)
movups %xmm0, (%rsp)
movl %r15d, %edi
movq %rbx, %rsi
movq %r13, %rdx
movq %r13, %rcx
movl -0x2c(%rbp), %r8d
movq -0x38(%rbp), %r9
callq 0x3f209
movq -0x48(%rbp), %rdi
leaq -0x130(%rbp), %r14
movq %r14, (%rsp)
leaq -0x138(%rbp), %rbx
movq %rax, %rsi
xorl %edx, %edx
xorl %ecx, %ecx
movq -0x70(%rbp), %r8
movq %rbx, %r9
callq 0x4fb07
movq (%rbx), %rdi
movq (%r14), %rsi
leaq -0x128(%rbp), %rbx
leaq -0x120(%rbp), %r14
movq -0x40(%rbp), %rdx
movq %rbx, %rcx
movq %r14, %r8
callq 0x4d510
movq (%rbx), %rdi
movq (%r14), %rsi
movl -0x58(%rbp), %edx
movq -0x50(%rbp), %rcx
leaq -0x118(%rbp), %rbx
leaq -0x110(%rbp), %r14
movq %rbx, %r8
movq %r14, %r9
callq 0x3faad
movq (%rbx), %rdi
movq (%r14), %rsi
leaq -0x108(%rbp), %rbx
movq %rbx, %rdx
callq 0x5114e
leaq 0x98938(%rip), %rsi     # 0x1096b8
movq %rax, %rdi
xorl %edx, %edx
xorl %ecx, %ecx
callq 0xcf39
movq %rdx, %rcx
movq (%rbx), %rdi
movq -0x60(%rbp), %rsi
leaq -0xf8(%rbp), %r14
movq %r14, (%rsp)
pushq $0x1
popq %rdx
pushq $0x5
popq %r8
leaq -0x100(%rbp), %rbx
movq %rbx, %r9
callq 0x4d0c4
movq (%rbx), %rdi
movq (%r14), %rsi
leaq -0x1a8(%rbp), %r14
movq %r14, (%rsp)
leaq -0x1b0(%rbp), %rbx
xorl %edx, %edx
xorl %ecx, %ecx
movq -0x78(%rbp), %r8
movq %rbx, %r9
callq 0x4fb07
movq (%r14), %rsi
movq (%rbx), %rdi
movl -0x190(%rbp), %edx
movq -0x188(%rbp), %rcx
leaq -0x88(%rbp), %r8
leaq -0x58(%rbp), %r9
callq 0x3faad
movq -0x140(%rbp), %rdi
leaq -0x180(%rbp), %r15
movq %r15, %rsi
callq 0x3f60a
movl %eax, %r12d
movq %rdx, %r13
movq (%r15), %rdi
leaq -0xb8(%rbp), %r15
movq %r15, %rsi
callq 0x3f687
movl %eax, %ebx
movq %rdx, %r14
movq (%r15), %rdi
leaq -0xb0(%rbp), %r15
movq %r15, %rsi
callq 0x3f5b0
leaq -0x58(%rbp), %rcx
movq (%rcx), %r9
movups -0xd8(%rbp), %xmm0
movups %xmm0, (%rsp)
movq %rax, %rdi
movl %r12d, %esi
movq %r13, %rdx
movl %ebx, %ecx
movq %r14, %r8
callq 0x3fba0
movq %rax, %rdi
callq 0x3fc2c
leaq -0x88(%rbp), %rcx
movq (%rcx), %rdi
movq (%r15), %rsi
leaq -0xa0(%rbp), %rbx
movq %rbx, 0x8(%rsp)
leaq -0xa8(%rbp), %r14
movq %r14, (%rsp)
pushq $0x8
popq %r8
xorl %edx, %edx
xorl %ecx, %ecx
movq %rax, %r9
callq 0x3fc75
movq (%r14), %rdi
movq (%rbx), %rsi
movl -0xe8(%rbp), %edx
movq -0xe0(%rbp), %rcx
leaq -0x48(%rbp), %rbx
leaq -0x98(%rbp), %r14
movq %rbx, %r8
movq %r14, %r9
callq 0x3faad
movq (%rbx), %rdi
movq (%r14), %rsi
movq -0x158(%rbp), %rdx
leaq -0x90(%rbp), %rbx
movq %rbx, %rcx
callq 0x449ca
movq %rax, %r14
movq (%rbx), %rdi
leaq 0x979f6(%rip), %rsi     # 0x1088f0
callq 0x883c
leaq 0x9849b(%rip), %rsi     # 0x1093a1
movq %r14, %rdi
addq $0x228, %rsp            # imm = 0x228
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
jmp 0xd08e
testl %eax, %eax
jne 0x70f6c
movq 0x109c3f6(%rip), %rsi   # 0x110d320
testq %rsi, %rsi
jne 0x70f48
leaq 0x6b02c(%rip), %rdi     # 0xdbf62
pushq $0x17
popq %rsi
callq 0x8a21
movq %rax, %rsi
movq %rax, 0x109c3d8(%rip)   # 0x110d320
andq %rsi, -0x68(%rbp)
sete %al
testb $0x3, %sil
setne %cl
orb %al, %cl
jne 0x70f60
movq -0x68(%rbp), %rax
incl (%rax)
movq -0xc8(%rbp), %rdi
callq 0x13deb
leaq 0x6389a(%rip), %rdi     # 0xd480d
pushq $0x20
popq %rsi
callq 0x8a21
movq %rax, %rdi
callq 0x8cc6