// File: /workspace/github_c_makefile_star2_O3/theandrew168[P]squeaky/src/main.c
// Function: main
int
main(int argc, char* argv[])
{
    if (SDL_Init(SDL_INIT_VIDEO) != 0) {
        fprintf(stderr, "failed to init SDL2: %s\n", SDL_GetError());
        return EXIT_FAILURE;
    }

    struct vm vm = { 0 };
    vm_init(&vm);

    struct value* env = env_empty(&vm);
    env_define(&vm, vm_make_symbol(&vm, "nil"), vm_make_empty_list(&vm), env);
    env_define(&vm, vm_make_symbol(&vm, "stdin"), vm_make_input_port(&vm, stdin), env);
    env_define(&vm, vm_make_symbol(&vm, "stdout"), vm_make_output_port(&vm, stdout), env);
    env_define(&vm, vm_make_symbol(&vm, "stderr"), vm_make_output_port(&vm, stderr), env);

    // R5RS 6.1: Equivalence Predicates
    add_builtin(&vm, "eq?", builtin_is_eq, env);  // shallow compare (slightly more specific than eqv)
    add_builtin(&vm, "eqv?", builtin_is_eqv, env);  // shallow compare (baseline "what you'd expect" comparison)
    add_builtin(&vm, "equal?", builtin_is_equal, env);  // deep compare (recursive baseline comparison)

    // R5RS 6.2.5: Numerical Operations
    add_builtin(&vm, "number?", builtin_is_number, env);
    add_builtin(&vm, "=", builtin_equal, env);
    add_builtin(&vm, "<", builtin_less, env);
    add_builtin(&vm, ">", builtin_greater, env);
    add_builtin(&vm, "<=", builtin_less_equal, env);
    add_builtin(&vm, ">=", builtin_greater_equal, env);
    add_builtin(&vm, "+", builtin_add, env);
    add_builtin(&vm, "*", builtin_mul, env);
    add_builtin(&vm, "-", builtin_sub, env);
    add_builtin(&vm, "/", builtin_div, env);

    // R5RS 6.3.1: Booleans
    add_builtin(&vm, "boolean?", builtin_is_boolean, env);

    // R5RS 6.3.2: Pairs and Lists
    add_builtin(&vm, "pair?", builtin_is_pair, env);
    add_builtin(&vm, "cons", builtin_cons, env);
    add_builtin(&vm, "car", builtin_car, env);
    add_builtin(&vm, "cdr", builtin_cdr, env);
    add_builtin(&vm, "set-car!", builtin_set_car, env);
    add_builtin(&vm, "set-cdr!", builtin_set_cdr, env);
    add_builtin(&vm, "null?", builtin_is_null, env);

    // R5RS 6.3.3: Symbols
    add_builtin(&vm, "symbol?", builtin_is_symbol, env);

    // R5RS 6.3.5: Strings
    add_builtin(&vm, "string?", builtin_is_string, env);

    // R5RS 6.4: Control Features
    add_builtin(&vm, "procedure?", builtin_is_procedure, env);
    add_builtin(&vm, "apply", mce_builtin_apply, env);  // will be handled specifically by the MCE

    // R5RS 6.5: Eval
    add_builtin(&vm, "eval", mce_builtin_eval, env);  // will be handled specifically by the MCE

    // R5RS 6.6.1: Ports
    add_builtin(&vm, "input-port?", builtin_is_input_port, env);
    add_builtin(&vm, "output-port?", builtin_is_output_port, env);
    add_builtin(&vm, "current-input-port", builtin_current_input_port, env);
    add_builtin(&vm, "current-output-port", builtin_current_output_port, env);
    add_builtin(&vm, "open-input-file", builtin_open_input_file, env);
    add_builtin(&vm, "open-output-file", builtin_open_output_file, env);
    add_builtin(&vm, "close-input-port", builtin_close_input_port, env);
    add_builtin(&vm, "close-output-port", builtin_close_output_port, env);

    // R5RS 6.6.2: Input
    add_builtin(&vm, "read", builtin_read, env);
    add_builtin(&vm, "read-char", builtin_read_char, env);
    add_builtin(&vm, "peek-char", builtin_peek_char, env);
    add_builtin(&vm, "eof-object?", builtin_is_eof_object, env);
    add_builtin(&vm, "char-ready?", builtin_is_char_ready, env);

    // R5RS 6.6.3: Output
    add_builtin(&vm, "write", builtin_write, env);
    add_builtin(&vm, "display", builtin_display, env);
    add_builtin(&vm, "newline", builtin_newline, env);
    add_builtin(&vm, "write-char", builtin_write_char, env);

    /* Squeaky Extensions */

    // Windows
    add_builtin(&vm, "window?", builtin_is_window, env);
    add_builtin(&vm, "make-window", builtin_make_window, env);
    add_builtin(&vm, "window-clear!", builtin_window_clear, env);
    add_builtin(&vm, "window-draw-line!", builtin_window_draw_line, env);
    add_builtin(&vm, "window-present!", builtin_window_present, env);

    // Events
    add_builtin(&vm, "event?", builtin_is_event, env);
    add_builtin(&vm, "event-poll", builtin_event_poll, env);
    add_builtin(&vm, "event-type", builtin_event_type, env);
    add_builtin(&vm, "event-key", builtin_event_key, env);

    // load prelude (small library of R5RS funcs and extensions)
    struct value* exp = vm_make_pair(&vm,
        vm_make_symbol(&vm, "load"),
        vm_make_pair(&vm,
            vm_make_string(&vm, "prelude.scm"),
            vm_make_empty_list(&vm)));
    mce_eval(&vm, exp, env);

    // eval files given on CLI (if any) otherwise default to REPL
    if (argc >= 2) {
        for (int i = 1; i < argc; i++) {
            struct value* exp = vm_make_pair(&vm,
                vm_make_symbol(&vm, "load"),
                vm_make_pair(&vm,
                    vm_make_string(&vm, argv[1]),
                    vm_make_empty_list(&vm)));
            mce_eval(&vm, exp, env);
        }
    } else {
        for (;;) {
            printf("> ");
            struct value* exp = reader_read(&vm, stdin);
            if (value_is_eof(exp)) break;
            value_println(stdout, exp);

            struct value* res = mce_eval(&vm, exp, env);
            value_println(stdout, res);
        }
    }

    vm_free(&vm);
    SDL_Quit();
    return EXIT_SUCCESS;
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x18, %rsp
movq %rsi, %r14
movl %edi, %ebp
movl $0x20, %edi
callq 0x1130
testl %eax, %eax
jne 0x3e2f
xorps %xmm0, %xmm0
movq %rsp, %r15
movaps %xmm0, (%r15)
movq $0x0, 0x10(%r15)
movq %r15, %rdi
callq 0x6dd0
movq %r15, %rdi
callq 0x563c
movq %rax, %rbx
leaq 0x4e40(%rip), %rsi      # 0x801d
movq %r15, %rdi
callq 0x71ce
movq %rax, %r12
movq %r15, %rdi
callq 0x7071
movq %r15, %rdi
movq %r12, %rsi
movq %rax, %rdx
movq %rbx, %rcx
callq 0x5991
leaq 0x4e19(%rip), %rsi      # 0x8021
movq %r15, %rdi
callq 0x71ce
movq %rax, %r12
movq 0xadbe(%rip), %rax      # 0xdfd8
movq (%rax), %rsi
movq %r15, %rdi
callq 0x7303
movq %r15, %rdi
movq %r12, %rsi
movq %rax, %rdx
movq %rbx, %rcx
callq 0x5991
leaq 0x4dea(%rip), %rsi      # 0x8027
movq %r15, %rdi
callq 0x71ce
movq %rax, %r12
movq 0xad71(%rip), %rax      # 0xdfc0
movq (%rax), %rsi
movq %r15, %rdi
callq 0x733c
movq %r15, %rdi
movq %r12, %rsi
movq %rax, %rdx
movq %rbx, %rcx
callq 0x5991
leaq 0x4dbc(%rip), %rsi      # 0x802e
movq %r15, %rdi
callq 0x71ce
movq %rax, %r12
movq 0xad5c(%rip), %rax      # 0xdfe0
movq (%rax), %rsi
movq %r15, %rdi
callq 0x733c
movq %r15, %rdi
movq %r12, %rsi
movq %rax, %rdx
movq %rbx, %rcx
callq 0x5991
leaq 0x4d8e(%rip), %rsi      # 0x8035
movq %r15, %rdi
callq 0x71ce
movq %rax, %r12
leaq 0xb83(%rip), %rsi       # 0x3e3c
movq %r15, %rdi
callq 0x727b
movq %r15, %rdi
movq %r12, %rsi
movq %rax, %rdx
movq %rbx, %rcx
callq 0x5991
leaq 0x4d60(%rip), %rsi      # 0x8039
movq %r15, %rdi
callq 0x71ce
movq %rax, %r12
leaq 0xba8(%rip), %rsi       # 0x3e93
movq %r15, %rdi
callq 0x727b
movq %r15, %rdi
movq %r12, %rsi
movq %rax, %rdx
movq %rbx, %rcx
callq 0x5991
leaq 0x4d33(%rip), %rsi      # 0x803e
movq %r15, %rdi
callq 0x71ce
movq %rax, %r12
leaq 0xbcd(%rip), %rsi       # 0x3eea
movq %r15, %rdi
callq 0x727b
movq %r15, %rdi
movq %r12, %rsi
movq %rax, %rdx
movq %rbx, %rcx
callq 0x5991
leaq 0x4d08(%rip), %rsi      # 0x8045
movq %r15, %rdi
callq 0x71ce
movq %rax, %r12
leaq 0xbf2(%rip), %rsi       # 0x3f41
movq %r15, %rdi
callq 0x727b
movq %r15, %rdi
movq %r12, %rsi
movq %rax, %rdx
movq %rbx, %rcx
callq 0x5991
leaq 0x4ce1(%rip), %rsi      # 0x8050
movq %r15, %rdi
callq 0x71ce
movq %rax, %r12
leaq 0xbfd(%rip), %rsi       # 0x3f7e
movq %r15, %rdi
callq 0x727b
movq %r15, %rdi
movq %r12, %rsi
movq %rax, %rdx
movq %rbx, %rcx
callq 0x5991
leaq 0x4cac(%rip), %rsi      # 0x804d
movq %r15, %rdi
callq 0x71ce
movq %rax, %r12
leaq 0xc95(%rip), %rsi       # 0x4048
movq %r15, %rdi
callq 0x727b
movq %r15, %rdi
movq %r12, %rsi
movq %rax, %rdx
movq %rbx, %rcx
callq 0x5991
leaq 0x5a3d(%rip), %rsi      # 0x8e10
movq %r15, %rdi
callq 0x71ce
movq %rax, %r12
leaq 0xd2a(%rip), %rsi       # 0x410f
movq %r15, %rdi
callq 0x727b
movq %r15, %rdi
movq %r12, %rsi
movq %rax, %rdx
movq %rbx, %rcx
callq 0x5991
leaq 0x4c4a(%rip), %rsi      # 0x804f
movq %r15, %rdi
callq 0x71ce
movq %rax, %r12
leaq 0xdbf(%rip), %rsi       # 0x41d6
movq %r15, %rdi
callq 0x727b
movq %r15, %rdi
movq %r12, %rsi
movq %rax, %rdx
movq %rbx, %rcx
callq 0x5991
leaq 0x4c1b(%rip), %rsi      # 0x8052
movq %r15, %rdi
callq 0x71ce
movq %rax, %r12
leaq 0xe54(%rip), %rsi       # 0x429d
movq %r15, %rdi
callq 0x727b
movq %r15, %rdi
movq %r12, %rsi
movq %rax, %rdx
movq %rbx, %rcx
callq 0x5991
leaq 0x4bec(%rip), %rsi      # 0x8055
movq %r15, %rdi
callq 0x71ce
movq %rax, %r12
leaq 0xee9(%rip), %rsi       # 0x4364
movq %r15, %rdi
callq 0x727b
movq %r15, %rdi
movq %r12, %rsi
movq %rax, %rdx
movq %rbx, %rcx
callq 0x5991
leaq 0x4bbc(%rip), %rsi      # 0x8057
movq %r15, %rdi
callq 0x71ce
movq %rax, %r12
leaq 0xf4d(%rip), %rsi       # 0x43fa
movq %r15, %rdi
callq 0x727b
movq %r15, %rdi
movq %r12, %rsi
movq %rax, %rdx
movq %rbx, %rcx
callq 0x5991
leaq 0x4b8c(%rip), %rsi      # 0x8059
movq %r15, %rdi
callq 0x71ce
movq %rax, %r12
leaq 0xfaf(%rip), %rsi       # 0x448e
movq %r15, %rdi
callq 0x727b
movq %r15, %rdi
movq %r12, %rsi
movq %rax, %rdx
movq %rbx, %rcx
callq 0x5991
leaq 0x4b5c(%rip), %rsi      # 0x805b
movq %r15, %rdi
callq 0x71ce
movq %rax, %r12
leaq 0x1025(%rip), %rsi      # 0x4536
movq %r15, %rdi
callq 0x727b
movq %r15, %rdi
movq %r12, %rsi
movq %rax, %rdx
movq %rbx, %rcx
callq 0x5991
leaq 0x4b2c(%rip), %rsi      # 0x805d
movq %r15, %rdi
callq 0x71ce
movq %rax, %r12
leaq 0x10ba(%rip), %rsi      # 0x45fd
movq %r15, %rdi
callq 0x727b
movq %r15, %rdi
movq %r12, %rsi
movq %rax, %rdx
movq %rbx, %rcx
callq 0x5991
leaq 0x4b03(%rip), %rsi      # 0x8066
movq %r15, %rdi
callq 0x71ce
movq %rax, %r12
leaq 0x10c5(%rip), %rsi      # 0x463a
movq %r15, %rdi
callq 0x727b
movq %r15, %rdi
movq %r12, %rsi
movq %rax, %rdx
movq %rbx, %rcx
callq 0x5991
leaq 0x4ad7(%rip), %rsi      # 0x806c
movq %r15, %rdi
callq 0x71ce
movq %rax, %r12
leaq 0x10d0(%rip), %rsi      # 0x4677
movq %r15, %rdi
callq 0x727b
movq %r15, %rdi
movq %r12, %rsi
movq %rax, %rdx
movq %rbx, %rcx
callq 0x5991
leaq 0x4aaa(%rip), %rsi      # 0x8071
movq %r15, %rdi
callq 0x71ce
movq %rax, %r12
leaq 0x10ed(%rip), %rsi      # 0x46c6
movq %r15, %rdi
callq 0x727b
movq %r15, %rdi
movq %r12, %rsi
movq %rax, %rdx
movq %rbx, %rcx
callq 0x5991
leaq 0x4a7c(%rip), %rsi      # 0x8075
movq %r15, %rdi
callq 0x71ce
movq %rax, %r12
leaq 0x10fd(%rip), %rsi      # 0x4708
movq %r15, %rdi
callq 0x727b
movq %r15, %rdi
movq %r12, %rsi
movq %rax, %rdx
movq %rbx, %rcx
callq 0x5991
leaq 0x4a4e(%rip), %rsi      # 0x8079
movq %r15, %rdi
callq 0x71ce
movq %rax, %r12
leaq 0x110d(%rip), %rsi      # 0x474a
movq %r15, %rdi
callq 0x727b
movq %r15, %rdi
movq %r12, %rsi
movq %rax, %rdx
movq %rbx, %rcx
callq 0x5991
leaq 0x4a25(%rip), %rsi      # 0x8082
movq %r15, %rdi
callq 0x71ce
movq %rax, %r12
leaq 0x113f(%rip), %rsi      # 0x47ae
movq %r15, %rdi
callq 0x727b
movq %r15, %rdi
movq %r12, %rsi
movq %rax, %rdx
movq %rbx, %rcx
callq 0x5991
leaq 0x49fc(%rip), %rsi      # 0x808b
movq %r15, %rdi
callq 0x71ce
movq %rax, %r12
leaq 0x1171(%rip), %rsi      # 0x4812
movq %r15, %rdi
callq 0x727b
movq %r15, %rdi
movq %r12, %rsi
movq %rax, %rdx
movq %rbx, %rcx
callq 0x5991
leaq 0x49d0(%rip), %rsi      # 0x8091
movq %r15, %rdi
callq 0x71ce
movq %rax, %r12
leaq 0x117c(%rip), %rsi      # 0x484f
movq %r15, %rdi
callq 0x727b
movq %r15, %rdi
movq %r12, %rsi
movq %rax, %rdx
movq %rbx, %rcx
callq 0x5991
leaq 0x49a6(%rip), %rsi      # 0x8099
movq %r15, %rdi
callq 0x71ce
movq %rax, %r12
leaq 0x1187(%rip), %rsi      # 0x488c
movq %r15, %rdi
callq 0x727b
movq %r15, %rdi
movq %r12, %rsi
movq %rax, %rdx
movq %rbx, %rcx
callq 0x5991
leaq 0x497c(%rip), %rsi      # 0x80a1
movq %r15, %rdi
callq 0x71ce
movq %rax, %r12
leaq 0x1192(%rip), %rsi      # 0x48c9
movq %r15, %rdi
callq 0x727b
movq %r15, %rdi
movq %r12, %rsi
movq %rax, %rdx
movq %rbx, %rcx
callq 0x5991
leaq 0x4955(%rip), %rsi      # 0x80ac
movq %r15, %rdi
callq 0x71ce
movq %rax, %r12
leaq 0x2a28(%rip), %rsi      # 0x6191
movq %r15, %rdi
callq 0x727b
movq %r15, %rdi
movq %r12, %rsi
movq %rax, %rdx
movq %rbx, %rcx
callq 0x5991
leaq 0x4929(%rip), %rsi      # 0x80b2
movq %r15, %rdi
callq 0x71ce
movq %rax, %r12
leaq 0x29cb(%rip), %rsi      # 0x6166
movq %r15, %rdi
callq 0x727b
movq %r15, %rdi
movq %r12, %rsi
movq %rax, %rdx
movq %rbx, %rcx
callq 0x5991
leaq 0x48fc(%rip), %rsi      # 0x80b7
movq %r15, %rdi
callq 0x71ce
movq %rax, %r12
leaq 0x113b(%rip), %rsi      # 0x4908
movq %r15, %rdi
callq 0x727b
movq %r15, %rdi
movq %r12, %rsi
movq %rax, %rdx
movq %rbx, %rcx
callq 0x5991
leaq 0x48d6(%rip), %rsi      # 0x80c3
movq %r15, %rdi
callq 0x71ce
movq %rax, %r12
leaq 0x1146(%rip), %rsi      # 0x4945
movq %r15, %rdi
callq 0x727b
movq %r15, %rdi
movq %r12, %rsi
movq %rax, %rdx
movq %rbx, %rcx
callq 0x5991
leaq 0x48b1(%rip), %rsi      # 0x80d0
movq %r15, %rdi
callq 0x71ce
movq %rax, %r12
leaq 0x1151(%rip), %rsi      # 0x4982
movq %r15, %rdi
callq 0x727b
movq %r15, %rdi
movq %r12, %rsi
movq %rax, %rdx
movq %rbx, %rcx
callq 0x5991
leaq 0x4892(%rip), %rsi      # 0x80e3
movq %r15, %rdi
callq 0x71ce
movq %rax, %r12
leaq 0x1157(%rip), %rsi      # 0x49ba
movq %r15, %rdi
callq 0x727b
movq %r15, %rdi
movq %r12, %rsi
movq %rax, %rdx
movq %rbx, %rcx
callq 0x5991
leaq 0x4874(%rip), %rsi      # 0x80f7
movq %r15, %rdi
callq 0x71ce
movq %rax, %r12
leaq 0x115d(%rip), %rsi      # 0x49f2
movq %r15, %rdi
callq 0x727b
movq %r15, %rdi
movq %r12, %rsi
movq %rax, %rdx
movq %rbx, %rcx
callq 0x5991
leaq 0x4852(%rip), %rsi      # 0x8107
movq %r15, %rdi
callq 0x71ce
movq %rax, %r12
leaq 0x11a0(%rip), %rsi      # 0x4a67
movq %r15, %rdi
callq 0x727b
movq %r15, %rdi
movq %r12, %rsi
movq %rax, %rdx
movq %rbx, %rcx
callq 0x5991
leaq 0x4831(%rip), %rsi      # 0x8118
movq %r15, %rdi
callq 0x71ce
movq %rax, %r12
leaq 0x11e3(%rip), %rsi      # 0x4adc
movq %r15, %rdi
callq 0x727b
movq %r15, %rdi
movq %r12, %rsi
movq %rax, %rdx
movq %rbx, %rcx
callq 0x5991
leaq 0x4810(%rip), %rsi      # 0x8129
movq %r15, %rdi
callq 0x71ce
movq %rax, %r12
leaq 0x1208(%rip), %rsi      # 0x4b33
movq %r15, %rdi
callq 0x727b
movq %r15, %rdi
movq %r12, %rsi
movq %rax, %rdx
movq %rbx, %rcx
callq 0x5991
leaq 0x47f0(%rip), %rsi      # 0x813b
movq %r15, %rdi
callq 0x71ce
movq %rax, %r12
leaq 0x122d(%rip), %rsi      # 0x4b8a
movq %r15, %rdi
callq 0x727b
movq %r15, %rdi
movq %r12, %rsi
movq %rax, %rdx
movq %rbx, %rcx
callq 0x5991
leaq 0x47c3(%rip), %rsi      # 0x8140
movq %r15, %rdi
callq 0x71ce
movq %rax, %r12
leaq 0x127c(%rip), %rsi      # 0x4c0b
movq %r15, %rdi
callq 0x727b
movq %r15, %rdi
movq %r12, %rsi
movq %rax, %rdx
movq %rbx, %rcx
callq 0x5991
leaq 0x479b(%rip), %rsi      # 0x814a
movq %r15, %rdi
callq 0x71ce
movq %rax, %r12
leaq 0x1306(%rip), %rsi      # 0x4cc7
movq %r15, %rdi
callq 0x727b
movq %r15, %rdi
movq %r12, %rsi
movq %rax, %rdx
movq %rbx, %rcx
callq 0x5991
leaq 0x4773(%rip), %rsi      # 0x8154
movq %r15, %rdi
callq 0x71ce
movq %rax, %r12
leaq 0x139a(%rip), %rsi      # 0x4d8d
movq %r15, %rdi
callq 0x727b
movq %r15, %rdi
movq %r12, %rsi
movq %rax, %rdx
movq %rbx, %rcx
callq 0x5991
leaq 0x474d(%rip), %rsi      # 0x8160
movq %r15, %rdi
callq 0x71ce
movq %rax, %r12
leaq 0x13a5(%rip), %rsi      # 0x4dca
movq %r15, %rdi
callq 0x727b
movq %r15, %rdi
movq %r12, %rsi
movq %rax, %rdx
movq %rbx, %rcx
callq 0x5991
leaq 0x4727(%rip), %rsi      # 0x816c
movq %r15, %rdi
callq 0x71ce
movq %rax, %r12
leaq 0x1432(%rip), %rsi      # 0x4e89
movq %r15, %rdi
callq 0x727b
movq %r15, %rdi
movq %r12, %rsi
movq %rax, %rdx
movq %rbx, %rcx
callq 0x5991
leaq 0x46fb(%rip), %rsi      # 0x8172
movq %r15, %rdi
callq 0x71ce
movq %rax, %r12
leaq 0x14aa(%rip), %rsi      # 0x4f33
movq %r15, %rdi
callq 0x727b
movq %r15, %rdi
movq %r12, %rsi
movq %rax, %rdx
movq %rbx, %rcx
callq 0x5991
leaq 0x52ed(%rip), %rsi      # 0x8d96
movq %r15, %rdi
callq 0x71ce
movq %rax, %r12
leaq 0x1522(%rip), %rsi      # 0x4fdd
movq %r15, %rdi
callq 0x727b
movq %r15, %rdi
movq %r12, %rsi
movq %rax, %rdx
movq %rbx, %rcx
callq 0x5991
leaq 0x469f(%rip), %rsi      # 0x817a
movq %r15, %rdi
callq 0x71ce
movq %rax, %r12
leaq 0x157b(%rip), %rsi      # 0x5068
movq %r15, %rdi
callq 0x727b
movq %r15, %rdi
movq %r12, %rsi
movq %rax, %rdx
movq %rbx, %rcx
callq 0x5991
leaq 0x4678(%rip), %rsi      # 0x8185
movq %r15, %rdi
callq 0x71ce
movq %rax, %r12
leaq 0x160f(%rip), %rsi      # 0x512e
movq %r15, %rdi
callq 0x727b
movq %r15, %rdi
movq %r12, %rsi
movq %rax, %rdx
movq %rbx, %rcx
callq 0x5991
leaq 0x464e(%rip), %rsi      # 0x818d
movq %r15, %rdi
callq 0x71ce
movq %rax, %r12
leaq 0x161a(%rip), %rsi      # 0x516b
movq %r15, %rdi
callq 0x727b
movq %r15, %rdi
movq %r12, %rsi
movq %rax, %rdx
movq %rbx, %rcx
callq 0x5991
leaq 0x4628(%rip), %rsi      # 0x8199
movq %r15, %rdi
callq 0x71ce
movq %rax, %r12
leaq 0x16a1(%rip), %rsi      # 0x5224
movq %r15, %rdi
callq 0x727b
movq %r15, %rdi
movq %r12, %rsi
movq %rax, %rdx
movq %rbx, %rcx
callq 0x5991
leaq 0x4604(%rip), %rsi      # 0x81a7
movq %r15, %rdi
callq 0x71ce
movq %rax, %r12
leaq 0x16de(%rip), %rsi      # 0x5293
movq %r15, %rdi
callq 0x727b
movq %r15, %rdi
movq %r12, %rsi
movq %rax, %rdx
movq %rbx, %rcx
callq 0x5991
leaq 0x45e4(%rip), %rsi      # 0x81b9
movq %r15, %rdi
callq 0x71ce
movq %rax, %r12
leaq 0x1804(%rip), %rsi      # 0x53eb
movq %r15, %rdi
callq 0x727b
movq %r15, %rdi
movq %r12, %rsi
movq %rax, %rdx
movq %rbx, %rcx
callq 0x5991
leaq 0x45c2(%rip), %rsi      # 0x81c9
movq %r15, %rdi
callq 0x71ce
movq %rax, %r12
leaq 0x1829(%rip), %rsi      # 0x5442
movq %r15, %rdi
callq 0x727b
movq %r15, %rdi
movq %r12, %rsi
movq %rax, %rdx
movq %rbx, %rcx
callq 0x5991
leaq 0x4597(%rip), %rsi      # 0x81d0
movq %r15, %rdi
callq 0x71ce
movq %rax, %r12
leaq 0x1834(%rip), %rsi      # 0x547f
movq %r15, %rdi
callq 0x727b
movq %r15, %rdi
movq %r12, %rsi
movq %rax, %rdx
movq %rbx, %rcx
callq 0x5991
leaq 0x4570(%rip), %rsi      # 0x81db
movq %r15, %rdi
callq 0x71ce
movq %rax, %r12
leaq 0x187b(%rip), %rsi      # 0x54f8
movq %r15, %rdi
callq 0x727b
movq %r15, %rdi
movq %r12, %rsi
movq %rax, %rdx
movq %rbx, %rcx
callq 0x5991
leaq 0x4549(%rip), %rsi      # 0x81e6
movq %r15, %rdi
callq 0x71ce
movq %rax, %r12
leaq 0x1903(%rip), %rsi      # 0x55b2
movq %r15, %rdi
callq 0x727b
movq %r15, %rdi
movq %r12, %rsi
movq %rax, %rdx
movq %rbx, %rcx
callq 0x5991
leaq 0x4521(%rip), %rsi      # 0x81f0
movq %r15, %rdi
callq 0x71ce
movq %rax, %r12
leaq 0x4514(%rip), %rsi      # 0x81f5
movq %r15, %rdi
callq 0x716a
movq %rax, %r13
movq %r15, %rdi
callq 0x7071
movq %r15, %rdi
movq %r13, %rsi
movq %rax, %rdx
callq 0x7232
movq %r15, %rdi
movq %r12, %rsi
movq %rax, %rdx
callq 0x7232
movq %r15, %rdi
movq %rax, %rsi
movq %rbx, %rdx
callq 0x5b3c
cmpl $0x1, %ebp
jle 0x3d93
decl %ebp
movq %rsp, %r12
movq %r12, %rdi
leaq 0x44be(%rip), %rsi      # 0x81f0
callq 0x71ce
movq %rax, %r13
movq 0x8(%r14), %rsi
movq %r12, %rdi
callq 0x716a
movl %ebp, %r15d
movq %rbx, %rbp
movq %r14, %rbx
movq %rax, %r14
movq %r12, %rdi
callq 0x7071
movq %r12, %rdi
movq %r14, %rsi
movq %rbx, %r14
movq %rbp, %rbx
movl %r15d, %ebp
movq %rax, %rdx
callq 0x7232
movq %r12, %rdi
movq %r13, %rsi
movq %rax, %rdx
callq 0x7232
movq %r12, %rdi
movq %rax, %rsi
movq %rbx, %rdx
callq 0x5b3c
decl %ebp
jne 0x3d28
jmp 0x3e11
leaq 0x4467(%rip), %rdi      # 0x8201
xorl %eax, %eax
callq 0x1050
movq 0xa230(%rip), %r13      # 0xdfd8
movq (%r13), %rsi
movq %rsp, %rdi
callq 0x675f
cmpl $0xe, (%rax)
movq 0xa202(%rip), %rbp      # 0xdfc0
je 0x3e11
movq %rax, %r12
movq %rsp, %r14
leaq 0x4434(%rip), %r15      # 0x8201
movq (%rbp), %rdi
movq %r12, %rsi
callq 0x6cc4
movq %r14, %rdi
movq %r12, %rsi
movq %rbx, %rdx
callq 0x5b3c
movq (%rbp), %rdi
movq %rax, %rsi
callq 0x6cc4
movq %r15, %rdi
xorl %eax, %eax
callq 0x1050
movq (%r13), %rsi
movq %r14, %rdi
callq 0x675f
movq %rax, %r12
cmpl $0xe, (%rax)
jne 0x3dcd
movq %rsp, %rdi
callq 0x6ec9
callq 0x1070
xorl %eax, %eax
addq $0x18, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
callq 0x1280
movl $0x1, %eax
jmp 0x3e20
nop