// File: /workspace/github_c_makefile_star2_O0/mirth-lang[P]mirth/bin/mirth1.c
// Function: mw_std_list_List_1_zd_sp1
static bool mw_std_list_List_1_zd_sp1 (struct mirth_mirth_zaMirth* in_zaMirth_1, struct std_list_List_1 in_List_2, struct std_list_List_1 in_List_3, struct mirth_mirth_zaMirth* *out_zaMirth_4) {
	bool v6 = true;
	struct std_list_List_1 v7;
	struct std_maybe_Maybe_1 v8 = mw_std_list_List_1_uncons(in_List_2, &v7);
	struct std_list_List_1 v9;
	struct std_maybe_Maybe_1 v10 = mw_std_list_List_1_uncons(in_List_3, &v9);
	struct mirth_mirth_zaMirth* branch_zaMirth_11;
	bool branch_Bool_12;
	switch ((v10).tag) {
		case std_maybe_Maybe_1_None: {
			int64_t v13 = (v8).tag;
			decref(MK_std_maybe_Maybe_1(v8));
			INT v14 = WRAP_I63(0LL);
			INT v15 = v14;
			INT v16 = i64_to_int(v13);
			bool v17 = int_eq(v16, v15);
			branch_Bool_12 = v17;
			branch_zaMirth_11 = in_zaMirth_1;
		} break;
		case std_maybe_Maybe_1_Some: {
			VAL v18 = mtp_std_maybe_Maybe_1_Some(v10);
			struct mirth_mirth_zaMirth* branch_zaMirth_19;
			bool branch_Bool_20;
			switch ((v8).tag) {
				case std_maybe_Maybe_1_Some: {
					VAL v21 = mtp_std_maybe_Maybe_1_Some(v8);
					struct mirth_mirth_zaMirth* v22;
					bool v23 = mw_mirth_arrow_Arg_similar(in_zaMirth_1, V_mirth_arrow_Block(v21), V_mirth_arrow_Block(v18), &v22);
					branch_Bool_20 = v23;
					branch_zaMirth_19 = v22;
				} break;
				case std_maybe_Maybe_1_None: {
					decref(v18);
					bool v24 = false;
					branch_Bool_20 = v24;
					branch_zaMirth_19 = in_zaMirth_1;
				} break;
				default: {
					do_panic(str_make("unexpected fallthrough in match\n", 32));
				}
			}
			branch_Bool_12 = branch_Bool_20;
			branch_zaMirth_11 = branch_zaMirth_19;
		} break;
		default: {
			do_panic(str_make("unexpected fallthrough in match\n", 32));
		}
	}
	bool v25 = (branch_Bool_12 && v6);
	incref(MK_std_list_List_1(v7));
	bool v26 = mw_std_list_List_1_emptyzy(v7);
	incref(MK_std_list_List_1(v9));
	bool v27 = mw_std_list_List_1_emptyzy(v9);
	bool v28 = (v26 && v27);
	bool v29 = !v28;
	bool v30 = (v29 && v25);
	struct mirth_mirth_zaMirth* r31 = branch_zaMirth_11;
	struct std_list_List_1 v32 = v7;
	struct std_list_List_1 v33 = v9;
	bool v34 = v25;
	bool v35 = v30;
	while (v35) {
		struct mirth_mirth_zaMirth* r36 = r31;
		struct std_list_List_1 v37 = v32;
		struct std_list_List_1 v38 = v33;
		bool v39 = v34;
		struct std_list_List_1 v40;
		struct std_maybe_Maybe_1 v41 = mw_std_list_List_1_uncons(v37, &v40);
		struct std_list_List_1 v42;
		struct std_maybe_Maybe_1 v43 = mw_std_list_List_1_uncons(v38, &v42);
		struct mirth_mirth_zaMirth* branch_zaMirth_44;
		bool branch_Bool_45;
		switch ((v43).tag) {
			case std_maybe_Maybe_1_None: {
				int64_t v46 = (v41).tag;
				decref(MK_std_maybe_Maybe_1(v41));
				INT v47 = WRAP_I63(0LL);
				INT v48 = v47;
				INT v49 = i64_to_int(v46);
				bool v50 = int_eq(v49, v48);
				branch_Bool_45 = v50;
				branch_zaMirth_44 = r36;
			} break;
			case std_maybe_Maybe_1_Some: {
				VAL v51 = mtp_std_maybe_Maybe_1_Some(v43);
				struct mirth_mirth_zaMirth* branch_zaMirth_52;
				bool branch_Bool_53;
				switch ((v41).tag) {
					case std_maybe_Maybe_1_Some: {
						VAL v54 = mtp_std_maybe_Maybe_1_Some(v41);
						struct mirth_mirth_zaMirth* v55;
						bool v56 = mw_mirth_arrow_Arg_similar(r36, V_mirth_arrow_Block(v54), V_mirth_arrow_Block(v51), &v55);
						branch_Bool_53 = v56;
						branch_zaMirth_52 = v55;
					} break;
					case std_maybe_Maybe_1_None: {
						decref(v51);
						bool v57 = false;
						branch_Bool_53 = v57;
						branch_zaMirth_52 = r36;
					} break;
					default: {
						do_panic(str_make("unexpected fallthrough in match\n", 32));
					}
				}
				branch_Bool_45 = branch_Bool_53;
				branch_zaMirth_44 = branch_zaMirth_52;
			} break;
			default: {
				do_panic(str_make("unexpected fallthrough in match\n", 32));
			}
		}
		bool v58 = (branch_Bool_45 && v39);
		incref(MK_std_list_List_1(v40));
		bool v59 = mw_std_list_List_1_emptyzy(v40);
		incref(MK_std_list_List_1(v42));
		bool v60 = mw_std_list_List_1_emptyzy(v42);
		bool v61 = (v59 && v60);
		bool v62 = !v61;
		bool v63 = (v62 && v58);
		v35 = v63;
		v34 = v58;
		v33 = v42;
		v32 = v40;
		r31 = branch_zaMirth_44;
	}
	decref(MK_std_list_List_1(v33));
	decref(MK_std_list_List_1(v32));
	*out_zaMirth_4 = r31;
	return v34;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x490, %rsp            # imm = 0x490
movl %esi, -0x10(%rbp)
movq %rdx, -0x8(%rbp)
movl %ecx, -0x20(%rbp)
movq %r8, -0x18(%rbp)
movq %rdi, -0x28(%rbp)
movq %r9, -0x30(%rbp)
movb $0x1, -0x31(%rbp)
movl -0x10(%rbp), %edi
movq -0x8(%rbp), %rsi
leaq -0x48(%rbp), %rdx
callq 0x2c490
movl %eax, -0x58(%rbp)
movq %rdx, -0x50(%rbp)
movl -0x20(%rbp), %edi
movq -0x18(%rbp), %rsi
leaq -0x68(%rbp), %rdx
callq 0x2c490
movl %eax, -0x78(%rbp)
movq %rdx, -0x70(%rbp)
movl -0x78(%rbp), %eax
movl %eax, -0x474(%rbp)
testl %eax, %eax
je 0x2039f6
jmp 0x2039e2
movl -0x474(%rbp), %eax
subl $0x1, %eax
je 0x203b5c
jmp 0x203cbc
movl -0x58(%rbp), %eax
movq %rax, -0x90(%rbp)
movl -0x58(%rbp), %edi
movq -0x50(%rbp), %rsi
callq 0x133a0
movq %rax, -0xa0(%rbp)
movq %rdx, -0x98(%rbp)
movq -0x98(%rbp), %rax
andq $0x1, %rax
cmpq $0x0, %rax
je 0x203af5
movl -0x58(%rbp), %edi
movq -0x50(%rbp), %rsi
callq 0x133a0
movq %rax, -0xb0(%rbp)
movq %rdx, -0xa8(%rbp)
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0xb0(%rbp), %rax
cmpq $0x0, %rax
je 0x203af5
movl -0x58(%rbp), %edi
movq -0x50(%rbp), %rsi
callq 0x133a0
movq %rax, -0xc0(%rbp)
movq %rdx, -0xb8(%rbp)
movq -0xc0(%rbp), %rax
andq $0x3, %rax
cmpq $0x0, %rax
jne 0x203af5
movl -0x58(%rbp), %edi
movq -0x50(%rbp), %rsi
callq 0x133a0
movq %rax, -0xd0(%rbp)
movq %rdx, -0xc8(%rbp)
movabsq $0xfffffffffffc, %rcx   # imm = 0xFFFFFFFFFFFC
andq -0xd0(%rbp), %rcx
movl (%rcx), %eax
addl $-0x1, %eax
movl %eax, (%rcx)
cmpl $0x0, %eax
jne 0x203af3
movl -0x58(%rbp), %edi
movq -0x50(%rbp), %rsi
callq 0x133a0
movq %rax, -0xe0(%rbp)
movq %rdx, -0xd8(%rbp)
movq -0xe0(%rbp), %rdi
movq -0xd8(%rbp), %rsi
callq 0x127c0
jmp 0x203af5
jmp 0x203af7
movq 0x16af52(%rip), %rax    # 0x36ea50
movq %rax, -0xe8(%rbp)
movq -0xe8(%rbp), %rax
movq %rax, -0xf0(%rbp)
movq -0x90(%rbp), %rdi
callq 0x1a290
movq %rax, -0xf8(%rbp)
movq -0xf8(%rbp), %rdi
movq -0xf0(%rbp), %rsi
callq 0x194b0
andb $0x1, %al
movb %al, -0xf9(%rbp)
movb -0xf9(%rbp), %al
andb $0x1, %al
movb %al, -0x81(%rbp)
movq -0x28(%rbp), %rax
movq %rax, -0x80(%rbp)
jmp 0x203cd5
movl -0x78(%rbp), %edi
movq -0x70(%rbp), %rsi
callq 0x174a0
movq %rax, -0x110(%rbp)
movq %rdx, -0x108(%rbp)
movl -0x58(%rbp), %eax
movl %eax, -0x478(%rbp)
testl %eax, %eax
je 0x203bf7
jmp 0x203b85
movl -0x478(%rbp), %eax
subl $0x1, %eax
jne 0x203c88
jmp 0x203b96
movl -0x58(%rbp), %edi
movq -0x50(%rbp), %rsi
callq 0x174a0
movq %rax, -0x130(%rbp)
movq %rdx, -0x128(%rbp)
movq -0x28(%rbp), %rdi
movq -0x130(%rbp), %rsi
movq -0x110(%rbp), %rdx
leaq -0x138(%rbp), %rcx
callq 0x204860
andb $0x1, %al
movb %al, -0x139(%rbp)
movb -0x139(%rbp), %al
andb $0x1, %al
movb %al, -0x119(%rbp)
movq -0x138(%rbp), %rax
movq %rax, -0x118(%rbp)
jmp 0x203ca1
jmp 0x203bf9
movq -0x108(%rbp), %rax
andq $0x1, %rax
cmpq $0x0, %rax
je 0x203c64
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0x110(%rbp), %rax
cmpq $0x0, %rax
je 0x203c64
movq -0x110(%rbp), %rax
andq $0x3, %rax
cmpq $0x0, %rax
jne 0x203c64
movabsq $0xfffffffffffc, %rcx   # imm = 0xFFFFFFFFFFFC
andq -0x110(%rbp), %rcx
movl (%rcx), %eax
addl $-0x1, %eax
movl %eax, (%rcx)
cmpl $0x0, %eax
jne 0x203c62
movq -0x110(%rbp), %rdi
movq -0x108(%rbp), %rsi
callq 0x127c0
jmp 0x203c64
jmp 0x203c66
movb $0x0, -0x13a(%rbp)
movb -0x13a(%rbp), %al
andb $0x1, %al
movb %al, -0x119(%rbp)
movq -0x28(%rbp), %rax
movq %rax, -0x118(%rbp)
jmp 0x203ca1
leaq 0x1501f2(%rip), %rdi    # 0x353e81
movl $0x20, %esi
callq 0xb6c0
movq %rax, %rdi
callq 0xc620
movb -0x119(%rbp), %al
andb $0x1, %al
movb %al, -0x81(%rbp)
movq -0x118(%rbp), %rax
movq %rax, -0x80(%rbp)
jmp 0x203cd5
leaq 0x1501be(%rip), %rdi    # 0x353e81
movl $0x20, %esi
callq 0xb6c0
movq %rax, %rdi
callq 0xc620
xorl %eax, %eax
testb $0x1, -0x81(%rbp)
movb %al, -0x479(%rbp)
je 0x203cef
movb -0x31(%rbp), %al
movb %al, -0x479(%rbp)
movb -0x479(%rbp), %al
andb $0x1, %al
movb %al, -0x13b(%rbp)
movl -0x48(%rbp), %edi
movq -0x40(%rbp), %rsi
callq 0x12780
movq %rax, -0x150(%rbp)
movq %rdx, -0x148(%rbp)
movq -0x148(%rbp), %rax
andq $0x1, %rax
cmpq $0x0, %rax
je 0x203dba
movl -0x48(%rbp), %edi
movq -0x40(%rbp), %rsi
callq 0x12780
movq %rax, -0x160(%rbp)
movq %rdx, -0x158(%rbp)
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0x160(%rbp), %rax
cmpq $0x0, %rax
je 0x203dba
movl -0x48(%rbp), %edi
movq -0x40(%rbp), %rsi
callq 0x12780
movq %rax, -0x170(%rbp)
movq %rdx, -0x168(%rbp)
movq -0x170(%rbp), %rax
andq $0x3, %rax
cmpq $0x0, %rax
jne 0x203dba
movl -0x48(%rbp), %edi
movq -0x40(%rbp), %rsi
callq 0x12780
movq %rax, -0x180(%rbp)
movq %rdx, -0x178(%rbp)
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0x180(%rbp), %rax
movl (%rax), %ecx
addl $0x1, %ecx
movl %ecx, (%rax)
jmp 0x203dbc
movl -0x48(%rbp), %edi
movq -0x40(%rbp), %rsi
callq 0x1f3c0
andb $0x1, %al
movb %al, -0x181(%rbp)
movl -0x68(%rbp), %edi
movq -0x60(%rbp), %rsi
callq 0x12780
movq %rax, -0x198(%rbp)
movq %rdx, -0x190(%rbp)
movq -0x190(%rbp), %rax
andq $0x1, %rax
cmpq $0x0, %rax
je 0x203e8d
movl -0x68(%rbp), %edi
movq -0x60(%rbp), %rsi
callq 0x12780
movq %rax, -0x1a8(%rbp)
movq %rdx, -0x1a0(%rbp)
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0x1a8(%rbp), %rax
cmpq $0x0, %rax
je 0x203e8d
movl -0x68(%rbp), %edi
movq -0x60(%rbp), %rsi
callq 0x12780
movq %rax, -0x1b8(%rbp)
movq %rdx, -0x1b0(%rbp)
movq -0x1b8(%rbp), %rax
andq $0x3, %rax
cmpq $0x0, %rax
jne 0x203e8d
movl -0x68(%rbp), %edi
movq -0x60(%rbp), %rsi
callq 0x12780
movq %rax, -0x1c8(%rbp)
movq %rdx, -0x1c0(%rbp)
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0x1c8(%rbp), %rax
movl (%rax), %ecx
addl $0x1, %ecx
movl %ecx, (%rax)
jmp 0x203e8f
movl -0x68(%rbp), %edi
movq -0x60(%rbp), %rsi
callq 0x1f3c0
andb $0x1, %al
movb %al, -0x1c9(%rbp)
xorl %eax, %eax
testb $0x1, -0x181(%rbp)
movb %al, -0x47a(%rbp)
je 0x203ec0
movb -0x1c9(%rbp), %al
movb %al, -0x47a(%rbp)
movb -0x47a(%rbp), %al
andb $0x1, %al
movb %al, -0x1ca(%rbp)
movb -0x1ca(%rbp), %al
xorb $-0x1, %al
andb $0x1, %al
movb %al, -0x1cb(%rbp)
xorl %eax, %eax
testb $0x1, -0x1cb(%rbp)
movb %al, -0x47b(%rbp)
je 0x203efb
movb -0x13b(%rbp), %al
movb %al, -0x47b(%rbp)
movb -0x47b(%rbp), %al
andb $0x1, %al
movb %al, -0x1cc(%rbp)
movq -0x80(%rbp), %rax
movq %rax, -0x1d8(%rbp)
movq -0x48(%rbp), %rax
movq %rax, -0x1e8(%rbp)
movq -0x40(%rbp), %rax
movq %rax, -0x1e0(%rbp)
movq -0x68(%rbp), %rax
movq %rax, -0x1f8(%rbp)
movq -0x60(%rbp), %rax
movq %rax, -0x1f0(%rbp)
movb -0x13b(%rbp), %al
andb $0x1, %al
movb %al, -0x1f9(%rbp)
movb -0x1cc(%rbp), %al
andb $0x1, %al
movb %al, -0x1fa(%rbp)
testb $0x1, -0x1fa(%rbp)
je 0x20460b
movq -0x1d8(%rbp), %rax
movq %rax, -0x208(%rbp)
movups -0x1e8(%rbp), %xmm0
movaps %xmm0, -0x220(%rbp)
movups -0x1f8(%rbp), %xmm0
movaps %xmm0, -0x230(%rbp)
movb -0x1f9(%rbp), %al
andb $0x1, %al
movb %al, -0x231(%rbp)
movl -0x220(%rbp), %edi
movq -0x218(%rbp), %rsi
leaq -0x248(%rbp), %rdx
callq 0x2c490
movl %eax, -0x258(%rbp)
movq %rdx, -0x250(%rbp)
movl -0x230(%rbp), %edi
movq -0x228(%rbp), %rsi
leaq -0x268(%rbp), %rdx
callq 0x2c490
movl %eax, -0x278(%rbp)
movq %rdx, -0x270(%rbp)
movl -0x278(%rbp), %eax
movl %eax, -0x480(%rbp)
testl %eax, %eax
je 0x204013
jmp 0x203fff
movl -0x480(%rbp), %eax
subl $0x1, %eax
je 0x2041a0
jmp 0x204318
movl -0x258(%rbp), %eax
movq %rax, -0x290(%rbp)
movl -0x258(%rbp), %edi
movq -0x250(%rbp), %rsi
callq 0x133a0
movq %rax, -0x2a0(%rbp)
movq %rdx, -0x298(%rbp)
movq -0x298(%rbp), %rax
andq $0x1, %rax
cmpq $0x0, %rax
je 0x204133
movl -0x258(%rbp), %edi
movq -0x250(%rbp), %rsi
callq 0x133a0
movq %rax, -0x2b0(%rbp)
movq %rdx, -0x2a8(%rbp)
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0x2b0(%rbp), %rax
cmpq $0x0, %rax
je 0x204133
movl -0x258(%rbp), %edi
movq -0x250(%rbp), %rsi
callq 0x133a0
movq %rax, -0x2c0(%rbp)
movq %rdx, -0x2b8(%rbp)
movq -0x2c0(%rbp), %rax
andq $0x3, %rax
cmpq $0x0, %rax
jne 0x204133
movl -0x258(%rbp), %edi
movq -0x250(%rbp), %rsi
callq 0x133a0
movq %rax, -0x2d0(%rbp)
movq %rdx, -0x2c8(%rbp)
movabsq $0xfffffffffffc, %rcx   # imm = 0xFFFFFFFFFFFC
andq -0x2d0(%rbp), %rcx
movl (%rcx), %eax
addl $-0x1, %eax
movl %eax, (%rcx)
cmpl $0x0, %eax
jne 0x204131
movl -0x258(%rbp), %edi
movq -0x250(%rbp), %rsi
callq 0x133a0
movq %rax, -0x2e0(%rbp)
movq %rdx, -0x2d8(%rbp)
movq -0x2e0(%rbp), %rdi
movq -0x2d8(%rbp), %rsi
callq 0x127c0
jmp 0x204133
jmp 0x204135
movq 0x16a914(%rip), %rax    # 0x36ea50
movq %rax, -0x2e8(%rbp)
movq -0x2e8(%rbp), %rax
movq %rax, -0x2f0(%rbp)
movq -0x290(%rbp), %rdi
callq 0x1a290
movq %rax, -0x2f8(%rbp)
movq -0x2f8(%rbp), %rdi
movq -0x2f0(%rbp), %rsi
callq 0x194b0
andb $0x1, %al
movb %al, -0x2f9(%rbp)
movb -0x2f9(%rbp), %al
andb $0x1, %al
movb %al, -0x281(%rbp)
movq -0x208(%rbp), %rax
movq %rax, -0x280(%rbp)
jmp 0x204331
movl -0x278(%rbp), %edi
movq -0x270(%rbp), %rsi
callq 0x174a0
movq %rax, -0x310(%rbp)
movq %rdx, -0x308(%rbp)
movl -0x258(%rbp), %eax
movl %eax, -0x484(%rbp)
testl %eax, %eax
je 0x20424d
jmp 0x2041d2
movl -0x484(%rbp), %eax
subl $0x1, %eax
jne 0x2042e1
jmp 0x2041e3
movl -0x258(%rbp), %edi
movq -0x250(%rbp), %rsi
callq 0x174a0
movq %rax, -0x330(%rbp)
movq %rdx, -0x328(%rbp)
movq -0x208(%rbp), %rdi
movq -0x330(%rbp), %rsi
movq -0x310(%rbp), %rdx
leaq -0x338(%rbp), %rcx
callq 0x204860
andb $0x1, %al
movb %al, -0x339(%rbp)
movb -0x339(%rbp), %al
andb $0x1, %al
movb %al, -0x319(%rbp)
movq -0x338(%rbp), %rax
movq %rax, -0x318(%rbp)
jmp 0x2042fa
jmp 0x20424f
movq -0x308(%rbp), %rax
andq $0x1, %rax
cmpq $0x0, %rax
je 0x2042ba
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0x310(%rbp), %rax
cmpq $0x0, %rax
je 0x2042ba
movq -0x310(%rbp), %rax
andq $0x3, %rax
cmpq $0x0, %rax
jne 0x2042ba
movabsq $0xfffffffffffc, %rcx   # imm = 0xFFFFFFFFFFFC
andq -0x310(%rbp), %rcx
movl (%rcx), %eax
addl $-0x1, %eax
movl %eax, (%rcx)
cmpl $0x0, %eax
jne 0x2042b8
movq -0x310(%rbp), %rdi
movq -0x308(%rbp), %rsi
callq 0x127c0
jmp 0x2042ba
jmp 0x2042bc
movb $0x0, -0x33a(%rbp)
movb -0x33a(%rbp), %al
andb $0x1, %al
movb %al, -0x319(%rbp)
movq -0x208(%rbp), %rax
movq %rax, -0x318(%rbp)
jmp 0x2042fa
leaq 0x14fb99(%rip), %rdi    # 0x353e81
movl $0x20, %esi
callq 0xb6c0
movq %rax, %rdi
callq 0xc620
movb -0x319(%rbp), %al
andb $0x1, %al
movb %al, -0x281(%rbp)
movq -0x318(%rbp), %rax
movq %rax, -0x280(%rbp)
jmp 0x204331
leaq 0x14fb62(%rip), %rdi    # 0x353e81
movl $0x20, %esi
callq 0xb6c0
movq %rax, %rdi
callq 0xc620
xorl %eax, %eax
testb $0x1, -0x281(%rbp)
movb %al, -0x485(%rbp)
je 0x20434e
movb -0x231(%rbp), %al
movb %al, -0x485(%rbp)
movb -0x485(%rbp), %al
andb $0x1, %al
movb %al, -0x33b(%rbp)
movl -0x248(%rbp), %edi
movq -0x240(%rbp), %rsi
callq 0x12780
movq %rax, -0x350(%rbp)
movq %rdx, -0x348(%rbp)
movq -0x348(%rbp), %rax
andq $0x1, %rax
cmpq $0x0, %rax
je 0x204431
movl -0x248(%rbp), %edi
movq -0x240(%rbp), %rsi
callq 0x12780
movq %rax, -0x360(%rbp)
movq %rdx, -0x358(%rbp)
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0x360(%rbp), %rax
cmpq $0x0, %rax
je 0x204431
movl -0x248(%rbp), %edi
movq -0x240(%rbp), %rsi
callq 0x12780
movq %rax, -0x370(%rbp)
movq %rdx, -0x368(%rbp)
movq -0x370(%rbp), %rax
andq $0x3, %rax
cmpq $0x0, %rax
jne 0x204431
movl -0x248(%rbp), %edi
movq -0x240(%rbp), %rsi
callq 0x12780
movq %rax, -0x380(%rbp)
movq %rdx, -0x378(%rbp)
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0x380(%rbp), %rax
movl (%rax), %ecx
addl $0x1, %ecx
movl %ecx, (%rax)
jmp 0x204433
movl -0x248(%rbp), %edi
movq -0x240(%rbp), %rsi
callq 0x1f3c0
andb $0x1, %al
movb %al, -0x381(%rbp)
movl -0x268(%rbp), %edi
movq -0x260(%rbp), %rsi
callq 0x12780
movq %rax, -0x398(%rbp)
movq %rdx, -0x390(%rbp)
movq -0x390(%rbp), %rax
andq $0x1, %rax
cmpq $0x0, %rax
je 0x204522
movl -0x268(%rbp), %edi
movq -0x260(%rbp), %rsi
callq 0x12780
movq %rax, -0x3a8(%rbp)
movq %rdx, -0x3a0(%rbp)
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0x3a8(%rbp), %rax
cmpq $0x0, %rax
je 0x204522
movl -0x268(%rbp), %edi
movq -0x260(%rbp), %rsi
callq 0x12780
movq %rax, -0x3b8(%rbp)
movq %rdx, -0x3b0(%rbp)
movq -0x3b8(%rbp), %rax
andq $0x3, %rax
cmpq $0x0, %rax
jne 0x204522
movl -0x268(%rbp), %edi
movq -0x260(%rbp), %rsi
callq 0x12780
movq %rax, -0x3c8(%rbp)
movq %rdx, -0x3c0(%rbp)
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0x3c8(%rbp), %rax
movl (%rax), %ecx
addl $0x1, %ecx
movl %ecx, (%rax)
jmp 0x204524
movl -0x268(%rbp), %edi
movq -0x260(%rbp), %rsi
callq 0x1f3c0
andb $0x1, %al
movb %al, -0x3c9(%rbp)
xorl %eax, %eax
testb $0x1, -0x381(%rbp)
movb %al, -0x486(%rbp)
je 0x20455b
movb -0x3c9(%rbp), %al
movb %al, -0x486(%rbp)
movb -0x486(%rbp), %al
andb $0x1, %al
movb %al, -0x3ca(%rbp)
movb -0x3ca(%rbp), %al
xorb $-0x1, %al
andb $0x1, %al
movb %al, -0x3cb(%rbp)
xorl %eax, %eax
testb $0x1, -0x3cb(%rbp)
movb %al, -0x487(%rbp)
je 0x204596
movb -0x33b(%rbp), %al
movb %al, -0x487(%rbp)
movb -0x487(%rbp), %al
andb $0x1, %al
movb %al, -0x3cc(%rbp)
movb -0x3cc(%rbp), %al
andb $0x1, %al
movb %al, -0x1fa(%rbp)
movb -0x33b(%rbp), %al
andb $0x1, %al
movb %al, -0x1f9(%rbp)
movq -0x268(%rbp), %rax
movq %rax, -0x1f8(%rbp)
movq -0x260(%rbp), %rax
movq %rax, -0x1f0(%rbp)
movq -0x248(%rbp), %rax
movq %rax, -0x1e8(%rbp)
movq -0x240(%rbp), %rax
movq %rax, -0x1e0(%rbp)
movq -0x280(%rbp), %rax
movq %rax, -0x1d8(%rbp)
jmp 0x203f5c
jmp 0x20460d
movl -0x1f8(%rbp), %edi
movq -0x1f0(%rbp), %rsi
callq 0x12780
movq %rax, -0x3e0(%rbp)
movq %rdx, -0x3d8(%rbp)
movq -0x3d8(%rbp), %rax
andq $0x1, %rax
cmpq $0x0, %rax
je 0x204720
movl -0x1f8(%rbp), %edi
movq -0x1f0(%rbp), %rsi
callq 0x12780
movq %rax, -0x3f0(%rbp)
movq %rdx, -0x3e8(%rbp)
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0x3f0(%rbp), %rax
cmpq $0x0, %rax
je 0x204720
movl -0x1f8(%rbp), %edi
movq -0x1f0(%rbp), %rsi
callq 0x12780
movq %rax, -0x400(%rbp)
movq %rdx, -0x3f8(%rbp)
movq -0x400(%rbp), %rax
andq $0x3, %rax
cmpq $0x0, %rax
jne 0x204720
movl -0x1f8(%rbp), %edi
movq -0x1f0(%rbp), %rsi
callq 0x12780
movq %rax, -0x410(%rbp)
movq %rdx, -0x408(%rbp)
movabsq $0xfffffffffffc, %rcx   # imm = 0xFFFFFFFFFFFC
andq -0x410(%rbp), %rcx
movl (%rcx), %eax
addl $-0x1, %eax
movl %eax, (%rcx)
cmpl $0x0, %eax
jne 0x20471e
movl -0x1f8(%rbp), %edi
movq -0x1f0(%rbp), %rsi
callq 0x12780
movq %rax, -0x420(%rbp)
movq %rdx, -0x418(%rbp)
movq -0x420(%rbp), %rdi
movq -0x418(%rbp), %rsi
callq 0x127c0
jmp 0x204720
jmp 0x204722
jmp 0x204724
movl -0x1e8(%rbp), %edi
movq -0x1e0(%rbp), %rsi
callq 0x12780
movq %rax, -0x430(%rbp)
movq %rdx, -0x428(%rbp)
movq -0x428(%rbp), %rax
andq $0x1, %rax
cmpq $0x0, %rax
je 0x204837
movl -0x1e8(%rbp), %edi
movq -0x1e0(%rbp), %rsi
callq 0x12780
movq %rax, -0x440(%rbp)
movq %rdx, -0x438(%rbp)
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0x440(%rbp), %rax
cmpq $0x0, %rax
je 0x204837
movl -0x1e8(%rbp), %edi
movq -0x1e0(%rbp), %rsi
callq 0x12780
movq %rax, -0x450(%rbp)
movq %rdx, -0x448(%rbp)
movq -0x450(%rbp), %rax
andq $0x3, %rax
cmpq $0x0, %rax
jne 0x204837
movl -0x1e8(%rbp), %edi
movq -0x1e0(%rbp), %rsi
callq 0x12780
movq %rax, -0x460(%rbp)
movq %rdx, -0x458(%rbp)
movabsq $0xfffffffffffc, %rcx   # imm = 0xFFFFFFFFFFFC
andq -0x460(%rbp), %rcx
movl (%rcx), %eax
addl $-0x1, %eax
movl %eax, (%rcx)
cmpl $0x0, %eax
jne 0x204835
movl -0x1e8(%rbp), %edi
movq -0x1e0(%rbp), %rsi
callq 0x12780
movq %rax, -0x470(%rbp)
movq %rdx, -0x468(%rbp)
movq -0x470(%rbp), %rdi
movq -0x468(%rbp), %rsi
callq 0x127c0
jmp 0x204837
jmp 0x204839
movq -0x1d8(%rbp), %rcx
movq -0x30(%rbp), %rax
movq %rcx, (%rax)
movb -0x1f9(%rbp), %al
andb $0x1, %al
addq $0x490, %rsp            # imm = 0x490
popq %rbp
retq
nopl (%rax,%rax)