// File: /workspace/github_c_makefile_star2_O0/kieselsteini[P]PiXL-old/lz4.c
// Function: LZ4_compress_forceExtDict
int LZ4_compress_forceExtDict (LZ4_stream_t* LZ4_dict, const char* source, char* dest, int inputSize)
{
    LZ4_stream_t_internal* streamPtr = &LZ4_dict->internal_donotuse;
    int result;
    const BYTE* const dictEnd = streamPtr->dictionary + streamPtr->dictSize;

    const BYTE* smallest = dictEnd;
    if (smallest > (const BYTE*) source) smallest = (const BYTE*) source;
    LZ4_renormDictT(streamPtr, smallest);

    result = LZ4_compress_generic(streamPtr, source, dest, inputSize, 0, notLimited, byU32, usingExtDict, noDictIssue, 1);

    streamPtr->dictionary = (const BYTE*)source;
    streamPtr->dictSize = (U32)inputSize;
    streamPtr->currentOffset += (U32)inputSize;

    return result;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x280, %rsp            # imm = 0x280
movq %rdi, -0x220(%rbp)
movq %rsi, -0x228(%rbp)
movq %rdx, -0x230(%rbp)
movl %ecx, -0x234(%rbp)
movq -0x220(%rbp), %rax
movq %rax, -0x240(%rbp)
movq -0x240(%rbp), %rax
movq 0x4008(%rax), %rax
movq -0x240(%rbp), %rcx
movl 0x4018(%rcx), %ecx
addq %rcx, %rax
movq %rax, -0x250(%rbp)
movq -0x250(%rbp), %rax
movq %rax, -0x258(%rbp)
movq -0x258(%rbp), %rax
cmpq -0x228(%rbp), %rax
jbe 0x419b5
movq -0x228(%rbp), %rax
movq %rax, -0x258(%rbp)
movq -0x240(%rbp), %rdi
movq -0x258(%rbp), %rsi
callq 0x41820
movq -0x240(%rbp), %rsi
movq -0x228(%rbp), %rdx
movq -0x230(%rbp), %rcx
movl -0x234(%rbp), %eax
movq %rsi, -0x120(%rbp)
movq %rdx, -0x128(%rbp)
movq %rcx, -0x130(%rbp)
movl %eax, -0x134(%rbp)
movl $0x0, -0x138(%rbp)
movl $0x0, -0x13c(%rbp)
movl $0x1, -0x140(%rbp)
movl $0x2, -0x144(%rbp)
movl $0x0, -0x148(%rbp)
movl $0x1, -0x14c(%rbp)
movq -0x128(%rbp), %rax
movq %rax, -0x158(%rbp)
movq -0x158(%rbp), %rax
movq -0x120(%rbp), %rcx
movl 0x4018(%rcx), %ecx
movl %ecx, %edx
xorl %ecx, %ecx
subq %rdx, %rcx
addq %rcx, %rax
movq %rax, -0x170(%rbp)
movq -0x120(%rbp), %rax
movq 0x4008(%rax), %rax
movq %rax, -0x178(%rbp)
movq -0x178(%rbp), %rax
movq -0x120(%rbp), %rcx
movl 0x4018(%rcx), %ecx
addq %rcx, %rax
movq %rax, -0x180(%rbp)
movq -0x180(%rbp), %rax
movq -0x128(%rbp), %rcx
subq %rcx, %rax
movq %rax, -0x188(%rbp)
movq -0x128(%rbp), %rax
movq %rax, -0x190(%rbp)
movq -0x158(%rbp), %rax
movslq -0x134(%rbp), %rcx
addq %rcx, %rax
movq %rax, -0x198(%rbp)
movq -0x198(%rbp), %rax
addq $-0xc, %rax
movq %rax, -0x1a0(%rbp)
movq -0x198(%rbp), %rax
addq $-0x5, %rax
movq %rax, -0x1a8(%rbp)
movq -0x130(%rbp), %rax
movq %rax, -0x1b0(%rbp)
movq -0x1b0(%rbp), %rax
movslq -0x138(%rbp), %rcx
addq %rcx, %rax
movq %rax, -0x1b8(%rbp)
cmpl $0x7e000000, -0x134(%rbp) # imm = 0x7E000000
jbe 0x41b43
movl $0x0, -0x118(%rbp)
jmp 0x42930
movl -0x144(%rbp), %eax
movl %eax, -0x25c(%rbp)
testl %eax, %eax
je 0x41b6f
jmp 0x41b55
movl -0x25c(%rbp), %eax
subl $0x1, %eax
je 0x41b8f
jmp 0x41b62
movl -0x25c(%rbp), %eax
subl $0x2, %eax
je 0x41bdb
jmp 0x41b71
jmp 0x41b71
movq -0x128(%rbp), %rax
movq %rax, -0x160(%rbp)
movq -0x128(%rbp), %rax
movq %rax, -0x168(%rbp)
jmp 0x41c0e
movq -0x128(%rbp), %rax
movq -0x120(%rbp), %rcx
movl 0x4000(%rcx), %ecx
movl %ecx, %edx
xorl %ecx, %ecx
subq %rdx, %rcx
addq %rcx, %rax
movq %rax, -0x160(%rbp)
movq -0x128(%rbp), %rax
movq -0x120(%rbp), %rcx
movl 0x4018(%rcx), %ecx
movl %ecx, %edx
xorl %ecx, %ecx
subq %rdx, %rcx
addq %rcx, %rax
movq %rax, -0x168(%rbp)
jmp 0x41c0e
movq -0x128(%rbp), %rax
movq -0x120(%rbp), %rcx
movl 0x4000(%rcx), %ecx
movl %ecx, %edx
xorl %ecx, %ecx
subq %rdx, %rcx
addq %rcx, %rax
movq %rax, -0x160(%rbp)
movq -0x128(%rbp), %rax
movq %rax, -0x168(%rbp)
cmpl $0x2, -0x140(%rbp)
jne 0x41c32
cmpl $0x1000b, -0x134(%rbp)  # imm = 0x1000B
jl 0x41c32
movl $0x0, -0x118(%rbp)
jmp 0x42930
cmpl $0xd, -0x134(%rbp)
jge 0x41c40
jmp 0x427ab
movq -0x158(%rbp), %rsi
movq -0x120(%rbp), %rdx
movl -0x140(%rbp), %ecx
movq -0x160(%rbp), %rax
movq %rsi, -0xa8(%rbp)
movq %rdx, -0xb0(%rbp)
movl %ecx, -0xb4(%rbp)
movq %rax, -0xc0(%rbp)
movq -0xa8(%rbp), %rcx
movl -0xb4(%rbp), %eax
movq %rcx, -0x98(%rbp)
movl %eax, -0x9c(%rbp)
cmpl $0x2, -0x9c(%rbp)
je 0x41cbb
movq -0x98(%rbp), %rdi
callq 0x4f420
movq %rax, %rdi
movl -0x9c(%rbp), %esi
callq 0x4f390
movl %eax, -0x90(%rbp)
jmp 0x41cda
movq -0x98(%rbp), %rdi
callq 0x4f100
movl %eax, %edi
movl -0x9c(%rbp), %esi
callq 0x4f440
movl %eax, -0x90(%rbp)
movl -0x90(%rbp), %eax
movl %eax, -0xc4(%rbp)
movq -0xa8(%rbp), %rdi
movl -0xc4(%rbp), %esi
movq -0xb0(%rbp), %rdx
movl -0xb4(%rbp), %ecx
movq -0xc0(%rbp), %r8
callq 0x4f060
movq -0x158(%rbp), %rax
addq $0x1, %rax
movq %rax, -0x158(%rbp)
movq -0x158(%rbp), %rcx
movl -0x140(%rbp), %eax
movq %rcx, -0x48(%rbp)
movl %eax, -0x4c(%rbp)
cmpl $0x2, -0x4c(%rbp)
je 0x41d51
movq -0x48(%rbp), %rdi
callq 0x4f420
movq %rax, %rdi
movl -0x4c(%rbp), %esi
callq 0x4f390
movl %eax, -0x40(%rbp)
jmp 0x41d67
movq -0x48(%rbp), %rdi
callq 0x4f100
movl %eax, %edi
movl -0x4c(%rbp), %esi
callq 0x4f440
movl %eax, -0x40(%rbp)
movl -0x40(%rbp), %eax
movl %eax, -0x1bc(%rbp)
movq $0x0, -0x1c8(%rbp)
movq -0x158(%rbp), %rax
movq %rax, -0x1e0(%rbp)
movl $0x1, -0x1e4(%rbp)
movl -0x14c(%rbp), %eax
shll $0x6, %eax
movl %eax, -0x1e8(%rbp)
movl -0x1bc(%rbp), %eax
movl %eax, -0x1ec(%rbp)
movq -0x1e0(%rbp), %rax
movq %rax, -0x158(%rbp)
movl -0x1e4(%rbp), %ecx
movq -0x1e0(%rbp), %rax
movl %ecx, %ecx
addq %rcx, %rax
movq %rax, -0x1e0(%rbp)
movl -0x1e8(%rbp), %eax
movl %eax, %ecx
addl $0x1, %ecx
movl %ecx, -0x1e8(%rbp)
shrl $0x6, %eax
movl %eax, -0x1e4(%rbp)
movq -0x1e0(%rbp), %rax
cmpq -0x1a0(%rbp), %rax
seta %al
testb $0x1, %al
jne 0x41e06
jmp 0x41e0b
jmp 0x427ab
movl -0x1ec(%rbp), %edi
movq -0x120(%rbp), %rsi
movl -0x140(%rbp), %edx
movq -0x160(%rbp), %rcx
callq 0x4efe0
movq %rax, -0x1d0(%rbp)
cmpl $0x2, -0x144(%rbp)
jne 0x41e83
movq -0x1d0(%rbp), %rax
cmpq -0x128(%rbp), %rax
jae 0x41e68
movq -0x188(%rbp), %rax
movq %rax, -0x1c8(%rbp)
movq -0x178(%rbp), %rax
movq %rax, -0x168(%rbp)
jmp 0x41e81
movq $0x0, -0x1c8(%rbp)
movq -0x128(%rbp), %rax
movq %rax, -0x168(%rbp)
jmp 0x41e83
movq -0x1e0(%rbp), %rcx
movl -0x140(%rbp), %eax
movq %rcx, -0x58(%rbp)
movl %eax, -0x5c(%rbp)
cmpl $0x2, -0x5c(%rbp)
je 0x41eb6
movq -0x58(%rbp), %rdi
callq 0x4f420
movq %rax, %rdi
movl -0x5c(%rbp), %esi
callq 0x4f390
movl %eax, -0x50(%rbp)
jmp 0x41ecc
movq -0x58(%rbp), %rdi
callq 0x4f100
movl %eax, %edi
movl -0x5c(%rbp), %esi
callq 0x4f440
movl %eax, -0x50(%rbp)
movl -0x50(%rbp), %eax
movl %eax, -0x1bc(%rbp)
movq -0x158(%rbp), %rdi
movl -0x1ec(%rbp), %esi
movq -0x120(%rbp), %rdx
movl -0x140(%rbp), %ecx
movq -0x160(%rbp), %r8
callq 0x4f060
cmpl $0x1, -0x148(%rbp)
jne 0x41f1e
movq -0x1d0(%rbp), %rcx
movb $0x1, %al
cmpq -0x170(%rbp), %rcx
movb %al, -0x25d(%rbp)
jb 0x41f82
jmp 0x41f20
jmp 0x41f20
cmpl $0x2, -0x140(%rbp)
jne 0x41f2b
jmp 0x41f4a
movq -0x1d0(%rbp), %rcx
addq $0xffff, %rcx           # imm = 0xFFFF
movb $0x1, %al
cmpq -0x158(%rbp), %rcx
movb %al, -0x25d(%rbp)
jb 0x41f82
movq -0x1d0(%rbp), %rdi
addq -0x1c8(%rbp), %rdi
callq 0x4f100
movl %eax, -0x264(%rbp)
movq -0x158(%rbp), %rdi
callq 0x4f100
movl %eax, %ecx
movl -0x264(%rbp), %eax
cmpl %ecx, %eax
setne %al
movb %al, -0x25d(%rbp)
movb -0x25d(%rbp), %al
testb $0x1, %al
jne 0x41da2
jmp 0x41f92
movq -0x158(%rbp), %rax
cmpq -0x190(%rbp), %rax
seta %al
andb $0x1, %al
movzbl %al, %ecx
movq -0x1d0(%rbp), %rax
addq -0x1c8(%rbp), %rax
cmpq -0x168(%rbp), %rax
seta %al
andb $0x1, %al
movzbl %al, %eax
andl %eax, %ecx
xorl %eax, %eax
cmpl $0x0, %ecx
movb %al, -0x265(%rbp)
je 0x42000
movq -0x158(%rbp), %rax
movzbl -0x1(%rax), %eax
movq -0x1d0(%rbp), %rcx
movq -0x1c8(%rbp), %rdx
subq $0x1, %rdx
movzbl (%rcx,%rdx), %ecx
cmpl %ecx, %eax
sete %al
movb %al, -0x265(%rbp)
movb -0x265(%rbp), %al
testb $0x1, %al
jne 0x4200c
jmp 0x42035
movq -0x158(%rbp), %rax
addq $-0x1, %rax
movq %rax, -0x158(%rbp)
movq -0x1d0(%rbp), %rax
addq $-0x1, %rax
movq %rax, -0x1d0(%rbp)
jmp 0x41f92
movq -0x158(%rbp), %rax
movq -0x190(%rbp), %rcx
subq %rcx, %rax
movl %eax, -0x1f0(%rbp)
movq -0x1b0(%rbp), %rax
movq %rax, %rcx
addq $0x1, %rcx
movq %rcx, -0x1b0(%rbp)
movq %rax, -0x1d8(%rbp)
cmpl $0x0, -0x13c(%rbp)
je 0x420c8
movq -0x1b0(%rbp), %rax
movl -0x1f0(%rbp), %ecx
addq %rcx, %rax
addq $0x8, %rax
movq %rax, -0x270(%rbp)
movl -0x1f0(%rbp), %eax
movl $0xff, %ecx
xorl %edx, %edx
divl %ecx
movl %eax, %ecx
movq -0x270(%rbp), %rax
movl %ecx, %ecx
addq %rcx, %rax
cmpq -0x1b8(%rbp), %rax
seta %al
testb $0x1, %al
jne 0x420b9
jmp 0x420c8
movl $0x0, -0x118(%rbp)
jmp 0x42930
cmpl $0xf, -0x1f0(%rbp)
jb 0x42142
movl -0x1f0(%rbp), %eax
subl $0xf, %eax
movl %eax, -0x1f4(%rbp)
movq -0x1d8(%rbp), %rax
movb $-0x10, (%rax)
cmpl $0xff, -0x1f4(%rbp)
jl 0x42121
movq -0x1b0(%rbp), %rax
movq %rax, %rcx
addq $0x1, %rcx
movq %rcx, -0x1b0(%rbp)
movb $-0x1, (%rax)
movl -0x1f4(%rbp), %eax
subl $0xff, %eax
movl %eax, -0x1f4(%rbp)
jmp 0x420ea
movl -0x1f4(%rbp), %eax
movb %al, %cl
movq -0x1b0(%rbp), %rax
movq %rax, %rdx
addq $0x1, %rdx
movq %rdx, -0x1b0(%rbp)
movb %cl, (%rax)
jmp 0x42156
movl -0x1f0(%rbp), %eax
shll $0x4, %eax
movb %al, %cl
movq -0x1d8(%rbp), %rax
movb %cl, (%rax)
movq -0x1b0(%rbp), %rdi
movq -0x190(%rbp), %rsi
movq -0x1b0(%rbp), %rdx
movl -0x1f0(%rbp), %eax
addq %rax, %rdx
callq 0x4f110
movl -0x1f0(%rbp), %ecx
movq -0x1b0(%rbp), %rax
movl %ecx, %ecx
addq %rcx, %rax
movq %rax, -0x1b0(%rbp)
movq -0x1b0(%rbp), %rdi
movq -0x158(%rbp), %rax
movq -0x1d0(%rbp), %rcx
subq %rcx, %rax
movzwl %ax, %esi
callq 0x4f180
movq -0x1b0(%rbp), %rax
addq $0x2, %rax
movq %rax, -0x1b0(%rbp)
cmpl $0x2, -0x144(%rbp)
jne 0x422db
movq -0x168(%rbp), %rax
cmpq -0x178(%rbp), %rax
jne 0x422db
movq -0x1c8(%rbp), %rax
addq -0x1d0(%rbp), %rax
movq %rax, -0x1d0(%rbp)
movq -0x158(%rbp), %rax
movq -0x180(%rbp), %rcx
movq -0x1d0(%rbp), %rdx
subq %rdx, %rcx
addq %rcx, %rax
movq %rax, -0x200(%rbp)
movq -0x200(%rbp), %rax
cmpq -0x1a8(%rbp), %rax
jbe 0x4223a
movq -0x1a8(%rbp), %rax
movq %rax, -0x200(%rbp)
movq -0x158(%rbp), %rdi
addq $0x4, %rdi
movq -0x1d0(%rbp), %rsi
addq $0x4, %rsi
movq -0x200(%rbp), %rdx
callq 0x4f1e0
movl %eax, -0x1f8(%rbp)
movl -0x1f8(%rbp), %ecx
addl $0x4, %ecx
movq -0x158(%rbp), %rax
movl %ecx, %ecx
addq %rcx, %rax
movq %rax, -0x158(%rbp)
movq -0x158(%rbp), %rax
cmpq -0x200(%rbp), %rax
jne 0x422d9
movq -0x158(%rbp), %rdi
movq -0x128(%rbp), %rsi
movq -0x1a8(%rbp), %rdx
callq 0x4f1e0
movl %eax, -0x204(%rbp)
movl -0x204(%rbp), %eax
addl -0x1f8(%rbp), %eax
movl %eax, -0x1f8(%rbp)
movl -0x204(%rbp), %ecx
movq -0x158(%rbp), %rax
movl %ecx, %ecx
addq %rcx, %rax
movq %rax, -0x158(%rbp)
jmp 0x4231f
movq -0x158(%rbp), %rdi
addq $0x4, %rdi
movq -0x1d0(%rbp), %rsi
addq $0x4, %rsi
movq -0x1a8(%rbp), %rdx
callq 0x4f1e0
movl %eax, -0x1f8(%rbp)
movl -0x1f8(%rbp), %ecx
addl $0x4, %ecx
movq -0x158(%rbp), %rax
movl %ecx, %ecx
addq %rcx, %rax
movq %rax, -0x158(%rbp)
cmpl $0x0, -0x13c(%rbp)
je 0x42360
movq -0x1b0(%rbp), %rax
addq $0x6, %rax
movl -0x1f8(%rbp), %ecx
shrl $0x8, %ecx
movl %ecx, %ecx
addq %rcx, %rax
cmpq -0x1b8(%rbp), %rax
seta %al
testb $0x1, %al
jne 0x42351
jmp 0x42360
movl $0x0, -0x118(%rbp)
jmp 0x42930
cmpl $0xf, -0x1f8(%rbp)
jb 0x4242c
movq -0x1d8(%rbp), %rax
movzbl (%rax), %ecx
addl $0xf, %ecx
movb %cl, (%rax)
movl -0x1f8(%rbp), %eax
subl $0xf, %eax
movl %eax, -0x1f8(%rbp)
movq -0x1b0(%rbp), %rdi
movl $0xffffffff, %esi       # imm = 0xFFFFFFFF
callq 0x4f370
cmpl $0x3fc, -0x1f8(%rbp)    # imm = 0x3FC
jb 0x423de
movq -0x1b0(%rbp), %rax
addq $0x4, %rax
movq %rax, -0x1b0(%rbp)
movq -0x1b0(%rbp), %rdi
movl $0xffffffff, %esi       # imm = 0xFFFFFFFF
callq 0x4f370
movl -0x1f8(%rbp), %eax
subl $0x3fc, %eax            # imm = 0x3FC
movl %eax, -0x1f8(%rbp)
jmp 0x4239c
movl -0x1f8(%rbp), %eax
movl $0xff, %ecx
xorl %edx, %edx
divl %ecx
movl %eax, %ecx
movq -0x1b0(%rbp), %rax
movl %ecx, %ecx
addq %rcx, %rax
movq %rax, -0x1b0(%rbp)
movl -0x1f8(%rbp), %eax
movl $0xff, %ecx
xorl %edx, %edx
divl %ecx
movb %dl, %cl
movq -0x1b0(%rbp), %rax
movq %rax, %rdx
addq $0x1, %rdx
movq %rdx, -0x1b0(%rbp)
movb %cl, (%rax)
jmp 0x42443
movl -0x1f8(%rbp), %eax
movzbl %al, %edx
movq -0x1d8(%rbp), %rax
movzbl (%rax), %ecx
addl %edx, %ecx
movb %cl, (%rax)
movq -0x158(%rbp), %rax
movq %rax, -0x190(%rbp)
movq -0x158(%rbp), %rax
cmpq -0x1a0(%rbp), %rax
jbe 0x42466
jmp 0x427ab
movq -0x158(%rbp), %rsi
addq $-0x2, %rsi
movq -0x120(%rbp), %rdx
movl -0x140(%rbp), %ecx
movq -0x160(%rbp), %rax
movq %rsi, -0xd0(%rbp)
movq %rdx, -0xd8(%rbp)
movl %ecx, -0xdc(%rbp)
movq %rax, -0xe8(%rbp)
movq -0xd0(%rbp), %rcx
movl -0xdc(%rbp), %eax
movq %rcx, -0x88(%rbp)
movl %eax, -0x8c(%rbp)
cmpl $0x2, -0x8c(%rbp)
je 0x424e2
movq -0x88(%rbp), %rdi
callq 0x4f420
movq %rax, %rdi
movl -0x8c(%rbp), %esi
callq 0x4f390
movl %eax, -0x80(%rbp)
jmp 0x424fe
movq -0x88(%rbp), %rdi
callq 0x4f100
movl %eax, %edi
movl -0x8c(%rbp), %esi
callq 0x4f440
movl %eax, -0x80(%rbp)
movl -0x80(%rbp), %eax
movl %eax, -0xec(%rbp)
movq -0xd0(%rbp), %rdi
movl -0xec(%rbp), %esi
movq -0xd8(%rbp), %rdx
movl -0xdc(%rbp), %ecx
movq -0xe8(%rbp), %r8
callq 0x4f060
movq -0x158(%rbp), %rsi
movq -0x120(%rbp), %rdx
movl -0x140(%rbp), %ecx
movq -0x160(%rbp), %rax
movq %rsi, -0x20(%rbp)
movq %rdx, -0x28(%rbp)
movl %ecx, -0x2c(%rbp)
movq %rax, -0x38(%rbp)
movq -0x20(%rbp), %rcx
movl -0x2c(%rbp), %eax
movq %rcx, -0x10(%rbp)
movl %eax, -0x14(%rbp)
cmpl $0x2, -0x14(%rbp)
je 0x42584
movq -0x10(%rbp), %rdi
callq 0x4f420
movq %rax, %rdi
movl -0x14(%rbp), %esi
callq 0x4f390
movl %eax, -0x4(%rbp)
jmp 0x4259a
movq -0x10(%rbp), %rdi
callq 0x4f100
movl %eax, %edi
movl -0x14(%rbp), %esi
callq 0x4f440
movl %eax, -0x4(%rbp)
movl -0x4(%rbp), %eax
movl %eax, -0x3c(%rbp)
movl -0x3c(%rbp), %edi
movq -0x28(%rbp), %rsi
movl -0x2c(%rbp), %edx
movq -0x38(%rbp), %rcx
callq 0x4efe0
movq %rax, -0x1d0(%rbp)
cmpl $0x2, -0x144(%rbp)
jne 0x4260c
movq -0x1d0(%rbp), %rax
cmpq -0x128(%rbp), %rax
jae 0x425f1
movq -0x188(%rbp), %rax
movq %rax, -0x1c8(%rbp)
movq -0x178(%rbp), %rax
movq %rax, -0x168(%rbp)
jmp 0x4260a
movq $0x0, -0x1c8(%rbp)
movq -0x128(%rbp), %rax
movq %rax, -0x168(%rbp)
jmp 0x4260c
movq -0x158(%rbp), %rsi
movq -0x120(%rbp), %rdx
movl -0x140(%rbp), %ecx
movq -0x160(%rbp), %rax
movq %rsi, -0xf8(%rbp)
movq %rdx, -0x100(%rbp)
movl %ecx, -0x104(%rbp)
movq %rax, -0x110(%rbp)
movq -0xf8(%rbp), %rcx
movl -0x104(%rbp), %eax
movq %rcx, -0x78(%rbp)
movl %eax, -0x7c(%rbp)
cmpl $0x2, -0x7c(%rbp)
je 0x42675
movq -0x78(%rbp), %rdi
callq 0x4f420
movq %rax, %rdi
movl -0x7c(%rbp), %esi
callq 0x4f390
movl %eax, -0x70(%rbp)
jmp 0x4268b
movq -0x78(%rbp), %rdi
callq 0x4f100
movl %eax, %edi
movl -0x7c(%rbp), %esi
callq 0x4f440
movl %eax, -0x70(%rbp)
movl -0x70(%rbp), %eax
movl %eax, -0x114(%rbp)
movq -0xf8(%rbp), %rdi
movl -0x114(%rbp), %esi
movq -0x100(%rbp), %rdx
movl -0x104(%rbp), %ecx
movq -0x110(%rbp), %r8
callq 0x4f060
cmpl $0x1, -0x148(%rbp)
jne 0x426d5
movq -0x1d0(%rbp), %rax
cmpq -0x170(%rbp), %rax
jae 0x426d7
jmp 0x42749
jmp 0x426d7
movq -0x1d0(%rbp), %rax
addq $0xffff, %rax           # imm = 0xFFFF
cmpq -0x158(%rbp), %rax
jb 0x42749
movq -0x1d0(%rbp), %rdi
addq -0x1c8(%rbp), %rdi
callq 0x4f100
movl %eax, -0x274(%rbp)
movq -0x158(%rbp), %rdi
callq 0x4f100
movl %eax, %ecx
movl -0x274(%rbp), %eax
cmpl %ecx, %eax
jne 0x42749
movq -0x1b0(%rbp), %rax
movq %rax, %rcx
addq $0x1, %rcx
movq %rcx, -0x1b0(%rbp)
movq %rax, -0x1d8(%rbp)
movq -0x1d8(%rbp), %rax
movb $0x0, (%rax)
jmp 0x42192
movq -0x158(%rbp), %rcx
addq $0x1, %rcx
movq %rcx, -0x158(%rbp)
movl -0x140(%rbp), %eax
movq %rcx, -0x68(%rbp)
movl %eax, -0x6c(%rbp)
cmpl $0x2, -0x6c(%rbp)
je 0x42787
movq -0x68(%rbp), %rdi
callq 0x4f420
movq %rax, %rdi
movl -0x6c(%rbp), %esi
callq 0x4f390
movl %eax, -0x60(%rbp)
jmp 0x4279d
movq -0x68(%rbp), %rdi
callq 0x4f100
movl %eax, %edi
movl -0x6c(%rbp), %esi
callq 0x4f440
movl %eax, -0x60(%rbp)
movl -0x60(%rbp), %eax
movl %eax, -0x1bc(%rbp)
jmp 0x41d70
movq -0x198(%rbp), %rax
movq -0x190(%rbp), %rcx
subq %rcx, %rax
movq %rax, -0x210(%rbp)
cmpl $0x0, -0x13c(%rbp)
je 0x42831
movq -0x1b0(%rbp), %rax
movq -0x130(%rbp), %rcx
subq %rcx, %rax
addq -0x210(%rbp), %rax
addq $0x1, %rax
movq %rax, -0x280(%rbp)
movq -0x210(%rbp), %rax
addq $0xff, %rax
subq $0xf, %rax
movl $0xff, %ecx
xorl %edx, %edx
divq %rcx
movq %rax, %rcx
movq -0x280(%rbp), %rax
addq %rcx, %rax
movl -0x138(%rbp), %ecx
cmpq %rcx, %rax
jbe 0x42831
movl $0x0, -0x118(%rbp)
jmp 0x42930
cmpq $0xf, -0x210(%rbp)
jb 0x428c6
movq -0x210(%rbp), %rax
subq $0xf, %rax
movq %rax, -0x218(%rbp)
movq -0x1b0(%rbp), %rax
movq %rax, %rcx
addq $0x1, %rcx
movq %rcx, -0x1b0(%rbp)
movb $-0x10, (%rax)
cmpq $0xff, -0x218(%rbp)
jb 0x428a4
movq -0x1b0(%rbp), %rax
movq %rax, %rcx
addq $0x1, %rcx
movq %rcx, -0x1b0(%rbp)
movb $-0x1, (%rax)
movq -0x218(%rbp), %rax
subq $0xff, %rax
movq %rax, -0x218(%rbp)
jmp 0x42869
movq -0x218(%rbp), %rax
movb %al, %cl
movq -0x1b0(%rbp), %rax
movq %rax, %rdx
addq $0x1, %rdx
movq %rdx, -0x1b0(%rbp)
movb %cl, (%rax)
jmp 0x428ea
movq -0x210(%rbp), %rax
shlq $0x4, %rax
movb %al, %cl
movq -0x1b0(%rbp), %rax
movq %rax, %rdx
addq $0x1, %rdx
movq %rdx, -0x1b0(%rbp)
movb %cl, (%rax)
movq -0x1b0(%rbp), %rdi
movq -0x190(%rbp), %rsi
movq -0x210(%rbp), %rdx
callq 0x6410
movq -0x210(%rbp), %rax
addq -0x1b0(%rbp), %rax
movq %rax, -0x1b0(%rbp)
movq -0x1b0(%rbp), %rax
movq -0x130(%rbp), %rcx
subq %rcx, %rax
movl %eax, -0x118(%rbp)
movl -0x118(%rbp), %eax
movl %eax, -0x244(%rbp)
movq -0x228(%rbp), %rcx
movq -0x240(%rbp), %rax
movq %rcx, 0x4008(%rax)
movl -0x234(%rbp), %ecx
movq -0x240(%rbp), %rax
movl %ecx, 0x4018(%rax)
movl -0x234(%rbp), %ecx
movq -0x240(%rbp), %rax
addl 0x4000(%rax), %ecx
movl %ecx, 0x4000(%rax)
movl -0x244(%rbp), %eax
addq $0x280, %rsp            # imm = 0x280
popq %rbp
retq
nopl (%rax)