// File: /workspace/github_c_makefile_star2_O2/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 $0x68, %rsp
movq %rdx, %r12
movq %rsi, %r15
movq %rdi, %rbx
leaq 0x10885f1(%rip), %rdi   # 0x110d828
callq 0x12f88
movq %rax, %r14
movq %rax, %rdi
callq 0x142de
movabsq $0xfffffffffffc, %r13   # imm = 0xFFFFFFFFFFFC
testb %al, %al
je 0x8526f
movq %r14, %rdi
callq 0x1307d
movq %rax, %r15
andq %rax, %r13
shrq $0x30, %r15
movq %r13, %r14
jmp 0x85674
movq %r14, -0x80(%rbp)
leaq 0x10885ae(%rip), %rdi   # 0x110d828
movq %r15, %rsi
callq 0x12f88
leaq 0x83038(%rip), %rsi     # 0x1082c1
xorl %edi, %edi
movq %rax, %rdx
callq 0x1393b
leaq 0x82e77(%rip), %rsi     # 0x108111
pushq $0x1
popq %rdi
movq %rdi, -0x48(%rbp)
callq 0x8d0c
movq %rdx, %r14
movq %r15, %rsi
leaq -0x88(%rbp), %r15
movq %rbx, %rdi
movq %rsi, -0x78(%rbp)
movq %r15, %rdx
callq 0x4ce67
movq (%r15), %rbx
pushq $0x1
popq %rcx
movl %ecx, %r15d
movb $0x1, %cl
movq %rdx, %rdi
testb $0x1, %cl
je 0x85474
xorl %ecx, %ecx
movl $0x0, %edx
testl %eax, %eax
je 0x852cd
cmpl $0x1, %eax
jne 0x8568d
leaq -0x60(%rbp), %rsi
callq 0xce01
movq %rbx, %rdi
movq %rax, %rsi
leaq -0x50(%rbp), %rdx
callq 0x85854
cmpl $0x1, %eax
je 0x8534d
testl %eax, %eax
jne 0x8568d
movq %r14, %rax
andq %r13, %rax
sete %cl
testb $0x3, %r14b
setne %dl
orb %cl, %dl
jne 0x85412
decl (%rax)
jne 0x85412
shlq $0x30, %r15
orq %r14, %r15
movq %r15, %rdi
leaq 0x82f7e(%rip), %rsi     # 0x1082c1
callq 0xce94
jmp 0x85412
movq %rdx, %rdi
callq 0xd491
movq %rax, %rbx
movq %r15, %rax
movq %rdx, %r15
movq %rbx, %rdx
testl %eax, %eax
je 0x853f8
movq %r12, -0x38(%rbp)
movq %r14, %rdi
movq %rdx, %r12
callq 0xd491
movq %rax, %r14
movq %rax, %rdi
movq %rdx, %rsi
callq 0x2fb0c
movq %r12, -0x30(%rbp)
movq %r12, %rdi
movq %r15, %rsi
callq 0x2fb0c
movq %r14, %rcx
andq %r13, %rcx
setne %al
testb $0x3, %r14b
sete %r12b
andb %al, %r12b
cmpb $0x1, %r12b
jne 0x853b1
incl (%rcx)
movq %rcx, -0x40(%rbp)
andq %r13, %rbx
setne %al
movq -0x30(%rbp), %rsi
testb $0x3, %sil
sete %r15b
andb %al, %r15b
cmpb $0x1, %r15b
jne 0x853d2
incl (%rbx)
movq %r14, %rdi
callq 0x89cc
testb %al, %al
je 0x8541a
testb %r12b, %r12b
je 0x85439
movq -0x40(%rbp), %rax
decl (%rax)
movq %r14, %rdi
movq -0x38(%rbp), %r12
movq -0x30(%rbp), %r14
jne 0x85441
jmp 0x8542b
testb $0x1, %r15b
je 0x85412
andq %r13, %rbx
sete %al
testb $0x3, %dl
setne %cl
orb %al, %cl
jne 0x85412
decl (%rbx)
je 0x85469
xorl %r15d, %r15d
xorl %r14d, %r14d
jmp 0x85459
testb %r15b, %r15b
movq -0x38(%rbp), %r12
je 0x85441
decl (%rbx)
movq -0x30(%rbp), %rdi
jne 0x85441
leaq 0x82ff7(%rip), %rsi     # 0x108429
callq 0xce94
jmp 0x85441
movq -0x38(%rbp), %r12
movq -0x30(%rbp), %r14
movq %r14, %rdi
leaq 0x82cc6(%rip), %rsi     # 0x108111
callq 0x8d0c
movq %rdx, %r14
pushq $0x1
popq %rax
movl %eax, %r15d
movl -0x60(%rbp), %eax
movq -0x58(%rbp), %rdx
movq -0x50(%rbp), %rbx
jmp 0x852cb
movq %rdx, %rdi
movq %r15, %rsi
jmp 0x85343
movq %rdi, %rcx
andq %r13, %rcx
sete %dl
testb $0x3, %dil
setne %sil
orb %dl, %sil
jne 0x854a4
decl (%rcx)
jne 0x854a4
shlq $0x30, %rax
orq %rdi, %rax
leaq 0x82ddd(%rip), %rsi     # 0x108279
movq %rax, %rdi
callq 0xce94
cmpl $0x1, %r15d
jne 0x854fe
movq %r14, %rdi
callq 0xd491
movq %rax, -0x40(%rbp)
movq %rdx, -0x70(%rbp)
leaq 0x1088387(%rip), %rdi   # 0x110d848
movq -0x78(%rbp), %r14
movq %r14, %rsi
callq 0x12f88
cmpq $0x0, 0x8(%rax)
movq %r12, -0x38(%rbp)
movq %r15, -0x30(%rbp)
je 0x85506
movq %rax, %rdi
callq 0x1307d
movq %rax, %r15
movq %rax, %rdi
movq %rdx, %rsi
callq 0x2fb0c
leaq 0x82c18(%rip), %r14     # 0x108111
jmp 0x85614
xorl %r14d, %r14d
jmp 0x85645
movq %rax, -0x68(%rbp)
leaq -0x50(%rbp), %rdx
movq %rbx, %rdi
movq %r14, %rsi
callq 0x4ce67
movl %eax, %edi
movq %rdx, %rsi
callq 0x10bca
movq %rax, %rbx
andq %r13, %rax
sete %cl
testb $0x3, %bl
setne %dl
orb %cl, %dl
jne 0x85538
incl (%rax)
pushq $0x3
popq %r12
movq %r12, %rdi
movq %rbx, %rsi
callq 0x89cc
pushq $0x5
popq %r14
leaq -0x60(%rbp), %r15
testb $0x1, %al
je 0x855be
movq %rbx, %rdi
movq %r14, %rsi
movq %r15, %rdx
callq 0x13166
movq %rax, %rbx
movq -0x60(%rbp), %rdi
movq %rdi, %rax
andq %r13, %rax
sete %cl
testb $0x3, %dil
setne %dl
orb %cl, %dl
jne 0x8558c
decl (%rax)
jne 0x8558c
leaq 0x82b8a(%rip), %rsi     # 0x108111
callq 0xce94
movq -0x48(%rbp), %rdi
movq %r12, %rsi
callq 0xdd03
movq %rax, -0x48(%rbp)
movq %rbx, %rax
andq %r13, %rax
sete %cl
testb $0x3, %bl
setne %dl
orb %cl, %dl
jne 0x855b1
incl (%rax)
movq %r12, %rdi
movq %rbx, %rsi
callq 0x89cc
jmp 0x8554f
movq %rbx, %rax
andq %r13, %rax
sete %cl
testb $0x3, %bl
setne %dl
orb %cl, %dl
leaq 0x82b3b(%rip), %r14     # 0x108111
jne 0x855e7
decl (%rax)
jne 0x855e7
movq %rbx, %rdi
movq %r14, %rsi
callq 0xce94
movq -0x48(%rbp), %r15
movq %r15, %rax
andq %r13, %rax
sete %cl
testb $0x3, %r15b
setne %dl
orb %cl, %dl
jne 0x85601
incl (%rax)
movq %r15, %rdi
movq %r14, %rsi
movq -0x68(%rbp), %rdx
callq 0x1393b
movq -0x50(%rbp), %rbx
movq -0x40(%rbp), %r12
movq %r12, %rdi
movq -0x70(%rbp), %rsi
callq 0x2fb0c
movq %r12, %rdi
movq %r15, %rsi
callq 0xdd03
movq %rax, %rdi
movq %r14, %rsi
callq 0x8d0c
movq %rdx, %r14
movq -0x30(%rbp), %r15
movq -0x38(%rbp), %r12
movq %r15, %rdi
shlq $0x30, %rdi
orq %r14, %rdi
andq %r14, %r13
sete %al
testb $0x3, %r14b
setne %cl
orb %al, %cl
jne 0x85664
incl (%r13)
leaq 0x82c56(%rip), %rsi     # 0x1082c1
movq -0x80(%rbp), %rdx
callq 0x1393b
movq %rbx, (%r12)
movl %r15d, %eax
movq %r14, %rdx
addq $0x68, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
leaq 0x4f179(%rip), %rdi     # 0xd480d
pushq $0x20
popq %rsi
callq 0x8a21
movq %rax, %rdi
callq 0x8cc6