// File: /workspace/github_c_makefile_star2_O3/mirth-lang[P]mirth/bin/mirth1.c
// Function: mb_mirth_mirth_zaMirth_initzemacroszx_2
static void mb_mirth_mirth_zaMirth_initzemacroszx_2 (void) {
	uint64_t v0 = V_mirth_token_Token(pop_value());
	struct mirth_mirth_zaMirth* r1 = V_mirth_mirth_zaMirth(pop_resource());
	pop_resource();
	struct mirth_mirth_zaMirth* v2;
	uint64_t v3 = mw_mirth_elab_elabzepatchzx(r1, v0, &v2);
	push_resource(MKI64(0));
	push_resource(MK_mirth_mirth_zaMirth(v2));
	push_value(MK_mirth_token_Token(v3));
}

// 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 0xd699
movq %rax, %r14
callq 0xd6f2
movq %rax, %rbx
callq 0xd6f2
leaq -0x50(%rbp), %r15
movq %rbx, %rdi
movq %r14, %rsi
movq %r15, %rdx
callq 0x27534
movq (%r15), %rdi
xorl %ebx, %ebx
cmpq %r14, 0x10f44a6(%rip)   # 0x11153f8
leaq 0x1(%r14), %rax
cmovaq %rax, %rbx
leaq -0x48(%rbp), %r14
movq %rbx, %rsi
movq %r14, %rdx
callq 0x27534
movq (%r14), %rdi
leaq -0x38(%rbp), %rdx
movq %rbx, %rsi
callq 0x275cc
cmpl $0x1, %eax
jne 0x21188
movq %rdx, %rdi
callq 0xd745
movq %rax, %r15
movq %rdx, %r12
movq -0x38(%rbp), %r14
movl $0x2, %edi
callq 0xe0e7
movq %rax, %rcx
andq %r13, %rcx
movw $0x2, 0x6(%rcx)
movq %r15, 0x18(%rcx)
movq %r12, 0x20(%rcx)
movq %rbx, 0x8(%rcx)
leaq 0xf0dfc(%rip), %rdx     # 0x111db8
movq %rdx, 0x10(%rcx)
movq 0x48(%r14), %rdi
movq %rdi, %rcx
andq %r13, %rcx
setne %dl
testb $0x3, %dil
sete %sil
testb %sil, %dl
je 0x20fdc
incl (%rcx)
leaq 0xf03b6(%rip), %rdx     # 0x111399
leaq 0x6624(%rip), %rcx      # 0x2760e
movq %rax, %rsi
callq 0x27765
xorl %edi, %edi
xorl %esi, %esi
movl $0x1, %edx
movq %rax, %rcx
callq 0x1f63a
leaq 0xf07c7(%rip), %rsi     # 0x1117d1
movq %rax, %rdi
callq 0x9353
movq %rdx, %r15
movq 0x48(%r14), %r12
movq %r12, %rax
andq %r13, %rax
setne %dl
testb $0x3, %r12b
sete %cl
andb %dl, %cl
cmpb $0x1, %cl
jne 0x21033
addl $0x2, (%rax)
movl 0x18(%r12), %edx
movl %edx, -0x2c(%rbp)
movq 0x20(%r12), %r13
movq %r13, %rdx
movabsq $0xfffffffffffc, %rsi   # imm = 0xFFFFFFFFFFFC
andq %rsi, %rdx
sete %sil
testb $0x3, %r13b
setne %dil
orb %sil, %dil
jne 0x21063
incl (%rdx)
testb %cl, %cl
je 0x2107a
decl (%rax)
jne 0x2107a
movq %r12, %rdi
leaq 0xf07ec(%rip), %rsi     # 0x111861
callq 0xd13d
movq %r12, %rdi
movl $0x1, %esi
movq %r15, %rdx
callq 0x277df
movq %rax, %r15
movq 0x48(%r14), %rdi
movq %rdi, %rax
movabsq $0xfffffffffffc, %rcx   # imm = 0xFFFFFFFFFFFC
andq %rcx, %rax
sete %cl
testb $0x3, %dil
setne %dl
orb %cl, %dl
jne 0x210bf
decl (%rax)
jne 0x210bf
leaq 0xf07a7(%rip), %rsi     # 0x111861
callq 0xd13d
movq %r15, 0x48(%r14)
xorl %esi, %esi
cmpq %rbx, 0x10f432c(%rip)   # 0x11153f8
leaq 0x1(%rbx), %rax
cmovaq %rax, %rsi
leaq -0x40(%rbp), %r15
movq %r14, %rdi
movq %r15, %rdx
callq 0x278d4
movq %rax, %rbx
movq (%r15), %r14
movq 0x48(%r14), %rdi
movq %rdi, %rax
movabsq $0xfffffffffffc, %rcx   # imm = 0xFFFFFFFFFFFC
andq %rcx, %rax
sete %cl
testb $0x3, %dil
setne %dl
orb %cl, %dl
jne 0x2110d
incl (%rax)
movl -0x2c(%rbp), %esi
movq %r13, %rdx
callq 0x277df
movq %rax, %r15
movq 0x48(%r14), %rdi
movabsq $0xfffffffffffc, %rdx   # imm = 0xFFFFFFFFFFFC
andq %rdi, %rdx
sete %al
testb $0x3, %dil
setne %cl
orb %al, %cl
jne 0x2114a
decl (%rdx)
jne 0x2114a
leaq 0xf071c(%rip), %rsi     # 0x111861
callq 0xd13d
movq %r15, 0x48(%r14)
leaq 0xeff63(%rip), %rsi     # 0x1110b8
xorl %edi, %edi
callq 0x8e6d
leaq 0xf078d(%rip), %rsi     # 0x1118f0
movq %r14, %rdi
callq 0x8e6d
leaq 0xf0c46(%rip), %rsi     # 0x111db8
movq %rbx, %rdi
addq $0x28, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
jmp 0xd34b
movq 0x10f4249(%rip), %rdx   # 0x11153d8
testq %rdx, %rdx
jne 0x211c6
movl $0x1c, %edi
callq 0xf5e4
movq %rax, %rdx
movq $0x1c, 0x10(%rax)
movups 0xc2e17(%rip), %xmm0    # 0xe3fc7
movups %xmm0, 0x18(%rax)
movups 0xc2e18(%rip), %xmm0    # 0xe3fd3
movups %xmm0, 0x24(%rax)
movq %rax, 0x10f4212(%rip)   # 0x11153d8
andq %rdx, %r13
sete %al
testb $0x3, %dl
setne %cl
orb %al, %cl
jne 0x211da
incl (%r13)
movq -0x38(%rbp), %rdi
movq %rbx, %rsi
callq 0x27183