// File: /workspace/github_c_makefile_star2_O2/mirth-lang[P]mirth/bin/mirth1.c
// Function: mb_mirth_mirth_PropLabel_prop_1_sp15_0
static void mb_mirth_mirth_PropLabel_prop_1_sp15_0 (void) {
	struct std_list_List_1 v0 = V_std_list_List_1(pop_value());
	struct mirth_mirth_zaMirth* r1 = V_mirth_mirth_zaMirth(pop_resource());
	struct mirth_mirth_zaMirth* v2;
	struct std_list_List_1 v3 = mw_mirth_data_elabzedatazeparamszx(r1, v0, &v2);
	push_resource(MK_mirth_mirth_zaMirth(v2));
	push_value(MK_std_list_List_1(v3));
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x38, %rsp
movabsq $0xfffffffffffc, %rbx   # imm = 0xFFFFFFFFFFFC
callq 0xd3d6
movq %rax, %r15
movq %rax, %r13
shrq $0x30, %r13
movq %rbx, -0x38(%rbp)
andq %rbx, %r15
callq 0xd429
movq %rax, %r12
xorl %ebx, %ebx
leaq -0x60(%rbp), %rsi
xorl %r14d, %r14d
movb $0x1, %al
movq %r15, %rdi
testb $0x1, %al
je 0x5b891
xorl %eax, %eax
movl $0x0, %r15d
testl %r13d, %r13d
je 0x5b6be
cmpl $0x1, %r13d
jne 0x5b8f8
callq 0xce01
movq %rax, %r15
testb $0x1, %dl
movabsq $0xfffffffffffc, %r13   # imm = 0xFFFFFFFFFFFC
je 0x5b70d
movq %r15, %rax
andq %r13, %rax
sete %cl
testb $0x3, %r15b
setne %dl
orb %cl, %dl
jne 0x5b70d
incl (%rax)
movq %r12, %rdi
movq %r15, %rsi
leaq -0x50(%rbp), %rdx
callq 0x2df97
cmpl $0x1, %eax
jne 0x5b90f
movq %rdx, %rdi
callq 0xd491
movq %r14, %rcx
andq %r13, %rcx
setne %dl
testb $0x3, %r14b
sete %sil
testb %sil, %dl
je 0x5b745
incl (%rcx)
movq -0x50(%rbp), %rdi
movq %rax, %rsi
movl %ebx, %edx
movq %r14, %rcx
leaq -0x48(%rbp), %r8
callq 0x32cc5
movl %eax, %r12d
movq %rdx, %rax
andq %r13, %rax
sete %cl
testb $0x3, %dl
setne %sil
orb %cl, %sil
jne 0x5b78c
decl (%rax)
jne 0x5b78c
movq %r12, %rdi
shlq $0x30, %rdi
orq %rdx, %rdi
leaq 0xacb3a(%rip), %rsi     # 0x1082c1
callq 0xce94
movq %r12, %rdi
callq 0xd86d
movq %rax, %rdi
pushq $0x1
popq %rsi
callq 0xd759
testb %al, %al
je 0x5b951
movq -0x48(%rbp), %rdi
movq %r15, %rsi
leaq -0x30(%rbp), %rdx
callq 0x3b524
cmpl $0x1, %eax
jne 0x5b7f7
movq %rdx, %rdi
callq 0xd491
movq %rax, %r15
callq 0x1c736
movq -0x30(%rbp), %rdi
pushq $0x2
popq %rsi
movq %r15, %rcx
leaq -0x40(%rbp), %r8
callq 0x1c742
movq %rax, %rdi
leaq 0xad2b7(%rip), %rsi     # 0x108aa0
callq 0x8d0c
movq %rdx, %rdi
movq -0x40(%rbp), %r12
jmp 0x5b801
movq -0x30(%rbp), %r12
testl %eax, %eax
je 0x5b829
xorl %edi, %edi
callq 0xd491
movl %ebx, %edi
movq %r14, %rsi
movq %rax, %rdx
callq 0x33f57
movl %eax, %ebx
movq %rdx, %r14
movl -0x60(%rbp), %r13d
movq -0x58(%rbp), %r15
leaq -0x60(%rbp), %rsi
jmp 0x5b6bc
movq %r12, %rdi
movq %r15, %rsi
leaq -0x30(%rbp), %rdx
callq 0x3c38e
cmpl $0x1, %eax
jne 0x5b852
movq %rdx, %rdi
callq 0xd491
movq %rax, %r15
callq 0x1c72a
jmp 0x5b7cc
movq -0x30(%rbp), %r12
testl %eax, %eax
jne 0x5b7ff
movq %r12, %rdi
movq %r15, %rsi
leaq -0x30(%rbp), %rdx
callq 0x3242f
cmpl $0x1, %eax
jne 0x5b999
movq %rdx, %rdi
callq 0xd491
movq %rax, %r15
callq 0x329c2
movq -0x30(%rbp), %rdi
pushq $0x2
popq %rsi
movq %rax, %rdx
jmp 0x5b7d3
leaq 0xac9e1(%rip), %r15     # 0x108279
movabsq $0xfffffffffffc, %rdx   # imm = 0xFFFFFFFFFFFC
andq %rdi, %rdx
sete %al
testb $0x3, %dil
setne %cl
orb %al, %cl
jne 0x5b8c9
decl (%rdx)
jne 0x5b8c9
shlq $0x30, %r13
orq %rdi, %r13
movq %r13, %rdi
movq %r15, %rsi
callq 0xce94
leaq 0xad020(%rip), %rsi     # 0x1088f0
movq %r12, %rdi
callq 0x883c
shlq $0x30, %rbx
orq %r14, %rbx
movq %rbx, %rdi
movq %r15, %rsi
addq $0x38, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
jmp 0xd08e
leaq 0x78f0e(%rip), %rdi     # 0xd480d
pushq $0x20
popq %rsi
callq 0x8a21
movq %rax, %rdi
callq 0x8cc6
movq 0x10b14ca(%rip), %rdx   # 0x110cde0
testq %rdx, %rdx
jne 0x5b934
leaq 0x7f334(%rip), %rdi     # 0xdac56
pushq $0x1a
popq %rsi
callq 0x8a21
movq %rax, %rdx
movq %rax, 0x10b14ac(%rip)   # 0x110cde0
andq %rdx, -0x38(%rbp)
sete %al
testb $0x3, %dl
setne %cl
orb %al, %cl
jne 0x5b94b
movq -0x38(%rbp), %rax
incl (%rax)
movq -0x50(%rbp), %rdi
jmp 0x5b991
movq 0x10b1490(%rip), %rdx   # 0x110cde8
testq %rdx, %rdx
jne 0x5b976
leaq 0x7f30d(%rip), %rdi     # 0xdac71
pushq $0x19
popq %rsi
callq 0x8a21
movq %rax, %rdx
movq %rax, 0x10b1472(%rip)   # 0x110cde8
andq %rdx, -0x38(%rbp)
sete %al
testb $0x3, %dl
setne %cl
orb %al, %cl
jne 0x5b98d
movq -0x38(%rbp), %rax
incl (%rax)
movq -0x48(%rbp), %rdi
movq %r15, %rsi
callq 0x246fe
movq -0x30(%rbp), %rbx
movq 0x10b144c(%rip), %rdx   # 0x110cdf0
testq %rdx, %rdx
jne 0x5b9c2
leaq 0x7f2db(%rip), %rdi     # 0xdac8b
pushq $0x17
popq %rsi
callq 0x8a21
movq %rax, %rdx
movq %rax, 0x10b142e(%rip)   # 0x110cdf0
andq %rdx, -0x38(%rbp)
sete %al
testb $0x3, %dl
setne %cl
orb %al, %cl
jne 0x5b9d9
movq -0x38(%rbp), %rax
incl (%rax)
movq %rbx, %rdi
jmp 0x5b991