// File: /workspace/github_c_makefile_star2_O0/Genymobile[P]hiredis/test.c
// Function: test_format_commands
static void test_format_commands(void) {
    char *cmd;
    int len;

    test("Format command without interpolation: ");
    len = redisFormatCommand(&cmd,"SET foo bar");
    test_cond(strncmp(cmd,"*3\r\n$3\r\nSET\r\n$3\r\nfoo\r\n$3\r\nbar\r\n",len) == 0 &&
        len == 4+4+(3+2)+4+(3+2)+4+(3+2));
    free(cmd);

    test("Format command with %%s string interpolation: ");
    len = redisFormatCommand(&cmd,"SET %s %s","foo","bar");
    test_cond(strncmp(cmd,"*3\r\n$3\r\nSET\r\n$3\r\nfoo\r\n$3\r\nbar\r\n",len) == 0 &&
        len == 4+4+(3+2)+4+(3+2)+4+(3+2));
    free(cmd);

    test("Format command with %%s and an empty string: ");
    len = redisFormatCommand(&cmd,"SET %s %s","foo","");
    test_cond(strncmp(cmd,"*3\r\n$3\r\nSET\r\n$3\r\nfoo\r\n$0\r\n\r\n",len) == 0 &&
        len == 4+4+(3+2)+4+(3+2)+4+(0+2));
    free(cmd);

    test("Format command with an empty string in between proper interpolations: ");
    len = redisFormatCommand(&cmd,"SET %s %s","","foo");
    test_cond(strncmp(cmd,"*3\r\n$3\r\nSET\r\n$0\r\n\r\n$3\r\nfoo\r\n",len) == 0 &&
        len == 4+4+(3+2)+4+(0+2)+4+(3+2));
    free(cmd);

    test("Format command with %%b string interpolation: ");
    len = redisFormatCommand(&cmd,"SET %b %b","foo",(size_t)3,"b\0r",(size_t)3);
    test_cond(strncmp(cmd,"*3\r\n$3\r\nSET\r\n$3\r\nfoo\r\n$3\r\nb\0r\r\n",len) == 0 &&
        len == 4+4+(3+2)+4+(3+2)+4+(3+2));
    free(cmd);

    test("Format command with %%b and an empty string: ");
    len = redisFormatCommand(&cmd,"SET %b %b","foo",(size_t)3,"",(size_t)0);
    test_cond(strncmp(cmd,"*3\r\n$3\r\nSET\r\n$3\r\nfoo\r\n$0\r\n\r\n",len) == 0 &&
        len == 4+4+(3+2)+4+(3+2)+4+(0+2));
    free(cmd);

    test("Format command with literal %%: ");
    len = redisFormatCommand(&cmd,"SET %% %%");
    test_cond(strncmp(cmd,"*3\r\n$3\r\nSET\r\n$1\r\n%\r\n$1\r\n%\r\n",len) == 0 &&
        len == 4+4+(3+2)+4+(1+2)+4+(1+2));
    free(cmd);

    /* Vararg width depends on the type. These tests make sure that the
     * width is correctly determined using the format and subsequent varargs
     * can correctly be interpolated. */
#define INTEGER_WIDTH_TEST(fmt, type) do {                                                \
    type value = 123;                                                                     \
    test("Format command with printf-delegation (" #type "): ");                          \
    len = redisFormatCommand(&cmd,"key:%08" fmt " str:%s", value, "hello");               \
    test_cond(strncmp(cmd,"*2\r\n$12\r\nkey:00000123\r\n$9\r\nstr:hello\r\n",len) == 0 && \
        len == 4+5+(12+2)+4+(9+2));                                                       \
    free(cmd);                                                                            \
} while(0)

#define FLOAT_WIDTH_TEST(type) do {                                                       \
    type value = 123.0;                                                                   \
    test("Format command with printf-delegation (" #type "): ");                          \
    len = redisFormatCommand(&cmd,"key:%08.3f str:%s", value, "hello");                   \
    test_cond(strncmp(cmd,"*2\r\n$12\r\nkey:0123.000\r\n$9\r\nstr:hello\r\n",len) == 0 && \
        len == 4+5+(12+2)+4+(9+2));                                                       \
    free(cmd);                                                                            \
} while(0)

    INTEGER_WIDTH_TEST("d", int);
    INTEGER_WIDTH_TEST("hhd", char);
    INTEGER_WIDTH_TEST("hd", short);
    INTEGER_WIDTH_TEST("ld", long);
    INTEGER_WIDTH_TEST("lld", long long);
    INTEGER_WIDTH_TEST("u", unsigned int);
    INTEGER_WIDTH_TEST("hhu", unsigned char);
    INTEGER_WIDTH_TEST("hu", unsigned short);
    INTEGER_WIDTH_TEST("lu", unsigned long);
    INTEGER_WIDTH_TEST("llu", unsigned long long);
    FLOAT_WIDTH_TEST(float);
    FLOAT_WIDTH_TEST(double);

    test("Format command with invalid printf format: ");
    len = redisFormatCommand(&cmd,"key:%08p %b",(void*)1234,"foo",(size_t)3);
    test_cond(len == -1);

    const char *argv[3];
    argv[0] = "SET";
    argv[1] = "foo\0xxx";
    argv[2] = "bar";
    size_t lens[3] = { 3, 7, 3 };
    int argc = 3;

    test("Format command by passing argc/argv without lengths: ");
    len = redisFormatCommandArgv(&cmd,argc,argv,NULL);
    test_cond(strncmp(cmd,"*3\r\n$3\r\nSET\r\n$3\r\nfoo\r\n$3\r\nbar\r\n",len) == 0 &&
        len == 4+4+(3+2)+4+(3+2)+4+(3+2));
    free(cmd);

    test("Format command by passing argc/argv with lengths: ");
    len = redisFormatCommandArgv(&cmd,argc,argv,lens);
    test_cond(strncmp(cmd,"*3\r\n$3\r\nSET\r\n$7\r\nfoo\0xxx\r\n$3\r\nbar\r\n",len) == 0 &&
        len == 4+4+(3+2)+4+(7+2)+4+(3+2));
    free(cmd);
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0xa0, %rsp
movl 0xf99f(%rip), %esi      # 0x121c0
addl $0x1, %esi
movl %esi, 0xf996(%rip)      # 0x121c0
leaq 0xa8fd(%rip), %rdi      # 0xd12e
movb $0x0, %al
callq 0x20f0
leaq 0xa8f6(%rip), %rdi      # 0xd135
movb $0x0, %al
callq 0x20f0
leaq -0x8(%rbp), %rdi
leaq 0xa90b(%rip), %rsi      # 0xd15c
movb $0x0, %al
callq 0x6660
movl %eax, -0xc(%rbp)
movq -0x8(%rbp), %rdi
movslq -0xc(%rbp), %rdx
leaq 0xa8fe(%rip), %rsi      # 0xd168
callq 0x2070
cmpl $0x0, %eax
jne 0x288a
cmpl $0x1f, -0xc(%rbp)
jne 0x288a
leaq 0xa907(%rip), %rdi      # 0xd188
movb $0x0, %al
callq 0x20f0
jmp 0x28a7
leaq 0xa90c(%rip), %rdi      # 0xd19d
movb $0x0, %al
callq 0x20f0
movl 0xf91e(%rip), %eax      # 0x121bc
addl $0x1, %eax
movl %eax, 0xf915(%rip)      # 0x121bc
movq -0x8(%rbp), %rdi
callq 0x2030
movl 0xf90a(%rip), %esi      # 0x121c0
addl $0x1, %esi
movl %esi, 0xf901(%rip)      # 0x121c0
leaq 0xa868(%rip), %rdi      # 0xd12e
movb $0x0, %al
callq 0x20f0
leaq 0xa8de(%rip), %rdi      # 0xd1b2
movb $0x0, %al
callq 0x20f0
leaq -0x8(%rbp), %rdi
leaq 0xa8fb(%rip), %rsi      # 0xd1e1
leaq 0xb2cc(%rip), %rdx      # 0xdbb9
leaq 0xa870(%rip), %rcx      # 0xd164
movb $0x0, %al
callq 0x6660
movl %eax, -0xc(%rbp)
movq -0x8(%rbp), %rdi
movslq -0xc(%rbp), %rdx
leaq 0xa85b(%rip), %rsi      # 0xd168
callq 0x2070
cmpl $0x0, %eax
jne 0x292d
cmpl $0x1f, -0xc(%rbp)
jne 0x292d
leaq 0xa864(%rip), %rdi      # 0xd188
movb $0x0, %al
callq 0x20f0
jmp 0x294a
leaq 0xa869(%rip), %rdi      # 0xd19d
movb $0x0, %al
callq 0x20f0
movl 0xf87b(%rip), %eax      # 0x121bc
addl $0x1, %eax
movl %eax, 0xf872(%rip)      # 0x121bc
movq -0x8(%rbp), %rdi
callq 0x2030
movl 0xf867(%rip), %esi      # 0x121c0
addl $0x1, %esi
movl %esi, 0xf85e(%rip)      # 0x121c0
leaq 0xa7c5(%rip), %rdi      # 0xd12e
movb $0x0, %al
callq 0x20f0
leaq 0xa874(%rip), %rdi      # 0xd1eb
movb $0x0, %al
callq 0x20f0
leaq -0x8(%rbp), %rdi
leaq 0xa858(%rip), %rsi      # 0xd1e1
leaq 0xb229(%rip), %rdx      # 0xdbb9
leaq 0xa89e(%rip), %rcx      # 0xd235
movb $0x0, %al
callq 0x6660
movl %eax, -0xc(%rbp)
movq -0x8(%rbp), %rdi
movslq -0xc(%rbp), %rdx
leaq 0xa869(%rip), %rsi      # 0xd219
callq 0x2070
cmpl $0x0, %eax
jne 0x29d0
cmpl $0x1c, -0xc(%rbp)
jne 0x29d0
leaq 0xa7c1(%rip), %rdi      # 0xd188
movb $0x0, %al
callq 0x20f0
jmp 0x29ed
leaq 0xa7c6(%rip), %rdi      # 0xd19d
movb $0x0, %al
callq 0x20f0
movl 0xf7d8(%rip), %eax      # 0x121bc
addl $0x1, %eax
movl %eax, 0xf7cf(%rip)      # 0x121bc
movq -0x8(%rbp), %rdi
callq 0x2030
movl 0xf7c4(%rip), %esi      # 0x121c0
addl $0x1, %esi
movl %esi, 0xf7bb(%rip)      # 0x121c0
leaq 0xa722(%rip), %rdi      # 0xd12e
movb $0x0, %al
callq 0x20f0
leaq 0xa81c(%rip), %rdi      # 0xd236
movb $0x0, %al
callq 0x20f0
leaq -0x8(%rbp), %rdi
leaq 0xa7b5(%rip), %rsi      # 0xd1e1
leaq 0xa802(%rip), %rdx      # 0xd235
leaq 0xb17f(%rip), %rcx      # 0xdbb9
movb $0x0, %al
callq 0x6660
movl %eax, -0xc(%rbp)
movq -0x8(%rbp), %rdi
movslq -0xc(%rbp), %rdx
leaq 0xa82a(%rip), %rsi      # 0xd27d
callq 0x2070
cmpl $0x0, %eax
jne 0x2a73
cmpl $0x1c, -0xc(%rbp)
jne 0x2a73
leaq 0xa71e(%rip), %rdi      # 0xd188
movb $0x0, %al
callq 0x20f0
jmp 0x2a90
leaq 0xa723(%rip), %rdi      # 0xd19d
movb $0x0, %al
callq 0x20f0
movl 0xf735(%rip), %eax      # 0x121bc
addl $0x1, %eax
movl %eax, 0xf72c(%rip)      # 0x121bc
movq -0x8(%rbp), %rdi
callq 0x2030
movl 0xf721(%rip), %esi      # 0x121c0
addl $0x1, %esi
movl %esi, 0xf718(%rip)      # 0x121c0
leaq 0xa67f(%rip), %rdi      # 0xd12e
movb $0x0, %al
callq 0x20f0
leaq 0xa7dd(%rip), %rdi      # 0xd29a
movb $0x0, %al
callq 0x20f0
leaq -0x8(%rbp), %rdi
leaq 0xa7fa(%rip), %rsi      # 0xd2c9
leaq 0xb0e3(%rip), %rdx      # 0xdbb9
movl $0x3, %r9d
leaq 0xa525(%rip), %r8       # 0xd008
movq %r9, %rcx
movb $0x0, %al
callq 0x6660
movl %eax, -0xc(%rbp)
movq -0x8(%rbp), %rdi
movslq -0xc(%rbp), %rdx
leaq 0xb815(%rip), %rsi      # 0xe314
callq 0x2070
cmpl $0x0, %eax
jne 0x2b1f
cmpl $0x1f, -0xc(%rbp)
jne 0x2b1f
leaq 0xa672(%rip), %rdi      # 0xd188
movb $0x0, %al
callq 0x20f0
jmp 0x2b3c
leaq 0xa677(%rip), %rdi      # 0xd19d
movb $0x0, %al
callq 0x20f0
movl 0xf689(%rip), %eax      # 0x121bc
addl $0x1, %eax
movl %eax, 0xf680(%rip)      # 0x121bc
movq -0x8(%rbp), %rdi
callq 0x2030
movl 0xf675(%rip), %esi      # 0x121c0
addl $0x1, %esi
movl %esi, 0xf66c(%rip)      # 0x121c0
leaq 0xa5d3(%rip), %rdi      # 0xd12e
movb $0x0, %al
callq 0x20f0
leaq 0xa76a(%rip), %rdi      # 0xd2d3
movb $0x0, %al
callq 0x20f0
leaq -0x8(%rbp), %rdi
leaq 0xa74e(%rip), %rsi      # 0xd2c9
leaq 0xb037(%rip), %rdx      # 0xdbb9
movl $0x3, %ecx
leaq 0xa6a7(%rip), %r8       # 0xd235
xorl %eax, %eax
movl %eax, %r9d
movb $0x0, %al
callq 0x6660
movl %eax, -0xc(%rbp)
movq -0x8(%rbp), %rdi
movslq -0xc(%rbp), %rdx
leaq 0xa66d(%rip), %rsi      # 0xd219
callq 0x2070
cmpl $0x0, %eax
jne 0x2bcc
cmpl $0x1c, -0xc(%rbp)
jne 0x2bcc
leaq 0xa5c5(%rip), %rdi      # 0xd188
movb $0x0, %al
callq 0x20f0
jmp 0x2be9
leaq 0xa5ca(%rip), %rdi      # 0xd19d
movb $0x0, %al
callq 0x20f0
movl 0xf5dc(%rip), %eax      # 0x121bc
addl $0x1, %eax
movl %eax, 0xf5d3(%rip)      # 0x121bc
movq -0x8(%rbp), %rdi
callq 0x2030
movl 0xf5c8(%rip), %esi      # 0x121c0
addl $0x1, %esi
movl %esi, 0xf5bf(%rip)      # 0x121c0
leaq 0xa526(%rip), %rdi      # 0xd12e
movb $0x0, %al
callq 0x20f0
leaq 0xa6eb(%rip), %rdi      # 0xd301
movb $0x0, %al
callq 0x20f0
leaq -0x8(%rbp), %rdi
leaq 0xa6fa(%rip), %rsi      # 0xd322
movb $0x0, %al
callq 0x6660
movl %eax, -0xc(%rbp)
movq -0x8(%rbp), %rdi
movslq -0xc(%rbp), %rdx
leaq 0xa6eb(%rip), %rsi      # 0xd32c
callq 0x2070
cmpl $0x0, %eax
jne 0x2c61
cmpl $0x1b, -0xc(%rbp)
jne 0x2c61
leaq 0xa530(%rip), %rdi      # 0xd188
movb $0x0, %al
callq 0x20f0
jmp 0x2c7e
leaq 0xa535(%rip), %rdi      # 0xd19d
movb $0x0, %al
callq 0x20f0
movl 0xf547(%rip), %eax      # 0x121bc
addl $0x1, %eax
movl %eax, 0xf53e(%rip)      # 0x121bc
movq -0x8(%rbp), %rdi
callq 0x2030
movl $0x7b, -0x10(%rbp)
movl 0xf52c(%rip), %esi      # 0x121c0
addl $0x1, %esi
movl %esi, 0xf523(%rip)      # 0x121c0
leaq 0xa48a(%rip), %rdi      # 0xd12e
movb $0x0, %al
callq 0x20f0
leaq 0xa696(%rip), %rdi      # 0xd348
movb $0x0, %al
callq 0x20f0
movl -0x10(%rbp), %edx
leaq -0x8(%rbp), %rdi
leaq 0xa6af(%rip), %rsi      # 0xd376
leaq 0xa6b8(%rip), %rcx      # 0xd386
movb $0x0, %al
callq 0x6660
movl %eax, -0xc(%rbp)
movq -0x8(%rbp), %rdi
movslq -0xc(%rbp), %rdx
leaq 0xa6a5(%rip), %rsi      # 0xd38c
callq 0x2070
cmpl $0x0, %eax
jne 0x2d07
cmpl $0x26, -0xc(%rbp)
jne 0x2d07
leaq 0xa48a(%rip), %rdi      # 0xd188
movb $0x0, %al
callq 0x20f0
jmp 0x2d24
leaq 0xa48f(%rip), %rdi      # 0xd19d
movb $0x0, %al
callq 0x20f0
movl 0xf4a1(%rip), %eax      # 0x121bc
addl $0x1, %eax
movl %eax, 0xf498(%rip)      # 0x121bc
movq -0x8(%rbp), %rdi
callq 0x2030
jmp 0x2d2f
movb $0x7b, -0x11(%rbp)
movl 0xf487(%rip), %esi      # 0x121c0
addl $0x1, %esi
movl %esi, 0xf47e(%rip)      # 0x121c0
leaq 0xa3e5(%rip), %rdi      # 0xd12e
movb $0x0, %al
callq 0x20f0
leaq 0xa65c(%rip), %rdi      # 0xd3b3
movb $0x0, %al
callq 0x20f0
movsbl -0x11(%rbp), %edx
leaq -0x8(%rbp), %rdi
leaq 0xa675(%rip), %rsi      # 0xd3e2
leaq 0xa612(%rip), %rcx      # 0xd386
movb $0x0, %al
callq 0x6660
movl %eax, -0xc(%rbp)
movq -0x8(%rbp), %rdi
movslq -0xc(%rbp), %rdx
leaq 0xa5ff(%rip), %rsi      # 0xd38c
callq 0x2070
cmpl $0x0, %eax
jne 0x2dad
cmpl $0x26, -0xc(%rbp)
jne 0x2dad
leaq 0xa3e4(%rip), %rdi      # 0xd188
movb $0x0, %al
callq 0x20f0
jmp 0x2dca
leaq 0xa3e9(%rip), %rdi      # 0xd19d
movb $0x0, %al
callq 0x20f0
movl 0xf3fb(%rip), %eax      # 0x121bc
addl $0x1, %eax
movl %eax, 0xf3f2(%rip)      # 0x121bc
movq -0x8(%rbp), %rdi
callq 0x2030
jmp 0x2dd5
movw $0x7b, -0x14(%rbp)
movl 0xf3df(%rip), %esi      # 0x121c0
addl $0x1, %esi
movl %esi, 0xf3d6(%rip)      # 0x121c0
leaq 0xa33d(%rip), %rdi      # 0xd12e
movb $0x0, %al
callq 0x20f0
leaq 0xa5f5(%rip), %rdi      # 0xd3f4
movb $0x0, %al
callq 0x20f0
movswl -0x14(%rbp), %edx
leaq -0x8(%rbp), %rdi
leaq 0xa60f(%rip), %rsi      # 0xd424
leaq 0xa56a(%rip), %rcx      # 0xd386
movb $0x0, %al
callq 0x6660
movl %eax, -0xc(%rbp)
movq -0x8(%rbp), %rdi
movslq -0xc(%rbp), %rdx
leaq 0xa557(%rip), %rsi      # 0xd38c
callq 0x2070
cmpl $0x0, %eax
jne 0x2e55
cmpl $0x26, -0xc(%rbp)
jne 0x2e55
leaq 0xa33c(%rip), %rdi      # 0xd188
movb $0x0, %al
callq 0x20f0
jmp 0x2e72
leaq 0xa341(%rip), %rdi      # 0xd19d
movb $0x0, %al
callq 0x20f0
movl 0xf353(%rip), %eax      # 0x121bc
addl $0x1, %eax
movl %eax, 0xf34a(%rip)      # 0x121bc
movq -0x8(%rbp), %rdi
callq 0x2030
jmp 0x2e7d
movq $0x7b, -0x20(%rbp)
movl 0xf335(%rip), %esi      # 0x121c0
addl $0x1, %esi
movl %esi, 0xf32c(%rip)      # 0x121c0
leaq 0xa293(%rip), %rdi      # 0xd12e
movb $0x0, %al
callq 0x20f0
leaq 0xa58c(%rip), %rdi      # 0xd435
movb $0x0, %al
callq 0x20f0
movq -0x20(%rbp), %rdx
leaq -0x8(%rbp), %rdi
leaq 0xa5a5(%rip), %rsi      # 0xd464
leaq 0xa4c0(%rip), %rcx      # 0xd386
movb $0x0, %al
callq 0x6660
movl %eax, -0xc(%rbp)
movq -0x8(%rbp), %rdi
movslq -0xc(%rbp), %rdx
leaq 0xa4ad(%rip), %rsi      # 0xd38c
callq 0x2070
cmpl $0x0, %eax
jne 0x2eff
cmpl $0x26, -0xc(%rbp)
jne 0x2eff
leaq 0xa292(%rip), %rdi      # 0xd188
movb $0x0, %al
callq 0x20f0
jmp 0x2f1c
leaq 0xa297(%rip), %rdi      # 0xd19d
movb $0x0, %al
callq 0x20f0
movl 0xf2a9(%rip), %eax      # 0x121bc
addl $0x1, %eax
movl %eax, 0xf2a0(%rip)      # 0x121bc
movq -0x8(%rbp), %rdi
callq 0x2030
jmp 0x2f27
movq $0x7b, -0x28(%rbp)
movl 0xf28b(%rip), %esi      # 0x121c0
addl $0x1, %esi
movl %esi, 0xf282(%rip)      # 0x121c0
leaq 0xa1e9(%rip), %rdi      # 0xd12e
movb $0x0, %al
callq 0x20f0
leaq 0xa522(%rip), %rdi      # 0xd475
movb $0x0, %al
callq 0x20f0
movq -0x28(%rbp), %rdx
leaq -0x8(%rbp), %rdi
leaq 0xa540(%rip), %rsi      # 0xd4a9
leaq 0xa416(%rip), %rcx      # 0xd386
movb $0x0, %al
callq 0x6660
movl %eax, -0xc(%rbp)
movq -0x8(%rbp), %rdi
movslq -0xc(%rbp), %rdx
leaq 0xa403(%rip), %rsi      # 0xd38c
callq 0x2070
cmpl $0x0, %eax
jne 0x2fa9
cmpl $0x26, -0xc(%rbp)
jne 0x2fa9
leaq 0xa1e8(%rip), %rdi      # 0xd188
movb $0x0, %al
callq 0x20f0
jmp 0x2fc6
leaq 0xa1ed(%rip), %rdi      # 0xd19d
movb $0x0, %al
callq 0x20f0
movl 0xf1ff(%rip), %eax      # 0x121bc
addl $0x1, %eax
movl %eax, 0xf1f6(%rip)      # 0x121bc
movq -0x8(%rbp), %rdi
callq 0x2030
jmp 0x2fd1
movl $0x7b, -0x2c(%rbp)
movl 0xf1e2(%rip), %esi      # 0x121c0
addl $0x1, %esi
movl %esi, 0xf1d9(%rip)      # 0x121c0
leaq 0xa140(%rip), %rdi      # 0xd12e
movb $0x0, %al
callq 0x20f0
leaq 0xa4bf(%rip), %rdi      # 0xd4bb
movb $0x0, %al
callq 0x20f0
movl -0x2c(%rbp), %edx
leaq -0x8(%rbp), %rdi
leaq 0xa4e1(%rip), %rsi      # 0xd4f2
leaq 0xa36e(%rip), %rcx      # 0xd386
movb $0x0, %al
callq 0x6660
movl %eax, -0xc(%rbp)
movq -0x8(%rbp), %rdi
movslq -0xc(%rbp), %rdx
leaq 0xa35b(%rip), %rsi      # 0xd38c
callq 0x2070
cmpl $0x0, %eax
jne 0x3051
cmpl $0x26, -0xc(%rbp)
jne 0x3051
leaq 0xa140(%rip), %rdi      # 0xd188
movb $0x0, %al
callq 0x20f0
jmp 0x306e
leaq 0xa145(%rip), %rdi      # 0xd19d
movb $0x0, %al
callq 0x20f0
movl 0xf157(%rip), %eax      # 0x121bc
addl $0x1, %eax
movl %eax, 0xf14e(%rip)      # 0x121bc
movq -0x8(%rbp), %rdi
callq 0x2030
jmp 0x3079
movb $0x7b, -0x2d(%rbp)
movl 0xf13d(%rip), %esi      # 0x121c0
addl $0x1, %esi
movl %esi, 0xf134(%rip)      # 0x121c0
leaq 0xa09b(%rip), %rdi      # 0xd12e
movb $0x0, %al
callq 0x20f0
leaq 0xa461(%rip), %rdi      # 0xd502
movb $0x0, %al
callq 0x20f0
movzbl -0x2d(%rbp), %edx
leaq -0x8(%rbp), %rdi
leaq 0xa483(%rip), %rsi      # 0xd53a
leaq 0xa2c8(%rip), %rcx      # 0xd386
movb $0x0, %al
callq 0x6660
movl %eax, -0xc(%rbp)
movq -0x8(%rbp), %rdi
movslq -0xc(%rbp), %rdx
leaq 0xa2b5(%rip), %rsi      # 0xd38c
callq 0x2070
cmpl $0x0, %eax
jne 0x30f7
cmpl $0x26, -0xc(%rbp)
jne 0x30f7
leaq 0xa09a(%rip), %rdi      # 0xd188
movb $0x0, %al
callq 0x20f0
jmp 0x3114
leaq 0xa09f(%rip), %rdi      # 0xd19d
movb $0x0, %al
callq 0x20f0
movl 0xf0b1(%rip), %eax      # 0x121bc
addl $0x1, %eax
movl %eax, 0xf0a8(%rip)      # 0x121bc
movq -0x8(%rbp), %rdi
callq 0x2030
jmp 0x311f
movw $0x7b, -0x30(%rbp)
movl 0xf095(%rip), %esi      # 0x121c0
addl $0x1, %esi
movl %esi, 0xf08c(%rip)      # 0x121c0
leaq 0x9ff3(%rip), %rdi      # 0xd12e
movb $0x0, %al
callq 0x20f0
leaq 0xa403(%rip), %rdi      # 0xd54c
movb $0x0, %al
callq 0x20f0
movzwl -0x30(%rbp), %edx
leaq -0x8(%rbp), %rdi
leaq 0xa426(%rip), %rsi      # 0xd585
leaq 0xa220(%rip), %rcx      # 0xd386
movb $0x0, %al
callq 0x6660
movl %eax, -0xc(%rbp)
movq -0x8(%rbp), %rdi
movslq -0xc(%rbp), %rdx
leaq 0xa20d(%rip), %rsi      # 0xd38c
callq 0x2070
cmpl $0x0, %eax
jne 0x319f
cmpl $0x26, -0xc(%rbp)
jne 0x319f
leaq 0x9ff2(%rip), %rdi      # 0xd188
movb $0x0, %al
callq 0x20f0
jmp 0x31bc
leaq 0x9ff7(%rip), %rdi      # 0xd19d
movb $0x0, %al
callq 0x20f0
movl 0xf009(%rip), %eax      # 0x121bc
addl $0x1, %eax
movl %eax, 0xf000(%rip)      # 0x121bc
movq -0x8(%rbp), %rdi
callq 0x2030
jmp 0x31c7
movq $0x7b, -0x38(%rbp)
movl 0xefeb(%rip), %esi      # 0x121c0
addl $0x1, %esi
movl %esi, 0xefe2(%rip)      # 0x121c0
leaq 0x9f49(%rip), %rdi      # 0xd12e
movb $0x0, %al
callq 0x20f0
leaq 0xa3a3(%rip), %rdi      # 0xd596
movb $0x0, %al
callq 0x20f0
movq -0x38(%rbp), %rdx
leaq -0x8(%rbp), %rdi
leaq 0xa3c5(%rip), %rsi      # 0xd5ce
leaq 0xa176(%rip), %rcx      # 0xd386
movb $0x0, %al
callq 0x6660
movl %eax, -0xc(%rbp)
movq -0x8(%rbp), %rdi
movslq -0xc(%rbp), %rdx
leaq 0xa163(%rip), %rsi      # 0xd38c
callq 0x2070
cmpl $0x0, %eax
jne 0x3249
cmpl $0x26, -0xc(%rbp)
jne 0x3249
leaq 0x9f48(%rip), %rdi      # 0xd188
movb $0x0, %al
callq 0x20f0
jmp 0x3266
leaq 0x9f4d(%rip), %rdi      # 0xd19d
movb $0x0, %al
callq 0x20f0
movl 0xef5f(%rip), %eax      # 0x121bc
addl $0x1, %eax
movl %eax, 0xef56(%rip)      # 0x121bc
movq -0x8(%rbp), %rdi
callq 0x2030
jmp 0x3271
movq $0x7b, -0x40(%rbp)
movl 0xef41(%rip), %esi      # 0x121c0
addl $0x1, %esi
movl %esi, 0xef38(%rip)      # 0x121c0
leaq 0x9e9f(%rip), %rdi      # 0xd12e
movb $0x0, %al
callq 0x20f0
leaq 0xa342(%rip), %rdi      # 0xd5df
movb $0x0, %al
callq 0x20f0
movq -0x40(%rbp), %rdx
leaq -0x8(%rbp), %rdi
leaq 0xa369(%rip), %rsi      # 0xd61c
leaq 0xa0cc(%rip), %rcx      # 0xd386
movb $0x0, %al
callq 0x6660
movl %eax, -0xc(%rbp)
movq -0x8(%rbp), %rdi
movslq -0xc(%rbp), %rdx
leaq 0xa0b9(%rip), %rsi      # 0xd38c
callq 0x2070
cmpl $0x0, %eax
jne 0x32f3
cmpl $0x26, -0xc(%rbp)
jne 0x32f3
leaq 0x9e9e(%rip), %rdi      # 0xd188
movb $0x0, %al
callq 0x20f0
jmp 0x3310
leaq 0x9ea3(%rip), %rdi      # 0xd19d
movb $0x0, %al
callq 0x20f0
movl 0xeeb5(%rip), %eax      # 0x121bc
addl $0x1, %eax
movl %eax, 0xeeac(%rip)      # 0x121bc
movq -0x8(%rbp), %rdi
callq 0x2030
jmp 0x331b
movss 0x9ce1(%rip), %xmm0     # 0xd004
movss %xmm0, -0x44(%rbp)
movl 0xee92(%rip), %esi      # 0x121c0
addl $0x1, %esi
movl %esi, 0xee89(%rip)      # 0x121c0
leaq 0x9df0(%rip), %rdi      # 0xd12e
movb $0x0, %al
callq 0x20f0
leaq 0xa2e2(%rip), %rdi      # 0xd62e
movb $0x0, %al
callq 0x20f0
movss -0x44(%rbp), %xmm0
cvtss2sd %xmm0, %xmm0
leaq -0x8(%rbp), %rdi
leaq 0xa2f7(%rip), %rsi      # 0xd65e
leaq 0xa018(%rip), %rdx      # 0xd386
movb $0x1, %al
callq 0x6660
movl %eax, -0xc(%rbp)
movq -0x8(%rbp), %rdi
movslq -0xc(%rbp), %rdx
leaq 0xa2e9(%rip), %rsi      # 0xd670
callq 0x2070
cmpl $0x0, %eax
jne 0x33a7
cmpl $0x26, -0xc(%rbp)
jne 0x33a7
leaq 0x9dea(%rip), %rdi      # 0xd188
movb $0x0, %al
callq 0x20f0
jmp 0x33c4
leaq 0x9def(%rip), %rdi      # 0xd19d
movb $0x0, %al
callq 0x20f0
movl 0xee01(%rip), %eax      # 0x121bc
addl $0x1, %eax
movl %eax, 0xedf8(%rip)      # 0x121bc
movq -0x8(%rbp), %rdi
callq 0x2030
jmp 0x33cf
movsd 0x9c39(%rip), %xmm0     # 0xd010
movsd %xmm0, -0x50(%rbp)
movl 0xedde(%rip), %esi      # 0x121c0
addl $0x1, %esi
movl %esi, 0xedd5(%rip)      # 0x121c0
leaq 0x9d3c(%rip), %rdi      # 0xd12e
movb $0x0, %al
callq 0x20f0
leaq 0xa297(%rip), %rdi      # 0xd697
movb $0x0, %al
callq 0x20f0
movsd -0x50(%rbp), %xmm0
leaq -0x8(%rbp), %rdi
leaq 0xa247(%rip), %rsi      # 0xd65e
leaq 0x9f68(%rip), %rdx      # 0xd386
movb $0x1, %al
callq 0x6660
movl %eax, -0xc(%rbp)
movq -0x8(%rbp), %rdi
movslq -0xc(%rbp), %rdx
leaq 0xa239(%rip), %rsi      # 0xd670
callq 0x2070
cmpl $0x0, %eax
jne 0x3457
cmpl $0x26, -0xc(%rbp)
jne 0x3457
leaq 0x9d3a(%rip), %rdi      # 0xd188
movb $0x0, %al
callq 0x20f0
jmp 0x3474
leaq 0x9d3f(%rip), %rdi      # 0xd19d
movb $0x0, %al
callq 0x20f0
movl 0xed51(%rip), %eax      # 0x121bc
addl $0x1, %eax
movl %eax, 0xed48(%rip)      # 0x121bc
movq -0x8(%rbp), %rdi
callq 0x2030
movl 0xed3d(%rip), %esi      # 0x121c0
addl $0x1, %esi
movl %esi, 0xed34(%rip)      # 0x121c0
leaq 0x9c9b(%rip), %rdi      # 0xd12e
movb $0x0, %al
callq 0x20f0
leaq 0xa227(%rip), %rdi      # 0xd6c8
movb $0x0, %al
callq 0x20f0
leaq -0x8(%rbp), %rdi
leaq 0xa241(%rip), %rsi      # 0xd6f4
movl $0x4d2, %edx            # imm = 0x4D2
leaq 0xa6fa(%rip), %rcx      # 0xdbb9
movl $0x3, %r8d
movb $0x0, %al
callq 0x6660
movl %eax, -0xc(%rbp)
cmpl $-0x1, -0xc(%rbp)
jne 0x34e5
leaq 0x9cac(%rip), %rdi      # 0xd188
movb $0x0, %al
callq 0x20f0
jmp 0x3502
leaq 0x9cb1(%rip), %rdi      # 0xd19d
movb $0x0, %al
callq 0x20f0
movl 0xecc3(%rip), %eax      # 0x121bc
addl $0x1, %eax
movl %eax, 0xecba(%rip)      # 0x121bc
leaq 0xa1f7(%rip), %rax      # 0xd700
movq %rax, -0x70(%rbp)
leaq 0x9b0c(%rip), %rax      # 0xd020
movq %rax, -0x68(%rbp)
leaq 0x9c45(%rip), %rax      # 0xd164
movq %rax, -0x60(%rbp)
movq 0xae16(%rip), %rax      # 0xe340
movq %rax, -0x90(%rbp)
movq 0xae10(%rip), %rax      # 0xe348
movq %rax, -0x88(%rbp)
movq 0xae0a(%rip), %rax      # 0xe350
movq %rax, -0x80(%rbp)
movl $0x3, -0x94(%rbp)
movl 0xec66(%rip), %esi      # 0x121c0
addl $0x1, %esi
movl %esi, 0xec5d(%rip)      # 0x121c0
leaq 0x9bc4(%rip), %rdi      # 0xd12e
movb $0x0, %al
callq 0x20f0
leaq 0xa18c(%rip), %rdi      # 0xd704
movb $0x0, %al
callq 0x20f0
movl -0x94(%rbp), %esi
leaq -0x70(%rbp), %rdx
leaq -0x8(%rbp), %rdi
xorl %eax, %eax
movl %eax, %ecx
callq 0x6930
movl %eax, -0xc(%rbp)
movq -0x8(%rbp), %rdi
movslq -0xc(%rbp), %rdx
leaq 0x9bc0(%rip), %rsi      # 0xd168
callq 0x2070
cmpl $0x0, %eax
jne 0x35c8
cmpl $0x1f, -0xc(%rbp)
jne 0x35c8
leaq 0x9bc9(%rip), %rdi      # 0xd188
movb $0x0, %al
callq 0x20f0
jmp 0x35e5
leaq 0x9bce(%rip), %rdi      # 0xd19d
movb $0x0, %al
callq 0x20f0
movl 0xebe0(%rip), %eax      # 0x121bc
addl $0x1, %eax
movl %eax, 0xebd7(%rip)      # 0x121bc
movq -0x8(%rbp), %rdi
callq 0x2030
movl 0xebcc(%rip), %esi      # 0x121c0
addl $0x1, %esi
movl %esi, 0xebc3(%rip)      # 0x121c0
leaq 0x9b2a(%rip), %rdi      # 0xd12e
movb $0x0, %al
callq 0x20f0
leaq 0xa128(%rip), %rdi      # 0xd73a
movb $0x0, %al
callq 0x20f0
movl -0x94(%rbp), %esi
leaq -0x70(%rbp), %rdx
leaq -0x90(%rbp), %rcx
leaq -0x8(%rbp), %rdi
callq 0x6930
movl %eax, -0xc(%rbp)
movq -0x8(%rbp), %rdi
movslq -0xc(%rbp), %rdx
leaq 0xad13(%rip), %rsi      # 0xe358
callq 0x2070
cmpl $0x0, %eax
jne 0x3665
cmpl $0x23, -0xc(%rbp)
jne 0x3665
leaq 0x9b2c(%rip), %rdi      # 0xd188
movb $0x0, %al
callq 0x20f0
jmp 0x3682
leaq 0x9b31(%rip), %rdi      # 0xd19d
movb $0x0, %al
callq 0x20f0
movl 0xeb43(%rip), %eax      # 0x121bc
addl $0x1, %eax
movl %eax, 0xeb3a(%rip)      # 0x121bc
movq -0x8(%rbp), %rdi
callq 0x2030
addq $0xa0, %rsp
popq %rbp
retq
nopw %cs:(%rax,%rax)