// File: /workspace/github_c_makefile_star2_O0/mirth-lang[P]mirth/bin/mirth1.c
// Function: mw_std_prim_zaWorld_createzefilezeflags
static struct std_maybe_Maybe_1 mw_std_prim_zaWorld_createzefilezeflags (void) {
	int64_t v4 = RUNNING_OS;
	enum std_prelude_OS v5 = mw_std_prim_I64_zgOS(v4);
	struct std_maybe_Maybe_1 branch_Maybe_6;
	switch (v5) {
		case std_prelude_OS_Mac: {
			INT v7 = WRAP_I63(1537LL);
			int64_t v8 = int_to_i64(v7);
			struct std_maybe_Maybe_1 v9 = mtw_std_maybe_Maybe_1_Some(MKI64(v8));
			branch_Maybe_6 = v9;
		} break;
		case std_prelude_OS_Linux: {
			INT v10 = WRAP_I63(577LL);
			int64_t v11 = int_to_i64(v10);
			struct std_maybe_Maybe_1 v12 = mtw_std_maybe_Maybe_1_Some(MKI64(v11));
			branch_Maybe_6 = v12;
		} break;
		case std_prelude_OS_Windows: {
			INT v13 = WRAP_I63(769LL);
			int64_t v14 = int_to_i64(v13);
			struct std_maybe_Maybe_1 v15 = mtw_std_maybe_Maybe_1_Some(MKI64(v14));
			branch_Maybe_6 = v15;
		} break;
		case std_prelude_OS_Unknown: {
			struct std_maybe_Maybe_1 v16 = { .tag=std_maybe_Maybe_1_None };
			branch_Maybe_6 = v16;
		} break;
		default: {
			do_panic(str_make("unexpected fallthrough in match\n", 32));
		}
	}
	return branch_Maybe_6;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0xd0, %rsp
movq $0x2, -0x18(%rbp)
movq -0x18(%rbp), %rdi
callq 0x1c2310
movl %eax, -0x1c(%rbp)
movl -0x1c(%rbp), %eax
movq %rax, -0xc8(%rbp)
subq $0x3, %rax
ja 0x21fe22
movq -0xc8(%rbp), %rax
leaq 0x133283(%rip), %rcx    # 0x352f54
movslq (%rcx,%rax,4), %rax
addq %rcx, %rax
jmpq *%rax
movq 0x14ee27(%rip), %rax    # 0x36eb08
movq %rax, -0x28(%rbp)
movq -0x28(%rbp), %rdi
callq 0xc6c0
movq %rax, -0x30(%rbp)
movq -0x30(%rbp), %rax
movq %rax, -0x50(%rbp)
leaq 0x1713b7(%rip), %rax    # 0x3910b8
movq %rax, -0x48(%rbp)
movq -0x50(%rbp), %rdi
movq -0x48(%rbp), %rsi
callq 0xca10
movl %eax, -0x40(%rbp)
movq %rdx, -0x38(%rbp)
movq -0x40(%rbp), %rax
movq %rax, -0x10(%rbp)
movq -0x38(%rbp), %rax
movq %rax, -0x8(%rbp)
jmp 0x21fe3b
movq 0x14eddb(%rip), %rax    # 0x36eb10
movq %rax, -0x58(%rbp)
movq -0x58(%rbp), %rdi
callq 0xc6c0
movq %rax, -0x60(%rbp)
movq -0x60(%rbp), %rax
movq %rax, -0x80(%rbp)
leaq 0x171363(%rip), %rax    # 0x3910b8
movq %rax, -0x78(%rbp)
movq -0x80(%rbp), %rdi
movq -0x78(%rbp), %rsi
callq 0xca10
movl %eax, -0x70(%rbp)
movq %rdx, -0x68(%rbp)
movq -0x70(%rbp), %rax
movq %rax, -0x10(%rbp)
movq -0x68(%rbp), %rax
movq %rax, -0x8(%rbp)
jmp 0x21fe3b
movq 0x14ed8f(%rip), %rax    # 0x36eb18
movq %rax, -0x88(%rbp)
movq -0x88(%rbp), %rdi
callq 0xc6c0
movq %rax, -0x90(%rbp)
movq -0x90(%rbp), %rax
movq %rax, -0xb0(%rbp)
leaq 0x171300(%rip), %rax    # 0x3910b8
movq %rax, -0xa8(%rbp)
movq -0xb0(%rbp), %rdi
movq -0xa8(%rbp), %rsi
callq 0xca10
movl %eax, -0xa0(%rbp)
movq %rdx, -0x98(%rbp)
movq -0xa0(%rbp), %rax
movq %rax, -0x10(%rbp)
movq -0x98(%rbp), %rax
movq %rax, -0x8(%rbp)
jmp 0x21fe3b
leaq -0xc0(%rbp), %rdi
xorl %esi, %esi
movl $0x10, %edx
callq 0x5080
movq -0xc0(%rbp), %rax
movq %rax, -0x10(%rbp)
movq -0xb8(%rbp), %rax
movq %rax, -0x8(%rbp)
jmp 0x21fe3b
leaq 0x134058(%rip), %rdi    # 0x353e81
movl $0x20, %esi
callq 0xb6c0
movq %rax, %rdi
callq 0xc620
movl -0x10(%rbp), %eax
movq -0x8(%rbp), %rdx
addq $0xd0, %rsp
popq %rbp
retq
nopl (%rax,%rax)