// File: /workspace/github_c_makefile_star2_O0/mirth-lang[P]mirth/bin/mirth1.c
// Function: mw_std_str_clampzeslicezeoffsetzesizze
static INT mw_std_str_clampzeslicezeoffsetzesizze (INT in_Offset_1, INT in_Sizze_2, INT in_Sizze_3, INT *out_Sizze_5) {
	incref(MKINT(in_Sizze_3));
	INT v6 = WRAP_I63(0LL);
	incref(MKINT(v6));
	incref(MKINT(in_Offset_1));
	INT v7 = int_add(in_Sizze_2, in_Offset_1);
	incref(MKINT(v7));
	incref(MKINT(v6));
	bool v8 = int_lt(v7, v6);
	INT branch_Offset_9;
	if (v8) {
		decref(MKINT(v7));
		branch_Offset_9 = v6;
	} else {
		decref(MKINT(v6));
		branch_Offset_9 = v7;
	}
	incref(MKINT(branch_Offset_9));
	incref(MKINT(in_Sizze_3));
	bool v10 = int_lt(in_Sizze_3, branch_Offset_9);
	INT branch_Offset_11;
	if (v10) {
		decref(MKINT(branch_Offset_9));
		branch_Offset_11 = in_Sizze_3;
	} else {
		decref(MKINT(in_Sizze_3));
		branch_Offset_11 = branch_Offset_9;
	}
	incref(MKINT(in_Offset_1));
	incref(MKINT(v6));
	bool v12 = int_lt(in_Offset_1, v6);
	INT branch_Offset_13;
	if (v12) {
		decref(MKINT(in_Offset_1));
		branch_Offset_13 = v6;
	} else {
		decref(MKINT(v6));
		branch_Offset_13 = in_Offset_1;
	}
	incref(MKINT(branch_Offset_13));
	incref(MKINT(in_Sizze_3));
	bool v14 = int_lt(in_Sizze_3, branch_Offset_13);
	INT branch_Offset_15;
	if (v14) {
		decref(MKINT(branch_Offset_13));
		branch_Offset_15 = in_Sizze_3;
	} else {
		decref(MKINT(in_Sizze_3));
		branch_Offset_15 = branch_Offset_13;
	}
	incref(MKINT(branch_Offset_15));
	INT v16 = int_sub(branch_Offset_11, branch_Offset_15);
	INT v17 = WRAP_I63(0LL);
	incref(MKINT(v16));
	incref(MKINT(v17));
	bool v18 = int_lt(v16, v17);
	INT branch_Sizze_19;
	if (v18) {
		decref(MKINT(v16));
		branch_Sizze_19 = v17;
	} else {
		decref(MKINT(v17));
		branch_Sizze_19 = v16;
	}
	*out_Sizze_5 = branch_Sizze_19;
	return branch_Offset_15;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x730, %rsp            # imm = 0x730
movq %rdi, -0x10(%rbp)
movq %rsi, -0x18(%rbp)
movq %rdx, -0x20(%rbp)
movq %rcx, -0x28(%rbp)
movq -0x20(%rbp), %rax
movq %rax, -0x38(%rbp)
leaq 0x37441e(%rip), %rax    # 0x391428
orq $0x1, %rax
movq %rax, -0x30(%rbp)
movq -0x30(%rbp), %rax
andq $0x1, %rax
cmpq $0x0, %rax
je 0x1d09c
movq -0x20(%rbp), %rax
movq %rax, -0x48(%rbp)
leaq 0x3743f9(%rip), %rax    # 0x391428
orq $0x1, %rax
movq %rax, -0x40(%rbp)
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0x48(%rbp), %rax
cmpq $0x0, %rax
je 0x1d09c
movq -0x20(%rbp), %rax
movq %rax, -0x58(%rbp)
leaq 0x3743ce(%rip), %rax    # 0x391428
orq $0x1, %rax
movq %rax, -0x50(%rbp)
movq -0x58(%rbp), %rax
andq $0x3, %rax
cmpq $0x0, %rax
jne 0x1d09c
movq -0x20(%rbp), %rax
movq %rax, -0x68(%rbp)
leaq 0x3743a9(%rip), %rax    # 0x391428
orq $0x1, %rax
movq %rax, -0x60(%rbp)
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0x68(%rbp), %rax
movl (%rax), %ecx
addl $0x1, %ecx
movl %ecx, (%rax)
jmp 0x1d09e
movq 0x3519ab(%rip), %rax    # 0x36ea50
movq %rax, -0x70(%rbp)
movq -0x70(%rbp), %rax
movq %rax, -0x80(%rbp)
leaq 0x374370(%rip), %rax    # 0x391428
orq $0x1, %rax
movq %rax, -0x78(%rbp)
movq -0x78(%rbp), %rax
andq $0x1, %rax
cmpq $0x0, %rax
je 0x1d169
movq -0x70(%rbp), %rax
movq %rax, -0x90(%rbp)
leaq 0x374344(%rip), %rax    # 0x391428
orq $0x1, %rax
movq %rax, -0x88(%rbp)
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0x90(%rbp), %rax
cmpq $0x0, %rax
je 0x1d169
movq -0x70(%rbp), %rax
movq %rax, -0xa0(%rbp)
leaq 0x374310(%rip), %rax    # 0x391428
orq $0x1, %rax
movq %rax, -0x98(%rbp)
movq -0xa0(%rbp), %rax
andq $0x3, %rax
cmpq $0x0, %rax
jne 0x1d169
movq -0x70(%rbp), %rax
movq %rax, -0xb0(%rbp)
leaq 0x3742e2(%rip), %rax    # 0x391428
orq $0x1, %rax
movq %rax, -0xa8(%rbp)
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0xb0(%rbp), %rax
movl (%rax), %ecx
addl $0x1, %ecx
movl %ecx, (%rax)
jmp 0x1d16b
jmp 0x1d16d
movq -0x10(%rbp), %rax
movq %rax, -0xc0(%rbp)
leaq 0x3742a9(%rip), %rax    # 0x391428
orq $0x1, %rax
movq %rax, -0xb8(%rbp)
movq -0xb8(%rbp), %rax
andq $0x1, %rax
cmpq $0x0, %rax
je 0x1d236
movq -0x10(%rbp), %rax
movq %rax, -0xd0(%rbp)
leaq 0x374277(%rip), %rax    # 0x391428
orq $0x1, %rax
movq %rax, -0xc8(%rbp)
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0xd0(%rbp), %rax
cmpq $0x0, %rax
je 0x1d236
movq -0x10(%rbp), %rax
movq %rax, -0xe0(%rbp)
leaq 0x374243(%rip), %rax    # 0x391428
orq $0x1, %rax
movq %rax, -0xd8(%rbp)
movq -0xe0(%rbp), %rax
andq $0x3, %rax
cmpq $0x0, %rax
jne 0x1d236
movq -0x10(%rbp), %rax
movq %rax, -0xf0(%rbp)
leaq 0x374215(%rip), %rax    # 0x391428
orq $0x1, %rax
movq %rax, -0xe8(%rbp)
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0xf0(%rbp), %rax
movl (%rax), %ecx
addl $0x1, %ecx
movl %ecx, (%rax)
jmp 0x1d238
movq -0x18(%rbp), %rdi
movq -0x10(%rbp), %rsi
callq 0x1b780
movq %rax, -0xf8(%rbp)
movq -0xf8(%rbp), %rax
movq %rax, -0x108(%rbp)
leaq 0x3741c7(%rip), %rax    # 0x391428
orq $0x1, %rax
movq %rax, -0x100(%rbp)
movq -0x100(%rbp), %rax
andq $0x1, %rax
cmpq $0x0, %rax
je 0x1d321
movq -0xf8(%rbp), %rax
movq %rax, -0x118(%rbp)
leaq 0x374192(%rip), %rax    # 0x391428
orq $0x1, %rax
movq %rax, -0x110(%rbp)
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0x118(%rbp), %rax
cmpq $0x0, %rax
je 0x1d321
movq -0xf8(%rbp), %rax
movq %rax, -0x128(%rbp)
leaq 0x37415b(%rip), %rax    # 0x391428
orq $0x1, %rax
movq %rax, -0x120(%rbp)
movq -0x128(%rbp), %rax
andq $0x3, %rax
cmpq $0x0, %rax
jne 0x1d321
movq -0xf8(%rbp), %rax
movq %rax, -0x138(%rbp)
leaq 0x37412a(%rip), %rax    # 0x391428
orq $0x1, %rax
movq %rax, -0x130(%rbp)
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0x138(%rbp), %rax
movl (%rax), %ecx
addl $0x1, %ecx
movl %ecx, (%rax)
jmp 0x1d323
jmp 0x1d325
movq -0x70(%rbp), %rax
movq %rax, -0x148(%rbp)
leaq 0x3740f1(%rip), %rax    # 0x391428
orq $0x1, %rax
movq %rax, -0x140(%rbp)
movq -0x140(%rbp), %rax
andq $0x1, %rax
cmpq $0x0, %rax
je 0x1d3ee
movq -0x70(%rbp), %rax
movq %rax, -0x158(%rbp)
leaq 0x3740bf(%rip), %rax    # 0x391428
orq $0x1, %rax
movq %rax, -0x150(%rbp)
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0x158(%rbp), %rax
cmpq $0x0, %rax
je 0x1d3ee
movq -0x70(%rbp), %rax
movq %rax, -0x168(%rbp)
leaq 0x37408b(%rip), %rax    # 0x391428
orq $0x1, %rax
movq %rax, -0x160(%rbp)
movq -0x168(%rbp), %rax
andq $0x3, %rax
cmpq $0x0, %rax
jne 0x1d3ee
movq -0x70(%rbp), %rax
movq %rax, -0x178(%rbp)
leaq 0x37405d(%rip), %rax    # 0x391428
orq $0x1, %rax
movq %rax, -0x170(%rbp)
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0x178(%rbp), %rax
movl (%rax), %ecx
addl $0x1, %ecx
movl %ecx, (%rax)
jmp 0x1d3f0
movq -0xf8(%rbp), %rdi
movq -0x70(%rbp), %rsi
callq 0xae20
andb $0x1, %al
movb %al, -0x179(%rbp)
testb $0x1, -0x179(%rbp)
je 0x1d53c
jmp 0x1d417
movq -0xf8(%rbp), %rax
movq %rax, -0x198(%rbp)
leaq 0x373ffc(%rip), %rax    # 0x391428
orq $0x1, %rax
movq %rax, -0x190(%rbp)
movq -0x190(%rbp), %rax
andq $0x1, %rax
cmpq $0x0, %rax
je 0x1d52a
movq -0xf8(%rbp), %rax
movq %rax, -0x1a8(%rbp)
leaq 0x373fc7(%rip), %rax    # 0x391428
orq $0x1, %rax
movq %rax, -0x1a0(%rbp)
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0x1a8(%rbp), %rax
cmpq $0x0, %rax
je 0x1d52a
movq -0xf8(%rbp), %rax
movq %rax, -0x1b8(%rbp)
leaq 0x373f8c(%rip), %rax    # 0x391428
orq $0x1, %rax
movq %rax, -0x1b0(%rbp)
movq -0x1b8(%rbp), %rax
andq $0x3, %rax
cmpq $0x0, %rax
jne 0x1d52a
movq -0xf8(%rbp), %rax
movq %rax, -0x1c8(%rbp)
leaq 0x373f5b(%rip), %rax    # 0x391428
orq $0x1, %rax
movq %rax, -0x1c0(%rbp)
movabsq $0xfffffffffffc, %rcx   # imm = 0xFFFFFFFFFFFC
andq -0x1c8(%rbp), %rcx
movl (%rcx), %eax
addl $-0x1, %eax
movl %eax, (%rcx)
cmpl $0x0, %eax
jne 0x1d528
movq -0xf8(%rbp), %rax
movq %rax, -0x1d8(%rbp)
leaq 0x373f1e(%rip), %rax    # 0x391428
orq $0x1, %rax
movq %rax, -0x1d0(%rbp)
movq -0x1d8(%rbp), %rdi
movq -0x1d0(%rbp), %rsi
callq 0x127c0
jmp 0x1d52a
jmp 0x1d52c
movq -0x70(%rbp), %rax
movq %rax, -0x188(%rbp)
jmp 0x1d652
jmp 0x1d53e
movq -0x70(%rbp), %rax
movq %rax, -0x1e8(%rbp)
leaq 0x373ed8(%rip), %rax    # 0x391428
orq $0x1, %rax
movq %rax, -0x1e0(%rbp)
movq -0x1e0(%rbp), %rax
andq $0x1, %rax
cmpq $0x0, %rax
je 0x1d642
movq -0x70(%rbp), %rax
movq %rax, -0x1f8(%rbp)
leaq 0x373ea6(%rip), %rax    # 0x391428
orq $0x1, %rax
movq %rax, -0x1f0(%rbp)
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0x1f8(%rbp), %rax
cmpq $0x0, %rax
je 0x1d642
movq -0x70(%rbp), %rax
movq %rax, -0x208(%rbp)
leaq 0x373e6e(%rip), %rax    # 0x391428
orq $0x1, %rax
movq %rax, -0x200(%rbp)
movq -0x208(%rbp), %rax
andq $0x3, %rax
cmpq $0x0, %rax
jne 0x1d642
movq -0x70(%rbp), %rax
movq %rax, -0x218(%rbp)
leaq 0x373e40(%rip), %rax    # 0x391428
orq $0x1, %rax
movq %rax, -0x210(%rbp)
movabsq $0xfffffffffffc, %rcx   # imm = 0xFFFFFFFFFFFC
andq -0x218(%rbp), %rcx
movl (%rcx), %eax
addl $-0x1, %eax
movl %eax, (%rcx)
cmpl $0x0, %eax
jne 0x1d640
movq -0x70(%rbp), %rax
movq %rax, -0x228(%rbp)
leaq 0x373e06(%rip), %rax    # 0x391428
orq $0x1, %rax
movq %rax, -0x220(%rbp)
movq -0x228(%rbp), %rdi
movq -0x220(%rbp), %rsi
callq 0x127c0
jmp 0x1d642
jmp 0x1d644
movq -0xf8(%rbp), %rax
movq %rax, -0x188(%rbp)
jmp 0x1d654
movq -0x188(%rbp), %rax
movq %rax, -0x238(%rbp)
leaq 0x373dbf(%rip), %rax    # 0x391428
orq $0x1, %rax
movq %rax, -0x230(%rbp)
movq -0x230(%rbp), %rax
andq $0x1, %rax
cmpq $0x0, %rax
je 0x1d729
movq -0x188(%rbp), %rax
movq %rax, -0x248(%rbp)
leaq 0x373d8a(%rip), %rax    # 0x391428
orq $0x1, %rax
movq %rax, -0x240(%rbp)
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0x248(%rbp), %rax
cmpq $0x0, %rax
je 0x1d729
movq -0x188(%rbp), %rax
movq %rax, -0x258(%rbp)
leaq 0x373d53(%rip), %rax    # 0x391428
orq $0x1, %rax
movq %rax, -0x250(%rbp)
movq -0x258(%rbp), %rax
andq $0x3, %rax
cmpq $0x0, %rax
jne 0x1d729
movq -0x188(%rbp), %rax
movq %rax, -0x268(%rbp)
leaq 0x373d22(%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 0x1d72b
jmp 0x1d72d
movq -0x20(%rbp), %rax
movq %rax, -0x278(%rbp)
leaq 0x373ce9(%rip), %rax    # 0x391428
orq $0x1, %rax
movq %rax, -0x270(%rbp)
movq -0x270(%rbp), %rax
andq $0x1, %rax
cmpq $0x0, %rax
je 0x1d7f6
movq -0x20(%rbp), %rax
movq %rax, -0x288(%rbp)
leaq 0x373cb7(%rip), %rax    # 0x391428
orq $0x1, %rax
movq %rax, -0x280(%rbp)
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0x288(%rbp), %rax
cmpq $0x0, %rax
je 0x1d7f6
movq -0x20(%rbp), %rax
movq %rax, -0x298(%rbp)
leaq 0x373c83(%rip), %rax    # 0x391428
orq $0x1, %rax
movq %rax, -0x290(%rbp)
movq -0x298(%rbp), %rax
andq $0x3, %rax
cmpq $0x0, %rax
jne 0x1d7f6
movq -0x20(%rbp), %rax
movq %rax, -0x2a8(%rbp)
leaq 0x373c55(%rip), %rax    # 0x391428
orq $0x1, %rax
movq %rax, -0x2a0(%rbp)
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0x2a8(%rbp), %rax
movl (%rax), %ecx
addl $0x1, %ecx
movl %ecx, (%rax)
jmp 0x1d7f8
movq -0x20(%rbp), %rdi
movq -0x188(%rbp), %rsi
callq 0xae20
andb $0x1, %al
movb %al, -0x2a9(%rbp)
testb $0x1, -0x2a9(%rbp)
je 0x1d944
jmp 0x1d81f
movq -0x188(%rbp), %rax
movq %rax, -0x2c8(%rbp)
leaq 0x373bf4(%rip), %rax    # 0x391428
orq $0x1, %rax
movq %rax, -0x2c0(%rbp)
movq -0x2c0(%rbp), %rax
andq $0x1, %rax
cmpq $0x0, %rax
je 0x1d932
movq -0x188(%rbp), %rax
movq %rax, -0x2d8(%rbp)
leaq 0x373bbf(%rip), %rax    # 0x391428
orq $0x1, %rax
movq %rax, -0x2d0(%rbp)
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0x2d8(%rbp), %rax
cmpq $0x0, %rax
je 0x1d932
movq -0x188(%rbp), %rax
movq %rax, -0x2e8(%rbp)
leaq 0x373b84(%rip), %rax    # 0x391428
orq $0x1, %rax
movq %rax, -0x2e0(%rbp)
movq -0x2e8(%rbp), %rax
andq $0x3, %rax
cmpq $0x0, %rax
jne 0x1d932
movq -0x188(%rbp), %rax
movq %rax, -0x2f8(%rbp)
leaq 0x373b53(%rip), %rax    # 0x391428
orq $0x1, %rax
movq %rax, -0x2f0(%rbp)
movabsq $0xfffffffffffc, %rcx   # imm = 0xFFFFFFFFFFFC
andq -0x2f8(%rbp), %rcx
movl (%rcx), %eax
addl $-0x1, %eax
movl %eax, (%rcx)
cmpl $0x0, %eax
jne 0x1d930
movq -0x188(%rbp), %rax
movq %rax, -0x308(%rbp)
leaq 0x373b16(%rip), %rax    # 0x391428
orq $0x1, %rax
movq %rax, -0x300(%rbp)
movq -0x308(%rbp), %rdi
movq -0x300(%rbp), %rsi
callq 0x127c0
jmp 0x1d932
jmp 0x1d934
movq -0x20(%rbp), %rax
movq %rax, -0x2b8(%rbp)
jmp 0x1da5a
jmp 0x1d946
movq -0x20(%rbp), %rax
movq %rax, -0x318(%rbp)
leaq 0x373ad0(%rip), %rax    # 0x391428
orq $0x1, %rax
movq %rax, -0x310(%rbp)
movq -0x310(%rbp), %rax
andq $0x1, %rax
cmpq $0x0, %rax
je 0x1da4a
movq -0x20(%rbp), %rax
movq %rax, -0x328(%rbp)
leaq 0x373a9e(%rip), %rax    # 0x391428
orq $0x1, %rax
movq %rax, -0x320(%rbp)
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0x328(%rbp), %rax
cmpq $0x0, %rax
je 0x1da4a
movq -0x20(%rbp), %rax
movq %rax, -0x338(%rbp)
leaq 0x373a66(%rip), %rax    # 0x391428
orq $0x1, %rax
movq %rax, -0x330(%rbp)
movq -0x338(%rbp), %rax
andq $0x3, %rax
cmpq $0x0, %rax
jne 0x1da4a
movq -0x20(%rbp), %rax
movq %rax, -0x348(%rbp)
leaq 0x373a38(%rip), %rax    # 0x391428
orq $0x1, %rax
movq %rax, -0x340(%rbp)
movabsq $0xfffffffffffc, %rcx   # imm = 0xFFFFFFFFFFFC
andq -0x348(%rbp), %rcx
movl (%rcx), %eax
addl $-0x1, %eax
movl %eax, (%rcx)
cmpl $0x0, %eax
jne 0x1da48
movq -0x20(%rbp), %rax
movq %rax, -0x358(%rbp)
leaq 0x3739fe(%rip), %rax    # 0x391428
orq $0x1, %rax
movq %rax, -0x350(%rbp)
movq -0x358(%rbp), %rdi
movq -0x350(%rbp), %rsi
callq 0x127c0
jmp 0x1da4a
jmp 0x1da4c
movq -0x188(%rbp), %rax
movq %rax, -0x2b8(%rbp)
jmp 0x1da5c
movq -0x10(%rbp), %rax
movq %rax, -0x368(%rbp)
leaq 0x3739ba(%rip), %rax    # 0x391428
orq $0x1, %rax
movq %rax, -0x360(%rbp)
movq -0x360(%rbp), %rax
andq $0x1, %rax
cmpq $0x0, %rax
je 0x1db25
movq -0x10(%rbp), %rax
movq %rax, -0x378(%rbp)
leaq 0x373988(%rip), %rax    # 0x391428
orq $0x1, %rax
movq %rax, -0x370(%rbp)
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0x378(%rbp), %rax
cmpq $0x0, %rax
je 0x1db25
movq -0x10(%rbp), %rax
movq %rax, -0x388(%rbp)
leaq 0x373954(%rip), %rax    # 0x391428
orq $0x1, %rax
movq %rax, -0x380(%rbp)
movq -0x388(%rbp), %rax
andq $0x3, %rax
cmpq $0x0, %rax
jne 0x1db25
movq -0x10(%rbp), %rax
movq %rax, -0x398(%rbp)
leaq 0x373926(%rip), %rax    # 0x391428
orq $0x1, %rax
movq %rax, -0x390(%rbp)
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0x398(%rbp), %rax
movl (%rax), %ecx
addl $0x1, %ecx
movl %ecx, (%rax)
jmp 0x1db27
jmp 0x1db29
movq -0x70(%rbp), %rax
movq %rax, -0x3a8(%rbp)
leaq 0x3738ed(%rip), %rax    # 0x391428
orq $0x1, %rax
movq %rax, -0x3a0(%rbp)
movq -0x3a0(%rbp), %rax
andq $0x1, %rax
cmpq $0x0, %rax
je 0x1dbf2
movq -0x70(%rbp), %rax
movq %rax, -0x3b8(%rbp)
leaq 0x3738bb(%rip), %rax    # 0x391428
orq $0x1, %rax
movq %rax, -0x3b0(%rbp)
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0x3b8(%rbp), %rax
cmpq $0x0, %rax
je 0x1dbf2
movq -0x70(%rbp), %rax
movq %rax, -0x3c8(%rbp)
leaq 0x373887(%rip), %rax    # 0x391428
orq $0x1, %rax
movq %rax, -0x3c0(%rbp)
movq -0x3c8(%rbp), %rax
andq $0x3, %rax
cmpq $0x0, %rax
jne 0x1dbf2
movq -0x70(%rbp), %rax
movq %rax, -0x3d8(%rbp)
leaq 0x373859(%rip), %rax    # 0x391428
orq $0x1, %rax
movq %rax, -0x3d0(%rbp)
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0x3d8(%rbp), %rax
movl (%rax), %ecx
addl $0x1, %ecx
movl %ecx, (%rax)
jmp 0x1dbf4
movq -0x10(%rbp), %rdi
movq -0x70(%rbp), %rsi
callq 0xae20
andb $0x1, %al
movb %al, -0x3d9(%rbp)
testb $0x1, -0x3d9(%rbp)
je 0x1dd2e
jmp 0x1dc18
movq -0x10(%rbp), %rax
movq %rax, -0x3f8(%rbp)
leaq 0x3737fe(%rip), %rax    # 0x391428
orq $0x1, %rax
movq %rax, -0x3f0(%rbp)
movq -0x3f0(%rbp), %rax
andq $0x1, %rax
cmpq $0x0, %rax
je 0x1dd1c
movq -0x10(%rbp), %rax
movq %rax, -0x408(%rbp)
leaq 0x3737cc(%rip), %rax    # 0x391428
orq $0x1, %rax
movq %rax, -0x400(%rbp)
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0x408(%rbp), %rax
cmpq $0x0, %rax
je 0x1dd1c
movq -0x10(%rbp), %rax
movq %rax, -0x418(%rbp)
leaq 0x373794(%rip), %rax    # 0x391428
orq $0x1, %rax
movq %rax, -0x410(%rbp)
movq -0x418(%rbp), %rax
andq $0x3, %rax
cmpq $0x0, %rax
jne 0x1dd1c
movq -0x10(%rbp), %rax
movq %rax, -0x428(%rbp)
leaq 0x373766(%rip), %rax    # 0x391428
orq $0x1, %rax
movq %rax, -0x420(%rbp)
movabsq $0xfffffffffffc, %rcx   # imm = 0xFFFFFFFFFFFC
andq -0x428(%rbp), %rcx
movl (%rcx), %eax
addl $-0x1, %eax
movl %eax, (%rcx)
cmpl $0x0, %eax
jne 0x1dd1a
movq -0x10(%rbp), %rax
movq %rax, -0x438(%rbp)
leaq 0x37372c(%rip), %rax    # 0x391428
orq $0x1, %rax
movq %rax, -0x430(%rbp)
movq -0x438(%rbp), %rdi
movq -0x430(%rbp), %rsi
callq 0x127c0
jmp 0x1dd1c
jmp 0x1dd1e
movq -0x70(%rbp), %rax
movq %rax, -0x3e8(%rbp)
jmp 0x1de41
jmp 0x1dd30
movq -0x70(%rbp), %rax
movq %rax, -0x448(%rbp)
leaq 0x3736e6(%rip), %rax    # 0x391428
orq $0x1, %rax
movq %rax, -0x440(%rbp)
movq -0x440(%rbp), %rax
andq $0x1, %rax
cmpq $0x0, %rax
je 0x1de34
movq -0x70(%rbp), %rax
movq %rax, -0x458(%rbp)
leaq 0x3736b4(%rip), %rax    # 0x391428
orq $0x1, %rax
movq %rax, -0x450(%rbp)
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0x458(%rbp), %rax
cmpq $0x0, %rax
je 0x1de34
movq -0x70(%rbp), %rax
movq %rax, -0x468(%rbp)
leaq 0x37367c(%rip), %rax    # 0x391428
orq $0x1, %rax
movq %rax, -0x460(%rbp)
movq -0x468(%rbp), %rax
andq $0x3, %rax
cmpq $0x0, %rax
jne 0x1de34
movq -0x70(%rbp), %rax
movq %rax, -0x478(%rbp)
leaq 0x37364e(%rip), %rax    # 0x391428
orq $0x1, %rax
movq %rax, -0x470(%rbp)
movabsq $0xfffffffffffc, %rcx   # imm = 0xFFFFFFFFFFFC
andq -0x478(%rbp), %rcx
movl (%rcx), %eax
addl $-0x1, %eax
movl %eax, (%rcx)
cmpl $0x0, %eax
jne 0x1de32
movq -0x70(%rbp), %rax
movq %rax, -0x488(%rbp)
leaq 0x373614(%rip), %rax    # 0x391428
orq $0x1, %rax
movq %rax, -0x480(%rbp)
movq -0x488(%rbp), %rdi
movq -0x480(%rbp), %rsi
callq 0x127c0
jmp 0x1de34
jmp 0x1de36
movq -0x10(%rbp), %rax
movq %rax, -0x3e8(%rbp)
jmp 0x1de43
movq -0x3e8(%rbp), %rax
movq %rax, -0x498(%rbp)
leaq 0x3735d0(%rip), %rax    # 0x391428
orq $0x1, %rax
movq %rax, -0x490(%rbp)
movq -0x490(%rbp), %rax
andq $0x1, %rax
cmpq $0x0, %rax
je 0x1df18
movq -0x3e8(%rbp), %rax
movq %rax, -0x4a8(%rbp)
leaq 0x37359b(%rip), %rax    # 0x391428
orq $0x1, %rax
movq %rax, -0x4a0(%rbp)
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0x4a8(%rbp), %rax
cmpq $0x0, %rax
je 0x1df18
movq -0x3e8(%rbp), %rax
movq %rax, -0x4b8(%rbp)
leaq 0x373564(%rip), %rax    # 0x391428
orq $0x1, %rax
movq %rax, -0x4b0(%rbp)
movq -0x4b8(%rbp), %rax
andq $0x3, %rax
cmpq $0x0, %rax
jne 0x1df18
movq -0x3e8(%rbp), %rax
movq %rax, -0x4c8(%rbp)
leaq 0x373533(%rip), %rax    # 0x391428
orq $0x1, %rax
movq %rax, -0x4c0(%rbp)
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0x4c8(%rbp), %rax
movl (%rax), %ecx
addl $0x1, %ecx
movl %ecx, (%rax)
jmp 0x1df1a
jmp 0x1df1c
movq -0x20(%rbp), %rax
movq %rax, -0x4d8(%rbp)
leaq 0x3734fa(%rip), %rax    # 0x391428
orq $0x1, %rax
movq %rax, -0x4d0(%rbp)
movq -0x4d0(%rbp), %rax
andq $0x1, %rax
cmpq $0x0, %rax
je 0x1dfe5
movq -0x20(%rbp), %rax
movq %rax, -0x4e8(%rbp)
leaq 0x3734c8(%rip), %rax    # 0x391428
orq $0x1, %rax
movq %rax, -0x4e0(%rbp)
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0x4e8(%rbp), %rax
cmpq $0x0, %rax
je 0x1dfe5
movq -0x20(%rbp), %rax
movq %rax, -0x4f8(%rbp)
leaq 0x373494(%rip), %rax    # 0x391428
orq $0x1, %rax
movq %rax, -0x4f0(%rbp)
movq -0x4f8(%rbp), %rax
andq $0x3, %rax
cmpq $0x0, %rax
jne 0x1dfe5
movq -0x20(%rbp), %rax
movq %rax, -0x508(%rbp)
leaq 0x373466(%rip), %rax    # 0x391428
orq $0x1, %rax
movq %rax, -0x500(%rbp)
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0x508(%rbp), %rax
movl (%rax), %ecx
addl $0x1, %ecx
movl %ecx, (%rax)
jmp 0x1dfe7
movq -0x20(%rbp), %rdi
movq -0x3e8(%rbp), %rsi
callq 0xae20
andb $0x1, %al
movb %al, -0x509(%rbp)
testb $0x1, -0x509(%rbp)
je 0x1e130
jmp 0x1e00e
movq -0x3e8(%rbp), %rax
movq %rax, -0x520(%rbp)
leaq 0x373405(%rip), %rax    # 0x391428
orq $0x1, %rax
movq %rax, -0x518(%rbp)
movq -0x518(%rbp), %rax
andq $0x1, %rax
cmpq $0x0, %rax
je 0x1e121
movq -0x3e8(%rbp), %rax
movq %rax, -0x530(%rbp)
leaq 0x3733d0(%rip), %rax    # 0x391428
orq $0x1, %rax
movq %rax, -0x528(%rbp)
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0x530(%rbp), %rax
cmpq $0x0, %rax
je 0x1e121
movq -0x3e8(%rbp), %rax
movq %rax, -0x540(%rbp)
leaq 0x373395(%rip), %rax    # 0x391428
orq $0x1, %rax
movq %rax, -0x538(%rbp)
movq -0x540(%rbp), %rax
andq $0x3, %rax
cmpq $0x0, %rax
jne 0x1e121
movq -0x3e8(%rbp), %rax
movq %rax, -0x550(%rbp)
leaq 0x373364(%rip), %rax    # 0x391428
orq $0x1, %rax
movq %rax, -0x548(%rbp)
movabsq $0xfffffffffffc, %rcx   # imm = 0xFFFFFFFFFFFC
andq -0x550(%rbp), %rcx
movl (%rcx), %eax
addl $-0x1, %eax
movl %eax, (%rcx)
cmpl $0x0, %eax
jne 0x1e11f
movq -0x3e8(%rbp), %rax
movq %rax, -0x560(%rbp)
leaq 0x373327(%rip), %rax    # 0x391428
orq $0x1, %rax
movq %rax, -0x558(%rbp)
movq -0x560(%rbp), %rdi
movq -0x558(%rbp), %rsi
callq 0x127c0
jmp 0x1e121
jmp 0x1e123
movq -0x20(%rbp), %rax
movq %rax, -0x8(%rbp)
jmp 0x1e243
jmp 0x1e132
movq -0x20(%rbp), %rax
movq %rax, -0x570(%rbp)
leaq 0x3732e4(%rip), %rax    # 0x391428
orq $0x1, %rax
movq %rax, -0x568(%rbp)
movq -0x568(%rbp), %rax
andq $0x1, %rax
cmpq $0x0, %rax
je 0x1e236
movq -0x20(%rbp), %rax
movq %rax, -0x580(%rbp)
leaq 0x3732b2(%rip), %rax    # 0x391428
orq $0x1, %rax
movq %rax, -0x578(%rbp)
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0x580(%rbp), %rax
cmpq $0x0, %rax
je 0x1e236
movq -0x20(%rbp), %rax
movq %rax, -0x590(%rbp)
leaq 0x37327a(%rip), %rax    # 0x391428
orq $0x1, %rax
movq %rax, -0x588(%rbp)
movq -0x590(%rbp), %rax
andq $0x3, %rax
cmpq $0x0, %rax
jne 0x1e236
movq -0x20(%rbp), %rax
movq %rax, -0x5a0(%rbp)
leaq 0x37324c(%rip), %rax    # 0x391428
orq $0x1, %rax
movq %rax, -0x598(%rbp)
movabsq $0xfffffffffffc, %rcx   # imm = 0xFFFFFFFFFFFC
andq -0x5a0(%rbp), %rcx
movl (%rcx), %eax
addl $-0x1, %eax
movl %eax, (%rcx)
cmpl $0x0, %eax
jne 0x1e234
movq -0x20(%rbp), %rax
movq %rax, -0x5b0(%rbp)
leaq 0x373212(%rip), %rax    # 0x391428
orq $0x1, %rax
movq %rax, -0x5a8(%rbp)
movq -0x5b0(%rbp), %rdi
movq -0x5a8(%rbp), %rsi
callq 0x127c0
jmp 0x1e236
jmp 0x1e238
movq -0x3e8(%rbp), %rax
movq %rax, -0x8(%rbp)
jmp 0x1e245
movq -0x8(%rbp), %rax
movq %rax, -0x5c0(%rbp)
leaq 0x3731d1(%rip), %rax    # 0x391428
orq $0x1, %rax
movq %rax, -0x5b8(%rbp)
movq -0x5b8(%rbp), %rax
andq $0x1, %rax
cmpq $0x0, %rax
je 0x1e30e
movq -0x8(%rbp), %rax
movq %rax, -0x5d0(%rbp)
leaq 0x37319f(%rip), %rax    # 0x391428
orq $0x1, %rax
movq %rax, -0x5c8(%rbp)
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0x5d0(%rbp), %rax
cmpq $0x0, %rax
je 0x1e30e
movq -0x8(%rbp), %rax
movq %rax, -0x5e0(%rbp)
leaq 0x37316b(%rip), %rax    # 0x391428
orq $0x1, %rax
movq %rax, -0x5d8(%rbp)
movq -0x5e0(%rbp), %rax
andq $0x3, %rax
cmpq $0x0, %rax
jne 0x1e30e
movq -0x8(%rbp), %rax
movq %rax, -0x5f0(%rbp)
leaq 0x37313d(%rip), %rax    # 0x391428
orq $0x1, %rax
movq %rax, -0x5e8(%rbp)
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0x5f0(%rbp), %rax
movl (%rax), %ecx
addl $0x1, %ecx
movl %ecx, (%rax)
jmp 0x1e310
movq -0x2b8(%rbp), %rdi
movq -0x8(%rbp), %rsi
callq 0x1c670
movq %rax, -0x5f8(%rbp)
movq 0x350722(%rip), %rax    # 0x36ea50
movq %rax, -0x600(%rbp)
movq -0x5f8(%rbp), %rax
movq %rax, -0x610(%rbp)
leaq 0x3730de(%rip), %rax    # 0x391428
orq $0x1, %rax
movq %rax, -0x608(%rbp)
movq -0x608(%rbp), %rax
andq $0x1, %rax
cmpq $0x0, %rax
je 0x1e40a
movq -0x5f8(%rbp), %rax
movq %rax, -0x620(%rbp)
leaq 0x3730a9(%rip), %rax    # 0x391428
orq $0x1, %rax
movq %rax, -0x618(%rbp)
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0x620(%rbp), %rax
cmpq $0x0, %rax
je 0x1e40a
movq -0x5f8(%rbp), %rax
movq %rax, -0x630(%rbp)
leaq 0x373072(%rip), %rax    # 0x391428
orq $0x1, %rax
movq %rax, -0x628(%rbp)
movq -0x630(%rbp), %rax
andq $0x3, %rax
cmpq $0x0, %rax
jne 0x1e40a
movq -0x5f8(%rbp), %rax
movq %rax, -0x640(%rbp)
leaq 0x373041(%rip), %rax    # 0x391428
orq $0x1, %rax
movq %rax, -0x638(%rbp)
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0x640(%rbp), %rax
movl (%rax), %ecx
addl $0x1, %ecx
movl %ecx, (%rax)
jmp 0x1e40c
jmp 0x1e40e
movq -0x600(%rbp), %rax
movq %rax, -0x650(%rbp)
leaq 0x373005(%rip), %rax    # 0x391428
orq $0x1, %rax
movq %rax, -0x648(%rbp)
movq -0x648(%rbp), %rax
andq $0x1, %rax
cmpq $0x0, %rax
je 0x1e4e3
movq -0x600(%rbp), %rax
movq %rax, -0x660(%rbp)
leaq 0x372fd0(%rip), %rax    # 0x391428
orq $0x1, %rax
movq %rax, -0x658(%rbp)
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0x660(%rbp), %rax
cmpq $0x0, %rax
je 0x1e4e3
movq -0x600(%rbp), %rax
movq %rax, -0x670(%rbp)
leaq 0x372f99(%rip), %rax    # 0x391428
orq $0x1, %rax
movq %rax, -0x668(%rbp)
movq -0x670(%rbp), %rax
andq $0x3, %rax
cmpq $0x0, %rax
jne 0x1e4e3
movq -0x600(%rbp), %rax
movq %rax, -0x680(%rbp)
leaq 0x372f68(%rip), %rax    # 0x391428
orq $0x1, %rax
movq %rax, -0x678(%rbp)
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0x680(%rbp), %rax
movl (%rax), %ecx
addl $0x1, %ecx
movl %ecx, (%rax)
jmp 0x1e4e5
movq -0x5f8(%rbp), %rdi
movq -0x600(%rbp), %rsi
callq 0xae20
andb $0x1, %al
movb %al, -0x681(%rbp)
testb $0x1, -0x681(%rbp)
je 0x1e637
jmp 0x1e50f
movq -0x5f8(%rbp), %rax
movq %rax, -0x6a0(%rbp)
leaq 0x372f04(%rip), %rax    # 0x391428
orq $0x1, %rax
movq %rax, -0x698(%rbp)
movq -0x698(%rbp), %rax
andq $0x1, %rax
cmpq $0x0, %rax
je 0x1e622
movq -0x5f8(%rbp), %rax
movq %rax, -0x6b0(%rbp)
leaq 0x372ecf(%rip), %rax    # 0x391428
orq $0x1, %rax
movq %rax, -0x6a8(%rbp)
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0x6b0(%rbp), %rax
cmpq $0x0, %rax
je 0x1e622
movq -0x5f8(%rbp), %rax
movq %rax, -0x6c0(%rbp)
leaq 0x372e94(%rip), %rax    # 0x391428
orq $0x1, %rax
movq %rax, -0x6b8(%rbp)
movq -0x6c0(%rbp), %rax
andq $0x3, %rax
cmpq $0x0, %rax
jne 0x1e622
movq -0x5f8(%rbp), %rax
movq %rax, -0x6d0(%rbp)
leaq 0x372e63(%rip), %rax    # 0x391428
orq $0x1, %rax
movq %rax, -0x6c8(%rbp)
movabsq $0xfffffffffffc, %rcx   # imm = 0xFFFFFFFFFFFC
andq -0x6d0(%rbp), %rcx
movl (%rcx), %eax
addl $-0x1, %eax
movl %eax, (%rcx)
cmpl $0x0, %eax
jne 0x1e620
movq -0x5f8(%rbp), %rax
movq %rax, -0x6e0(%rbp)
leaq 0x372e26(%rip), %rax    # 0x391428
orq $0x1, %rax
movq %rax, -0x6d8(%rbp)
movq -0x6e0(%rbp), %rdi
movq -0x6d8(%rbp), %rsi
callq 0x127c0
jmp 0x1e622
jmp 0x1e624
movq -0x600(%rbp), %rax
movq %rax, -0x690(%rbp)
jmp 0x1e75c
jmp 0x1e639
movq -0x600(%rbp), %rax
movq %rax, -0x6f0(%rbp)
leaq 0x372dda(%rip), %rax    # 0x391428
orq $0x1, %rax
movq %rax, -0x6e8(%rbp)
movq -0x6e8(%rbp), %rax
andq $0x1, %rax
cmpq $0x0, %rax
je 0x1e74c
movq -0x600(%rbp), %rax
movq %rax, -0x700(%rbp)
leaq 0x372da5(%rip), %rax    # 0x391428
orq $0x1, %rax
movq %rax, -0x6f8(%rbp)
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0x700(%rbp), %rax
cmpq $0x0, %rax
je 0x1e74c
movq -0x600(%rbp), %rax
movq %rax, -0x710(%rbp)
leaq 0x372d6a(%rip), %rax    # 0x391428
orq $0x1, %rax
movq %rax, -0x708(%rbp)
movq -0x710(%rbp), %rax
andq $0x3, %rax
cmpq $0x0, %rax
jne 0x1e74c
movq -0x600(%rbp), %rax
movq %rax, -0x720(%rbp)
leaq 0x372d39(%rip), %rax    # 0x391428
orq $0x1, %rax
movq %rax, -0x718(%rbp)
movabsq $0xfffffffffffc, %rcx   # imm = 0xFFFFFFFFFFFC
andq -0x720(%rbp), %rcx
movl (%rcx), %eax
addl $-0x1, %eax
movl %eax, (%rcx)
cmpl $0x0, %eax
jne 0x1e74a
movq -0x600(%rbp), %rax
movq %rax, -0x730(%rbp)
leaq 0x372cfc(%rip), %rax    # 0x391428
orq $0x1, %rax
movq %rax, -0x728(%rbp)
movq -0x730(%rbp), %rdi
movq -0x728(%rbp), %rsi
callq 0x127c0
jmp 0x1e74c
jmp 0x1e74e
movq -0x5f8(%rbp), %rax
movq %rax, -0x690(%rbp)
movq -0x28(%rbp), %rax
movq -0x690(%rbp), %rcx
movq %rcx, (%rax)
movq -0x8(%rbp), %rax
addq $0x730, %rsp            # imm = 0x730
popq %rbp
retq
nopw (%rax,%rax)