// File: /workspace/github_c_makefile_star2_O3/mirth-lang[P]mirth/bin/mirth1.c
// Function: mw_mirth_data_Data_physicalzebitszy
static struct std_maybe_Maybe_1 mw_mirth_data_Data_physicalzebitszy (struct mirth_mirth_zaMirth* in_zaMirth_1, uint64_t in_Data_2, struct mirth_mirth_zaMirth* *out_zaMirth_3) {
	void* v5 = field_mut(&mfld_mirth_data_Data_physicalzebitszy, in_Data_2);
	bool v6 = mut_is_set(v5);
	struct mirth_mirth_zaMirth* branch_zaMirth_7;
	struct std_maybe_Maybe_1 branch_Maybe_8;
	if (v6) {
		VAL v9 = mut_get(v5);
		branch_Maybe_8 = V_std_maybe_Maybe_1(v9);
		branch_zaMirth_7 = in_zaMirth_1;
	} else {
		struct std_maybe_Maybe_1 v10 = { .tag=std_maybe_Maybe_1_None };
		struct mirth_mirth_zaMirth* v11;
		mw_mirth_data_Data_physicalzebitszyzx(in_zaMirth_1, v10, in_Data_2, &v11);
		INT v12 = WRAP_I63(0LL);
		struct std_maybe_Maybe_1 v13 = mtw_std_maybe_Maybe_1_Some(MKNAT(v12));
		struct mirth_mirth_zaMirth* v14;
		struct std_list_List_1 v15 = mw_mirth_data_Data_tags(v11, in_Data_2, &v14);
		bool v16 = true;
		struct std_maybe_Maybe_1 v17 = v13;
		struct mirth_mirth_zaMirth* r18 = v14;
		struct std_list_List_1 v19 = v15;
		bool v20 = v16;
		bool v21 = v16;
		while (v21) {
			struct std_maybe_Maybe_1 v22 = v17;
			struct mirth_mirth_zaMirth* r23 = r18;
			struct std_list_List_1 v24 = v19;
			bool v25 = v20;
			struct mirth_mirth_zaMirth* branch_zaMirth_26;
			struct std_maybe_Maybe_1 branch_Maybe_27;
			struct std_list_List_1 branch_List_28;
			bool branch_Bool_29;
			switch ((v24).tag) {
				case std_list_List_1_Cons: {
					struct std_list_List_1 v30;
					VAL v31 = mtp_std_list_List_1_Cons(v24, &v30);
					struct mirth_mirth_zaMirth* v32;
					struct std_maybe_Maybe_1 v33 = mw_mirth_data_Tag_physicalzebitszy(r23, V_mirth_data_Tag(v31), &v32);
					struct std_maybe_Maybe_1 branch_Maybe_34;
					switch ((v33).tag) {
						case std_maybe_Maybe_1_None: {
							decref(MK_std_maybe_Maybe_1(v22));
							struct std_maybe_Maybe_1 v35 = { .tag=std_maybe_Maybe_1_None };
							branch_Maybe_34 = v35;
						} break;
						case std_maybe_Maybe_1_Some: {
							VAL v36 = mtp_std_maybe_Maybe_1_Some(v33);
							struct std_maybe_Maybe_1 branch_Maybe_37;
							switch ((v22).tag) {
								case std_maybe_Maybe_1_None: {
									decref(v36);
									struct std_maybe_Maybe_1 v38 = { .tag=std_maybe_Maybe_1_None };
									branch_Maybe_37 = v38;
								} break;
								case std_maybe_Maybe_1_Some: {
									VAL v39 = mtp_std_maybe_Maybe_1_Some(v22);
									INT v40 = value_nat(v39);
									INT v41 = value_nat(v36);
									incref(MKINT(v40));
									incref(MKINT(v41));
									bool v42 = int_lt(v40, v41);
									INT branch_Int_43;
									if (v42) {
										decref(MKINT(v40));
										branch_Int_43 = v41;
									} else {
										decref(MKINT(v41));
										branch_Int_43 = v40;
									}
									INT v44 = branch_Int_43;
									struct std_maybe_Maybe_1 v45 = mtw_std_maybe_Maybe_1_Some(MKNAT(v44));
									branch_Maybe_37 = v45;
								} break;
								default: {
									do_panic(str_make("unexpected fallthrough in match\n", 32));
								}
							}
							branch_Maybe_34 = branch_Maybe_37;
						} break;
						default: {
							do_panic(str_make("unexpected fallthrough in match\n", 32));
						}
					}
					bool v46 = true;
					branch_Bool_29 = v46;
					branch_List_28 = v30;
					branch_Maybe_27 = branch_Maybe_34;
					branch_zaMirth_26 = v32;
				} break;
				case std_list_List_1_Nil: {
					struct std_list_List_1 v47 = { .tag=std_list_List_1_Nil };
					bool v48 = false;
					branch_Bool_29 = v48;
					branch_List_28 = v47;
					branch_Maybe_27 = v22;
					branch_zaMirth_26 = r23;
				} break;
				default: {
					do_panic(str_make("unexpected fallthrough in match\n", 32));
				}
			}
			v21 = branch_Bool_29;
			v20 = branch_Bool_29;
			v19 = branch_List_28;
			r18 = branch_zaMirth_26;
			v17 = branch_Maybe_27;
		}
		decref(MK_std_list_List_1(v19));
		uint64_t branch_Data_49;
		struct mirth_mirth_zaMirth* branch_zaMirth_50;
		struct std_maybe_Maybe_1 branch_Maybe_51;
		switch ((v17).tag) {
			case std_maybe_Maybe_1_Some: {
				VAL v52 = mtp_std_maybe_Maybe_1_Some(v17);
				struct mirth_mirth_zaMirth* v53;
				INT v54 = mw_mirth_data_Data_tagzebits(r18, in_Data_2, &v53);
				INT v55 = value_nat(v52);
				INT v56 = v54;
				INT v57 = int_add(v55, v56);
				INT v58 = v57;
				struct std_maybe_Maybe_1 v59 = mtw_std_maybe_Maybe_1_Some(MKNAT(v58));
				branch_Maybe_51 = v59;
				branch_zaMirth_50 = v53;
				branch_Data_49 = in_Data_2;
			} break;
			case std_maybe_Maybe_1_None: {
				struct std_maybe_Maybe_1 v60 = { .tag=std_maybe_Maybe_1_None };
				branch_Maybe_51 = v60;
				branch_zaMirth_50 = r18;
				branch_Data_49 = in_Data_2;
			} break;
			default: {
				do_panic(str_make("unexpected fallthrough in match\n", 32));
			}
		}
		incref(MK_std_maybe_Maybe_1(branch_Maybe_51));
		mut_set(MK_std_maybe_Maybe_1(branch_Maybe_51), v5);
		branch_Maybe_8 = branch_Maybe_51;
		branch_zaMirth_7 = branch_zaMirth_50;
	}
	*out_zaMirth_3 = branch_zaMirth_7;
	return branch_Maybe_8;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x48, %rsp
movq %rdx, %r15
movq %rsi, %r12
movq %rdi, %r14
leaq 0x1089ff5(%rip), %rdi   # 0x1116820
callq 0x13c85
cmpq $0x0, 0x8(%rax)
je 0x8c858
movq %rax, %rdi
callq 0x13d82
movq %rax, %r13
movabsq $0xfffffffffffc, %rbx   # imm = 0xFFFFFFFFFFFC
andq %rax, %rbx
shrq $0x30, %r13
jmp 0x8cc5f
movq %rax, -0x60(%rbp)
movq %r15, -0x68(%rbp)
leaq 0x1089fb9(%rip), %rdi   # 0x1116820
movq %r12, %rsi
callq 0x13c85
leaq 0x84a4b(%rip), %rsi     # 0x1112c1
xorl %edi, %edi
movq %rax, %rdx
callq 0x14766
leaq 0x8488a(%rip), %rsi     # 0x111111
movl $0x1, %edi
callq 0x9353
movq %rdx, %r15
leaq -0x70(%rbp), %rbx
movq %r14, %rdi
movq %r12, -0x58(%rbp)
movq %r12, %rsi
movq %rbx, %rdx
callq 0x51551
movq %rdx, %rdi
movq (%rbx), %r14
movl $0x1, %r13d
leaq -0x40(%rbp), %rbx
leaq -0x30(%rbp), %r12
cmpl $0x1, %eax
jne 0x8ca5f
movq %rbx, %rsi
callq 0xd0aa
movq %r14, %rdi
movq %rax, %rsi
movq %r12, %rdx
callq 0x8ceaa
cmpl $0x1, %eax
je 0x8c92d
testl %eax, %eax
jne 0x8cc77
movq %r15, %rax
movabsq $0xfffffffffffc, %rcx   # imm = 0xFFFFFFFFFFFC
andq %rcx, %rax
sete %cl
testb $0x3, %r15b
setne %dl
orb %cl, %dl
jne 0x8c922
decl (%rax)
jne 0x8c922
shlq $0x30, %r13
orq %r15, %r13
movq %r13, %rdi
leaq 0x849a4(%rip), %rsi     # 0x1112c1
callq 0xd13d
xorl %r13d, %r13d
xorl %r15d, %r15d
jmp 0x8ca4f
movq %rdx, %rdi
callq 0xd745
movq %rax, %r12
movq %rdx, %rbx
testl %r13d, %r13d
je 0x8c9b9
movq %r15, %rdi
callq 0xd745
movq %rax, %r15
movq %rax, %rdi
movq %rdx, %rsi
callq 0x324c1
movq %r12, %rdi
movq %rbx, %rsi
callq 0x324c1
movq %r15, %rbx
movabsq $0xfffffffffffc, %rcx   # imm = 0xFFFFFFFFFFFC
andq %rcx, %rbx
sete %al
testb $0x3, %r15b
setne %r13b
orb %al, %r13b
jne 0x8c983
incl (%rbx)
movq %r12, %r14
andq %rcx, %r14
sete %al
testb $0x3, %r12b
setne %cl
orb %al, %cl
jne 0x8c9f3
incl (%r14)
movq %r15, %rdi
movq %r12, %rsi
callq 0xe83a
testl %eax, %eax
js 0x8ca11
decl (%r14)
movq %r12, %rax
movq %r15, %r12
movq %r15, %rdi
jne 0x8ca32
jmp 0x8ca20
testb $0x1, %bl
je 0x8c9eb
movq %r12, %rax
movabsq $0xfffffffffffc, %rcx   # imm = 0xFFFFFFFFFFFC
andq %rcx, %rax
sete %cl
testb $0x3, %r12b
setne %dl
orb %cl, %dl
jne 0x8c9eb
decl (%rax)
jne 0x8c9eb
movq %r12, %rdi
movq %rbx, %rsi
callq 0xd13d
xorl %r13d, %r13d
xorl %r15d, %r15d
jmp 0x8ca47
movq %r15, %rdi
movq %r12, %rsi
callq 0xe83a
testl %eax, %eax
setns %al
movq %r12, %rdi
cmovnsq %r15, %rdi
orb %al, %r13b
je 0x8ca16
jmp 0x8ca32
testb %r13b, %r13b
jne 0x8ca2f
decl (%rbx)
movq %r15, %rax
movq %r12, %rdi
jne 0x8ca32
movq %rax, %rdi
leaq 0x849ff(%rip), %rsi     # 0x111429
callq 0xd13d
movq %r12, %rdi
leaq 0x846d8(%rip), %rsi     # 0x111111
callq 0x9353
movq %rdx, %r15
movl $0x1, %r13d
leaq -0x40(%rbp), %rbx
leaq -0x30(%rbp), %r12
movl -0x40(%rbp), %eax
movq -0x38(%rbp), %rdi
movq -0x30(%rbp), %r14
jmp 0x8c8be
testl %eax, %eax
leaq 0x846a9(%rip), %rbx     # 0x111111
jne 0x8cc77
cmpl $0x1, %r13d
jne 0x8cab8
movq %r15, %rdi
callq 0xd745
movq %rax, %r12
movq %rdx, -0x50(%rbp)
leaq 0x1089db6(%rip), %rdi   # 0x1116840
movq -0x58(%rbp), %r15
movq %r15, %rsi
callq 0x13c85
cmpq $0x0, 0x8(%rax)
je 0x8cabf
movq %rax, %rdi
callq 0x13d82
movq %rax, %r15
movq %rax, %rdi
movq %rdx, %rsi
callq 0x324c1
jmp 0x8cc00
xorl %ebx, %ebx
jmp 0x8cc25
movq %rax, -0x48(%rbp)
leaq -0x30(%rbp), %rdx
movq %r14, %rdi
movq %r15, %rsi
callq 0x51551
movl %eax, %edi
movq %rdx, %rsi
callq 0x11653
movq %rax, %rbx
movq %rax, %r14
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq %rax, %r14
sete %al
testb $0x3, %bl
setne %cl
orb %al, %cl
jne 0x8caff
incl (%r14)
movl $0x3, %edi
movq %rbx, %rsi
callq 0xe83a
movl $0x1, %r15d
testl %eax, %eax
jns 0x8cba2
movl $0x5, %esi
movq %rbx, %rdi
leaq -0x40(%rbp), %rdx
callq 0x13e71
movq %rax, %rbx
movq -0x40(%rbp), %rdi
movq %rdi, %rax
movabsq $0xfffffffffffc, %rcx   # imm = 0xFFFFFFFFFFFC
andq %rcx, %rax
sete %cl
testb $0x3, %dil
setne %dl
orb %cl, %dl
jne 0x8cb60
decl (%rax)
jne 0x8cb60
leaq 0x845b6(%rip), %rsi     # 0x111111
callq 0xd13d
movl $0x3, %esi
movq %r15, %rdi
callq 0xe50f
movq %rax, %r15
movq %rbx, %r14
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq %rax, %r14
sete %al
testb $0x3, %bl
setne %cl
orb %al, %cl
jne 0x8cb90
incl (%r14)
movl $0x3, %edi
movq %rbx, %rsi
callq 0xe83a
jmp 0x8cb12
testq %r14, %r14
sete %al
testb $0x3, %bl
setne %cl
orb %al, %cl
jne 0x8cbc6
decl (%r14)
jne 0x8cbc6
movq %rbx, %rdi
leaq 0x84550(%rip), %rsi     # 0x111111
callq 0xd13d
movq %r15, %rax
movabsq $0xfffffffffffc, %rcx   # imm = 0xFFFFFFFFFFFC
andq %rcx, %rax
sete %cl
testb $0x3, %r15b
setne %dl
orb %cl, %dl
jne 0x8cbe6
incl (%rax)
movq %r15, %rdi
leaq 0x84521(%rip), %rbx     # 0x111111
movq %rbx, %rsi
movq -0x48(%rbp), %rdx
callq 0x14766
movq -0x30(%rbp), %r14
movq %r12, %rdi
movq -0x50(%rbp), %rsi
callq 0x324c1
movq %r12, %rdi
movq %r15, %rsi
callq 0xe50f
movq %rax, %rdi
movq %rbx, %rsi
callq 0x9353
movq %rdx, %rbx
movabsq $0xfffffffffffc, %rdx   # imm = 0xFFFFFFFFFFFC
movq %r13, %rdi
shlq $0x30, %rdi
orq %rbx, %rdi
andq %rbx, %rdx
sete %al
testb $0x3, %bl
setne %cl
orb %al, %cl
movq -0x68(%rbp), %r15
jne 0x8cc4f
incl (%rdx)
leaq 0x8466b(%rip), %rsi     # 0x1112c1
movq -0x60(%rbp), %rdx
callq 0x14766
movq %r14, (%r15)
movl %r13d, %eax
movq %rbx, %rdx
addq $0x48, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
movl $0x20, %edi
callq 0xf5e4
movq $0x20, 0x10(%rax)
movups 0x53a3d(%rip), %xmm0    # 0xe06cd
movups %xmm0, 0x18(%rax)
movups 0x53a42(%rip), %xmm0    # 0xe06dd
movups %xmm0, 0x28(%rax)
movq %rax, %rdi
callq 0x9302