// File: /workspace/github_c_makefile_star2_O1/markdryan[P]subtilis/frontend/parser_loops.c
// Function: subtilis_parser_range
void subtilis_parser_range(subtilis_parser_t *p, subtilis_token_t *t,
			   subtilis_error_t *err)

{
	size_t i;
	subtilis_exp_t *e;
	size_t var_count;
	bool new_locals;
	subtilis_range_var_t *range_vars = NULL;

	range_vars = prv_get_range_vars(p, t, &var_count, &e, &new_locals, err);
	if (err->type != SUBTILIS_ERROR_OK)
		return;

	prv_range_compound(p, t, e, var_count, new_locals, range_vars, err);

	subtilis_exp_delete(e);
	for (i = 0; i < var_count; i++) {
		subtilis_type_free(&range_vars[i].type);
		subtilis_type_free(&range_vars[i].for_ctx.type);
		free(range_vars[i].name);
	}
	free(range_vars);
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0xdc8, %rsp            # imm = 0xDC8
movq %rdx, %rbx
movq %rsi, %r15
movq %rdi, %r14
movl $0x8, 0x70(%rsp)
movq (%rdi), %rdi
callq 0x12eda
cmpl $0x0, (%rbx)
movq %r14, 0x10(%rsp)
je 0x22e5f
xorl %r12d, %r12d
movl %eax, 0xc(%rsp)
cmpl $0x0, (%rbx)
jne 0x2397a
testb $0x1, 0xc(%rsp)
je 0x22e97
movq 0x10(%rsp), %rax
incq 0x78(%rax)
movq (%rax), %rsi
movq 0x68(%rax), %rdi
movq %rbx, %rdx
callq 0x2e62b
cmpl $0x0, (%rbx)
jne 0x2392f
testb $0x1, 0xc(%rsp)
je 0x23323
movq (%r12), %rdx
testq %rdx, %rdx
je 0x232ad
leaq 0x150(%r12), %rsi
leaq 0x8(%r12), %rcx
movq 0x10(%rsp), %rdi
movq %rbx, %r8
callq 0x23f33
jmp 0x232de
cmpl $0x1, (%r15)
jne 0x22ec6
movq %r15, %rdi
callq 0x12ad0
cmpl $0x4a, 0x8(%r15)
movq (%r14), %rdi
jne 0x22f49
movq %r15, %rsi
movq %rbx, %rdx
callq 0x12eda
cmpl $0x0, (%rbx)
jne 0x22dec
movb $0x1, %al
movl %eax, 0xc(%rsp)
jmp 0x22ece
movq (%r12), %rcx
testq %rcx, %rcx
je 0x22f9d
leaq 0x150(%r12), %rdx
leaq 0x8(%r12), %r8
movq 0x10(%rsp), %rdi
movq %r15, %rsi
movq %rbx, %r9
callq 0x23d70
jmp 0x22fce
movl $0x0, 0xc(%rsp)
movl $0xb, %edi
movl $0x2c8, %esi            # imm = 0x2C8
callq 0x12150
testq %rax, %rax
je 0x22f7f
movq %rax, %r12
movl $0x168, %eax            # imm = 0x168
movl $0x8, %ecx
movl %ecx, -0x160(%r12,%rax)
movl %ecx, (%r12,%rax)
addq $0x2c8, %rax            # imm = 0x2C8
cmpq $0x2000, %rax           # imm = 0x2000
jne 0x22ef3
movq %r15, %rdi
callq 0x12ad0
movq %rax, %r13
movl (%r15), %eax
cmpl $0x2, %eax
je 0x23028
cmpl $0x6, %eax
jne 0x2303b
leaq 0x8(%r12), %rdx
movq %r14, %rdi
movq %r15, %rsi
movq %rbx, %rcx
callq 0x18343
movq %rax, (%r12)
jmp 0x23086
movq 0x30(%rdi), %r8
movl 0x38(%rdi), %r9d
leaq 0x50a12(%rip), %r10     # 0x7396a
leaq 0x5011f(%rip), %rdx     # 0x7307e
movq %rbx, %rdi
movl $0x1d, %esi
movq %rax, %rcx
pushq $0x496                  # imm = 0x496
pushq %r10
callq 0x1442a
addq $0x10, %rsp
jmp 0x22dec
leaq 0x509e4(%rip), %rdx     # 0x7396a
movq %rbx, %rdi
movl $0x1, %esi
movl $0x431, %ecx            # imm = 0x431
callq 0x145f4
jmp 0x230d5
leaq 0x8(%r12), %rsi
leaq 0x168(%r12), %rdi
movq %rbx, %rdx
callq 0x2fa5f
cmpl $0x0, (%rbx)
jne 0x22fce
movb $0x0, 0x150(%r12)
pcmpeqd %xmm0, %xmm0
movdqu %xmm0, 0x158(%r12)
cmpl $0x0, (%rbx)
jne 0x2392f
cmpq $0x2, %r13
jb 0x22e07
leaq -0x1(%r13), %r14
leaq 0x418(%r12), %rbp
movq -0x150(%rbp), %rcx
leaq -0x148(%rbp), %r8
movq 0x10(%rsp), %rdi
movq %r15, %rsi
movq %rbp, %rdx
movq %rbx, %r9
callq 0x23d70
cmpl $0x0, (%rbx)
jne 0x2392f
addq $0x2c8, %rbp            # imm = 0x2C8
decq %r14
jne 0x22fed
jmp 0x22e07
leaq 0x50a9b(%rip), %rsi     # 0x73aca
movq %r13, %rdi
callq 0x12160
testl %eax, %eax
je 0x23070
movq (%r14), %rax
movq 0x30(%rax), %r8
movl 0x38(%rax), %r9d
leaq 0x5091d(%rip), %rax     # 0x7396a
leaq 0x50da1(%rip), %rcx     # 0x73df5
movq %rbx, %rdi
movl $0x12, %esi
movq %r13, %rdx
pushq $0x44c                  # imm = 0x44C
pushq %rax
callq 0x1442a
addq $0x10, %rsp
jmp 0x2308f
movq $0x0, (%r12)
movq (%r14), %rdi
movq %r15, %rsi
movq %rbx, %rdx
callq 0x12eda
cmpl $0x0, (%rbx)
je 0x23201
xorl %r13d, %r13d
testq %r13, %r13
je 0x230cd
movq %r12, %rbp
addq $0x168, %rbp            # imm = 0x168
leaq -0x160(%rbp), %rdi
callq 0x2f843
movq %rbp, %rdi
callq 0x2f843
movq -0x168(%rbp), %rdi
callq 0x122c0
addq $0x2c8, %rbp            # imm = 0x2C8
decq %r13
jne 0x230a1
movq %r12, %rdi
callq 0x122c0
xorl %r13d, %r13d
xorl %r12d, %r12d
cmpl $0x0, (%rbx)
jne 0x22dec
movq %r15, %rdi
callq 0x12ad0
movq %rax, %rbp
cmpl $0x2, (%r15)
jne 0x23171
leaq 0x5088b(%rip), %rsi     # 0x73987
movq %rbp, %rdi
callq 0x12160
testl %eax, %eax
je 0x2374a
movq %r15, %r14
leaq 0x504ee(%rip), %r15     # 0x73604
movq %rbp, %rdi
movq %r15, %rsi
callq 0x12160
testl %eax, %eax
je 0x23785
leaq 0x50852(%rip), %rdx     # 0x73982
cmpb $0x0, 0xc(%rsp)
cmovneq %r15, %rdx
movq 0x10(%rsp), %rax
movq (%rax), %rax
movq 0x30(%rax), %r8
movl 0x38(%rax), %r9d
leaq 0x5081a(%rip), %rax     # 0x7396a
movq %rbx, %rdi
movl $0x1d, %esi
movq %rbp, %rcx
pushq $0x4b7                  # imm = 0x4B7
pushq %rax
callq 0x1442a
addq $0x10, %rsp
xorl %edi, %edi
movq %r14, %r15
jmp 0x231b6
leaq 0x5048c(%rip), %rax     # 0x73604
leaq 0x50803(%rip), %rdx     # 0x73982
cmpb $0x0, 0xc(%rsp)
cmovneq %rax, %rdx
movq (%r14), %rax
movq 0x30(%rax), %r8
movl 0x38(%rax), %r9d
leaq 0x507d0(%rip), %rax     # 0x7396a
movq %rbx, %rdi
movl $0x1d, %esi
movq %rbp, %rcx
pushq $0x4a9                  # imm = 0x4A9
pushq %rax
callq 0x1442a
addq $0x10, %rsp
xorl %edi, %edi
callq 0x2b4c3
testq %r13, %r13
je 0x231f4
leaq 0x168(%r12), %rbp
leaq -0x160(%rbp), %rdi
callq 0x2f843
movq %rbp, %rdi
callq 0x2f843
movq -0x168(%rbp), %rdi
callq 0x122c0
addq $0x2c8, %rbp            # imm = 0x2C8
decq %r13
jne 0x231c8
movq %r12, %rdi
callq 0x122c0
jmp 0x22dec
movq %r15, %rdi
callq 0x12ad0
movl $0x1, %r13d
cmpl $0x2, (%r15)
jne 0x230db
leaq 0x50378(%rip), %rsi     # 0x73598
movq %rax, 0x20(%rsp)
movq %rax, %rdi
callq 0x12160
movl $0x1, %r13d
testl %eax, %eax
je 0x237ee
leaq 0x5340f(%rip), %rsi     # 0x76651
movq 0x20(%rsp), %rdi
callq 0x12160
testl %eax, %eax
je 0x23269
leaq 0x50fbb(%rip), %rsi     # 0x74212
movq 0x20(%rsp), %rdi
callq 0x12160
testl %eax, %eax
jne 0x230db
imulq $0x2c8, %r13, %rax      # imm = 0x2C8
movq -0x2c8(%r12,%rax), %rdx
movq (%r14), %rax
movq 0x30(%rax), %r8
movl 0x38(%rax), %r9d
leaq 0x506e0(%rip), %rax     # 0x7396a
leaq 0x50b64(%rip), %rcx     # 0x73df5
movq %rbx, %rdi
movl $0x55, %esi
pushq $0x46b                  # imm = 0x46B
pushq %rax
callq 0x1442a
addq $0x10, %rsp
jmp 0x23092
leaq 0x8(%r12), %rsi
leaq 0x168(%r12), %rdi
movq %rbx, %rdx
callq 0x2fa5f
cmpl $0x0, (%rbx)
jne 0x232de
movb $0x0, 0x150(%r12)
pcmpeqd %xmm0, %xmm0
movdqu %xmm0, 0x158(%r12)
cmpq $0x2, %r13
jb 0x23323
leaq -0x1(%r13), %r14
leaq 0x418(%r12), %rbp
movq -0x150(%rbp), %rdx
leaq -0x148(%rbp), %rcx
movq 0x10(%rsp), %rdi
movq %rbp, %rsi
movq %rbx, %r8
callq 0x23f33
cmpl $0x0, (%rbx)
jne 0x2392f
addq $0x2c8, %rbp            # imm = 0x2C8
decq %r14
jne 0x232f0
movq 0x10(%rsp), %r14
movq 0x48(%r14), %rdi
callq 0x2d00a
movq %rax, 0x48(%rsp)
movq 0x48(%r14), %rdi
callq 0x2d00a
movq %rax, 0x40(%rsp)
movq 0x20(%rsp), %rax
movq 0x148(%rax), %rsi
movq %r14, %rdi
xorl %edx, %edx
movq %rbx, %rcx
cmpq $0x1, %r13
jne 0x234b7
callq 0x4d908
movq $-0x1, 0x30(%rsp)
cmpl $0x0, (%rbx)
jne 0x2387b
movq %rax, %rbp
movq 0x20(%rsp), %rax
movq 0x148(%rax), %rsi
movq %r14, %rdi
xorl %edx, %edx
movq %rbx, %rcx
callq 0x4d29c
cmpl $0x0, (%rbx)
jne 0x2387b
movq 0x48(%r14), %rdi
xorl %esi, %esi
movq %rax, %rdx
movq %rbp, %rcx
movq %rbx, %r8
movq %rax, %rbp
callq 0x2c00f
cmpl $0x0, (%rbx)
jne 0x2387b
movq %rax, 0x18(%rsp)
movq %rbp, 0x28(%rsp)
movq 0x48(%r14), %rdi
movq 0x48(%rsp), %rsi
movq %rbx, %rdx
callq 0x2d017
cmpl $0x0, (%rbx)
jne 0x2387b
movq 0x48(%r14), %rdi
movl $0x3b, %esi
movq 0x28(%rsp), %rdx
movq 0x18(%rsp), %rcx
movq %rbx, %r8
callq 0x2c00f
cmpl $0x0, (%rbx)
jne 0x2387b
movq %rax, %rbp
movq %r15, 0x18(%rsp)
movq 0x10(%rsp), %r14
movq 0x48(%r14), %rdi
callq 0x2d00a
movq %rax, %r15
movq 0x48(%r14), %rdi
movl $0x43, %esi
movq %rbp, %rdx
movq %rax, %rcx
movq 0x40(%rsp), %r8
movq %rbx, %r9
callq 0x2c0c2
cmpl $0x0, (%rbx)
jne 0x23876
movq 0x10(%rsp), %rax
movq 0x48(%rax), %rdi
movq %r15, %rsi
movq %rbx, %rdx
callq 0x2d017
cmpl $0x0, (%rbx)
jne 0x23876
movq 0x10(%rsp), %rdi
movq %rbx, %rsi
callq 0x24703
cmpl $0x0, (%rbx)
jne 0x23876
cmpq $0x0, (%r12)
je 0x23bd9
movzbl 0xc(%rsp), %ecx
andl $0x1, %ecx
movq 0x10(%rsp), %rdi
movq 0x28(%rsp), %rsi
movq %r12, %rdx
movq %rbx, %r8
callq 0x241fe
cmpl $0x0, (%rbx)
movq 0x18(%rsp), %r15
jne 0x2387b
movq 0x28(%rsp), %rax
jmp 0x23740
callq 0x4d29c
movq $-0x1, 0x30(%rsp)
cmpl $0x0, (%rbx)
jne 0x2387b
movq %rax, 0x38(%rsp)
testq %r13, %r13
je 0x236fa
movq %r15, 0x18(%rsp)
leaq 0x588(%r12), %r14
movl $0x1, %ebp
movq 0x10(%rsp), %r15
movq 0x48(%r15), %rdi
callq 0x2d00a
movq %rax, -0x10(%r14)
movq 0x48(%r15), %rdi
callq 0x2d00a
movq %rax, -0x8(%r14)
movq 0x20(%rsp), %rdi
movq %rbx, %rsi
callq 0x362d2
cmpl $0x0, (%rbx)
jne 0x23876
movq %rax, %r15
movl %ebp, %edi
movq %rbx, %rsi
callq 0x2bb29
cmpl $0x0, (%rbx)
jne 0x2386e
movq %rbp, 0x28(%rsp)
movq 0x10(%rsp), %rbp
movq %rbp, %rdi
movq %r15, %rsi
movq %rax, %rdx
movq %rbx, %rcx
callq 0x4419d
cmpl $0x0, (%rbx)
jne 0x23876
movq %rbp, %rdi
movq %rax, %rsi
movq %rbx, %rdx
callq 0x36269
cmpl $0x0, (%rbx)
jne 0x23876
movq 0x148(%rax), %rcx
movq %rcx, (%r14)
movq %rax, %rdi
callq 0x2b4c3
movq 0x28(%rsp), %rbp
incq %rbp
addq $0x2c8, %r14            # imm = 0x2C8
cmpq %rbp, %r13
jne 0x234ee
leaq -0x1(%r13), %rbp
leaq 0x418(%r12), %rax
movq 0x18(%rsp), %r15
movq 0x10(%rsp), %r14
movq %rax, 0x28(%rsp)
xorl %edi, %edi
movq %rbx, %rsi
callq 0x2bb29
cmpl $0x0, (%rbx)
jne 0x2387b
movq 0x28(%rsp), %rcx
cmpb $0x1, (%rcx)
jne 0x235ea
movq 0x10(%rcx), %rsi
movq %r14, %rdi
movq %rax, %rdx
movq %rbx, %rcx
callq 0x363e2
jmp 0x23600
movq 0x8(%rcx), %rsi
movq 0x10(%rcx), %rdx
movq %r14, %rdi
movq %rax, %rcx
movq %rbx, %r8
callq 0x36416
cmpl $0x0, (%rbx)
jne 0x2387b
movq %rbp, 0x58(%rsp)
movq 0x48(%r14), %rdi
movq 0x28(%rsp), %rbp
movq 0x160(%rbp), %rsi
movq %rbx, %rdx
callq 0x2d017
cmpl $0x0, (%rbx)
jne 0x2387b
cmpb $0x1, (%rbp)
jne 0x2363b
movq 0x10(%rbp), %rdx
jmp 0x23660
movq 0x8(%rbp), %rdx
movq 0x28(%rsp), %rax
movl 0x10(%rax), %ecx
movq 0x48(%r14), %rdi
movl $0x12, %esi
movq %rbx, %r8
callq 0x2c00f
movq 0x28(%rsp), %rbp
movq %rax, %rdx
cmpl $0x0, (%rbx)
jne 0x2387b
movq 0x48(%r14), %rdi
movq 0x170(%rbp), %rcx
movl $0x37, %esi
movq %rbx, %r8
callq 0x2c00f
cmpl $0x0, (%rbx)
jne 0x2387b
movq 0x48(%r14), %rdi
movq %rax, 0x50(%rsp)
callq 0x2d00a
movq %rax, %r15
movq 0x48(%r14), %rdi
movq 0x168(%rbp), %r8
movl $0x43, %esi
movq 0x50(%rsp), %rdx
movq %rax, %rcx
movq %rbx, %r9
callq 0x2c0c2
cmpl $0x0, (%rbx)
jne 0x23876
movq 0x48(%r14), %rdi
movq %r15, %rsi
movq %rbx, %rdx
callq 0x2d017
cmpl $0x0, (%rbx)
movq 0x58(%rsp), %rbp
jne 0x23876
movq 0x28(%rsp), %rax
addq $0x2c8, %rax            # imm = 0x2C8
decq %rbp
movq 0x18(%rsp), %r15
jne 0x235b4
movq %r14, %rdi
movq %rbx, %rsi
callq 0x24703
cmpl $0x0, (%rbx)
jne 0x2387b
cmpq $0x0, (%r12)
je 0x2373b
movzbl 0xc(%rsp), %ecx
andl $0x1, %ecx
movq 0x10(%rsp), %rdi
movq 0x38(%rsp), %rsi
movq %r12, %rdx
movq %rbx, %r8
callq 0x241fe
cmpl $0x0, (%rbx)
jne 0x2387b
movq 0x38(%rsp), %rax
movq %rax, 0x30(%rsp)
jmp 0x2387b
cmpb $0x0, 0xc(%rsp)
movb $0x1, %al
movl %eax, 0xc(%rsp)
je 0x2378d
movq (%r14), %rax
movq 0x30(%rax), %r8
movl 0x38(%rax), %r9d
leaq 0x50201(%rip), %rax     # 0x7396a
leaq 0x4fe94(%rip), %rdx     # 0x73604
movq %rbx, %rdi
movl $0x1d, %esi
movq %rbp, %rcx
pushq $0x4b0                  # imm = 0x4B0
jmp 0x231aa
movq %r14, %r15
movq 0x10(%rsp), %r14
movq %r14, %rdi
movq %r15, %rsi
movq %rbx, %rdx
callq 0x1eb88
movq %rax, %rdi
cmpl $0x0, (%rbx)
jne 0x231b6
movq %rdi, %rbp
callq 0x377f7
testb %al, %al
jne 0x237c3
movq %rbp, %rdi
callq 0x37815
testb %al, %al
je 0x23a18
leaq 0x70(%rsp), %rdx
movq %r14, %rdi
movq %rbp, 0x20(%rsp)
movq %rbp, %rsi
movq %rbx, %rcx
callq 0x3620e
cmpl $0x0, (%rbx)
je 0x2398c
movq 0x20(%rsp), %rdi
jmp 0x231b6
leaq 0x2d0(%r12), %rbp
movq (%r14), %rdi
movq %r15, %rsi
movq %rbx, %rdx
callq 0x12eda
cmpl $0x0, (%rbx)
jne 0x23092
movq %r14, %rdi
movq %r15, %rsi
movq %rbp, %rdx
movq %rbx, %rcx
callq 0x18343
movq %rax, -0x8(%rbp)
cmpl $0x0, (%rbx)
jne 0x23092
incq %r13
cmpl $0x5, (%rbp)
jne 0x23a5c
movq %r15, %rdi
callq 0x12ad0
cmpl $0x2, (%r15)
jne 0x230db
movq %rax, 0x20(%rsp)
movq %rax, %rdi
leaq 0x4fd3f(%rip), %rsi     # 0x73598
callq 0x12160
addq $0x2c8, %rbp            # imm = 0x2C8
testl %eax, %eax
je 0x237f6
jmp 0x2323b
movq %rax, %rdi
callq 0x2b4c3
movq 0x18(%rsp), %r15
cmpl $0x0, (%rbx)
jne 0x2392f
movq 0x10(%rsp), %rax
movq (%rax), %rax
movl 0x38(%rax), %ebp
movl (%r15), %eax
cmpl $0x1, %eax
je 0x238a2
testl %eax, %eax
movq 0x10(%rsp), %rdi
jne 0x238ae
jmp 0x2390c
cmpl $0x29, 0x8(%r15)
movq 0x10(%rsp), %rdi
je 0x238c0
movq %r15, %rsi
movq %rbx, %rdx
callq 0x150d5
cmpl $0x0, (%rbx)
je 0x2388f
jmp 0x2392f
testl %eax, %eax
je 0x2390c
movq 0x68(%rdi), %rdx
movq 0x78(%rdi), %rcx
movl $0x2, %esi
movq %rbx, %r8
callq 0x4e94e
cmpl $0x0, (%rbx)
jne 0x2392f
cmpq $0x1, %r13
jne 0x23a94
movq 0x10(%rsp), %rdi
movq %r12, %rsi
movq 0x30(%rsp), %rdx
movq 0x48(%rsp), %rcx
movq 0x40(%rsp), %r8
movq %rbx, %r9
callq 0x2409a
jmp 0x23aac
movq (%rdi), %rax
movq 0x30(%rax), %rdx
leaq 0x50050(%rip), %r8      # 0x7396a
movq %rbx, %rdi
movl $0x1e, %esi
movl %ebp, %ecx
movl $0x701, %r9d            # imm = 0x701
callq 0x14618
movq 0x20(%rsp), %rdi
callq 0x2b4c3
testq %r13, %r13
je 0x23972
leaq 0x168(%r12), %rbx
leaq -0x160(%rbx), %rdi
callq 0x2f843
movq %rbx, %rdi
callq 0x2f843
movq -0x168(%rbx), %rdi
callq 0x122c0
addq $0x2c8, %rbx            # imm = 0x2C8
decq %r13
jne 0x23946
movq %r12, %rdi
callq 0x122c0
addq $0xdc8, %rsp            # imm = 0xDC8
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
leaq 0x8(%r12), %rsi
cmpq $0x0, (%r12)
je 0x23b04
leaq 0x70(%rsp), %rdi
callq 0x2f3e4
testb %al, %al
jne 0x23b20
movq %r15, %r14
leaq 0x1bc(%rsp), %r15
movq %r15, %rdi
callq 0x14404
leaq 0x60(%rsp), %rbp
movl $0x40, %esi
movq %rbp, %rdi
callq 0x14a40
movq 0x20(%rsp), %rdi
movq %rbp, %rsi
movq %r15, %rdx
callq 0x2f8ac
cmpl $0x0, (%r15)
jne 0x239fb
leaq 0x60(%rsp), %rdi
leaq 0x1bc(%rsp), %rsi
callq 0x14d4b
cmpl $0x0, 0x1bc(%rsp)
je 0x23b7d
movq 0x20(%rsp), %rdi
callq 0x2f882
jmp 0x23b87
movq %rbp, %rdi
callq 0x2f882
movq (%r14), %rcx
movq 0x30(%rcx), %r8
movl 0x38(%rcx), %r9d
leaq 0x4ff38(%rip), %r10     # 0x7396a
leaq 0x503bc(%rip), %rcx     # 0x73df5
movq %rbx, %rdi
movl $0x3d, %esi
movq %rax, %rdx
pushq $0x4c3                  # imm = 0x4C3
pushq %r10
callq 0x1442a
addq $0x10, %rsp
movq %rbp, %rdi
jmp 0x231b6
movq %rbp, %rdi
callq 0x2f882
movq (%r14), %rcx
movq 0x30(%rcx), %r8
movl 0x38(%rcx), %r9d
leaq 0x4fef4(%rip), %r10     # 0x7396a
leaq 0x50378(%rip), %rcx     # 0x73df5
movq %rbx, %rdi
movl $0x4f, %esi
movq %rax, %rdx
pushq $0x460                  # imm = 0x460
pushq %r10
jmp 0x2329f
movq 0x10(%rsp), %rdi
movq %r13, %rsi
movq %r12, %rdx
movq 0x30(%rsp), %rcx
movq %rbx, %r8
callq 0x24120
cmpl $0x0, (%rbx)
jne 0x2392f
movq 0x10(%rsp), %rax
decq 0x78(%rax)
movq 0x68(%rax), %rdi
movq %rbx, %rsi
callq 0x2e667
cmpl $0x0, (%rbx)
jne 0x2392f
movq 0x10(%rsp), %r14
movq 0x48(%r14), %rax
movq 0x78(%r14), %rsi
movq 0x78(%rax), %rdi
callq 0x2be75
movq 0x48(%r14), %rcx
movq %rax, 0x78(%rcx)
movq (%r14), %rdi
movq %r15, %rsi
movq %rbx, %rdx
callq 0x12eda
jmp 0x2392f
leaq 0x70(%rsp), %rax
movq %rsi, %rdi
movq %rax, %rsi
movq %rbx, %rdx
callq 0x2fa5f
cmpl $0x0, (%rbx)
jne 0x237e4
leaq 0x70(%rsp), %rdi
callq 0x2f843
cmpq $0x2, %r13
jb 0x22df3
movq 0x20(%rsp), %rax
movslq 0x8(%rax), %rdx
leaq -0x1(%r13), %rax
cmpq %rdx, %rax
je 0x22df3
incl %edx
movq (%r14), %rax
movq 0x30(%rax), %r8
movl 0x38(%rax), %r9d
leaq 0x4fe0c(%rip), %rax     # 0x7396a
movq %rbx, %rdi
movl $0x56, %esi
movl %r13d, %ecx
pushq $0x4ed                  # imm = 0x4ED
pushq %rax
callq 0x144d6
addq $0x10, %rsp
jmp 0x237e4
leaq 0x60(%rsp), %rdi
callq 0x14dfb
movq %r14, %r15
movq (%r12), %rdx
movq 0x10(%rsp), %rcx
movq (%rcx), %rcx
movq 0x30(%rcx), %r8
movl 0x38(%rcx), %r9d
leaq 0x4fdc5(%rip), %r10     # 0x7396a
movq %rbx, %rdi
movl $0x54, %esi
movq %rax, %rcx
pushq $0x4d8                  # imm = 0x4D8
pushq %r10
callq 0x1442a
addq $0x10, %rsp
leaq 0x60(%rsp), %rdi
callq 0x14da6
leaq 0x70(%rsp), %rdi
callq 0x2f843
jmp 0x237e4
movq 0x28(%rsp), %rax
movq %rax, 0x30(%rsp)
jmp 0x23876