// File: /workspace/github_c_makefile_star2_O0/mirth-lang[P]mirth/bin/mirth1.c
// Function: mw_std_prim_Str_dropzebytes
static STR* mw_std_prim_Str_dropzebytes (INT in_Sizze_1, STR* in_Str_2) {
	incref(MKSTR(in_Str_2));
	incref(MKSTR(in_Str_2));
	void* v6 = str_base(in_Str_2);
	uint64_t v7 = str_size(in_Str_2);
	INT v8 = u64_to_int(v7);
	incref(MKINT(in_Sizze_1));
	INT v9 = int_sub(v8, in_Sizze_1);
	incref(MKINT(v9));
	INT v10 = WRAP_I63(0LL);
	INT v11 = v10;
	bool v12 = int_le(v11, v9);
	STR* branch_Str_13;
	if (v12) {
		int64_t v14 = int_to_i64(in_Sizze_1);
		void* v15 = (void*)(v14 + (char*)v6);
		uint64_t v16 = int_to_u64(v9);
		STR* v17 = str_make(v15, v16);
		branch_Str_13 = v17;
	} else {
		decref(MKINT(v9));
		decref(MKINT(in_Sizze_1));
		STR* v18;
		STRLIT(v18, "", 0);
		branch_Str_13 = v18;
	}
	decref(MKSTR(in_Str_2));
	return branch_Str_13;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x2b0, %rsp            # imm = 0x2B0
movq %rdi, -0x8(%rbp)
movq %rsi, -0x10(%rbp)
movq -0x10(%rbp), %rax
movq %rax, -0x20(%rbp)
leaq 0x363dc6(%rip), %rax    # 0x391158
orq $0x1, %rax
movq %rax, -0x18(%rbp)
movq -0x18(%rbp), %rax
andq $0x1, %rax
cmpq $0x0, %rax
je 0x2d424
movq -0x10(%rbp), %rax
movq %rax, -0x30(%rbp)
leaq 0x363da1(%rip), %rax    # 0x391158
orq $0x1, %rax
movq %rax, -0x28(%rbp)
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0x30(%rbp), %rax
cmpq $0x0, %rax
je 0x2d424
movq -0x10(%rbp), %rax
movq %rax, -0x40(%rbp)
leaq 0x363d76(%rip), %rax    # 0x391158
orq $0x1, %rax
movq %rax, -0x38(%rbp)
movq -0x40(%rbp), %rax
andq $0x3, %rax
cmpq $0x0, %rax
jne 0x2d424
movq -0x10(%rbp), %rax
movq %rax, -0x50(%rbp)
leaq 0x363d51(%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 0x2d426
jmp 0x2d428
movq -0x10(%rbp), %rax
movq %rax, -0x60(%rbp)
leaq 0x363d21(%rip), %rax    # 0x391158
orq $0x1, %rax
movq %rax, -0x58(%rbp)
movq -0x58(%rbp), %rax
andq $0x1, %rax
cmpq $0x0, %rax
je 0x2d4d6
movq -0x10(%rbp), %rax
movq %rax, -0x70(%rbp)
leaq 0x363cf8(%rip), %rax    # 0x391158
orq $0x1, %rax
movq %rax, -0x68(%rbp)
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0x70(%rbp), %rax
cmpq $0x0, %rax
je 0x2d4d6
movq -0x10(%rbp), %rax
movq %rax, -0x80(%rbp)
leaq 0x363ccd(%rip), %rax    # 0x391158
orq $0x1, %rax
movq %rax, -0x78(%rbp)
movq -0x80(%rbp), %rax
andq $0x3, %rax
cmpq $0x0, %rax
jne 0x2d4d6
movq -0x10(%rbp), %rax
movq %rax, -0x90(%rbp)
leaq 0x363ca5(%rip), %rax    # 0x391158
orq $0x1, %rax
movq %rax, -0x88(%rbp)
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0x90(%rbp), %rax
movl (%rax), %ecx
addl $0x1, %ecx
movl %ecx, (%rax)
jmp 0x2d4d8
movq -0x10(%rbp), %rdi
callq 0x1be20
movq %rax, -0x98(%rbp)
movq -0x10(%rbp), %rdi
callq 0x1b3f0
movq %rax, -0xa0(%rbp)
movq -0xa0(%rbp), %rdi
callq 0x1b520
movq %rax, -0xa8(%rbp)
movq -0x8(%rbp), %rax
movq %rax, -0xb8(%rbp)
leaq 0x363f0b(%rip), %rax    # 0x391428
orq $0x1, %rax
movq %rax, -0xb0(%rbp)
movq -0xb0(%rbp), %rax
andq $0x1, %rax
cmpq $0x0, %rax
je 0x2d5d4
movq -0x8(%rbp), %rax
movq %rax, -0xc8(%rbp)
leaq 0x363ed9(%rip), %rax    # 0x391428
orq $0x1, %rax
movq %rax, -0xc0(%rbp)
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0xc8(%rbp), %rax
cmpq $0x0, %rax
je 0x2d5d4
movq -0x8(%rbp), %rax
movq %rax, -0xd8(%rbp)
leaq 0x363ea5(%rip), %rax    # 0x391428
orq $0x1, %rax
movq %rax, -0xd0(%rbp)
movq -0xd8(%rbp), %rax
andq $0x3, %rax
cmpq $0x0, %rax
jne 0x2d5d4
movq -0x8(%rbp), %rax
movq %rax, -0xe8(%rbp)
leaq 0x363e77(%rip), %rax    # 0x391428
orq $0x1, %rax
movq %rax, -0xe0(%rbp)
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0xe8(%rbp), %rax
movl (%rax), %ecx
addl $0x1, %ecx
movl %ecx, (%rax)
jmp 0x2d5d6
movq -0xa8(%rbp), %rdi
movq -0x8(%rbp), %rsi
callq 0x1c670
movq %rax, -0xf0(%rbp)
movq -0xf0(%rbp), %rax
movq %rax, -0x100(%rbp)
leaq 0x363e26(%rip), %rax    # 0x391428
orq $0x1, %rax
movq %rax, -0xf8(%rbp)
movq -0xf8(%rbp), %rax
andq $0x1, %rax
cmpq $0x0, %rax
je 0x2d6c2
movq -0xf0(%rbp), %rax
movq %rax, -0x110(%rbp)
leaq 0x363df1(%rip), %rax    # 0x391428
orq $0x1, %rax
movq %rax, -0x108(%rbp)
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0x110(%rbp), %rax
cmpq $0x0, %rax
je 0x2d6c2
movq -0xf0(%rbp), %rax
movq %rax, -0x120(%rbp)
leaq 0x363dba(%rip), %rax    # 0x391428
orq $0x1, %rax
movq %rax, -0x118(%rbp)
movq -0x120(%rbp), %rax
andq $0x3, %rax
cmpq $0x0, %rax
jne 0x2d6c2
movq -0xf0(%rbp), %rax
movq %rax, -0x130(%rbp)
leaq 0x363d89(%rip), %rax    # 0x391428
orq $0x1, %rax
movq %rax, -0x128(%rbp)
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0x130(%rbp), %rax
movl (%rax), %ecx
addl $0x1, %ecx
movl %ecx, (%rax)
jmp 0x2d6c4
movq 0x341385(%rip), %rax    # 0x36ea50
movq %rax, -0x138(%rbp)
movq -0x138(%rbp), %rax
movq %rax, -0x140(%rbp)
movq -0x140(%rbp), %rdi
movq -0xf0(%rbp), %rsi
callq 0x1c1b0
andb $0x1, %al
movb %al, -0x141(%rbp)
testb $0x1, -0x141(%rbp)
je 0x2d769
movq -0x8(%rbp), %rdi
callq 0xc6c0
movq %rax, -0x158(%rbp)
movq -0x158(%rbp), %rax
addq -0x98(%rbp), %rax
movq %rax, -0x160(%rbp)
movq -0xf0(%rbp), %rdi
callq 0x1b680
movq %rax, -0x168(%rbp)
movq -0x160(%rbp), %rdi
movq -0x168(%rbp), %rsi
callq 0xb6c0
movq %rax, -0x170(%rbp)
movq -0x170(%rbp), %rax
movq %rax, -0x150(%rbp)
jmp 0x2daa0
jmp 0x2d76b
movq -0xf0(%rbp), %rax
movq %rax, -0x180(%rbp)
leaq 0x363ca8(%rip), %rax    # 0x391428
orq $0x1, %rax
movq %rax, -0x178(%rbp)
movq -0x178(%rbp), %rax
andq $0x1, %rax
cmpq $0x0, %rax
je 0x2d87e
movq -0xf0(%rbp), %rax
movq %rax, -0x190(%rbp)
leaq 0x363c73(%rip), %rax    # 0x391428
orq $0x1, %rax
movq %rax, -0x188(%rbp)
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0x190(%rbp), %rax
cmpq $0x0, %rax
je 0x2d87e
movq -0xf0(%rbp), %rax
movq %rax, -0x1a0(%rbp)
leaq 0x363c38(%rip), %rax    # 0x391428
orq $0x1, %rax
movq %rax, -0x198(%rbp)
movq -0x1a0(%rbp), %rax
andq $0x3, %rax
cmpq $0x0, %rax
jne 0x2d87e
movq -0xf0(%rbp), %rax
movq %rax, -0x1b0(%rbp)
leaq 0x363c07(%rip), %rax    # 0x391428
orq $0x1, %rax
movq %rax, -0x1a8(%rbp)
movabsq $0xfffffffffffc, %rcx   # imm = 0xFFFFFFFFFFFC
andq -0x1b0(%rbp), %rcx
movl (%rcx), %eax
addl $-0x1, %eax
movl %eax, (%rcx)
cmpl $0x0, %eax
jne 0x2d87c
movq -0xf0(%rbp), %rax
movq %rax, -0x1c0(%rbp)
leaq 0x363bca(%rip), %rax    # 0x391428
orq $0x1, %rax
movq %rax, -0x1b8(%rbp)
movq -0x1c0(%rbp), %rdi
movq -0x1b8(%rbp), %rsi
callq 0x127c0
jmp 0x2d87e
jmp 0x2d880
jmp 0x2d882
movq -0x8(%rbp), %rax
movq %rax, -0x1d0(%rbp)
leaq 0x363b94(%rip), %rax    # 0x391428
orq $0x1, %rax
movq %rax, -0x1c8(%rbp)
movq -0x1c8(%rbp), %rax
andq $0x1, %rax
cmpq $0x0, %rax
je 0x2d986
movq -0x8(%rbp), %rax
movq %rax, -0x1e0(%rbp)
leaq 0x363b62(%rip), %rax    # 0x391428
orq $0x1, %rax
movq %rax, -0x1d8(%rbp)
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0x1e0(%rbp), %rax
cmpq $0x0, %rax
je 0x2d986
movq -0x8(%rbp), %rax
movq %rax, -0x1f0(%rbp)
leaq 0x363b2a(%rip), %rax    # 0x391428
orq $0x1, %rax
movq %rax, -0x1e8(%rbp)
movq -0x1f0(%rbp), %rax
andq $0x3, %rax
cmpq $0x0, %rax
jne 0x2d986
movq -0x8(%rbp), %rax
movq %rax, -0x200(%rbp)
leaq 0x363afc(%rip), %rax    # 0x391428
orq $0x1, %rax
movq %rax, -0x1f8(%rbp)
movabsq $0xfffffffffffc, %rcx   # imm = 0xFFFFFFFFFFFC
andq -0x200(%rbp), %rcx
movl (%rcx), %eax
addl $-0x1, %eax
movl %eax, (%rcx)
cmpl $0x0, %eax
jne 0x2d984
movq -0x8(%rbp), %rax
movq %rax, -0x210(%rbp)
leaq 0x363ac2(%rip), %rax    # 0x391428
orq $0x1, %rax
movq %rax, -0x208(%rbp)
movq -0x210(%rbp), %rdi
movq -0x208(%rbp), %rsi
callq 0x127c0
jmp 0x2d986
jmp 0x2d988
jmp 0x2d98a
cmpq $0x0, 0x1366ba6(%rip)   # 0x1394538
jne 0x2d9ab
leaq 0x32e61d(%rip), %rdi    # 0x35bfb8
xorl %eax, %eax
movl %eax, %esi
callq 0xb6c0
movq %rax, 0x1366b8d(%rip)   # 0x1394538
jmp 0x2d9ad
movq 0x1366b84(%rip), %rax   # 0x1394538
movq %rax, -0x228(%rbp)
leaq 0x363796(%rip), %rax    # 0x391158
orq $0x1, %rax
movq %rax, -0x220(%rbp)
movq -0x220(%rbp), %rax
andq $0x1, %rax
cmpq $0x0, %rax
je 0x2da82
movq 0x1366b4f(%rip), %rax   # 0x1394538
movq %rax, -0x238(%rbp)
leaq 0x363761(%rip), %rax    # 0x391158
orq $0x1, %rax
movq %rax, -0x230(%rbp)
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0x238(%rbp), %rax
cmpq $0x0, %rax
je 0x2da82
movq 0x1366b18(%rip), %rax   # 0x1394538
movq %rax, -0x248(%rbp)
leaq 0x36372a(%rip), %rax    # 0x391158
orq $0x1, %rax
movq %rax, -0x240(%rbp)
movq -0x248(%rbp), %rax
andq $0x3, %rax
cmpq $0x0, %rax
jne 0x2da82
movq 0x1366ae7(%rip), %rax   # 0x1394538
movq %rax, -0x258(%rbp)
leaq 0x3636f9(%rip), %rax    # 0x391158
orq $0x1, %rax
movq %rax, -0x250(%rbp)
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0x258(%rbp), %rax
movl (%rax), %ecx
addl $0x1, %ecx
movl %ecx, (%rax)
jmp 0x2da84
movq 0x1366aad(%rip), %rax   # 0x1394538
movq %rax, -0x218(%rbp)
movq -0x218(%rbp), %rax
movq %rax, -0x150(%rbp)
jmp 0x2daa2
movq -0x10(%rbp), %rax
movq %rax, -0x268(%rbp)
leaq 0x3636a4(%rip), %rax    # 0x391158
orq $0x1, %rax
movq %rax, -0x260(%rbp)
movq -0x260(%rbp), %rax
andq $0x1, %rax
cmpq $0x0, %rax
je 0x2dba6
movq -0x10(%rbp), %rax
movq %rax, -0x278(%rbp)
leaq 0x363672(%rip), %rax    # 0x391158
orq $0x1, %rax
movq %rax, -0x270(%rbp)
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0x278(%rbp), %rax
cmpq $0x0, %rax
je 0x2dba6
movq -0x10(%rbp), %rax
movq %rax, -0x288(%rbp)
leaq 0x36363a(%rip), %rax    # 0x391158
orq $0x1, %rax
movq %rax, -0x280(%rbp)
movq -0x288(%rbp), %rax
andq $0x3, %rax
cmpq $0x0, %rax
jne 0x2dba6
movq -0x10(%rbp), %rax
movq %rax, -0x298(%rbp)
leaq 0x36360c(%rip), %rax    # 0x391158
orq $0x1, %rax
movq %rax, -0x290(%rbp)
movabsq $0xfffffffffffc, %rcx   # imm = 0xFFFFFFFFFFFC
andq -0x298(%rbp), %rcx
movl (%rcx), %eax
addl $-0x1, %eax
movl %eax, (%rcx)
cmpl $0x0, %eax
jne 0x2dba4
movq -0x10(%rbp), %rax
movq %rax, -0x2a8(%rbp)
leaq 0x3635d2(%rip), %rax    # 0x391158
orq $0x1, %rax
movq %rax, -0x2a0(%rbp)
movq -0x2a8(%rbp), %rdi
movq -0x2a0(%rbp), %rsi
callq 0x127c0
jmp 0x2dba6
jmp 0x2dba8
movq -0x150(%rbp), %rax
addq $0x2b0, %rsp            # imm = 0x2B0
popq %rbp
retq
nopl (%rax,%rax)