// File: /workspace/github_c_makefile_star2_O1/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, %r13
movq %rdi, %r14
movabsq $0xfffffffffffc, %rbx   # imm = 0xFFFFFFFFFFFC
leaq 0x108b9ec(%rip), %rdi   # 0x111a820
callq 0x13ff0
movq %rax, %r12
movq %rax, %rdi
callq 0x153b0
testb %al, %al
je 0x8ee5f
movq %r12, %rdi
callq 0x140f0
movq %rax, %r13
andq %rax, %rbx
shrq $0x30, %r13
jmp 0x8f2b3
movq %r12, -0x68(%rbp)
movq %r15, -0x50(%rbp)
leaq 0x108b9b2(%rip), %rdi   # 0x111a820
movq %r13, %rsi
callq 0x13ff0
leaq 0x86444(%rip), %rsi     # 0x1152c1
xorl %edi, %edi
movq %rax, %rdx
callq 0x14ab5
leaq 0x86283(%rip), %rsi     # 0x115111
movl $0x1, %edi
callq 0x95f6
movq %rdx, %r15
leaq -0x70(%rbp), %rbx
movq %r14, %rdi
movq %r13, -0x60(%rbp)
movq %r13, %rsi
movq %rbx, %rdx
callq 0x52d67
movq %rdx, %rdi
movq (%rbx), %r14
movabsq $0xfffffffffffc, %rbx   # imm = 0xFFFFFFFFFFFC
movl $0x1, %r13d
leaq -0x40(%rbp), %r12
testl %eax, %eax
je 0x8ef35
cmpl $0x1, %eax
jne 0x8f2cb
movq %r12, %rsi
callq 0xd450
movq %r14, %rdi
movq %rax, %rsi
leaq -0x48(%rbp), %rdx
callq 0x8f4fe
cmpl $0x1, %eax
je 0x8ef3e
testl %eax, %eax
jne 0x8f2cb
movq %r15, %rax
andq %rbx, %rax
sete %cl
testb $0x3, %r15b
setne %dl
orb %cl, %dl
jne 0x8ef2a
decl (%rax)
jne 0x8ef2a
shlq $0x30, %r13
orq %r15, %r13
movq %r13, %rdi
leaq 0x8639c(%rip), %rsi     # 0x1152c1
callq 0xd4e3
xorl %r13d, %r13d
xorl %r15d, %r15d
jmp 0x8f072
xorl %ecx, %ecx
xorl %edi, %edi
jmp 0x8f07f
movq %rdx, %rdi
callq 0xdaeb
movq %rax, %r14
movq %rdx, %r12
movq %rax, %rdx
testl %r13d, %r13d
je 0x8efe2
movq %r15, %rdi
movq %rdx, %r13
callq 0xdaeb
movq %rax, %r15
movq %rax, %rdi
movq %rdx, %rsi
callq 0x33553
movq %r13, -0x30(%rbp)
movq %r13, %rdi
movq %r12, %rsi
callq 0x33553
movq %r15, %r12
andq %rbx, %r12
setne %al
testb $0x3, %r15b
sete %r13b
andb %al, %r13b
cmpb $0x1, %r13b
jne 0x8ef9e
incl (%r12)
andq %rbx, %r14
setne %al
movq -0x30(%rbp), %rsi
testb $0x3, %sil
sete %bl
andb %al, %bl
cmpb $0x1, %bl
jne 0x8efb9
incl (%r14)
movq %r15, %rdi
callq 0xec04
testl %eax, %eax
js 0x8f014
testb %bl, %bl
je 0x8f042
decl (%r14)
movq -0x30(%rbp), %rdi
movabsq $0xfffffffffffc, %rbx   # imm = 0xFFFFFFFFFFFC
leaq -0x40(%rbp), %r12
jne 0x8f05a
jmp 0x8f034
testb $0x1, %r12b
je 0x8f008
andq %rbx, %r14
sete %al
testb $0x3, %dl
setne %cl
orb %al, %cl
jne 0x8f008
decl (%r14)
jne 0x8f008
movq %rdx, %rdi
movq %r12, %rsi
callq 0xd4e3
xorl %r13d, %r13d
xorl %r15d, %r15d
leaq -0x40(%rbp), %r12
jmp 0x8f072
testb %r13b, %r13b
movabsq $0xfffffffffffc, %rbx   # imm = 0xFFFFFFFFFFFC
je 0x8f052
decl (%r12)
movq %r15, %rdi
leaq -0x40(%rbp), %r12
movq -0x30(%rbp), %r15
jne 0x8f05a
leaq 0x863ee(%rip), %rsi     # 0x115429
callq 0xd4e3
jmp 0x8f05a
movabsq $0xfffffffffffc, %rbx   # imm = 0xFFFFFFFFFFFC
leaq -0x40(%rbp), %r12
jmp 0x8f05a
leaq -0x40(%rbp), %r12
movq -0x30(%rbp), %r15
movq %r15, %rdi
leaq 0x860ad(%rip), %rsi     # 0x115111
callq 0x95f6
movq %rdx, %r15
movl $0x1, %r13d
movl -0x40(%rbp), %eax
movq -0x38(%rbp), %rdi
movq -0x48(%rbp), %r14
movb $0x1, %cl
testb %cl, %cl
jne 0x8eecb
movq %rdi, %rcx
andq %rbx, %rcx
sete %dl
testb $0x3, %dil
setne %sil
orb %dl, %sil
jne 0x8f0b7
decl (%rcx)
jne 0x8f0b7
shlq $0x30, %rax
orq %rdi, %rax
leaq 0x861ca(%rip), %rsi     # 0x115279
movq %rax, %rdi
callq 0xd4e3
cmpl $0x1, %r13d
jne 0x8f111
movq %r15, %rdi
callq 0xdaeb
movq %rax, -0x30(%rbp)
movq %rdx, -0x58(%rbp)
leaq 0x108b76c(%rip), %rdi   # 0x111a840
movq -0x60(%rbp), %r12
movq %r12, %rsi
callq 0x13ff0
movq %rax, %r15
movq %rax, %rdi
callq 0x153b0
testb %al, %al
je 0x8f118
movq %r15, %rdi
callq 0x140f0
movq %rax, %r12
movq %rax, %rdi
movq %rdx, %rsi
callq 0x33553
leaq 0x86005(%rip), %rbx     # 0x115111
jmp 0x8f250
xorl %ebx, %ebx
jmp 0x8f279
leaq -0x48(%rbp), %rdx
movq %r14, %rdi
movq %r12, %rsi
callq 0x52d67
movl %eax, %edi
movq %rdx, %rsi
callq 0x11a85
movq %rax, %r14
andq %rbx, %rax
sete %cl
testb $0x3, %r14b
setne %dl
orb %cl, %dl
jne 0x8f147
incl (%rax)
movl $0x3, %edi
movq %r14, %rsi
callq 0xec04
movl $0x1, %r12d
testl %eax, %eax
jns 0x8f1f0
leaq -0x40(%rbp), %rbx
movl $0x5, %esi
movq %r14, %rdi
movq %rbx, %rdx
callq 0x141df
movq %rax, %r14
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 0x8f1ab
decl (%rax)
jne 0x8f1ab
leaq 0x85f6b(%rip), %rsi     # 0x115111
callq 0xd4e3
movl $0x3, %esi
movq %r12, %rdi
callq 0xe8e2
movq %rax, %r12
movq %r14, %rax
movabsq $0xfffffffffffc, %rcx   # imm = 0xFFFFFFFFFFFC
andq %rcx, %rax
sete %cl
testb $0x3, %r14b
setne %dl
orb %cl, %dl
jne 0x8f1db
incl (%rax)
movl $0x3, %edi
movq %r14, %rsi
callq 0xec04
testl %eax, %eax
js 0x8f166
movq %r14, %rax
movabsq $0xfffffffffffc, %rbx   # imm = 0xFFFFFFFFFFFC
andq %rbx, %rax
sete %cl
testb $0x3, %r14b
setne %dl
orb %cl, %dl
jne 0x8f221
decl (%rax)
jne 0x8f221
movq %r14, %rdi
leaq 0x85ef5(%rip), %rsi     # 0x115111
callq 0xd4e3
movq %r12, %rax
andq %rbx, %rax
sete %cl
testb $0x3, %r12b
setne %dl
orb %cl, %dl
jne 0x8f237
incl (%rax)
movq %r12, %rdi
leaq 0x85ed0(%rip), %rbx     # 0x115111
movq %rbx, %rsi
movq %r15, %rdx
callq 0x14ab5
movq -0x48(%rbp), %r14
movq -0x30(%rbp), %r15
movq %r15, %rdi
movq -0x58(%rbp), %rsi
callq 0x33553
movq %r15, %rdi
movq %r12, %rsi
callq 0xe8e2
movq %rax, %rdi
movq %rbx, %rsi
callq 0x95f6
movq %rdx, %rbx
movq -0x50(%rbp), %r15
movq %r13, %rdi
shlq $0x30, %rdi
orq %rbx, %rdi
movabsq $0xfffffffffffc, %rdx   # imm = 0xFFFFFFFFFFFC
andq %rbx, %rdx
sete %al
testb $0x3, %bl
setne %cl
orb %al, %cl
jne 0x8f2a3
incl (%rdx)
leaq 0x86017(%rip), %rsi     # 0x1152c1
movq -0x68(%rbp), %rdx
callq 0x14ab5
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 0xf9f7
movq $0x20, 0x10(%rax)
movups 0x55469(%rip), %xmm0    # 0xe474d
movups %xmm0, 0x18(%rax)
movups 0x5546e(%rip), %xmm0    # 0xe475d
movups %xmm0, 0x28(%rax)
movq %rax, %rdi
callq 0x95a5