// File: /workspace/github_c_makefile_star2_O1/mirth-lang[P]mirth/bin/mirth1.c
// Function: mb_mirth_mirth_PropLabel_prop_1_sp14_0
static void mb_mirth_mirth_PropLabel_prop_1_sp14_0 (void) {
	PTUP v0 = value_tup(pop_value());
	struct mirth_mirth_zaMirth* r1 = V_mirth_mirth_zaMirth(pop_resource());
	VAL v2 = ((TUP*)PTRPTR(v0))->cells[0];
	VAL v3 = ((TUP*)PTRPTR(v0))->cells[1];
	tup_decref_outer(v0);
	incref(v3);
	struct mirth_mirth_zaMirth* v4;
	uint64_t v5 = mw_mirth_data_Tag_data(r1, V_mirth_data_Tag(v3), &v4);
	struct mirth_mirth_zaMirth* v6;
	struct std_list_List_1 v7 = mw_mirth_data_Data_params(v4, v5, &v6);
	struct std_list_List_1 v8 = mw_std_list_List_1_zgCtx(v7);
	bool v9 = true;
	bool v10 = false;
	struct mirth_elab_zaTypeElab* v11;
	mtw_mirth_elab_zaTypeElab_zaTypeElab(v8, V_mirth_token_Token(v2), v10, v9, &v11);
	struct mirth_type_StackType v12 = mw_mirth_type_T0();
	incref(v3);
	struct mirth_mirth_zaMirth* v13;
	uint64_t v14 = mw_mirth_data_Tag_data(v6, V_mirth_data_Tag(v3), &v13);
	struct mirth_mirth_zaMirth* v15;
	struct std_either_Either_2 v16 = mw_mirth_data_Data_fullzetype(v13, v14, &v15);
	struct mirth_type_StackType v17 = mw_mirth_type_Tzmza(v12, v16);
	struct mirth_mirth_zaMirth* v18;
	struct std_maybe_Maybe_1 v19 = mw_mirth_data_Tag_sigzy(v15, V_mirth_data_Tag(v3), &v18);
	struct mirth_type_StackType branch_StackType_20;
	struct mirth_mirth_zaMirth* branch_zaMirth_21;
	struct mirth_elab_zaTypeElab* branch_zaTypeElab_22;
	struct mirth_type_StackType branch_StackType_23;
	switch ((v19).tag) {
		case std_maybe_Maybe_1_None: {
			struct mirth_type_StackType v24 = mw_mirth_type_T0();
			branch_StackType_23 = v24;
			branch_zaTypeElab_22 = v11;
			branch_zaMirth_21 = v18;
			branch_StackType_20 = v17;
		} break;
		case std_maybe_Maybe_1_Some: {
			VAL v25 = mtp_std_maybe_Maybe_1_Some(v19);
			v11->mtoken = V_mirth_token_Token(v25);
			struct mirth_type_StackType v26 = mw_mirth_type_T0();
			struct mirth_mirth_zaMirth* v27;
			struct mirth_elab_zaTypeElab* v28;
			struct mirth_type_StackType v29 = mw_mirth_elab_zaTypeElab_elabzestackzetypezepartszx(v18, v11, v26, &v27, &v28);
			branch_StackType_23 = v29;
			branch_zaTypeElab_22 = v28;
			branch_zaMirth_21 = v27;
			branch_StackType_20 = v17;
		} break;
		default: {
			do_panic(str_make("unexpected fallthrough in match\n", 32));
		}
	}
	struct mirth_type_ArrowType* v30 = mw_mirth_type_Tzezg(branch_StackType_23, branch_StackType_20);
	struct std_list_List_1 v31 = branch_zaTypeElab_22->mctx;
	incref(MK_std_list_List_1(v31));
	PTUP r32 = PTRMK(0,tup_new(2),0);
	((TUP*)PTRPTR(r32))->size = 2;
	((TUP*)PTRPTR(r32))->cells[1] = MK_mirth_type_ArrowType(v30);
	((TUP*)PTRPTR(r32))->cells[0] = MK_std_list_List_1(v31);
	mw_mirth_elab_zaTypeElab_rdrop(branch_zaTypeElab_22);
	push_resource(MK_mirth_mirth_zaMirth(branch_zaMirth_21));
	push_value(MKTUP(r32));
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x28, %rsp
movabsq $0xfffffffffffc, %r13   # imm = 0xFFFFFFFFFFFC
callq 0xda3f
movq %rax, %r12
movq %rax, %rdi
movq %rdx, %rsi
callq 0x9363
callq 0xda98
movq %rax, %r15
movq %r12, %rax
andq %r13, %rax
movq 0x8(%rax), %rcx
movq %rcx, -0x30(%rbp)
movq 0x18(%rax), %rbx
movq 0x20(%rax), %r14
movq %r12, %rdi
callq 0x93b4
testb $0x1, %r14b
je 0x75663
movq %rbx, %rax
andq %r13, %rax
sete %cl
testb $0x3, %bl
setne %dl
orb %cl, %dl
jne 0x75663
incl (%rax)
leaq 0x10a3576(%rip), %rdi   # 0x1118be0
movq %rbx, %rsi
callq 0x13ff0
movq %rax, %rdi
callq 0x140f0
leaq 0x10a3bb7(%rip), %rdi   # 0x1119238
movq %rax, %rsi
callq 0x13ff0
leaq -0x38(%rbp), %r12
movq %r15, %rdi
movq %rax, %rsi
movq %r12, %rdx
callq 0x1a972
movq (%r12), %r15
movq %rax, %rdi
shrq $0x30, %rdi
andq %r13, %rax
leaq -0x38(%rbp), %r9
movq %rax, %rsi
movq -0x30(%rbp), %rdx
xorl %ecx, %ecx
movl $0x1, %r8d
callq 0x359f1
testb $0x1, %r14b
je 0x756dc
movq %rbx, %rax
andq %r13, %rax
sete %cl
testb $0x3, %bl
setne %dl
orb %cl, %dl
jne 0x756dc
incl (%rax)
leaq 0x10a34fd(%rip), %rdi   # 0x1118be0
movq %rbx, %rsi
callq 0x13ff0
movq %rax, %rdi
callq 0x140f0
leaq -0x50(%rbp), %r14
movq %r15, %rdi
movq %rax, %rsi
movq %r14, %rdx
callq 0x2080e
movq %rdx, %rcx
movl $0x2, %edi
xorl %esi, %esi
movl %eax, %edx
callq 0x20888
movl %eax, %r15d
movq %rdx, %r12
movq (%r14), %r14
leaq 0x10a35fa(%rip), %rdi   # 0x1118d20
movq %rbx, %rsi
callq 0x13ff0
movq %rax, %rdi
callq 0x140f0
movq %rax, %rcx
shrq $0x30, %rcx
cmpq $0x1, %rcx
je 0x7575c
testl %ecx, %ecx
jne 0x75837
movq %r14, -0x30(%rbp)
movl $0x2, %edi
movq -0x38(%rbp), %rbx
xorl %esi, %esi
jmp 0x7579b
andq %r13, %rax
movq %rax, %rdi
callq 0xdaeb
movq -0x38(%rbp), %rsi
movq %rax, 0x10(%rsi)
leaq -0x48(%rbp), %r8
leaq -0x40(%rbp), %rbx
movq %r14, %rdi
movl $0x2, %edx
xorl %ecx, %ecx
movq %r8, %r14
movq %rbx, %r9
callq 0x361cf
movl %eax, %edi
movq %rdx, %rsi
movq (%rbx), %rbx
movq (%r14), %rax
movq %rax, -0x30(%rbp)
movl %r15d, %edx
movq %r12, %rcx
callq 0x210ca
movq %rax, %r15
movl (%rbx), %r14d
movq 0x8(%rbx), %rax
movq %rax, %rcx
andq %r13, %rcx
sete %dl
testb $0x3, %al
setne %sil
orb %dl, %sil
jne 0x757c6
incl (%rcx)
shlq $0x30, %r14
orq %rax, %r14
movl $0x2, %edi
callq 0xe4ba
movq %rax, %r12
andq %rax, %r13
movw $0x2, 0x6(%r13)
leaq 0xa038e(%rip), %rax     # 0x115b79
movq %r15, 0x18(%r13)
movq %rax, 0x20(%r13)
movq %r14, 0x8(%r13)
leaq 0x9fa7b(%rip), %rax     # 0x115279
movq %rax, 0x10(%r13)
movq %rbx, %rdi
callq 0x3591c
leaq 0xa00df(%rip), %rsi     # 0x1158f0
movq -0x30(%rbp), %rdi
callq 0x9116
leaq 0x9fb78(%rip), %rsi     # 0x115399
movq %r12, %rdi
addq $0x28, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
jmp 0xd6f1
movl $0x20, %edi
callq 0xf9f7
movq $0x20, 0x10(%rax)
movups 0x6eefd(%rip), %xmm0    # 0xe474d
movups %xmm0, 0x18(%rax)
movups 0x6ef02(%rip), %xmm0    # 0xe475d
movups %xmm0, 0x28(%rax)
movq %rax, %rdi
callq 0x95a5