// File: /workspace/github_c_makefile_star2_O3/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 $0x1c8, %rsp            # imm = 0x1C8
callq 0xd699
movq %rax, %r14
movq %rax, %rdi
movq %rdx, %rsi
callq 0x90ba
callq 0xd6f2
movq %rax, %rbx
movabsq $0xfffffffffffc, %r13   # imm = 0xFFFFFFFFFFFC
movq %r14, %rax
andq %r13, %rax
movq 0x8(%rax), %rcx
movq %rcx, -0x60(%rbp)
movq 0x18(%rax), %rcx
movq %rcx, -0x38(%rbp)
movq 0x28(%rax), %rcx
movq %rcx, -0x88(%rbp)
movq 0x38(%rax), %r15
movb 0x40(%rax), %r12b
movq %r14, %rdi
callq 0x910b
testb $0x1, %r12b
je 0x76ef8
movq %r15, %rax
andq %r13, %rax
sete %cl
testb $0x3, %r15b
setne %dl
orb %cl, %dl
jne 0x76ef8
incl (%rax)
subq $0x8, %rsp
leaq -0x128(%rbp), %rax
leaq -0x138(%rbp), %rdx
leaq -0x1b8(%rbp), %r12
leaq -0x130(%rbp), %r8
leaq -0x170(%rbp), %r9
movq %rbx, %rdi
movq %r15, %rsi
movq %r12, %rcx
pushq %rax
callq 0x42741
addq $0x10, %rsp
movl %eax, %ebx
movq %rdx, %r14
movq (%r12), %rdi
leaq -0x1b0(%rbp), %r12
leaq -0xc0(%rbp), %rdx
movq %r12, %rsi
callq 0x3a145
movq 0x8(%r12), %rcx
movq %rcx, %rax
movq %r13, -0x80(%rbp)
andq %r13, %rax
sete %dl
testb $0x3, %cl
setne %cl
orb %dl, %cl
jne 0x76f6f
incl (%rax)
xorps %xmm0, %xmm0
movaps %xmm0, -0x1e0(%rbp)
movq -0x130(%rbp), %rcx
movl -0x170(%rbp), %edi
movq -0x168(%rbp), %rsi
subq $0x30, %rsp
movups %xmm0, 0x20(%rsp)
movups -0x1b0(%rbp), %xmm0
movups %xmm0, 0x10(%rsp)
movups %xmm0, (%rsp)
movq %rcx, %rdx
movl %ebx, %r8d
movq %r14, %r9
callq 0x42f0b
addq $0x30, %rsp
movq %rax, %r14
movq -0x138(%rbp), %rdi
leaq -0x120(%rbp), %rdx
movq %r15, %rsi
callq 0x42fb6
movl %eax, %edi
movq %rdx, %rsi
callq 0x431cc
movl %eax, %r13d
movq %rdx, %rbx
movl %eax, -0xe0(%rbp)
movq %rdx, -0xd8(%rbp)
movq %rdx, %r15
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq %rax, %r15
setne %al
testb $0x3, %bl
sete %r12b
andb %al, %r12b
cmpb $0x1, %r12b
jne 0x77014
incl (%r15)
movq -0xb8(%rbp), %rcx
movq %rcx, %rax
movabsq $0xfffffffffffc, %rdx   # imm = 0xFFFFFFFFFFFC
andq %rdx, %rax
sete %dl
testb $0x3, %cl
setne %cl
orb %dl, %cl
jne 0x7703a
incl (%rax)
leaq -0x118(%rbp), %rsi
movq %r14, %rdi
callq 0x432bd
movq %rax, -0x40(%rbp)
testb %r12b, %r12b
je 0x77055
incl (%r15)
movq -0x118(%rbp), %rdi
leaq -0x1a0(%rbp), %r14
movq %r14, %rsi
callq 0x43317
movl %eax, %r12d
movq %rdx, %r15
movq (%r14), %rdi
leaq -0x198(%rbp), %r14
movq %r14, %rsi
callq 0x43394
movq %rdx, %r9
movq -0x120(%rbp), %rdi
movq (%r14), %rsi
subq $0x8, %rsp
leaq -0x1f0(%rbp), %r14
leaq -0x190(%rbp), %r11
leaq -0xb0(%rbp), %r10
movl %r12d, %edx
movq %r15, %rcx
movl %eax, %r8d
pushq %r14
pushq %r11
movq %r11, %r12
pushq %r10
pushq %rbx
pushq %r13
callq 0x43411
addq $0x30, %rsp
movl %eax, -0x2c(%rbp)
movq %rdx, %r13
movl (%r14), %edi
movq 0x8(%r14), %rsi
movl -0xc0(%rbp), %edx
movq -0xb8(%rbp), %rcx
callq 0x20b5f
movq %rax, %r15
movq (%r12), %rdi
leaq -0x110(%rbp), %rsi
callq 0x4371e
movl %eax, %r14d
movq %rdx, %r12
leaq -0x188(%rbp), %rbx
leaq -0x160(%rbp), %rdx
movq %r15, %rdi
movq %rbx, %rsi
callq 0x3a145
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 0x7713b
incl (%rax)
xorps %xmm0, %xmm0
movaps %xmm0, -0x1d0(%rbp)
subq $0x30, %rsp
movups %xmm0, 0x20(%rsp)
movups -0x188(%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 %r13, %r9
callq 0x42f0b
addq $0x30, %rsp
movq %rax, %rbx
movl -0xe0(%rbp), %edi
movq -0xd8(%rbp), %rsi
callq 0xf35d
cmpl $0x1, %eax
jne 0x77738
movq %rdx, %rdi
callq 0xd745
movq %rax, -0x40(%rbp)
movq -0xb0(%rbp), %rdi
leaq -0x178(%rbp), %r14
movq -0x60(%rbp), %rsi
movq %r14, %rdx
callq 0x207b0
movq (%r14), %r14
testb %al, %al
je 0x7739f
movq -0x38(%rbp), %rdi
callq 0x54e1e
leaq -0x50(%rbp), %r15
leaq -0x70(%rbp), %r12
movq %r14, %rdi
movq %rbx, %rsi
xorl %edx, %edx
xorl %ecx, %ecx
movl $0x1, %r8d
movq %rax, %r9
pushq %r15
pushq %r12
callq 0x43977
addq $0x10, %rsp
movq (%r15), %rdi
movq (%r12), %r14
leaq -0xa8(%rbp), %rbx
movq %rbx, %rsi
callq 0x43394
leaq -0xa0(%rbp), %r15
movq %r14, %rdi
movl %eax, %esi
movq %r15, %rcx
callq 0x3c33f
movl %eax, %edi
movq %rdx, %rsi
callq 0x5584c
movl %eax, %r14d
movq %rdx, %r12
movq (%r15), %rdi
leaq -0x58(%rbp), %rsi
callq 0x3d862
movl %r14d, %edi
movq %r12, %rsi
movl $0x4, %edx
movq %rax, %rcx
callq 0x20b5f
movq %rax, %r13
movq (%rbx), %rdi
leaq -0x98(%rbp), %rbx
movq %rbx, %rsi
callq 0x43317
movl %eax, -0x2c(%rbp)
movq %rdx, -0x38(%rbp)
movq (%rbx), %rdi
leaq -0x90(%rbp), %rbx
movq %rbx, %rsi
callq 0x432bd
movq %rax, %r12
movq (%rbx), %rdi
leaq -0x78(%rbp), %rsi
callq 0x4371e
movl %eax, %r15d
movq %rdx, %rbx
leaq -0x70(%rbp), %r14
leaq -0x50(%rbp), %rdx
movq %r13, %rdi
movq %r14, %rsi
callq 0x3a145
movq 0x8(%r14), %rax
movabsq $0xfffffffffffc, %rdx   # imm = 0xFFFFFFFFFFFC
andq %rax, %rdx
sete %cl
testb $0x3, %al
setne %al
orb %cl, %al
jne 0x772c9
incl (%rdx)
xorps %xmm0, %xmm0
movaps %xmm0, -0x150(%rbp)
subq $0x30, %rsp
movups %xmm0, 0x20(%rsp)
movups -0x70(%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 0x42f0b
addq $0x30, %rsp
movq -0x58(%rbp), %rdi
leaq -0x108(%rbp), %rbx
leaq -0x100(%rbp), %r14
movq %rax, %rsi
movq -0x40(%rbp), %rdx
movq %rbx, %rcx
movq %r14, %r8
callq 0x51994
movq (%rbx), %rdi
movq (%r14), %rsi
movl -0x50(%rbp), %edx
movq -0x48(%rbp), %rcx
leaq -0xf8(%rbp), %rbx
leaq -0xf0(%rbp), %r14
movq %rbx, %r8
movq %r14, %r9
callq 0x4379b
movq (%rbx), %rdi
movq (%r14), %rsi
leaq -0xe8(%rbp), %rbx
movq %rbx, %rdx
callq 0x55941
leaq 0x9b34c(%rip), %rsi     # 0x1126b8
movq %rax, %rdi
xorl %edx, %edx
xorl %ecx, %ecx
callq 0xd1ec
movq %rdx, %r14
movq (%rbx), %rbx
movq -0x78(%rbp), %r15
movl $0x6, %edi
callq 0x54fbd
leaq -0xc8(%rbp), %r12
leaq -0xd0(%rbp), %r13
jmp 0x7759f
movl $0x1, %edi
callq 0x54fbd
leaq -0x50(%rbp), %r15
leaq -0x70(%rbp), %r12
movq %r14, %rdi
movq %rbx, %rsi
xorl %edx, %edx
xorl %ecx, %ecx
xorl %r8d, %r8d
movq %rax, %r9
pushq %r15
pushq %r12
callq 0x43977
addq $0x10, %rsp
movq (%r15), %rdi
movq (%r12), %r14
leaq -0xa8(%rbp), %rbx
movq %rbx, %rsi
callq 0x43394
leaq -0xa0(%rbp), %r15
movq %r14, %rdi
movl %eax, %esi
movq %r15, %rcx
callq 0x3bdab
movl %eax, %edi
movq %rdx, %rsi
callq 0x5584c
movl %eax, %r14d
movq %rdx, %r12
movq (%r15), %rdi
leaq -0x58(%rbp), %rsi
callq 0x3d862
movl %r14d, %edi
movq %r12, %rsi
movl $0x4, %edx
movq %rax, %rcx
callq 0x20b5f
movq %rax, %r13
movq (%rbx), %rdi
leaq -0x98(%rbp), %rbx
movq %rbx, %rsi
callq 0x43317
movl %eax, -0x2c(%rbp)
movq %rdx, -0x60(%rbp)
movq (%rbx), %rdi
leaq -0x90(%rbp), %rbx
movq %rbx, %rsi
callq 0x432bd
movq %rax, %r14
movq (%rbx), %rdi
leaq -0x78(%rbp), %rsi
callq 0x4371e
movl %eax, %r15d
movq %rdx, %rbx
leaq -0x70(%rbp), %r12
leaq -0x50(%rbp), %rdx
movq %r13, %rdi
movq %r12, %rsi
callq 0x3a145
movq 0x8(%r12), %rax
movabsq $0xfffffffffffc, %rdx   # imm = 0xFFFFFFFFFFFC
andq %rax, %rdx
sete %cl
testb $0x3, %al
setne %al
orb %cl, %al
jne 0x7749d
incl (%rdx)
xorps %xmm0, %xmm0
movaps %xmm0, -0x150(%rbp)
subq $0x30, %rsp
movups %xmm0, 0x20(%rsp)
movups -0x70(%rbp), %xmm0
movups %xmm0, 0x10(%rsp)
movups %xmm0, (%rsp)
movl %r15d, %edi
movq %rbx, %rsi
movq %r14, %rdx
movq %r14, %rcx
movl -0x2c(%rbp), %r8d
movq -0x60(%rbp), %r9
callq 0x42f0b
addq $0x30, %rsp
movq %rax, %rbx
movq -0x58(%rbp), %r14
movq -0x38(%rbp), %rdi
callq 0x54e1e
leaq -0xc8(%rbp), %r12
leaq -0xd0(%rbp), %r13
movq %r14, %rdi
movq %rbx, %rsi
xorl %edx, %edx
xorl %ecx, %ecx
movl $0x1, %r8d
movq %rax, %r9
pushq %r12
pushq %r13
callq 0x43977
addq $0x10, %rsp
movq (%r12), %rsi
movq (%r13), %rdi
leaq -0x108(%rbp), %rbx
leaq -0x100(%rbp), %r14
movq -0x40(%rbp), %rdx
movq %rbx, %rcx
movq %r14, %r8
callq 0x51994
movq (%rbx), %rdi
movq (%r14), %rsi
movl -0x50(%rbp), %edx
movq -0x48(%rbp), %rcx
leaq -0xf8(%rbp), %rbx
leaq -0xf0(%rbp), %r14
movq %rbx, %r8
movq %r14, %r9
callq 0x4379b
movq (%rbx), %rdi
movq (%r14), %rsi
leaq -0xe8(%rbp), %rbx
movq %rbx, %rdx
callq 0x55941
leaq 0x9b139(%rip), %rsi     # 0x1126b8
movq %rax, %rdi
xorl %edx, %edx
xorl %ecx, %ecx
callq 0xd1ec
movq %rdx, %r14
movq (%rbx), %rbx
movq -0x78(%rbp), %r15
movl $0x5, %edi
callq 0x54fbd
movq %rbx, %rdi
movq %r15, %rsi
movl $0x1, %edx
movq %r14, %rcx
xorl %r8d, %r8d
movq %rax, %r9
pushq %r12
pushq %r13
callq 0x43977
addq $0x10, %rsp
movq (%r12), %rbx
movq (%r13), %r14
movq -0x88(%rbp), %rdi
callq 0x54e1e
movq %r14, %rdi
movq %rbx, %rsi
xorl %edx, %edx
xorl %ecx, %ecx
movl $0x1, %r8d
movq %rax, %r9
pushq %r12
pushq %r13
callq 0x43977
addq $0x10, %rsp
movq (%r12), %rsi
movq (%r13), %rdi
movl -0x160(%rbp), %edx
movq -0x158(%rbp), %rcx
leaq -0x70(%rbp), %r8
leaq -0x50(%rbp), %r9
callq 0x4379b
movq -0x110(%rbp), %rdi
leaq -0x150(%rbp), %r15
movq %r15, %rsi
callq 0x43317
movl %eax, %r12d
movq %rdx, %r13
movq (%r15), %rdi
leaq -0xd0(%rbp), %r15
movq %r15, %rsi
callq 0x43394
movl %eax, %ebx
movq %rdx, %r14
movq (%r15), %rdi
leaq -0xc8(%rbp), %r15
movq %r15, %rsi
callq 0x432bd
leaq -0x50(%rbp), %rcx
movq (%rcx), %r9
subq $0x10, %rsp
movups -0xe0(%rbp), %xmm0
movups %xmm0, (%rsp)
movq %rax, %rdi
movl %r12d, %esi
movq %r13, %rdx
movl %ebx, %ecx
movq %r14, %r8
callq 0x4388e
addq $0x10, %rsp
movq %rax, %rdi
callq 0x43924
leaq -0x70(%rbp), %rcx
movq (%rcx), %rdi
movq (%r15), %rsi
leaq -0xa0(%rbp), %rbx
leaq -0xa8(%rbp), %r14
xorl %edx, %edx
xorl %ecx, %ecx
movl $0x8, %r8d
movq %rax, %r9
pushq %rbx
pushq %r14
callq 0x43977
addq $0x10, %rsp
movq (%r14), %rdi
movq (%rbx), %rsi
movl -0xc0(%rbp), %edx
movq -0xb8(%rbp), %rcx
leaq -0x58(%rbp), %rbx
leaq -0x98(%rbp), %r14
movq %rbx, %r8
movq %r14, %r9
callq 0x4379b
movq (%rbx), %rdi
movq (%r14), %rsi
movq -0x128(%rbp), %rdx
leaq -0x90(%rbp), %rbx
movq %rbx, %rcx
callq 0x48df1
movq %rax, %r14
movq (%rbx), %rdi
leaq 0x9a1dd(%rip), %rsi     # 0x1118f0
callq 0x8e6d
leaq 0x9ac82(%rip), %rsi     # 0x1123a1
movq %r14, %rdi
addq $0x1c8, %rsp            # imm = 0x1C8
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
jmp 0xd34b
testl %eax, %eax
jne 0x777a1
movq 0x109ebdd(%rip), %rsi   # 0x1116320
testq %rsi, %rsi
jne 0x7777d
movl $0x17, %edi
callq 0xf5e4
movq %rax, %rsi
movq $0x17, 0x10(%rax)
movabsq $0x2e726574656d6172, %rax # imm = 0x2E726574656D6172
movq %rax, 0x27(%rsi)
movups 0x705f2(%rip), %xmm0    # 0xe7d64
movups %xmm0, 0x18(%rsi)
movq %rsi, 0x109eba3(%rip)   # 0x1116320
andq %rsi, -0x80(%rbp)
sete %al
testb $0x3, %sil
setne %cl
orb %al, %cl
jne 0x77795
movq -0x80(%rbp), %rax
incl (%rax)
movq -0xb0(%rbp), %rdi
callq 0x14cad
leaq 0x68f25(%rip), %rdi     # 0xe06cd
movl $0x20, %esi
callq 0x9040
movq %rax, %rdi
callq 0x9302