// File: /workspace/github_c_makefile_star2_O3/Paxa[P]fast_excel/libxlsxwriter/src/styles.c
// Function: lxw_styles_assemble_xml_file
void
lxw_styles_assemble_xml_file(lxw_styles *self)
{
    /* Write the XML declaration. */
    _styles_xml_declaration(self);

    /* Add the style sheet. */
    _write_style_sheet(self);

    /* Write the number formats. */
    _write_num_fmts(self);

    /* Write the fonts. */
    _write_fonts(self);

    /* Write the fills. */
    _write_fills(self);

    /* Write the borders element. */
    _write_borders(self);

    /* Write the cellStyleXfs element. */
    _write_cell_style_xfs(self);

    /* Write the cellXfs element. */
    _write_cell_xfs(self);

    /* Write the cellStyles element. */
    _write_cell_styles(self);

    /* Write the dxfs element. */
    _write_dxfs(self);

    /* Write the tableStyles element. */
    _write_table_styles(self);

    /* Close the style sheet tag. */
    lxw_xml_end_tag(self->file, "styleSheet");
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x38, %rsp
movq %rdi, %rbx
movq (%rdi), %rdi
callq 0xcf30
xorl %r14d, %r14d
movq %rsp, %r15
movq %r14, (%r15)
movq %r15, 0x8(%r15)
leaq 0x1c68a(%rip), %rdi     # 0x40111
leaq 0x1f953(%rip), %rsi     # 0x433e1
callq 0xc030
leaq 0x1040(%rax), %rcx
movq %r14, 0x1040(%rax)
movq 0x8(%r15), %rdx
movq %rax, (%rdx)
movq %rcx, 0x8(%r15)
movq (%rbx), %rdi
leaq 0x1f893(%rip), %rsi     # 0x43349
movq %r15, %rdx
callq 0xc350
movq (%r15), %rdi
testq %rdi, %rdi
je 0x23ae6
movq 0x1040(%rdi), %rax
movq %rax, (%rsp)
testq %rax, %rax
jne 0x23adb
movq %r15, 0x8(%rsp)
callq 0xc0c0
movq (%rsp), %rdi
jmp 0x23ac1
movl 0x14(%rbx), %esi
testq %rsi, %rsi
je 0x23bb1
xorl %r14d, %r14d
movq %r14, (%rsp)
movq %r15, 0x8(%rsp)
leaq 0x1efd0(%rip), %rdi     # 0x42ad5
callq 0xc180
leaq 0x1040(%rax), %rcx
movq %r14, 0x1040(%rax)
movq 0x8(%rsp), %rdx
movq %rax, (%rdx)
movq %rcx, 0x8(%rsp)
movq (%rbx), %rdi
leaq 0x1f8ec(%rip), %rsi     # 0x4341b
movq %r15, %rdx
callq 0xc350
movq 0x20(%rbx), %rax
movq (%rax), %r14
testq %r14, %r14
je 0x23b7d
xorl %eax, %eax
movzwl 0x1b4(%r14), %ecx
cmpl $0xa4, %ecx
jb 0x23b71
cmpw %ax, %cx
jbe 0x23b71
leaq 0x34(%r14), %rdx
movzwl %cx, %esi
movq %rbx, %rdi
callq 0x24feb
movzwl 0x1b4(%r14), %eax
movq 0x230(%r14), %r14
testq %r14, %r14
jne 0x23b45
movq (%rbx), %rdi
leaq 0x1f894(%rip), %rsi     # 0x4341b
callq 0xc060
movq (%rsp), %rdi
testq %rdi, %rdi
je 0x23bb1
movq 0x1040(%rdi), %rax
movq %rax, (%rsp)
testq %rax, %rax
jne 0x23baa
movq %r15, 0x8(%rsp)
callq 0xc0c0
jmp 0x23b8c
xorl %r14d, %r14d
movq %r14, (%rsp)
movq %r15, 0x8(%rsp)
movl 0x8(%rbx), %esi
cmpb $0x1, 0x34(%rbx)
sbbl $-0x1, %esi
leaq 0x1ef07(%rip), %rdi     # 0x42ad5
callq 0xc180
leaq 0x1040(%rax), %rcx
movq %r14, 0x1040(%rax)
movq 0x8(%rsp), %rdx
movq %rax, (%rdx)
movq %rcx, 0x8(%rsp)
movq (%rbx), %rdi
leaq 0x1fa32(%rip), %rsi     # 0x4362a
movq %r15, %rdx
callq 0xc350
movq 0x20(%rbx), %rax
movq (%rax), %r15
testq %r15, %r15
je 0x23c2e
cmpb $0x0, 0x1b8(%r15)
je 0x23c25
movq %rbx, %rdi
movq %r15, %rsi
xorl %edx, %edx
xorl %ecx, %ecx
callq 0x2355b
movq 0x230(%r15), %r15
jmp 0x23c07
cmpb $0x0, 0x34(%rbx)
je 0x23c8e
movq (%rbx), %rdi
leaq 0x1f716(%rip), %r15     # 0x43354
movq %r15, %rsi
xorl %edx, %edx
callq 0xc350
movsd 0x1f6e8(%rip), %xmm0    # 0x43338
movq %rbx, %rdi
callq 0x24d38
movq %rbx, %rdi
movl $0x51, %esi
callq 0x24e3e
leaq 0x1e214(%rip), %rsi     # 0x41e80
movq %rbx, %rdi
xorl %edx, %edx
callq 0x24ec2
movq %rbx, %rdi
movl $0x2, %esi
callq 0x24f67
movq (%rbx), %rdi
movq %r15, %rsi
callq 0xc060
movq (%rbx), %rdi
leaq 0x1f992(%rip), %rsi     # 0x4362a
callq 0xc060
movq (%rsp), %rdi
testq %rdi, %rdi
movq %rsp, %r15
je 0x23ccc
movq 0x1040(%rdi), %rax
movq %rax, (%rsp)
testq %rax, %rax
jne 0x23cbe
movq %r15, 0x8(%rsp)
callq 0xc0c0
movq (%rsp), %rdi
testq %rdi, %rdi
jne 0x23ca9
xorl %r14d, %r14d
movq %r14, (%rsp)
movq %r15, 0x8(%rsp)
movl 0x1c(%rbx), %esi
leaq 0x1edf3(%rip), %rdi     # 0x42ad5
callq 0xc180
leaq 0x1040(%rax), %rcx
movq %r14, 0x1040(%rax)
movq 0x8(%rsp), %rdx
movq %rax, (%rdx)
movq %rcx, 0x8(%rsp)
movq (%rbx), %rdi
leaq 0x1f924(%rip), %rsi     # 0x43630
movq %r15, %rdx
callq 0xc350
leaq 0x1d46b(%rip), %rsi     # 0x41186
movq %rbx, %rdi
callq 0x250e8
leaq 0x1f90c(%rip), %rsi     # 0x43636
movq %rbx, %rdi
callq 0x250e8
movq 0x20(%rbx), %rax
movq (%rax), %r15
testq %r15, %r15
je 0x23d5e
cmpb $0x0, 0x1f5(%r15)
je 0x23d55
movq %rbx, %rdi
movq %r15, %rsi
xorl %edx, %edx
callq 0x25189
movq 0x230(%r15), %r15
jmp 0x23d39
movq (%rbx), %rdi
leaq 0x1f8c8(%rip), %rsi     # 0x43630
callq 0xc060
movq (%rsp), %rdi
testq %rdi, %rdi
movq %rsp, %r15
je 0x23d9c
movq 0x1040(%rdi), %rax
movq %rax, (%rsp)
testq %rax, %rax
jne 0x23d8e
movq %r15, 0x8(%rsp)
callq 0xc0c0
movq (%rsp), %rdi
testq %rdi, %rdi
jne 0x23d79
xorl %r14d, %r14d
movq %r14, (%rsp)
movq %r15, 0x8(%rsp)
movl 0x18(%rbx), %esi
leaq 0x1ed23(%rip), %rdi     # 0x42ad5
callq 0xc180
leaq 0x1040(%rax), %rcx
movq %r14, 0x1040(%rax)
movq 0x8(%rsp), %rdx
movq %rax, (%rdx)
movq %rcx, 0x8(%rsp)
movq (%rbx), %rdi
leaq 0x1f942(%rip), %rsi     # 0x4371e
movq %r15, %rdx
callq 0xc350
movq 0x20(%rbx), %rax
movq (%rax), %r15
testq %r15, %r15
je 0x23e10
cmpb $0x0, 0x204(%r15)
je 0x23e07
movq %rbx, %rdi
movq %r15, %rsi
xorl %edx, %edx
callq 0x25446
movq 0x230(%r15), %r15
jmp 0x23deb
movq (%rbx), %rdi
leaq 0x1f904(%rip), %rsi     # 0x4371e
callq 0xc060
movq (%rsp), %rdi
testq %rdi, %rdi
movq %rsp, %r15
je 0x23e4e
movq 0x1040(%rdi), %rax
movq %rax, (%rsp)
testq %rax, %rax
jne 0x23e40
movq %r15, 0x8(%rsp)
callq 0xc0c0
movq (%rsp), %rdi
testq %rdi, %rdi
jne 0x23e2b
xorl %r14d, %r14d
movq %r14, (%rsp)
movq %r15, 0x8(%rsp)
cmpb $0x0, 0x30(%rbx)
leaq 0x218e3(%rip), %rax     # 0x45748
leaq 0x2189e(%rip), %rsi     # 0x4570a
cmoveq %rax, %rsi
leaq 0x1ec5e(%rip), %rdi     # 0x42ad5
callq 0xc030
leaq 0x1040(%rax), %rcx
movq %r14, 0x1040(%rax)
movq 0x8(%rsp), %rdx
movq %rax, (%rdx)
movq %rcx, 0x8(%rsp)
movq (%rbx), %rdi
leaq 0x1f93b(%rip), %rsi     # 0x437dc
movq %r15, %rdx
callq 0xc350
movq %rbx, %rdi
xorl %esi, %esi
xorl %edx, %edx
callq 0x25797
movb 0x30(%rbx), %al
testb %al, %al
je 0x23ecb
movzwl 0x32(%rbx), %edx
movzbl %al, %esi
movq %rbx, %rdi
callq 0x25797
movq (%rbx), %rdi
leaq 0x1f907(%rip), %rsi     # 0x437dc
callq 0xc060
movq (%rsp), %rdi
testq %rdi, %rdi
je 0x23eff
movq 0x1040(%rdi), %rax
movq %rax, (%rsp)
testq %rax, %rax
jne 0x23ef8
movq %r15, 0x8(%rsp)
callq 0xc0c0
jmp 0x23eda
movl 0xc(%rbx), %eax
movq 0x20(%rbx), %rcx
movq (%rcx), %rcx
testq %rcx, %rcx
je 0x23f2c
leal -0x1(%rax), %edx
subl $0x1, %edx
jae 0x23f20
cmpb $0x1, 0x22e(%rcx)
adcl $-0x1, %eax
movq 0x230(%rcx), %rcx
testq %rcx, %rcx
jne 0x23f11
xorl %r14d, %r14d
leaq 0x28(%rsp), %r12
movq %r14, (%r12)
movq %r12, 0x8(%r12)
movl %eax, %esi
leaq 0x1eb8f(%rip), %rdi     # 0x42ad5
callq 0xc180
leaq 0x1040(%rax), %rcx
movq %r14, 0x1040(%rax)
movq 0x8(%r12), %rdx
movq %rax, (%rdx)
movq %rcx, 0x8(%r12)
movq (%rbx), %rdi
leaq 0x1f8e8(%rip), %rsi     # 0x43858
movq %r12, %rdx
callq 0xc350
movq 0x20(%rbx), %rax
movq (%rax), %r12
testq %r12, %r12
je 0x2497d
cmpb $0x0, 0x22e(%r12)
jne 0x2495e
cmpb $0x0, 0x1dc(%r12)
sete %cl
cmpb $0x0, 0x1dd(%r12)
movb %cl, 0x17(%rsp)
je 0x23fba
movb $0x1, %r15b
jmp 0x2403e
movzbl 0x1df(%r12), %eax
movb $0x1, %r15b
cmpl $0x9, %eax
je 0x23fcf
testl %eax, %eax
jne 0x24009
cmpb $0x0, 0x228(%r12)
jne 0x24009
cmpw $0x0, 0x1e2(%r12)
jne 0x24009
cmpb $0x0, 0x1de(%r12)
jne 0x24009
cmpb $0x0, 0x229(%r12)
jne 0x24009
cmpb $0x0, 0x22b(%r12)
setne %r15b
testb %al, %al
jne 0x2403e
cmpb $0x0, 0x228(%r12)
jne 0x2403e
cmpw $0x0, 0x1e2(%r12)
jne 0x2403e
cmpb $0x0, 0x1de(%r12)
jne 0x2403e
cmpb $0x0, 0x229(%r12)
je 0x2496b
xorl %r14d, %r14d
movb 0x17(%rsp), %al
orb 0x1db(%r12), %al
movb %al, 0x17(%rsp)
xorl %r13d, %r13d
movq %r13, 0x18(%rsp)
leaq 0x18(%rsp), %rax
movq %rax, 0x20(%rsp)
movzwl 0x1b4(%r12), %esi
leaq 0x1f5ae(%rip), %rdi     # 0x43621
callq 0xc180
movl $0x1040, %ebp           # imm = 0x1040
leaq (%rax,%rbp), %rcx
movq %r13, 0x1040(%rax)
movq 0x20(%rsp), %rdx
movq %rax, (%rdx)
movq %rcx, 0x20(%rsp)
movzwl 0x1b6(%r12), %esi
leaq 0x1f744(%rip), %rdi     # 0x437e9
callq 0xc180
leaq (%rax,%rbp), %rcx
movq %r13, 0x1040(%rax)
movq 0x20(%rsp), %rdx
movq %rax, (%rdx)
movq %rcx, 0x20(%rsp)
movslq 0x1f8(%r12), %rsi
leaq 0x1f71f(%rip), %rdi     # 0x437f0
callq 0xc180
leaq (%rax,%rbp), %rcx
movq %r13, 0x1040(%rax)
movq 0x20(%rsp), %rdx
movq %rax, (%rdx)
movq %rcx, 0x20(%rsp)
movslq 0x200(%r12), %rsi
leaq 0x1f6fa(%rip), %rdi     # 0x437f7
callq 0xc180
leaq (%rax,%rbp), %rcx
movq %r13, 0x1040(%rax)
movq 0x20(%rsp), %rdx
movq %rax, (%rdx)
movq %rcx, 0x20(%rsp)
movslq 0x30(%r12), %rsi
leaq 0x1f9ee(%rip), %rdi     # 0x43b14
callq 0xc180
leaq (%rax,%rbp), %rcx
movq %r13, 0x1040(%rax)
movq 0x20(%rsp), %rdx
movq %rax, (%rdx)
movq %rcx, 0x20(%rsp)
cmpb $0x0, 0x22f(%r12)
leaq 0x215f5(%rip), %rbp     # 0x45748
je 0x24183
leaq 0x1f704(%rip), %rdi     # 0x43860
movq %rbp, %rsi
callq 0xc030
leaq 0x1040(%rax), %rcx
movq $0x0, 0x1040(%rax)
movq 0x20(%rsp), %rdx
movq %rax, (%rdx)
movq %rcx, 0x20(%rsp)
cmpw $0x0, 0x1b4(%r12)
je 0x241bd
leaq 0x1f66a(%rip), %rdi     # 0x43800
movq %rbp, %rsi
callq 0xc030
leaq 0x1040(%rax), %rcx
movq $0x0, 0x1040(%rax)
movq 0x20(%rsp), %rdx
movq %rax, (%rdx)
movq %rcx, 0x20(%rsp)
cmpw $0x0, 0x1b6(%r12)
leaq 0x18(%rsp), %r13
je 0x24207
cmpb $0x0, 0x1da(%r12)
jne 0x24207
leaq 0x1f68c(%rip), %rdi     # 0x4386c
movq %rbp, %rsi
callq 0xc030
leaq 0x1040(%rax), %rcx
movq $0x0, 0x1040(%rax)
movq 0x20(%rsp), %rdx
movq %rax, (%rdx)
movq %rcx, 0x20(%rsp)
cmpl $0x0, 0x1f8(%r12)
jle 0x24240
leaq 0x1f5f9(%rip), %rdi     # 0x43812
movq %rbp, %rsi
callq 0xc030
leaq 0x1040(%rax), %rcx
movq $0x0, 0x1040(%rax)
movq 0x20(%rsp), %rdx
movq %rax, (%rdx)
movq %rcx, 0x20(%rsp)
cmpl $0x0, 0x200(%r12)
jle 0x24279
leaq 0x1f5ca(%rip), %rdi     # 0x4381c
movq %rbp, %rsi
callq 0xc030
leaq 0x1040(%rax), %rcx
movq $0x0, 0x1040(%rax)
movq 0x20(%rsp), %rdx
movq %rax, (%rdx)
movq %rcx, 0x20(%rsp)
testb %r14b, %r14b
je 0x24289
cmpb $0x0, 0x1da(%r12)
je 0x242b7
leaq 0x1f598(%rip), %rdi     # 0x43828
movq %rbp, %rsi
callq 0xc030
leaq 0x1040(%rax), %rcx
movq $0x0, 0x1040(%rax)
movq 0x20(%rsp), %rdx
movq %rax, (%rdx)
movq %rcx, 0x20(%rsp)
movb 0x17(%rsp), %r14b
testb %r14b, %r14b
jne 0x242cc
cmpb $0x0, 0x1da(%r12)
je 0x242fa
leaq 0x1f564(%rip), %rdi     # 0x43837
movq %rbp, %rsi
callq 0xc030
leaq 0x1040(%rax), %rcx
movq $0x0, 0x1040(%rax)
movq 0x20(%rsp), %rdx
movq %rax, (%rdx)
movq %rcx, 0x20(%rsp)
movl %r15d, %eax
orb %r14b, %al
movq (%rbx), %rdi
leaq 0x1f60d(%rip), %rsi     # 0x43917
movq %r13, %rdx
je 0x24399
callq 0xc350
testb %r15b, %r15b
je 0x24862
movzwl 0x1e2(%r12), %r15d
movq $0x0, (%rsp)
movq %rsp, %rax
movq %rax, 0x8(%rsp)
movb 0x228(%r12), %cl
testb %cl, %cl
je 0x24367
movzbl 0x1dd(%r12), %eax
cmpl $0x7, %eax
ja 0x2435e
movl $0x8a, %edx
btl %eax, %edx
jb 0x24367
movb $0x1, 0x1dd(%r12)
cmpb $0x0, 0x1de(%r12)
je 0x2437b
movb $0x0, 0x229(%r12)
movb 0x1dd(%r12), %al
movzbl %al, %edx
leal -0x4(%rdx), %esi
cmpl $0x2, %esi
jae 0x243a6
movb $0x0, 0x229(%r12)
jmp 0x243b6
callq 0xcc00
movq %rsp, %r15
jmp 0x24954
cmpl $0x7, %edx
jne 0x243b6
movb $0x0, 0x229(%r12)
jmp 0x243bf
movb $0x0, 0x22c(%r12)
testb %cl, %cl
je 0x243cc
movb $0x0, 0x22c(%r12)
cmpb $0x1, %al
jne 0x2440a
leaq 0x1f388(%rip), %rdi     # 0x4375f
leaq 0x2127b(%rip), %rsi     # 0x45659
callq 0xc030
leaq 0x1040(%rax), %rcx
movq $0x0, 0x1040(%rax)
movq 0x8(%rsp), %rdx
movq %rax, (%rdx)
movq %rcx, 0x8(%rsp)
movb 0x1dd(%r12), %al
cmpb $0x2, %al
jne 0x24448
leaq 0x1f34a(%rip), %rdi     # 0x4375f
leaq 0x210e2(%rip), %rsi     # 0x454fe
callq 0xc030
leaq 0x1040(%rax), %rcx
movq $0x0, 0x1040(%rax)
movq 0x8(%rsp), %rdx
movq %rax, (%rdx)
movq %rcx, 0x8(%rsp)
movb 0x1dd(%r12), %al
cmpb $0x3, %al
jne 0x24486
leaq 0x1f30c(%rip), %rdi     # 0x4375f
leaq 0x1f2eb(%rip), %rsi     # 0x43745
callq 0xc030
leaq 0x1040(%rax), %rcx
movq $0x0, 0x1040(%rax)
movq 0x8(%rsp), %rdx
movq %rax, (%rdx)
movq %rcx, 0x8(%rsp)
movb 0x1dd(%r12), %al
cmpb $0x4, %al
jne 0x244c4
leaq 0x1f2ce(%rip), %rdi     # 0x4375f
leaq 0x2101e(%rip), %rsi     # 0x454b6
callq 0xc030
leaq 0x1040(%rax), %rcx
movq $0x0, 0x1040(%rax)
movq 0x8(%rsp), %rdx
movq %rax, (%rdx)
movq %rcx, 0x8(%rsp)
movb 0x1dd(%r12), %al
cmpb $0x5, %al
jne 0x24502
leaq 0x1f290(%rip), %rdi     # 0x4375f
leaq 0x1f3a0(%rip), %rsi     # 0x43876
callq 0xc030
leaq 0x1040(%rax), %rcx
movq $0x0, 0x1040(%rax)
movq 0x8(%rsp), %rdx
movq %rax, (%rdx)
movq %rcx, 0x8(%rsp)
movb 0x1dd(%r12), %al
cmpb $0x6, %al
jne 0x24540
leaq 0x1f252(%rip), %rdi     # 0x4375f
leaq 0x1f36a(%rip), %rsi     # 0x4387e
callq 0xc030
leaq 0x1040(%rax), %rcx
movq $0x0, 0x1040(%rax)
movq 0x8(%rsp), %rdx
movq %rax, (%rdx)
movq %rcx, 0x8(%rsp)
movb 0x1dd(%r12), %al
cmpb $0x7, %al
jne 0x24576
leaq 0x1f214(%rip), %rdi     # 0x4375f
leaq 0x1f33d(%rip), %rsi     # 0x4388f
callq 0xc030
leaq 0x1040(%rax), %rcx
movq $0x0, 0x1040(%rax)
movq 0x8(%rsp), %rdx
movq %rax, (%rdx)
movq %rcx, 0x8(%rsp)
cmpb $0x0, 0x22c(%r12)
je 0x245af
leaq 0x1f313(%rip), %rdi     # 0x4389b
movq %rbp, %rsi
callq 0xc030
leaq 0x1040(%rax), %rcx
movq $0x0, 0x1040(%rax)
movq 0x8(%rsp), %rdx
movq %rax, (%rdx)
movq %rcx, 0x8(%rsp)
movb 0x1df(%r12), %al
cmpb $0x8, %al
jne 0x245f5
leaq 0x1f194(%rip), %rdi     # 0x43756
leaq 0x1f182(%rip), %rsi     # 0x4374b
callq 0xc030
leaq 0x1040(%rax), %rcx
movq $0x0, 0x1040(%rax)
movq 0x8(%rsp), %rdx
movq %rax, (%rdx)
movq %rcx, 0x8(%rsp)
movb 0x1df(%r12), %al
cmpb $0xa, %al
jne 0x24633
leaq 0x1f156(%rip), %rdi     # 0x43756
leaq 0x20ef7(%rip), %rsi     # 0x454fe
callq 0xc030
leaq 0x1040(%rax), %rcx
movq $0x0, 0x1040(%rax)
movq 0x8(%rsp), %rdx
movq %rax, (%rdx)
movq %rcx, 0x8(%rsp)
movb 0x1df(%r12), %al
cmpb $0xb, %al
jne 0x24671
leaq 0x1f118(%rip), %rdi     # 0x43756
leaq 0x1f231(%rip), %rsi     # 0x43876
callq 0xc030
leaq 0x1040(%rax), %rcx
movq $0x0, 0x1040(%rax)
movq 0x8(%rsp), %rdx
movq %rax, (%rdx)
movq %rcx, 0x8(%rsp)
movb 0x1df(%r12), %al
cmpb $0xc, %al
jne 0x246a7
leaq 0x1f0da(%rip), %rdi     # 0x43756
leaq 0x1f20c(%rip), %rsi     # 0x4388f
callq 0xc030
leaq 0x1040(%rax), %rcx
movq $0x0, 0x1040(%rax)
movq 0x8(%rsp), %rdx
movq %rax, (%rdx)
movq %rcx, 0x8(%rsp)
movzbl 0x228(%r12), %esi
testq %rsi, %rsi
je 0x246e0
leaq 0x1f1ef(%rip), %rdi     # 0x438ab
callq 0xc180
leaq 0x1040(%rax), %rcx
movq $0x0, 0x1040(%rax)
movq 0x8(%rsp), %rdx
movq %rax, (%rdx)
movq %rcx, 0x8(%rsp)
testl %r15d, %r15d
je 0x24732
movl $0xff, %esi
cmpl $0x10e, %r15d           # imm = 0x10E
je 0x24707
movl $0x5a, %eax
subl %r15d, %eax
testw %r15w, %r15w
cmovnsl %r15d, %eax
movswq %ax, %rsi
leaq 0x1f1a4(%rip), %rdi     # 0x438b2
callq 0xc180
leaq 0x1040(%rax), %rcx
movq $0x0, 0x1040(%rax)
movq 0x8(%rsp), %rdx
movq %rax, (%rdx)
movq %rcx, 0x8(%rsp)
cmpb $0x0, 0x1de(%r12)
je 0x2476b
leaq 0x1f17b(%rip), %rdi     # 0x438bf
movq %rbp, %rsi
callq 0xc030
leaq 0x1040(%rax), %rcx
movq $0x0, 0x1040(%rax)
movq 0x8(%rsp), %rdx
movq %rax, (%rdx)
movq %rcx, 0x8(%rsp)
cmpb $0x0, 0x229(%r12)
movq %rsp, %r14
je 0x247a7
leaq 0x1f148(%rip), %rdi     # 0x438c8
movq %rbp, %rsi
callq 0xc030
leaq 0x1040(%rax), %rcx
movq $0x0, 0x1040(%rax)
movq 0x8(%rsp), %rdx
movq %rax, (%rdx)
movq %rcx, 0x8(%rsp)
movb 0x22b(%r12), %al
cmpb $0x1, %al
jne 0x247e9
leaq 0x1f11a(%rip), %rdi     # 0x438d4
movq %rbp, %rsi
callq 0xc030
leaq 0x1040(%rax), %rcx
movq $0x0, 0x1040(%rax)
movq 0x8(%rsp), %rdx
movq %rax, (%rdx)
movq %rcx, 0x8(%rsp)
movb 0x22b(%r12), %al
cmpb $0x2, %al
jne 0x2481f
leaq 0x1f0e0(%rip), %rdi     # 0x438d4
leaq 0x20f0f(%rip), %rsi     # 0x4570a
callq 0xc030
leaq 0x1040(%rax), %rcx
movq $0x0, 0x1040(%rax)
movq 0x8(%rsp), %rdx
movq %rax, (%rdx)
movq %rcx, 0x8(%rsp)
cmpq $0x0, (%rsp)
je 0x2485d
movq (%rbx), %rdi
leaq 0x1f017(%rip), %rsi     # 0x43847
movq %r14, %rdx
callq 0xcc00
movq (%rsp), %rdi
testq %rdi, %rdi
je 0x2485d
movq 0x1040(%rdi), %rax
movq %rax, (%rsp)
testq %rax, %rax
jne 0x24856
movq %r14, 0x8(%rsp)
callq 0xc0c0
jmp 0x24838
movb 0x17(%rsp), %r14b
testb %r14b, %r14b
movq %rsp, %r15
je 0x24928
movq $0x0, (%rsp)
movq %r15, 0x8(%rsp)
cmpb $0x0, 0x1dc(%r12)
jne 0x248b8
leaq 0x1efc4(%rip), %rdi     # 0x43851
leaq 0x20f12(%rip), %rsi     # 0x457a6
callq 0xc030
leaq 0x1040(%rax), %rcx
movq $0x0, 0x1040(%rax)
movq 0x8(%rsp), %rdx
movq %rax, (%rdx)
movq %rcx, 0x8(%rsp)
cmpb $0x0, 0x1db(%r12)
je 0x248f1
leaq 0x1f017(%rip), %rdi     # 0x438e1
movq %rbp, %rsi
callq 0xc030
leaq 0x1040(%rax), %rcx
movq $0x0, 0x1040(%rax)
movq 0x8(%rsp), %rdx
movq %rax, (%rdx)
movq %rcx, 0x8(%rsp)
movq (%rbx), %rdi
leaq 0x1cf03(%rip), %rsi     # 0x417fe
movq %r15, %rdx
callq 0xcc00
movq (%rsp), %rdi
testq %rdi, %rdi
je 0x24928
movq 0x1040(%rdi), %rax
movq %rax, (%rsp)
testq %rax, %rax
jne 0x24921
movq %r15, 0x8(%rsp)
callq 0xc0c0
jmp 0x24903
movq (%rbx), %rdi
leaq 0x1efe5(%rip), %rsi     # 0x43917
callq 0xc060
jmp 0x24954
movq 0x1040(%rdi), %rax
movq %rax, 0x18(%rsp)
testq %rax, %rax
jne 0x2494f
movq %r13, 0x20(%rsp)
callq 0xc0c0
movq 0x18(%rsp), %rdi
testq %rdi, %rdi
jne 0x24939
movq 0x230(%r12), %r12
jmp 0x23f7f
cmpb $0x0, 0x22b(%r12)
sete %r14b
jmp 0x24041
movq (%rbx), %rdi
leaq 0x1eed1(%rip), %rsi     # 0x43858
callq 0xc060
movq 0x28(%rsp), %rdi
testq %rdi, %rdi
leaq 0x20d6f(%rip), %r12     # 0x4570a
leaq 0x28(%rsp), %r14
je 0x249c7
movq 0x1040(%rdi), %rax
movq %rax, 0x28(%rsp)
testq %rax, %rax
jne 0x249b8
movq %r14, 0x30(%rsp)
callq 0xc0c0
movq 0x28(%rsp), %rdi
testq %rdi, %rdi
jne 0x249a2
xorl %r14d, %r14d
movq %r14, (%rsp)
movq %r15, 0x8(%rsp)
cmpb $0x0, 0x30(%rbx)
leaq 0x20d6a(%rip), %rax     # 0x45748
cmoveq %rax, %r12
leaq 0x1e0ec(%rip), %rdi     # 0x42ad5
movq %r12, %rsi
callq 0xc030
leaq 0x1040(%rax), %rcx
movq %r14, 0x1040(%rax)
movq 0x8(%rsp), %rdx
movq %rax, (%rdx)
movq %rcx, 0x8(%rsp)
movq (%rbx), %rdi
leaq 0x1eed2(%rip), %rsi     # 0x438e8
movq %r15, %rdx
callq 0xc350
cmpb $0x0, 0x30(%rbx)
je 0x24a3d
leaq 0x1eec8(%rip), %rsi     # 0x438f3
movq %rbx, %rdi
movl $0x1, %edx
movl $0x8, %ecx
callq 0x25a8a
leaq 0x23f24(%rip), %rsi     # 0x48968
movq %rbx, %rdi
xorl %edx, %edx
xorl %ecx, %ecx
callq 0x25a8a
movq (%rbx), %rdi
leaq 0x1ee8e(%rip), %rsi     # 0x438e8
callq 0xc060
movq (%rsp), %rdi
testq %rdi, %rdi
je 0x24a84
movq 0x1040(%rdi), %rax
movq %rax, (%rsp)
testq %rax, %rax
jne 0x24a7d
movq %r15, 0x8(%rsp)
callq 0xc0c0
jmp 0x24a5f
movq %r15, %rax
movl 0x10(%rbx), %r15d
xorl %r14d, %r14d
movq %r14, (%rsp)
movq %rax, 0x8(%rsp)
leaq 0x1e037(%rip), %rdi     # 0x42ad5
movq %r15, %rsi
callq 0xc180
leaq 0x1040(%rax), %rcx
movq %r14, 0x1040(%rax)
movq 0x8(%rsp), %rdx
movq %rax, (%rdx)
movq %rcx, 0x8(%rsp)
movq (%rbx), %rdi
leaq 0x1ee46(%rip), %rsi     # 0x43911
movq %rsp, %rdx
testq %r15, %r15
je 0x24b98
callq 0xc350
movq 0x28(%rbx), %rax
movq (%rax), %r15
testq %r15, %r15
je 0x24b87
leaq 0x1ee23(%rip), %r12     # 0x43916
movq (%rbx), %rdi
movq %r12, %rsi
xorl %edx, %edx
callq 0xc350
cmpb $0x0, 0x1b9(%r15)
je 0x24b1c
movq %rbx, %rdi
movq %r15, %rsi
movl $0x1, %edx
xorl %ecx, %ecx
callq 0x2355b
movzwl 0x1b4(%r15), %eax
testw %ax, %ax
je 0x24b38
leaq 0x34(%r15), %rdx
movzwl %ax, %esi
movq %rbx, %rdi
callq 0x24feb
cmpb $0x0, 0x1f6(%r15)
je 0x24b52
movq %rbx, %rdi
movq %r15, %rsi
movl $0x1, %edx
callq 0x25189
cmpb $0x0, 0x205(%r15)
je 0x24b6c
movq %rbx, %rdi
movq %r15, %rsi
movl $0x1, %edx
callq 0x25446
movq (%rbx), %rdi
movq %r12, %rsi
callq 0xc060
movq 0x230(%r15), %r15
testq %r15, %r15
jne 0x24af3
movq (%rbx), %rdi
leaq 0x1ed80(%rip), %rsi     # 0x43911
callq 0xc060
jmp 0x24b9d
callq 0xcc00
movq (%rsp), %rdi
testq %rdi, %rdi
movq %rsp, %r15
je 0x24bcc
movq 0x1040(%rdi), %rax
movq %rax, (%rsp)
testq %rax, %rax
jne 0x24bbe
movq %r15, 0x8(%rsp)
callq 0xc0c0
movq (%rsp), %rdi
testq %rdi, %rdi
jne 0x24ba9
xorl %r14d, %r14d
movq %r14, (%rsp)
movq %r15, 0x8(%rsp)
leaq 0x1def6(%rip), %rdi     # 0x42ad5
leaq 0x20bc0(%rip), %rsi     # 0x457a6
callq 0xc030
movl $0x1040, %r15d          # imm = 0x1040
leaq (%rax,%r15), %rcx
movq %r14, 0x1040(%rax)
movq 0x8(%rsp), %rdx
movq %rax, (%rdx)
movq %rcx, 0x8(%rsp)
leaq 0x1ed0a(%rip), %rdi     # 0x4391a
leaq 0x1ed15(%rip), %rsi     # 0x4392c
callq 0xc030
leaq (%rax,%r15), %rcx
movq %r14, 0x1040(%rax)
movq 0x8(%rsp), %rdx
movq %rax, (%rdx)
movq %rcx, 0x8(%rsp)
leaq 0x1ed03(%rip), %rdi     # 0x4393e
leaq 0x1ed0e(%rip), %rsi     # 0x43950
callq 0xc030
addq %rax, %r15
movq %r14, 0x1040(%rax)
movq 0x8(%rsp), %rcx
movq %rax, (%rcx)
movq %r15, 0x8(%rsp)
movq %rsp, %r14
movq (%rbx), %rdi
leaq 0x1ecf7(%rip), %rsi     # 0x43962
movq %r14, %rdx
callq 0xcc00
movq (%rsp), %rdi
testq %rdi, %rdi
je 0x24c98
movq 0x1040(%rdi), %rax
movq %rax, (%rsp)
testq %rax, %rax
jne 0x24c91
movq %r14, 0x8(%rsp)
callq 0xc0c0
jmp 0x24c73
movq (%rbx), %rdi
leaq 0x1e6a7(%rip), %rsi     # 0x43349
callq 0xc060
addq $0x38, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq