// File: /workspace/github_c_makefile_star2_O1/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 $0x48, %rsp
movabsq $0xfffffffffffc, %rbx   # imm = 0xFFFFFFFFFFFC
callq 0xda3f
movq %rax, %r13
movq %rax, %r15
shrq $0x30, %r15
movq %rbx, -0x38(%rbp)
andq %rbx, %r13
callq 0xda98
movq %rax, %r12
xorl %ebx, %ebx
xorl %r14d, %r14d
testl %r15d, %r15d
je 0x6212c
cmpl $0x1, %r15d
jne 0x623f0
movq %r13, %rdi
leaq -0x60(%rbp), %rsi
callq 0xd450
movq %rax, %r15
testb $0x1, %dl
movabsq $0xfffffffffffc, %r13   # imm = 0xFFFFFFFFFFFC
je 0x6202c
movq %r15, %rax
andq %r13, %rax
sete %cl
testb $0x3, %r15b
setne %dl
orb %cl, %dl
jne 0x6202c
incl (%rax)
movq %r12, %rdi
movq %r15, %rsi
leaq -0x50(%rbp), %rdx
callq 0x3176f
cmpl $0x1, %eax
jne 0x62330
movq %rdx, %rdi
callq 0xdaeb
movq %rbx, %rcx
andq %r13, %rcx
setne %dl
testb $0x3, %bl
sete %sil
testb %sil, %dl
je 0x62063
incl (%rcx)
movq -0x50(%rbp), %rdi
movq %rax, %rsi
movl %r14d, %edx
movq %rbx, %rcx
leaq -0x48(%rbp), %r8
callq 0x36bc1
movl %eax, %r12d
movq %rdx, %rax
andq %r13, %rax
sete %cl
testb $0x3, %dl
setne %sil
orb %cl, %sil
jne 0x620ab
decl (%rax)
jne 0x620ab
movq %r12, %rdi
shlq $0x30, %rdi
orq %rdx, %rdi
leaq 0xb321b(%rip), %rsi     # 0x1152c1
callq 0xd4e3
leaq 0x1(,%r12,2), %rdi
movl $0x1, %esi
callq 0xec04
testl %eax, %eax
jne 0x6238d
movq -0x48(%rbp), %rdi
movq %r15, %rsi
leaq -0x30(%rbp), %rdx
callq 0x3fbcd
movl %eax, %r13d
cmpl $0x1, %eax
jne 0x62136
movq %rdx, %rdi
callq 0xdaeb
movq %rax, %r12
movl $0x1, %edi
callq 0x1ef8a
movq %rdx, %rcx
movq -0x30(%rbp), %rdi
leaq -0x40(%rbp), %rax
movq %rax, (%rsp)
movq %r12, %rsi
movl $0x2, %edx
xorl %r8d, %r8d
xorl %r9d, %r9d
callq 0x1f143
movq -0x40(%rbp), %r12
movq %rax, %rdi
leaq 0xb397e(%rip), %rsi     # 0x115aa0
callq 0x95f6
movq %rdx, %rdi
jmp 0x6213c
xorl %eax, %eax
xorl %r13d, %r13d
jmp 0x6225e
movq -0x30(%rbp), %r12
xorl %edi, %edi
testl %r13d, %r13d
je 0x62145
xorl %eax, %eax
jmp 0x621b7
movq %r12, %rdi
movq %r15, %rsi
leaq -0x30(%rbp), %rdx
callq 0x40b9d
movl %eax, %r13d
cmpl $0x1, %eax
jne 0x621ab
movq %rdx, %rdi
callq 0xdaeb
movq %rax, %r12
movl $0x3, %edi
callq 0x1ef8a
movq %rdx, %rcx
movq -0x30(%rbp), %rdi
leaq -0x40(%rbp), %rax
movq %rax, (%rsp)
movq %r12, %rsi
movl $0x2, %edx
xorl %r8d, %r8d
xorl %r9d, %r9d
callq 0x1f143
movq -0x40(%rbp), %r12
movq %rax, %rdi
leaq 0xb38ff(%rip), %rsi     # 0x115aa0
callq 0x95f6
movq %rdx, %rdi
jmp 0x621b1
movq -0x30(%rbp), %r12
xorl %edi, %edi
testl %r13d, %r13d
sete %al
movb $0x1, %r13b
testb %al, %al
je 0x6222b
movq %r12, %rdi
movq %r15, %rsi
leaq -0x30(%rbp), %rdx
callq 0x36274
cmpl $0x1, %eax
sete %r13b
jne 0x62225
movq %rdx, %rdi
callq 0xdaeb
movq %rax, %r12
movl $0x2, %edi
callq 0x1ef8a
movq %rdx, %rcx
movq -0x30(%rbp), %rdi
leaq -0x40(%rbp), %rax
movq %rax, (%rsp)
movq %r12, %rsi
movl $0x2, %edx
xorl %r8d, %r8d
xorl %r9d, %r9d
callq 0x1f143
movq -0x40(%rbp), %r12
movq %rax, %rdi
leaq 0xb3885(%rip), %rsi     # 0x115aa0
callq 0x95f6
movq %rdx, %rdi
jmp 0x6222b
movq -0x30(%rbp), %r12
xorl %edi, %edi
testb %r13b, %r13b
je 0x622ce
callq 0xdaeb
movl %r14d, %edi
movq %rbx, %rsi
movq %rax, %rdx
leaq 0xb3857(%rip), %rcx     # 0x115aa0
callq 0x3f2d0
movl %eax, %r14d
movq %rdx, %rbx
movl -0x60(%rbp), %r15d
movq -0x58(%rbp), %r13
movb $0x1, %al
testb %al, %al
jne 0x61fe5
movabsq $0xfffffffffffc, %rdx   # imm = 0xFFFFFFFFFFFC
andq %r13, %rdx
sete %al
testb $0x3, %r13b
setne %cl
orb %al, %cl
jne 0x6229b
decl (%rdx)
jne 0x6229b
shlq $0x30, %r15
orq %r13, %r15
movq %r15, %rdi
leaq 0xb2fe3(%rip), %rsi     # 0x115279
callq 0xd4e3
leaq 0xb364e(%rip), %rsi     # 0x1158f0
movq %r12, %rdi
callq 0x9116
shlq $0x30, %r14
orq %rbx, %r14
movq %r14, %rdi
leaq 0xb2fbe(%rip), %rsi     # 0x115279
addq $0x48, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
jmp 0xd6f1
cmpq $0x0, 0x10b7b1a(%rip)   # 0x1119df0
jne 0x6230a
movl $0x17, %edi
callq 0xf9f7
movq $0x17, 0x10(%rax)
movabsq $0x2e656d616e207265, %rcx # imm = 0x2E656D616E207265
movq %rcx, 0x27(%rax)
movups 0x888e9(%rip), %xmm0    # 0xeabe8
movups %xmm0, 0x18(%rax)
movq %rax, 0x10b7ae6(%rip)   # 0x1119df0
movq 0x10b7adf(%rip), %rdx   # 0x1119df0
andq %rdx, -0x38(%rbp)
sete %al
testb $0x3, %dl
setne %cl
orb %al, %cl
jne 0x62328
movq -0x38(%rbp), %rax
incl (%rax)
movq %r12, %rdi
jmp 0x623e8
cmpq $0x0, 0x10b7aa8(%rip)   # 0x1119de0
jne 0x62369
movl $0x1a, %edi
callq 0xf9f7
movq $0x1a, 0x10(%rax)
movups 0x88860(%rip), %xmm0    # 0xeabb3
movups %xmm0, 0x18(%rax)
movups 0x8885f(%rip), %xmm0    # 0xeabbd
movups %xmm0, 0x22(%rax)
movq %rax, 0x10b7a77(%rip)   # 0x1119de0
movq 0x10b7a70(%rip), %rdx   # 0x1119de0
andq %rdx, -0x38(%rbp)
sete %al
testb $0x3, %dl
setne %cl
orb %al, %cl
jne 0x62387
movq -0x38(%rbp), %rax
incl (%rax)
movq -0x50(%rbp), %rdi
jmp 0x623e8
cmpq $0x0, 0x10b7a53(%rip)   # 0x1119de8
jne 0x623c6
movl $0x19, %edi
callq 0xf9f7
movq $0x19, 0x10(%rax)
movups 0x8881e(%rip), %xmm0    # 0xeabce
movups %xmm0, 0x18(%rax)
movups 0x8881c(%rip), %xmm0    # 0xeabd7
movups %xmm0, 0x21(%rax)
movq %rax, 0x10b7a22(%rip)   # 0x1119de8
movq 0x10b7a1b(%rip), %rdx   # 0x1119de8
andq %rdx, -0x38(%rbp)
sete %al
testb $0x3, %dl
setne %cl
orb %al, %cl
jne 0x623e4
movq -0x38(%rbp), %rax
incl (%rax)
movq -0x48(%rbp), %rdi
movq %r15, %rsi
callq 0x2778c
movl $0x20, %edi
callq 0xf9f7
movq $0x20, 0x10(%rax)
movups 0x82344(%rip), %xmm0    # 0xe474d
movups %xmm0, 0x18(%rax)
movups 0x82349(%rip), %xmm0    # 0xe475d
movups %xmm0, 0x28(%rax)
movq %rax, %rdi
callq 0x95a5