// File: /workspace/github_c_makefile_star2_O1/mirth-lang[P]mirth/bin/mirth1.c
// Function: mw_mirth_elab_finalizzezewordzearrow
static struct mirth_arrow_Arrow* mw_mirth_elab_finalizzezewordzearrow (struct mirth_mirth_zaMirth* in_zaMirth_1, struct mirth_arrow_Arrow* in_Arrow_2, uint64_t in_Word_3, struct mirth_mirth_zaMirth* *out_zaMirth_4) {
	struct mirth_mirth_zaMirth* v6;
	bool v7 = mw_mirth_word_Word_inferringzetypezy(in_zaMirth_1, in_Word_3, &v6);
	uint64_t branch_Word_8;
	struct mirth_mirth_zaMirth* branch_zaMirth_9;
	struct mirth_arrow_Arrow* branch_Arrow_10;
	if (v7) {
		incref(MK_mirth_arrow_Arrow(in_Arrow_2));
		struct mirth_type_ArrowType* v11;
		struct std_list_List_1 v12 = mw_mirth_arrow_Arrow_ctxzetype(in_Arrow_2, &v11);
		struct mirth_mirth_zaMirth* v13;
		struct mirth_type_ArrowType* v14;
		struct std_list_List_1 v15 = mw_mirth_type_ArrowType_rigidifyzesigzx(v6, v12, v11, &v13, &v14);
		incref(MK_std_list_List_1(v15));
		incref(MK_mirth_type_ArrowType(v14));
		PTUP r16 = PTRMK(0,tup_new(2),0);
		((TUP*)PTRPTR(r16))->size = 2;
		((TUP*)PTRPTR(r16))->cells[1] = MK_mirth_type_ArrowType(v14);
		((TUP*)PTRPTR(r16))->cells[0] = MK_std_list_List_1(v15);
		struct mirth_mirth_PropLabel v17 = mtw_mirth_mirth_PropLabel_WordType(in_Word_3);
		struct mirth_mirth_zaMirth* v18;
		struct mirth_mirth_Prop_1* v19 = mw_mirth_mirth_PropLabel_prop(v13, MKTUP(r16), v17, &v18);
		void* v20 = field_mut(&mfld_mirth_word_Word_ztctxzetype, in_Word_3);
		mut_set(MK_mirth_mirth_Prop_1(v19), v20);
		bool v21 = false;
		struct mirth_mirth_zaMirth* v22;
		mw_mirth_word_Word_inferringzetypezyzx(v18, v21, in_Word_3, &v22);
		struct mirth_type_StackType v23;
		struct mirth_type_StackType v24;
		mtp_mirth_type_ArrowType_ArrowType(v14, &v23, &v24);
		struct mirth_arrow_Arrow* v25 = mirth_arrow_Arrow_set_cod(in_Arrow_2, v24);
		struct mirth_arrow_Arrow* v26 = mirth_arrow_Arrow_set_dom(v25, v23);
		struct mirth_arrow_Arrow* v27 = mirth_arrow_Arrow_set_ctx(v26, v15);
		branch_Arrow_10 = v27;
		branch_zaMirth_9 = v22;
		branch_Word_8 = in_Word_3;
	} else {
		branch_Arrow_10 = in_Arrow_2;
		branch_zaMirth_9 = v6;
		branch_Word_8 = in_Word_3;
	}
	*out_zaMirth_4 = branch_zaMirth_9;
	return branch_Arrow_10;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x78, %rsp
movq %rcx, %rbx
movq %rdx, %r14
movq %rsi, %r12
leaq -0x60(%rbp), %rdx
movq %r14, %rsi
callq 0x59071
testb %al, %al
je 0x4a485
movq %r14, -0x78(%rbp)
movq %rbx, -0x48(%rbp)
movabsq $0xfffffffffffc, %r15   # imm = 0xFFFFFFFFFFFC
movq %r12, %rax
andq %r15, %rax
sete %cl
testb $0x3, %r12b
setne %dl
orb %cl, %dl
jne 0x4a2b4
incl (%rax)
leaq -0x98(%rbp), %rbx
movq %r12, -0x80(%rbp)
movq %r12, %rdi
movq %rbx, %rsi
callq 0x3596c
movl %eax, -0x40(%rbp)
movq %rdx, -0x38(%rbp)
movq (%rbx), %rcx
movq %rcx, %r12
andq %r15, %r12
setne %al
testb $0x3, %cl
sete %r14b
andb %al, %r14b
cmpb $0x1, %r14b
jne 0x4a2f1
incl (%r12)
movl 0x8(%rcx), %ebx
movq %rcx, -0x30(%rbp)
movq 0x10(%rcx), %r13
movq %r13, %rax
andq %r15, %rax
sete %cl
testb $0x3, %r13b
setne %dl
orb %cl, %dl
jne 0x4a312
incl (%rax)
movq -0x60(%rbp), %r15
testb %r14b, %r14b
je 0x4a331
decl (%r12)
jne 0x4a331
movq -0x30(%rbp), %rdi
leaq 0xcb84d(%rip), %rsi     # 0x115b79
callq 0xd4e3
leaq -0x90(%rbp), %rcx
movq %r15, %rdi
movl %ebx, %esi
movq %r13, %rdx
callq 0x606f1
testl %eax, %eax
je 0x4a48e
cmpl $0x1, %eax
movabsq $0xfffffffffffc, %r15   # imm = 0xFFFFFFFFFFFC
jne 0x4a80c
movq %rdx, %rdi
callq 0xdaeb
movq %rax, -0x70(%rbp)
movq %rdx, -0x68(%rbp)
testb %r14b, %r14b
je 0x4a379
incl (%r12)
movq -0x30(%rbp), %rax
movl 0x18(%rax), %r13d
movq 0x20(%rax), %rbx
movq %rbx, %rax
andq %r15, %rax
sete %cl
testb $0x3, %bl
setne %dl
orb %cl, %dl
jne 0x4a39a
incl (%rax)
testb %r14b, %r14b
je 0x4a3b5
decl (%r12)
jne 0x4a3b5
movq -0x30(%rbp), %rdi
leaq 0xcb7c9(%rip), %rsi     # 0x115b79
callq 0xd4e3
movq -0x90(%rbp), %rdi
leaq -0x58(%rbp), %rcx
movl %r13d, %esi
movq %rbx, %rdx
callq 0x606f1
testl %eax, %eax
je 0x4a4a1
cmpl $0x1, %eax
jne 0x4a84d
movq %rdx, %rdi
callq 0xdaeb
movq -0x68(%rbp), %r12
testb $0x1, %r12b
movq -0x70(%rbp), %r14
je 0x4a40a
movq %r14, %rcx
andq %r15, %rcx
sete %dl
testb $0x3, %r14b
setne %sil
orb %dl, %sil
jne 0x4a40a
incl (%rcx)
cmpq %rax, %r14
jne 0x4a4a1
movl $0x2, %edi
xorl %esi, %esi
callq 0x3e9e0
movabsq $0x9000000000000, %rdi  # imm = 0x9000000000000
orq %rax, %rdi
leaq 0xcb6b6(%rip), %rsi     # 0x115ae9
callq 0x95f6
movq %rdx, %rbx
testb $0x1, %r12b
je 0x4a457
movq %r14, %rax
andq %r15, %rax
sete %cl
testb $0x3, %r14b
setne %dl
orb %cl, %dl
jne 0x4a457
incl (%rax)
movq -0x58(%rbp), %r13
leaq 0x10cefc6(%rip), %rdi   # 0x1119428
movq %r14, %rsi
callq 0x13ff0
leaq 0x4(%r15), %rcx
orq %rcx, %rbx
leaq 0xcae49(%rip), %rsi     # 0x1152c1
movq %rbx, %rdi
movq %rax, %rdx
callq 0x14ab5
jmp 0x4a4a5
movq -0x60(%rbp), %rax
jmp 0x4a7f7
movq -0x90(%rbp), %r13
movabsq $0xfffffffffffc, %r15   # imm = 0xFFFFFFFFFFFC
jmp 0x4a4a5
movq -0x58(%rbp), %r13
movq -0x30(%rbp), %rcx
leaq -0x58(%rbp), %r8
leaq -0xa0(%rbp), %rbx
movq %r13, %rdi
movl -0x40(%rbp), %esi
movq -0x38(%rbp), %rdx
movq %rbx, %r9
callq 0x60a20
movq (%rbx), %rbx
movq %rax, -0x38(%rbp)
movq %rax, %r14
shlq $0x30, %r14
movq %rdx, %rax
andq %r15, %rax
sete %cl
testb $0x3, %dl
setne %sil
orb %cl, %sil
jne 0x4a4eb
incl (%rax)
movq %rdx, -0x40(%rbp)
orq %rdx, %r14
leaq 0xcad80(%rip), %r12     # 0x115279
movq %rbx, %rax
andq %r15, %rax
sete %cl
testb $0x3, %bl
setne %dl
orb %cl, %dl
jne 0x4a50e
incl (%rax)
leaq -0x58(%rbp), %r13
movq (%r13), %rax
movq %rax, -0x30(%rbp)
movl $0x2, %edi
callq 0xe4ba
movq %rax, %r15
movabsq $0xfffffffffffc, %rcx   # imm = 0xFFFFFFFFFFFC
andq %rcx, %rax
movw $0x2, 0x6(%rax)
movq %rbx, 0x18(%rax)
leaq 0xcb634(%rip), %rcx     # 0x115b79
movq %rcx, 0x20(%rax)
movq %r14, 0x8(%rax)
movq %r12, 0x10(%rax)
movq -0x78(%rbp), %r14
movq %r14, %rdi
callq 0x34194
movq %rax, %r12
leaq 0xcae32(%rip), %rsi     # 0x115399
movq %r15, %rdi
callq 0x15e68
movl $0xa, %edi
movq %r12, %rsi
xorl %edx, %edx
movq %rax, %rcx
callq 0x1faa2
movq %rax, %r15
leaq 0x10cf125(%rip), %rdi   # 0x11196b0
movq %r14, %rsi
callq 0x13ff0
leaq 0xcb237(%rip), %rsi     # 0x1157d1
movq %r15, %rdi
movq %rax, %rdx
callq 0x14ab5
leaq 0x10cf45c(%rip), %rdi   # 0x1119a08
movq %r14, %rsi
callq 0x13ff0
leaq 0xcb76d(%rip), %rsi     # 0x115d28
xorl %edi, %edi
movq %rax, %rdx
callq 0x14ab5
leaq -0x90(%rbp), %r15
movq %rbx, %rdi
movq %r15, %rsi
movq %r13, %rdx
callq 0x3b486
movl (%r13), %esi
movq 0x8(%r13), %rdx
movq -0x80(%rbp), %rdi
callq 0x55852
movq %rax, %r12
movl (%r15), %r14d
movq 0x8(%r15), %rbx
cmpl $0x2, (%rax)
jb 0x4a6af
movl $0x1, %edi
movl $0x68, %esi
callq 0x50c0
testq %rax, %rax
je 0x4a81f
movl $0xd, %ecx
movq %rax, %rdi
movq %r12, %rsi
rep  movsq (%rsi), %es:(%rdi)
movq 0x10(%rax), %rdx
movq %rdx, %rcx
movabsq $0xfffffffffffc, %r15   # imm = 0xFFFFFFFFFFFC
andq %r15, %rcx
sete %sil
testb $0x3, %dl
setne %dl
orb %sil, %dl
jne 0x4a649
incl (%rcx)
movq 0x30(%rax), %rdx
movq %rdx, %rcx
andq %r15, %rcx
sete %sil
testb $0x3, %dl
setne %dl
orb %sil, %dl
jne 0x4a664
incl (%rcx)
movl %r14d, 0x38(%rax)
movq %rbx, 0x40(%rax)
movq 0x50(%rax), %rdx
movq %rdx, %rcx
andq %r15, %rcx
sete %sil
testb $0x3, %dl
setne %dl
orb %sil, %dl
jne 0x4a687
incl (%rcx)
movq 0x60(%rax), %rdx
movq %rdx, %rcx
andq %r15, %rcx
sete %sil
testb $0x3, %dl
setne %dl
orb %sil, %dl
movq -0x48(%rbp), %rbx
jne 0x4a6a6
incl (%rcx)
decl (%r12)
movq %rax, %r12
jmp 0x4a6fd
movq 0x40(%r12), %rcx
movq %rcx, %rax
movabsq $0xfffffffffffc, %r15   # imm = 0xFFFFFFFFFFFC
andq %r15, %rax
sete %dl
testb $0x3, %cl
setne %cl
orb %dl, %cl
jne 0x4a6ef
decl (%rax)
jne 0x4a6ef
leaq 0xcb4e5(%rip), %rsi     # 0x115bc1
movl 0x38(%r12), %edi
shlq $0x30, %rdi
orq 0x40(%r12), %rdi
callq 0xd4e3
movl %r14d, 0x38(%r12)
movq %rbx, 0x40(%r12)
movq -0x48(%rbp), %rbx
cmpl $0x2, (%r12)
jb 0x4a7ae
movl $0x1, %edi
movl $0x68, %esi
callq 0x50c0
testq %rax, %rax
je 0x4a828
movl $0xd, %ecx
movq %rax, %rdi
movq %r12, %rsi
rep  movsq (%rsi), %es:(%rdi)
movq 0x10(%rax), %rdx
movq %rdx, %rcx
andq %r15, %rcx
sete %sil
testb $0x3, %dl
setne %dl
orb %sil, %dl
jne 0x4a749
incl (%rcx)
movq -0x38(%rbp), %rcx
movl %ecx, 0x28(%rax)
movq -0x40(%rbp), %rcx
movq %rcx, 0x30(%rax)
movq 0x40(%rax), %rdx
movq %rdx, %rcx
andq %r15, %rcx
sete %sil
testb $0x3, %dl
setne %dl
orb %sil, %dl
jne 0x4a773
incl (%rcx)
movq 0x50(%rax), %rdx
movq %rdx, %rcx
andq %r15, %rcx
sete %sil
testb $0x3, %dl
setne %dl
orb %sil, %dl
jne 0x4a78e
incl (%rcx)
movq 0x60(%rax), %rcx
andq %rcx, %r15
sete %dl
testb $0x3, %cl
setne %cl
orb %dl, %cl
jne 0x4a7a5
incl (%r15)
decl (%r12)
movq %rax, %r12
jmp 0x4a7f3
movq 0x30(%r12), %rax
andq %rax, %r15
sete %cl
testb $0x3, %al
setne %al
orb %cl, %al
jne 0x4a7e1
decl (%r15)
jne 0x4a7e1
movl 0x28(%r12), %edi
shlq $0x30, %rdi
orq 0x30(%r12), %rdi
leaq 0xcaa9d(%rip), %rsi     # 0x115279
callq 0xd4e3
movq -0x38(%rbp), %rax
movl %eax, 0x28(%r12)
movq -0x40(%rbp), %rax
movq %rax, 0x30(%r12)
movq -0x30(%rbp), %rax
movq %rax, (%rbx)
movq %r12, %rax
addq $0x78, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
leaq 0x99f3a(%rip), %rdi     # 0xe474d
movl $0x20, %esi
callq 0x92e9
jmp 0x4a875
leaq 0xa0299(%rip), %rsi     # 0xeaabf
jmp 0x4a82f
leaq 0xa02c4(%rip), %rsi     # 0xeaaf3
movl $0x33, %edx
movl $0x2, %edi
callq 0x5060
callq 0x52be
movl $0x1, %edi
callq 0x5130
movl $0x20, %edi
callq 0xf9f7
movq $0x20, 0x10(%rax)
movups 0x99ee7(%rip), %xmm0    # 0xe474d
movups %xmm0, 0x18(%rax)
movups 0x99eec(%rip), %xmm0    # 0xe475d
movups %xmm0, 0x28(%rax)
movq %rax, %rdi
callq 0x95a5