// File: /workspace/github_c_makefile_star2_O0/mirth-lang[P]mirth/bin/mirth1.c
// Function: mw_std_world_stzumodezo
static uint16_t mw_std_world_stzumodezo (void* in_Ptr_1) {
	int64_t v7 = RUNNING_OS;
	enum std_prelude_OS v8 = mw_std_prim_I64_zgOS(v7);
	void* branch_Ptr_9;
	INT branch_Sizze_10;
	switch (v8) {
		case std_prelude_OS_Linux: {
			INT v11 = WRAP_I63(24LL);
			branch_Sizze_10 = v11;
			branch_Ptr_9 = in_Ptr_1;
		} break;
		case std_prelude_OS_Windows: {
			INT v12 = WRAP_I63(6LL);
			branch_Sizze_10 = v12;
			branch_Ptr_9 = in_Ptr_1;
		} break;
		case std_prelude_OS_Mac: {
			int64_t v13 = RUNNING_ARCH;
			enum std_prelude_Arch v14 = mw_std_prim_I64_zgArch(v13);
			enum std_prelude_Arch v15 = std_prelude_Arch_ARM64;
			int64_t v16 = v14;
			INT v17 = i64_to_int(v16);
			int64_t v18 = v15;
			INT v19 = i64_to_int(v18);
			bool v20 = int_eq(v17, v19);
			void* branch_Ptr_21;
			INT branch_Sizze_22;
			if (v20) {
				INT v23 = WRAP_I63(4LL);
				branch_Sizze_22 = v23;
				branch_Ptr_21 = in_Ptr_1;
			} else {
				INT v24 = WRAP_I63(8LL);
				branch_Sizze_22 = v24;
				branch_Ptr_21 = in_Ptr_1;
			}
			branch_Sizze_10 = branch_Sizze_22;
			branch_Ptr_9 = branch_Ptr_21;
		} break;
		default: {
			INT v25 = WRAP_I63(8LL);
			branch_Sizze_10 = v25;
			branch_Ptr_9 = in_Ptr_1;
		} break;
	}
	int64_t v26 = int_to_i64(branch_Sizze_10);
	void* v27 = (void*)(v26 + (char*)branch_Ptr_9);
	uint16_t v28 = *(uint16_t*)v27;
	return v28;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0xb0, %rsp
movq %rdi, -0x8(%rbp)
movq $0x2, -0x10(%rbp)
movq -0x10(%rbp), %rdi
callq 0x1c2310
movl %eax, -0x14(%rbp)
movl -0x14(%rbp), %eax
movl %eax, -0xb0(%rbp)
subl $0x1, %eax
je 0x1f0c50
jmp 0x1f0c13
movl -0xb0(%rbp), %eax
subl $0x2, %eax
je 0x1f0c30
jmp 0x1f0c20
movl -0xb0(%rbp), %eax
subl $0x3, %eax
je 0x1f0c70
jmp 0x1f0d21
movq 0x17dea1(%rip), %rax    # 0x36ead8
movq %rax, -0x30(%rbp)
movq -0x30(%rbp), %rax
movq %rax, -0x28(%rbp)
movq -0x8(%rbp), %rax
movq %rax, -0x20(%rbp)
jmp 0x1f0d42
movq 0x17de89(%rip), %rax    # 0x36eae0
movq %rax, -0x38(%rbp)
movq -0x38(%rbp), %rax
movq %rax, -0x28(%rbp)
movq -0x8(%rbp), %rax
movq %rax, -0x20(%rbp)
jmp 0x1f0d42
movq $0x2, -0x40(%rbp)
movq -0x40(%rbp), %rdi
callq 0x1f0e20
movl %eax, -0x44(%rbp)
movl $0x3, -0x48(%rbp)
movl -0x44(%rbp), %eax
movq %rax, -0x50(%rbp)
movq -0x50(%rbp), %rdi
callq 0x1a290
movq %rax, -0x58(%rbp)
movl -0x48(%rbp), %eax
movq %rax, -0x60(%rbp)
movq -0x60(%rbp), %rdi
callq 0x1a290
movq %rax, -0x68(%rbp)
movq -0x58(%rbp), %rdi
movq -0x68(%rbp), %rsi
callq 0x194b0
andb $0x1, %al
movb %al, -0x69(%rbp)
testb $0x1, -0x69(%rbp)
je 0x1f0cee
movq 0x17ddb6(%rip), %rax    # 0x36ea88
movq %rax, -0x88(%rbp)
movq -0x88(%rbp), %rax
movq %rax, -0x80(%rbp)
movq -0x8(%rbp), %rax
movq %rax, -0x78(%rbp)
jmp 0x1f0d0f
movq 0x17dd8b(%rip), %rax    # 0x36ea80
movq %rax, -0x90(%rbp)
movq -0x90(%rbp), %rax
movq %rax, -0x80(%rbp)
movq -0x8(%rbp), %rax
movq %rax, -0x78(%rbp)
movq -0x80(%rbp), %rax
movq %rax, -0x28(%rbp)
movq -0x78(%rbp), %rax
movq %rax, -0x20(%rbp)
jmp 0x1f0d42
movq 0x17dd58(%rip), %rax    # 0x36ea80
movq %rax, -0x98(%rbp)
movq -0x98(%rbp), %rax
movq %rax, -0x28(%rbp)
movq -0x8(%rbp), %rax
movq %rax, -0x20(%rbp)
movq -0x28(%rbp), %rdi
callq 0xc6c0
movq %rax, -0xa0(%rbp)
movq -0xa0(%rbp), %rax
addq -0x20(%rbp), %rax
movq %rax, -0xa8(%rbp)
movq -0xa8(%rbp), %rax
movw (%rax), %ax
movw %ax, -0xaa(%rbp)
movw -0xaa(%rbp), %ax
addq $0xb0, %rsp
popq %rbp
retq
nopw %cs:(%rax,%rax)