// File: /workspace/github_c_makefile_star2_O0/mirth-lang[P]mirth/bin/mirth1.c
// Function: mw_std_path_Path_splitzelast
static STR* mw_std_path_Path_splitzelast (STR* in_Path_1, struct std_maybe_Maybe_1 *out_Maybe_3) {
	incref(MKSTR(in_Path_1));
	uint64_t v6 = str_size(in_Path_1);
	INT v7 = u64_to_int(v6);
	struct std_maybe_Maybe_1 v8 = { .tag=std_maybe_Maybe_1_None };
	incref(MK_std_maybe_Maybe_1(v8));
	int64_t v9 = (v8).tag;
	decref(MK_std_maybe_Maybe_1(v8));
	INT v10 = WRAP_I63(0LL);
	INT v11 = v10;
	INT v12 = i64_to_int(v9);
	bool v13 = int_eq(v12, v11);
	INT branch_Offset_14;
	VAL branch_zux1_15;
	bool branch_Bool_16;
	if (v13) {
		incref(MKINT(v7));
		INT v17 = WRAP_I63(0LL);
		INT v18 = v17;
		bool v19 = int_lt(v18, v7);
		branch_Bool_16 = v19;
		branch_zux1_15 = MK_std_maybe_Maybe_1(v8);
		branch_Offset_14 = v7;
	} else {
		bool v20 = false;
		branch_Bool_16 = v20;
		branch_zux1_15 = MK_std_maybe_Maybe_1(v8);
		branch_Offset_14 = v7;
	}
	STR* r21 = in_Path_1;
	INT v22 = branch_Offset_14;
	VAL v23 = branch_zux1_15;
	bool v24 = branch_Bool_16;
	while (v24) {
		STR* r25 = r21;
		INT v26 = v22;
		VAL v27 = v23;
		decref(v27);
		INT v28 = WRAP_I63(1LL);
		INT v29 = v28;
		INT v30 = int_sub(v26, v29);
		incref(MKINT(v30));
		STR* v31;
		enum std_byte_Byte v32 = mw_std_str_zaStr_bytezo(v30, r25, &v31);
		int64_t v33 = RUNNING_OS;
		enum std_prelude_OS v34 = mw_std_prim_I64_zgOS(v33);
		bool v35 = mw_std_prelude_OS_bytezeiszepathzeseparatorzy(v32, v34);
		STR* branch_zaStr_36;
		INT branch_Offset_37;
		struct std_maybe_Maybe_1 branch_Maybe_38;
		if (v35) {
			incref(MKINT(v30));
			struct std_maybe_Maybe_1 v39 = mtw_std_maybe_Maybe_1_Some(MKINT(v30));
			branch_Maybe_38 = v39;
			branch_Offset_37 = v30;
			branch_zaStr_36 = v31;
		} else {
			struct std_maybe_Maybe_1 v40 = { .tag=std_maybe_Maybe_1_None };
			branch_Maybe_38 = v40;
			branch_Offset_37 = v30;
			branch_zaStr_36 = v31;
		}
		incref(MK_std_maybe_Maybe_1(branch_Maybe_38));
		int64_t v41 = (branch_Maybe_38).tag;
		decref(MK_std_maybe_Maybe_1(branch_Maybe_38));
		INT v42 = WRAP_I63(0LL);
		INT v43 = v42;
		INT v44 = i64_to_int(v41);
		bool v45 = int_eq(v44, v43);
		INT branch_Offset_46;
		VAL branch_zux1_47;
		bool branch_Bool_48;
		if (v45) {
			incref(MKINT(branch_Offset_37));
			INT v49 = WRAP_I63(0LL);
			INT v50 = v49;
			bool v51 = int_lt(v50, branch_Offset_37);
			branch_Bool_48 = v51;
			branch_zux1_47 = MK_std_maybe_Maybe_1(branch_Maybe_38);
			branch_Offset_46 = branch_Offset_37;
		} else {
			bool v52 = false;
			branch_Bool_48 = v52;
			branch_zux1_47 = MK_std_maybe_Maybe_1(branch_Maybe_38);
			branch_Offset_46 = branch_Offset_37;
		}
		v24 = branch_Bool_48;
		v23 = branch_zux1_47;
		v22 = branch_Offset_46;
		r21 = branch_zaStr_36;
	}
	decref(MKINT(v22));
	struct std_maybe_Maybe_1 v53;
	STR* v54 = mw_std_maybe_Maybe_1_map_1_sp19(r21, V_std_maybe_Maybe_1(v23), &v53);
	*out_Maybe_3 = v53;
	return v54;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x4f0, %rsp            # imm = 0x4F0
movq %rdi, -0x8(%rbp)
movq %rsi, -0x10(%rbp)
movq -0x8(%rbp), %rax
movq %rax, -0x20(%rbp)
leaq 0x1a3b66(%rip), %rax    # 0x391158
orq $0x1, %rax
movq %rax, -0x18(%rbp)
movq -0x18(%rbp), %rax
andq $0x1, %rax
cmpq $0x0, %rax
je 0x1ed684
movq -0x8(%rbp), %rax
movq %rax, -0x30(%rbp)
leaq 0x1a3b41(%rip), %rax    # 0x391158
orq $0x1, %rax
movq %rax, -0x28(%rbp)
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0x30(%rbp), %rax
cmpq $0x0, %rax
je 0x1ed684
movq -0x8(%rbp), %rax
movq %rax, -0x40(%rbp)
leaq 0x1a3b16(%rip), %rax    # 0x391158
orq $0x1, %rax
movq %rax, -0x38(%rbp)
movq -0x40(%rbp), %rax
andq $0x3, %rax
cmpq $0x0, %rax
jne 0x1ed684
movq -0x8(%rbp), %rax
movq %rax, -0x50(%rbp)
leaq 0x1a3af1(%rip), %rax    # 0x391158
orq $0x1, %rax
movq %rax, -0x48(%rbp)
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0x50(%rbp), %rax
movl (%rax), %ecx
addl $0x1, %ecx
movl %ecx, (%rax)
jmp 0x1ed686
movq -0x8(%rbp), %rdi
callq 0x1b3f0
movq %rax, -0x58(%rbp)
movq -0x58(%rbp), %rdi
callq 0x1b520
movq %rax, -0x60(%rbp)
leaq -0x70(%rbp), %rdi
xorl %esi, %esi
movl $0x10, %edx
callq 0x5080
movl -0x70(%rbp), %edi
movq -0x68(%rbp), %rsi
callq 0x133a0
movq %rax, -0x80(%rbp)
movq %rdx, -0x78(%rbp)
movq -0x78(%rbp), %rax
andq $0x1, %rax
cmpq $0x0, %rax
je 0x1ed764
movl -0x70(%rbp), %edi
movq -0x68(%rbp), %rsi
callq 0x133a0
movq %rax, -0x90(%rbp)
movq %rdx, -0x88(%rbp)
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0x90(%rbp), %rax
cmpq $0x0, %rax
je 0x1ed764
movl -0x70(%rbp), %edi
movq -0x68(%rbp), %rsi
callq 0x133a0
movq %rax, -0xa0(%rbp)
movq %rdx, -0x98(%rbp)
movq -0xa0(%rbp), %rax
andq $0x3, %rax
cmpq $0x0, %rax
jne 0x1ed764
movl -0x70(%rbp), %edi
movq -0x68(%rbp), %rsi
callq 0x133a0
movq %rax, -0xb0(%rbp)
movq %rdx, -0xa8(%rbp)
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0xb0(%rbp), %rax
movl (%rax), %ecx
addl $0x1, %ecx
movl %ecx, (%rax)
jmp 0x1ed766
movl -0x70(%rbp), %eax
movq %rax, -0xb8(%rbp)
movl -0x70(%rbp), %edi
movq -0x68(%rbp), %rsi
callq 0x133a0
movq %rax, -0xc8(%rbp)
movq %rdx, -0xc0(%rbp)
movq -0xc0(%rbp), %rax
andq $0x1, %rax
cmpq $0x0, %rax
je 0x1ed865
movl -0x70(%rbp), %edi
movq -0x68(%rbp), %rsi
callq 0x133a0
movq %rax, -0xd8(%rbp)
movq %rdx, -0xd0(%rbp)
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0xd8(%rbp), %rax
cmpq $0x0, %rax
je 0x1ed865
movl -0x70(%rbp), %edi
movq -0x68(%rbp), %rsi
callq 0x133a0
movq %rax, -0xe8(%rbp)
movq %rdx, -0xe0(%rbp)
movq -0xe8(%rbp), %rax
andq $0x3, %rax
cmpq $0x0, %rax
jne 0x1ed865
movl -0x70(%rbp), %edi
movq -0x68(%rbp), %rsi
callq 0x133a0
movq %rax, -0xf8(%rbp)
movq %rdx, -0xf0(%rbp)
movabsq $0xfffffffffffc, %rcx   # imm = 0xFFFFFFFFFFFC
andq -0xf8(%rbp), %rcx
movl (%rcx), %eax
addl $-0x1, %eax
movl %eax, (%rcx)
cmpl $0x0, %eax
jne 0x1ed863
movl -0x70(%rbp), %edi
movq -0x68(%rbp), %rsi
callq 0x133a0
movq %rax, -0x108(%rbp)
movq %rdx, -0x100(%rbp)
movq -0x108(%rbp), %rdi
movq -0x100(%rbp), %rsi
callq 0x127c0
jmp 0x1ed865
jmp 0x1ed867
movq 0x1811e2(%rip), %rax    # 0x36ea50
movq %rax, -0x110(%rbp)
movq -0x110(%rbp), %rax
movq %rax, -0x118(%rbp)
movq -0xb8(%rbp), %rdi
callq 0x1a290
movq %rax, -0x120(%rbp)
movq -0x120(%rbp), %rdi
movq -0x118(%rbp), %rsi
callq 0x194b0
andb $0x1, %al
movb %al, -0x121(%rbp)
testb $0x1, -0x121(%rbp)
je 0x1eda10
jmp 0x1ed8c0
movq -0x60(%rbp), %rax
movq %rax, -0x158(%rbp)
leaq 0x1a3b56(%rip), %rax    # 0x391428
orq $0x1, %rax
movq %rax, -0x150(%rbp)
movq -0x150(%rbp), %rax
andq $0x1, %rax
cmpq $0x0, %rax
je 0x1ed989
movq -0x60(%rbp), %rax
movq %rax, -0x168(%rbp)
leaq 0x1a3b24(%rip), %rax    # 0x391428
orq $0x1, %rax
movq %rax, -0x160(%rbp)
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0x168(%rbp), %rax
cmpq $0x0, %rax
je 0x1ed989
movq -0x60(%rbp), %rax
movq %rax, -0x178(%rbp)
leaq 0x1a3af0(%rip), %rax    # 0x391428
orq $0x1, %rax
movq %rax, -0x170(%rbp)
movq -0x178(%rbp), %rax
andq $0x3, %rax
cmpq $0x0, %rax
jne 0x1ed989
movq -0x60(%rbp), %rax
movq %rax, -0x188(%rbp)
leaq 0x1a3ac2(%rip), %rax    # 0x391428
orq $0x1, %rax
movq %rax, -0x180(%rbp)
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0x188(%rbp), %rax
movl (%rax), %ecx
addl $0x1, %ecx
movl %ecx, (%rax)
jmp 0x1ed98b
movq 0x1810be(%rip), %rax    # 0x36ea50
movq %rax, -0x190(%rbp)
movq -0x190(%rbp), %rax
movq %rax, -0x198(%rbp)
movq -0x198(%rbp), %rdi
movq -0x60(%rbp), %rsi
callq 0xae20
andb $0x1, %al
movb %al, -0x199(%rbp)
movb -0x199(%rbp), %al
andb $0x1, %al
movb %al, -0x141(%rbp)
movl -0x70(%rbp), %edi
movq -0x68(%rbp), %rsi
callq 0x133a0
movq %rax, -0x1b0(%rbp)
movq %rdx, -0x1a8(%rbp)
movq -0x1b0(%rbp), %rax
movq %rax, -0x140(%rbp)
movq -0x1a8(%rbp), %rax
movq %rax, -0x138(%rbp)
movq -0x60(%rbp), %rax
movq %rax, -0x130(%rbp)
jmp 0x1eda66
movb $0x0, -0x1b1(%rbp)
movb -0x1b1(%rbp), %al
andb $0x1, %al
movb %al, -0x141(%rbp)
movl -0x70(%rbp), %edi
movq -0x68(%rbp), %rsi
callq 0x133a0
movq %rax, -0x1c8(%rbp)
movq %rdx, -0x1c0(%rbp)
movq -0x1c8(%rbp), %rax
movq %rax, -0x140(%rbp)
movq -0x1c0(%rbp), %rax
movq %rax, -0x138(%rbp)
movq -0x60(%rbp), %rax
movq %rax, -0x130(%rbp)
movq -0x8(%rbp), %rax
movq %rax, -0x1d0(%rbp)
movq -0x130(%rbp), %rax
movq %rax, -0x1d8(%rbp)
movq -0x140(%rbp), %rax
movq %rax, -0x1e8(%rbp)
movq -0x138(%rbp), %rax
movq %rax, -0x1e0(%rbp)
movb -0x141(%rbp), %al
andb $0x1, %al
movb %al, -0x1e9(%rbp)
testb $0x1, -0x1e9(%rbp)
je 0x1ee2cf
movq -0x1d0(%rbp), %rax
movq %rax, -0x1f8(%rbp)
movq -0x1d8(%rbp), %rax
movq %rax, -0x200(%rbp)
movq -0x1e8(%rbp), %rax
movq %rax, -0x210(%rbp)
movq -0x1e0(%rbp), %rax
movq %rax, -0x208(%rbp)
movq -0x208(%rbp), %rax
andq $0x1, %rax
cmpq $0x0, %rax
je 0x1edb59
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0x210(%rbp), %rax
cmpq $0x0, %rax
je 0x1edb59
movq -0x210(%rbp), %rax
andq $0x3, %rax
cmpq $0x0, %rax
jne 0x1edb59
movabsq $0xfffffffffffc, %rcx   # imm = 0xFFFFFFFFFFFC
andq -0x210(%rbp), %rcx
movl (%rcx), %eax
addl $-0x1, %eax
movl %eax, (%rcx)
cmpl $0x0, %eax
jne 0x1edb57
movq -0x210(%rbp), %rdi
movq -0x208(%rbp), %rsi
callq 0x127c0
jmp 0x1edb59
jmp 0x1edb5b
movq 0x180ef6(%rip), %rax    # 0x36ea58
movq %rax, -0x218(%rbp)
movq -0x218(%rbp), %rax
movq %rax, -0x220(%rbp)
movq -0x200(%rbp), %rdi
movq -0x220(%rbp), %rsi
callq 0x1c670
movq %rax, -0x228(%rbp)
movq -0x228(%rbp), %rax
movq %rax, -0x238(%rbp)
leaq 0x1a3882(%rip), %rax    # 0x391428
orq $0x1, %rax
movq %rax, -0x230(%rbp)
movq -0x230(%rbp), %rax
andq $0x1, %rax
cmpq $0x0, %rax
je 0x1edc66
movq -0x228(%rbp), %rax
movq %rax, -0x248(%rbp)
leaq 0x1a384d(%rip), %rax    # 0x391428
orq $0x1, %rax
movq %rax, -0x240(%rbp)
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0x248(%rbp), %rax
cmpq $0x0, %rax
je 0x1edc66
movq -0x228(%rbp), %rax
movq %rax, -0x258(%rbp)
leaq 0x1a3816(%rip), %rax    # 0x391428
orq $0x1, %rax
movq %rax, -0x250(%rbp)
movq -0x258(%rbp), %rax
andq $0x3, %rax
cmpq $0x0, %rax
jne 0x1edc66
movq -0x228(%rbp), %rax
movq %rax, -0x268(%rbp)
leaq 0x1a37e5(%rip), %rax    # 0x391428
orq $0x1, %rax
movq %rax, -0x260(%rbp)
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0x268(%rbp), %rax
movl (%rax), %ecx
addl $0x1, %ecx
movl %ecx, (%rax)
jmp 0x1edc68
movq -0x1f8(%rbp), %rsi
movq -0x228(%rbp), %rdi
leaq -0x270(%rbp), %rdx
callq 0x1b5a0
movl %eax, -0x274(%rbp)
movq $0x2, -0x280(%rbp)
movq -0x280(%rbp), %rdi
callq 0x1c2310
movl %eax, -0x284(%rbp)
movl -0x274(%rbp), %edi
movl -0x284(%rbp), %esi
callq 0x1ef110
andb $0x1, %al
movb %al, -0x285(%rbp)
testb $0x1, -0x285(%rbp)
je 0x1ede1e
jmp 0x1edccd
movq -0x228(%rbp), %rax
movq %rax, -0x2b8(%rbp)
leaq 0x1a3746(%rip), %rax    # 0x391428
orq $0x1, %rax
movq %rax, -0x2b0(%rbp)
movq -0x2b0(%rbp), %rax
andq $0x1, %rax
cmpq $0x0, %rax
je 0x1edda2
movq -0x228(%rbp), %rax
movq %rax, -0x2c8(%rbp)
leaq 0x1a3711(%rip), %rax    # 0x391428
orq $0x1, %rax
movq %rax, -0x2c0(%rbp)
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0x2c8(%rbp), %rax
cmpq $0x0, %rax
je 0x1edda2
movq -0x228(%rbp), %rax
movq %rax, -0x2d8(%rbp)
leaq 0x1a36da(%rip), %rax    # 0x391428
orq $0x1, %rax
movq %rax, -0x2d0(%rbp)
movq -0x2d8(%rbp), %rax
andq $0x3, %rax
cmpq $0x0, %rax
jne 0x1edda2
movq -0x228(%rbp), %rax
movq %rax, -0x2e8(%rbp)
leaq 0x1a36a9(%rip), %rax    # 0x391428
orq $0x1, %rax
movq %rax, -0x2e0(%rbp)
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0x2e8(%rbp), %rax
movl (%rax), %ecx
addl $0x1, %ecx
movl %ecx, (%rax)
jmp 0x1edda4
movq -0x228(%rbp), %rax
movq %rax, -0x308(%rbp)
leaq 0x1a366f(%rip), %rax    # 0x391428
orq $0x1, %rax
movq %rax, -0x300(%rbp)
movq -0x308(%rbp), %rdi
movq -0x300(%rbp), %rsi
callq 0xca10
movl %eax, -0x2f8(%rbp)
movq %rdx, -0x2f0(%rbp)
movq -0x2f8(%rbp), %rax
movq %rax, -0x2a8(%rbp)
movq -0x2f0(%rbp), %rax
movq %rax, -0x2a0(%rbp)
movq -0x228(%rbp), %rax
movq %rax, -0x298(%rbp)
movq -0x270(%rbp), %rax
movq %rax, -0x290(%rbp)
jmp 0x1ede69
leaq -0x318(%rbp), %rdi
xorl %esi, %esi
movl $0x10, %edx
callq 0x5080
movq -0x318(%rbp), %rax
movq %rax, -0x2a8(%rbp)
movq -0x310(%rbp), %rax
movq %rax, -0x2a0(%rbp)
movq -0x228(%rbp), %rax
movq %rax, -0x298(%rbp)
movq -0x270(%rbp), %rax
movq %rax, -0x290(%rbp)
jmp 0x1ede6b
movl -0x2a8(%rbp), %edi
movq -0x2a0(%rbp), %rsi
callq 0x133a0
movq %rax, -0x328(%rbp)
movq %rdx, -0x320(%rbp)
movq -0x320(%rbp), %rax
andq $0x1, %rax
cmpq $0x0, %rax
je 0x1edf40
movl -0x2a8(%rbp), %edi
movq -0x2a0(%rbp), %rsi
callq 0x133a0
movq %rax, -0x338(%rbp)
movq %rdx, -0x330(%rbp)
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0x338(%rbp), %rax
cmpq $0x0, %rax
je 0x1edf40
movl -0x2a8(%rbp), %edi
movq -0x2a0(%rbp), %rsi
callq 0x133a0
movq %rax, -0x348(%rbp)
movq %rdx, -0x340(%rbp)
movq -0x348(%rbp), %rax
andq $0x3, %rax
cmpq $0x0, %rax
jne 0x1edf40
movl -0x2a8(%rbp), %edi
movq -0x2a0(%rbp), %rsi
callq 0x133a0
movq %rax, -0x358(%rbp)
movq %rdx, -0x350(%rbp)
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0x358(%rbp), %rax
movl (%rax), %ecx
addl $0x1, %ecx
movl %ecx, (%rax)
jmp 0x1edf42
movl -0x2a8(%rbp), %eax
movq %rax, -0x360(%rbp)
movl -0x2a8(%rbp), %edi
movq -0x2a0(%rbp), %rsi
callq 0x133a0
movq %rax, -0x370(%rbp)
movq %rdx, -0x368(%rbp)
movq -0x368(%rbp), %rax
andq $0x1, %rax
cmpq $0x0, %rax
je 0x1ee062
movl -0x2a8(%rbp), %edi
movq -0x2a0(%rbp), %rsi
callq 0x133a0
movq %rax, -0x380(%rbp)
movq %rdx, -0x378(%rbp)
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0x380(%rbp), %rax
cmpq $0x0, %rax
je 0x1ee062
movl -0x2a8(%rbp), %edi
movq -0x2a0(%rbp), %rsi
callq 0x133a0
movq %rax, -0x390(%rbp)
movq %rdx, -0x388(%rbp)
movq -0x390(%rbp), %rax
andq $0x3, %rax
cmpq $0x0, %rax
jne 0x1ee062
movl -0x2a8(%rbp), %edi
movq -0x2a0(%rbp), %rsi
callq 0x133a0
movq %rax, -0x3a0(%rbp)
movq %rdx, -0x398(%rbp)
movabsq $0xfffffffffffc, %rcx   # imm = 0xFFFFFFFFFFFC
andq -0x3a0(%rbp), %rcx
movl (%rcx), %eax
addl $-0x1, %eax
movl %eax, (%rcx)
cmpl $0x0, %eax
jne 0x1ee060
movl -0x2a8(%rbp), %edi
movq -0x2a0(%rbp), %rsi
callq 0x133a0
movq %rax, -0x3b0(%rbp)
movq %rdx, -0x3a8(%rbp)
movq -0x3b0(%rbp), %rdi
movq -0x3a8(%rbp), %rsi
callq 0x127c0
jmp 0x1ee062
jmp 0x1ee064
movq 0x1809e5(%rip), %rax    # 0x36ea50
movq %rax, -0x3b8(%rbp)
movq -0x3b8(%rbp), %rax
movq %rax, -0x3c0(%rbp)
movq -0x360(%rbp), %rdi
callq 0x1a290
movq %rax, -0x3c8(%rbp)
movq -0x3c8(%rbp), %rdi
movq -0x3c0(%rbp), %rsi
callq 0x194b0
andb $0x1, %al
movb %al, -0x3c9(%rbp)
testb $0x1, -0x3c9(%rbp)
je 0x1ee225
jmp 0x1ee0bd
movq -0x298(%rbp), %rax
movq %rax, -0x400(%rbp)
leaq 0x1a3356(%rip), %rax    # 0x391428
orq $0x1, %rax
movq %rax, -0x3f8(%rbp)
movq -0x3f8(%rbp), %rax
andq $0x1, %rax
cmpq $0x0, %rax
je 0x1ee192
movq -0x298(%rbp), %rax
movq %rax, -0x410(%rbp)
leaq 0x1a3321(%rip), %rax    # 0x391428
orq $0x1, %rax
movq %rax, -0x408(%rbp)
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0x410(%rbp), %rax
cmpq $0x0, %rax
je 0x1ee192
movq -0x298(%rbp), %rax
movq %rax, -0x420(%rbp)
leaq 0x1a32ea(%rip), %rax    # 0x391428
orq $0x1, %rax
movq %rax, -0x418(%rbp)
movq -0x420(%rbp), %rax
andq $0x3, %rax
cmpq $0x0, %rax
jne 0x1ee192
movq -0x298(%rbp), %rax
movq %rax, -0x430(%rbp)
leaq 0x1a32b9(%rip), %rax    # 0x391428
orq $0x1, %rax
movq %rax, -0x428(%rbp)
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0x430(%rbp), %rax
movl (%rax), %ecx
addl $0x1, %ecx
movl %ecx, (%rax)
jmp 0x1ee194
movq 0x1808b5(%rip), %rax    # 0x36ea50
movq %rax, -0x438(%rbp)
movq -0x438(%rbp), %rax
movq %rax, -0x440(%rbp)
movq -0x440(%rbp), %rdi
movq -0x298(%rbp), %rsi
callq 0xae20
andb $0x1, %al
movb %al, -0x441(%rbp)
movb -0x441(%rbp), %al
andb $0x1, %al
movb %al, -0x3e9(%rbp)
movl -0x2a8(%rbp), %edi
movq -0x2a0(%rbp), %rsi
callq 0x133a0
movq %rax, -0x458(%rbp)
movq %rdx, -0x450(%rbp)
movq -0x458(%rbp), %rax
movq %rax, -0x3e8(%rbp)
movq -0x450(%rbp), %rax
movq %rax, -0x3e0(%rbp)
movq -0x298(%rbp), %rax
movq %rax, -0x3d8(%rbp)
jmp 0x1ee284
movb $0x0, -0x459(%rbp)
movb -0x459(%rbp), %al
andb $0x1, %al
movb %al, -0x3e9(%rbp)
movl -0x2a8(%rbp), %edi
movq -0x2a0(%rbp), %rsi
callq 0x133a0
movq %rax, -0x470(%rbp)
movq %rdx, -0x468(%rbp)
movq -0x470(%rbp), %rax
movq %rax, -0x3e8(%rbp)
movq -0x468(%rbp), %rax
movq %rax, -0x3e0(%rbp)
movq -0x298(%rbp), %rax
movq %rax, -0x3d8(%rbp)
movb -0x3e9(%rbp), %al
andb $0x1, %al
movb %al, -0x1e9(%rbp)
movq -0x3e8(%rbp), %rax
movq %rax, -0x1e8(%rbp)
movq -0x3e0(%rbp), %rax
movq %rax, -0x1e0(%rbp)
movq -0x3d8(%rbp), %rax
movq %rax, -0x1d8(%rbp)
movq -0x290(%rbp), %rax
movq %rax, -0x1d0(%rbp)
jmp 0x1edaa9
jmp 0x1ee2d1
movq -0x1d8(%rbp), %rax
movq %rax, -0x480(%rbp)
leaq 0x1a3142(%rip), %rax    # 0x391428
orq $0x1, %rax
movq %rax, -0x478(%rbp)
movq -0x478(%rbp), %rax
andq $0x1, %rax
cmpq $0x0, %rax
je 0x1ee3e4
movq -0x1d8(%rbp), %rax
movq %rax, -0x490(%rbp)
leaq 0x1a310d(%rip), %rax    # 0x391428
orq $0x1, %rax
movq %rax, -0x488(%rbp)
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0x490(%rbp), %rax
cmpq $0x0, %rax
je 0x1ee3e4
movq -0x1d8(%rbp), %rax
movq %rax, -0x4a0(%rbp)
leaq 0x1a30d2(%rip), %rax    # 0x391428
orq $0x1, %rax
movq %rax, -0x498(%rbp)
movq -0x4a0(%rbp), %rax
andq $0x3, %rax
cmpq $0x0, %rax
jne 0x1ee3e4
movq -0x1d8(%rbp), %rax
movq %rax, -0x4b0(%rbp)
leaq 0x1a30a1(%rip), %rax    # 0x391428
orq $0x1, %rax
movq %rax, -0x4a8(%rbp)
movabsq $0xfffffffffffc, %rcx   # imm = 0xFFFFFFFFFFFC
andq -0x4b0(%rbp), %rcx
movl (%rcx), %eax
addl $-0x1, %eax
movl %eax, (%rcx)
cmpl $0x0, %eax
jne 0x1ee3e2
movq -0x1d8(%rbp), %rax
movq %rax, -0x4c0(%rbp)
leaq 0x1a3064(%rip), %rax    # 0x391428
orq $0x1, %rax
movq %rax, -0x4b8(%rbp)
movq -0x4c0(%rbp), %rdi
movq -0x4b8(%rbp), %rsi
callq 0x127c0
jmp 0x1ee3e4
jmp 0x1ee3e6
movq -0x1d0(%rbp), %rax
movq %rax, -0x4f0(%rbp)
movq -0x1e8(%rbp), %rdi
movq -0x1e0(%rbp), %rsi
callq 0x135d0
movq -0x4f0(%rbp), %rdi
movl %eax, -0x4e8(%rbp)
movq %rdx, -0x4e0(%rbp)
movl -0x4e8(%rbp), %esi
movq -0x4e0(%rbp), %rdx
leaq -0x4d0(%rbp), %rcx
callq 0x1eee10
movq %rax, -0x4d8(%rbp)
movq -0x10(%rbp), %rax
movq -0x4d0(%rbp), %rcx
movq %rcx, (%rax)
movq -0x4c8(%rbp), %rcx
movq %rcx, 0x8(%rax)
movq -0x4d8(%rbp), %rax
addq $0x4f0, %rsp            # imm = 0x4F0
popq %rbp
retq
nopw %cs:(%rax,%rax)