// File: /workspace/github_c_makefile_star2_O3/mirth-lang[P]mirth/bin/mirth1.c
// Function: mw_std_prelude_unsafe_1_sp2
static struct std_result_Result_2 mw_std_prelude_unsafe_1_sp2 (struct std_file_zaFile* in_zaFile_1, void* in_Ptr_2, INT in_Sizze_3, struct std_file_zaFile* *out_zaFile_4) {
	struct std_file_zaFile* v6;
	struct std_result_Result_2 v7 = mw_std_file_zaFile_writezebyteszx(in_zaFile_1, in_Ptr_2, in_Sizze_3, &v6);
	*out_zaFile_4 = v6;
	return v7;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x38, %rsp
movq %rcx, -0x50(%rbp)
movq %rdx, %rbx
movq %rsi, -0x38(%rbp)
movq %rdi, -0x30(%rbp)
movabsq $0xfffffffffffc, %r12   # imm = 0xFFFFFFFFFFFC
leaq 0x7ed29(%rip), %rsi     # 0x111429
movl $0x1, %edi
callq 0x106f2
movq %rdx, %r14
movq %rbx, %r15
andq %r12, %r15
sete %al
testb $0x3, %bl
setne %cl
orb %al, %cl
jne 0x92723
incl (%r15)
movl $0x1, %edi
movq %rbx, %rsi
callq 0xe83a
movl $0x1, %r12d
testl %eax, %eax
jns 0x929aa
movabsq $0xfffffffffffc, %r15   # imm = 0xFFFFFFFFFFFC
movq %rbx, %r13
andq %r15, %r13
movq %r14, %rdi
testl %r12d, %r12d
je 0x92870
callq 0x8fb2
movq %rax, -0x48(%rbp)
movq %rdx, -0x40(%rbp)
movq -0x30(%rbp), %rax
movq (%rax), %r12
testq %r13, %r13
setne %al
testb $0x3, %bl
sete %r15b
andb %al, %r15b
cmpb $0x1, %r15b
jne 0x92788
incl (%r13)
movq %rbx, %rdi
callq 0xe445
movl %r12d, %edi
movq -0x38(%rbp), %rsi
movq %rax, %rdx
callq 0x5060
movslq %r12d, %r12
cltq
leaq 0x1(,%rax,2), %r14
movl $0x1, %edi
movq %r14, %rsi
callq 0xe83a
testl %eax, %eax
jle 0x928b5
movq %rbx, -0x58(%rbp)
callq 0x5040
movslq (%rax), %rdi
leaq 0x7e8e4(%rip), %rsi     # 0x1110b8
callq 0x10694
movq %rdx, %rdi
movq -0x30(%rbp), %rax
movq %r12, (%rax)
callq 0x8ff9
movq %rax, %r14
movq %rdx, %r12
movq -0x48(%rbp), %rbx
movq %rbx, %rdi
movq -0x40(%rbp), %rsi
callq 0x1099d
movq %r14, %rdi
movq %r12, %rsi
callq 0x791b0
movl $0x1, %edi
movl $0x18, %esi
callq 0x50c0
testq %rax, %rax
je 0x929ee
movl $0x1, (%rax)
movq %r14, 0x10(%rax)
movq %rbx, 0x8(%rax)
movabsq $0x5000000000000, %rcx  # imm = 0x5000000000000
orq %rcx, %rax
movq %rax, %rdi
leaq 0x80383(%rip), %rsi     # 0x112bc9
callq 0x10694
movq %rdx, %r14
xorl %r12d, %r12d
testb %r15b, %r15b
je 0x92983
decl (%r13)
movabsq $0xfffffffffffc, %r15   # imm = 0xFFFFFFFFFFFC
jne 0x928ab
movq -0x58(%rbp), %rdi
jmp 0x9289f
callq 0x8ff9
movq %rax, %rdi
movq %rdx, %rsi
callq 0x10694
movq %rdx, %r14
testq %r13, %r13
sete %al
testb $0x3, %bl
setne %cl
xorl %r12d, %r12d
orb %al, %cl
jne 0x928ab
decl (%r13)
jne 0x928ab
movq %rbx, %rdi
leaq 0x7eb83(%rip), %rsi     # 0x111429
callq 0xd13d
movl $0x1, %ebx
jmp 0x92992
movq %rbx, %r13
movq %r14, %rdi
leaq 0x7eb67(%rip), %rsi     # 0x111429
callq 0x106f2
movq %rdx, %rdi
movq -0x30(%rbp), %rax
movq %r12, (%rax)
callq 0x8fb2
movq %rax, %r12
movq %rdx, %r14
testb $0x1, %r14b
movabsq $0xfffffffffffc, %r15   # imm = 0xFFFFFFFFFFFC
je 0x92902
movq %r12, %rax
andq %r15, %rax
sete %cl
testb $0x3, %r12b
setne %dl
orb %cl, %dl
jne 0x92902
incl (%rax)
movq %r12, %rdi
movq %r14, %rsi
callq 0x1099d
movq %r12, %rdi
movq %r14, %rsi
callq 0x1099d
movq %r12, %rdi
movq %r12, %rsi
callq 0xe50f
movq %rax, %r14
andq %r15, %rax
sete %cl
testb $0x3, %r14b
setne %dl
orb %cl, %dl
movq -0x48(%rbp), %rbx
jne 0x9293d
incl (%rax)
movq %r14, %rdi
callq 0xe445
addq %rax, -0x38(%rbp)
movq %r13, %rdi
movq %r14, %rsi
callq 0xe9fc
movq %rbx, %rdi
movq %rax, %rbx
movq -0x40(%rbp), %rsi
callq 0x106f2
movq %rdx, %r14
movq %rbx, %rax
andq %r15, %rax
sete %cl
testb $0x3, %bl
setne %dl
movl $0x1, %r12d
orb %cl, %dl
jne 0x92992
incl (%rax)
jmp 0x92992
movl $0x1, %ebx
movabsq $0xfffffffffffc, %r15   # imm = 0xFFFFFFFFFFFC
movl $0x1, %edi
movq %rbx, %rsi
callq 0xe83a
testl %eax, %eax
js 0x92748
andq %rbx, %r15
testq %r15, %r15
sete %al
testb $0x3, %bl
setne %cl
orb %al, %cl
jne 0x929ce
decl (%r15)
jne 0x929ce
movq %rbx, %rdi
leaq 0x7ea60(%rip), %rsi     # 0x111429
callq 0xd13d
movq -0x50(%rbp), %rax
movq -0x30(%rbp), %rcx
movq %rcx, (%rax)
movl %r12d, %eax
movq %r14, %rdx
addq $0x38, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
leaq 0x56a34(%rip), %rsi     # 0xe9429
movl $0x31, %edx
movl $0x2, %edi
callq 0x5060
callq 0x52b6
movl $0x1, %edi
callq 0x5130