// File: /workspace/github_cpp_makefile_star2_O2/0x0584[P]scmin-plus/src/repl/eval.cpp
// Function: sexpr::init_global()
void sexpr::init_global() {
    sexpr::global["add"]        = native(builtin::_add);
    sexpr::global["+"]          = native(builtin::_add);
    sexpr::global["sub"]        = native(builtin::_sub);
    sexpr::global["-"]          = native(builtin::_sub);
    sexpr::global["mul"]        = native(builtin::_mul);
    sexpr::global["*"]          = native(builtin::_mul);
    sexpr::global["div"]        = native(builtin::_div);
    sexpr::global["/"]          = native(builtin::_div);

    sexpr::global["gt?"]        = native(builtin::_gt);
    sexpr::global[">"]          = native(builtin::_gt);
    sexpr::global["ge?"]        = native(builtin::_gt_eq);
    sexpr::global[">="]         = native(builtin::_gt_eq);
    sexpr::global["lt?"]        = native(builtin::_lt);
    sexpr::global["<"]          = native(builtin::_lt);
    sexpr::global["le?"]        = native(builtin::_lt_eq);
    sexpr::global["<="]         = native(builtin::_lt_eq);
    sexpr::global["eq?"]        = native(builtin::_eq);
    sexpr::global["="]          = native(builtin::_eq);
    sexpr::global["ne?"]        = native(builtin::_n_eq);
    sexpr::global["!="]         = native(builtin::_n_eq);

    sexpr::global["cons"]       = native(builtin::_cons);
    sexpr::global["cdr"]        = native(builtin::_cdr);
    sexpr::global["car"]        = native(builtin::_car);
    sexpr::global["set-cdr!"]   = native(builtin::_cons_cdr_flavor);
    sexpr::global["set-car!"]   = native(builtin::_cons_car_flavor);

    sexpr::global["quote"]      = native(builtin::_quote);
    sexpr::global["quasiquote"] = native(builtin::_quasiquote);
    sexpr::global["print"]      = native(builtin::_print);

    sexpr::global["pair?"]      = native(builtin::_ispair);
    sexpr::global["list?"]      = native(builtin::_islist);
    sexpr::global["symbol?"]    = native(builtin::_issymb);
    sexpr::global["string?"]    = native(builtin::_isstr);
    sexpr::global["number?"]    = native(builtin::_isnum);
    sexpr::global["lambda?"]    = native(builtin::_islambda);
    sexpr::global["nil?"]       = native(builtin::_isnil);

    sexpr::global["define"]     = native(builtin::_define);
    sexpr::global["set!"]       = native(builtin::_set);
    sexpr::global["unset!"]     = native(builtin::_unset);
    sexpr::global["eval"]       = native(builtin::_eval);
    sexpr::global["if"]         = native(builtin::_if);
    sexpr::global["and"]        = native(builtin::_and);
    sexpr::global["or"]         = native(builtin::_or);
    sexpr::global["not"]        = native(builtin::_not);
    sexpr::global["cond"]       = native(builtin::_cond);
    sexpr::global["let"]        = native(builtin::_let);
    sexpr::global["let*"]       = native(builtin::_let_astrk);
    sexpr::global["letrec"]     = native(builtin::_let_rec);
    sexpr::global["list"]       = native(builtin::_list);
    sexpr::global["begin"]      = native(builtin::_begin);
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %rbx
subq $0x38, %rsp
leaq -0x16c6(%rip), %rsi     # 0xa090
leaq -0x20(%rbp), %rdi
callq 0x4ded
leaq 0x4fee(%rip), %rsi      # 0x10754
leaq -0x40(%rbp), %rdi
leaq -0x9(%rbp), %rdx
callq 0x6608
leaq 0xca76(%rip), %rdi      # 0x181f0
leaq -0x40(%rbp), %rsi
callq 0x457e
leaq -0x20(%rbp), %rsi
movq %rax, %rdi
callq 0x4354
leaq -0x40(%rbp), %rdi
callq 0x30f0
leaq -0x18(%rbp), %rdi
callq 0x3e82
leaq -0x1718(%rip), %rsi     # 0xa090
leaq -0x20(%rbp), %rdi
callq 0x4ded
leaq 0x4fa0(%rip), %rsi      # 0x10758
leaq -0x40(%rbp), %rdi
leaq -0x9(%rbp), %rdx
callq 0x6608
leaq 0xca24(%rip), %rdi      # 0x181f0
leaq -0x40(%rbp), %rsi
callq 0x457e
leaq -0x20(%rbp), %rsi
movq %rax, %rdi
callq 0x4354
leaq -0x40(%rbp), %rdi
callq 0x30f0
leaq -0x18(%rbp), %rdi
callq 0x3e82
leaq -0x1622(%rip), %rsi     # 0xa1d8
leaq -0x20(%rbp), %rdi
callq 0x4ded
leaq 0x4f50(%rip), %rsi      # 0x1075a
leaq -0x40(%rbp), %rdi
leaq -0x9(%rbp), %rdx
callq 0x6608
leaq 0xc9d2(%rip), %rdi      # 0x181f0
leaq -0x40(%rbp), %rsi
callq 0x457e
leaq -0x20(%rbp), %rsi
movq %rax, %rdi
callq 0x4354
leaq -0x40(%rbp), %rdi
callq 0x30f0
leaq -0x18(%rbp), %rdi
callq 0x3e82
leaq -0x1674(%rip), %rsi     # 0xa1d8
leaq -0x20(%rbp), %rdi
callq 0x4ded
leaq 0x4f02(%rip), %rsi      # 0x1075e
leaq -0x40(%rbp), %rdi
leaq -0x9(%rbp), %rdx
callq 0x6608
leaq 0xc980(%rip), %rdi      # 0x181f0
leaq -0x40(%rbp), %rsi
callq 0x457e
leaq -0x20(%rbp), %rsi
movq %rax, %rdi
callq 0x4354
leaq -0x40(%rbp), %rdi
callq 0x30f0
leaq -0x18(%rbp), %rdi
callq 0x3e82
leaq -0x14d8(%rip), %rsi     # 0xa3c6
leaq -0x20(%rbp), %rdi
callq 0x4ded
leaq 0x4eb2(%rip), %rsi      # 0x10760
leaq -0x40(%rbp), %rdi
leaq -0x9(%rbp), %rdx
callq 0x6608
leaq 0xc92e(%rip), %rdi      # 0x181f0
leaq -0x40(%rbp), %rsi
callq 0x457e
leaq -0x20(%rbp), %rsi
movq %rax, %rdi
callq 0x4354
leaq -0x40(%rbp), %rdi
callq 0x30f0
leaq -0x18(%rbp), %rdi
callq 0x3e82
leaq -0x152a(%rip), %rsi     # 0xa3c6
leaq -0x20(%rbp), %rdi
callq 0x4ded
leaq 0x4f0e(%rip), %rsi      # 0x1080e
leaq -0x40(%rbp), %rdi
leaq -0x9(%rbp), %rdx
callq 0x6608
leaq 0xc8dc(%rip), %rdi      # 0x181f0
leaq -0x40(%rbp), %rsi
callq 0x457e
leaq -0x20(%rbp), %rsi
movq %rax, %rdi
callq 0x4354
leaq -0x40(%rbp), %rdi
callq 0x30f0
leaq -0x18(%rbp), %rdi
callq 0x3e82
leaq -0x1430(%rip), %rsi     # 0xa512
leaq -0x20(%rbp), %rdi
callq 0x4ded
leaq 0x4e12(%rip), %rsi      # 0x10764
leaq -0x40(%rbp), %rdi
leaq -0x9(%rbp), %rdx
callq 0x6608
leaq 0xc88a(%rip), %rdi      # 0x181f0
leaq -0x40(%rbp), %rsi
callq 0x457e
leaq -0x20(%rbp), %rsi
movq %rax, %rdi
callq 0x4354
leaq -0x40(%rbp), %rdi
callq 0x30f0
leaq -0x18(%rbp), %rdi
callq 0x3e82
leaq -0x1482(%rip), %rsi     # 0xa512
leaq -0x20(%rbp), %rdi
callq 0x4ded
leaq 0x4dc4(%rip), %rsi      # 0x10768
leaq -0x40(%rbp), %rdi
leaq -0x9(%rbp), %rdx
callq 0x6608
leaq 0xc838(%rip), %rdi      # 0x181f0
leaq -0x40(%rbp), %rsi
callq 0x457e
leaq -0x20(%rbp), %rsi
movq %rax, %rdi
callq 0x4354
leaq -0x40(%rbp), %rdi
callq 0x30f0
leaq -0x18(%rbp), %rdi
callq 0x3e82
leaq -0xede(%rip), %rsi      # 0xab08
leaq -0x20(%rbp), %rdi
callq 0x4ded
leaq 0x4d74(%rip), %rsi      # 0x1076a
leaq -0x40(%rbp), %rdi
leaq -0x9(%rbp), %rdx
callq 0x6608
leaq 0xc7e6(%rip), %rdi      # 0x181f0
leaq -0x40(%rbp), %rsi
callq 0x457e
leaq -0x20(%rbp), %rsi
movq %rax, %rdi
callq 0x4354
leaq -0x40(%rbp), %rdi
callq 0x30f0
leaq -0x18(%rbp), %rdi
callq 0x3e82
leaq -0xf30(%rip), %rsi      # 0xab08
leaq -0x20(%rbp), %rdi
callq 0x4ded
leaq 0x4d26(%rip), %rsi      # 0x1076e
leaq -0x40(%rbp), %rdi
leaq -0x9(%rbp), %rdx
callq 0x6608
leaq 0xc794(%rip), %rdi      # 0x181f0
leaq -0x40(%rbp), %rsi
callq 0x457e
leaq -0x20(%rbp), %rsi
movq %rax, %rdi
callq 0x4354
leaq -0x40(%rbp), %rdi
callq 0x30f0
leaq -0x18(%rbp), %rdi
callq 0x3e82
leaq -0xde8(%rip), %rsi      # 0xaca2
leaq -0x20(%rbp), %rdi
callq 0x4ded
leaq 0x4cd6(%rip), %rsi      # 0x10770
leaq -0x40(%rbp), %rdi
leaq -0x9(%rbp), %rdx
callq 0x6608
leaq 0xc742(%rip), %rdi      # 0x181f0
leaq -0x40(%rbp), %rsi
callq 0x457e
leaq -0x20(%rbp), %rsi
movq %rax, %rdi
callq 0x4354
leaq -0x40(%rbp), %rdi
callq 0x30f0
leaq -0x18(%rbp), %rdi
callq 0x3e82
leaq -0xe3a(%rip), %rsi      # 0xaca2
leaq -0x20(%rbp), %rdi
callq 0x4ded
leaq 0x4c88(%rip), %rsi      # 0x10774
leaq -0x40(%rbp), %rdi
leaq -0x9(%rbp), %rdx
callq 0x6608
leaq 0xc6f0(%rip), %rdi      # 0x181f0
leaq -0x40(%rbp), %rsi
callq 0x457e
leaq -0x20(%rbp), %rsi
movq %rax, %rdi
callq 0x4354
leaq -0x40(%rbp), %rdi
callq 0x30f0
leaq -0x18(%rbp), %rdi
callq 0x3e82
leaq -0xcf2(%rip), %rsi      # 0xae3c
leaq -0x20(%rbp), %rdi
callq 0x4ded
leaq 0x4c39(%rip), %rsi      # 0x10777
leaq -0x40(%rbp), %rdi
leaq -0x9(%rbp), %rdx
callq 0x6608
leaq 0xc69e(%rip), %rdi      # 0x181f0
leaq -0x40(%rbp), %rsi
callq 0x457e
leaq -0x20(%rbp), %rsi
movq %rax, %rdi
callq 0x4354
leaq -0x40(%rbp), %rdi
callq 0x30f0
leaq -0x18(%rbp), %rdi
callq 0x3e82
leaq -0xd44(%rip), %rsi      # 0xae3c
leaq -0x20(%rbp), %rdi
callq 0x4ded
leaq 0x4beb(%rip), %rsi      # 0x1077b
leaq -0x40(%rbp), %rdi
leaq -0x9(%rbp), %rdx
callq 0x6608
leaq 0xc64c(%rip), %rdi      # 0x181f0
leaq -0x40(%rbp), %rsi
callq 0x457e
leaq -0x20(%rbp), %rsi
movq %rax, %rdi
callq 0x4354
leaq -0x40(%rbp), %rdi
callq 0x30f0
leaq -0x18(%rbp), %rdi
callq 0x3e82
leaq -0xc00(%rip), %rsi      # 0xafd2
leaq -0x20(%rbp), %rdi
callq 0x4ded
leaq 0x4b9b(%rip), %rsi      # 0x1077d
leaq -0x40(%rbp), %rdi
leaq -0x9(%rbp), %rdx
callq 0x6608
leaq 0xc5fa(%rip), %rdi      # 0x181f0
leaq -0x40(%rbp), %rsi
callq 0x457e
leaq -0x20(%rbp), %rsi
movq %rax, %rdi
callq 0x4354
leaq -0x40(%rbp), %rdi
callq 0x30f0
leaq -0x18(%rbp), %rdi
callq 0x3e82
leaq -0xc52(%rip), %rsi      # 0xafd2
leaq -0x20(%rbp), %rdi
callq 0x4ded
leaq 0x4b4d(%rip), %rsi      # 0x10781
leaq -0x40(%rbp), %rdi
leaq -0x9(%rbp), %rdx
callq 0x6608
leaq 0xc5a8(%rip), %rdi      # 0x181f0
leaq -0x40(%rbp), %rsi
callq 0x457e
leaq -0x20(%rbp), %rsi
movq %rax, %rdi
callq 0x4354
leaq -0x40(%rbp), %rdi
callq 0x30f0
leaq -0x18(%rbp), %rdi
callq 0x3e82
leaq -0x130a(%rip), %rsi     # 0xa96c
leaq -0x20(%rbp), %rdi
callq 0x4ded
leaq 0x4afe(%rip), %rsi      # 0x10784
leaq -0x40(%rbp), %rdi
leaq -0x9(%rbp), %rdx
callq 0x6608
leaq 0xc556(%rip), %rdi      # 0x181f0
leaq -0x40(%rbp), %rsi
callq 0x457e
leaq -0x20(%rbp), %rsi
movq %rax, %rdi
callq 0x4354
leaq -0x40(%rbp), %rdi
callq 0x30f0
leaq -0x18(%rbp), %rdi
callq 0x3e82
leaq -0x135c(%rip), %rsi     # 0xa96c
leaq -0x20(%rbp), %rdi
callq 0x4ded
leaq 0x4ab5(%rip), %rsi      # 0x1078d
leaq -0x40(%rbp), %rdi
leaq -0x9(%rbp), %rdx
callq 0x6608
leaq 0xc504(%rip), %rdi      # 0x181f0
leaq -0x40(%rbp), %rsi
callq 0x457e
leaq -0x20(%rbp), %rsi
movq %rax, %rdi
callq 0x4354
leaq -0x40(%rbp), %rdi
callq 0x30f0
leaq -0x18(%rbp), %rdi
callq 0x3e82
leaq -0x154a(%rip), %rsi     # 0xa7d0
leaq -0x20(%rbp), %rdi
callq 0x4ded
leaq 0x4a5e(%rip), %rsi      # 0x10788
leaq -0x40(%rbp), %rdi
leaq -0x9(%rbp), %rdx
callq 0x6608
leaq 0xc4b2(%rip), %rdi      # 0x181f0
leaq -0x40(%rbp), %rsi
callq 0x457e
leaq -0x20(%rbp), %rsi
movq %rax, %rdi
callq 0x4354
leaq -0x40(%rbp), %rdi
callq 0x30f0
leaq -0x18(%rbp), %rdi
callq 0x3e82
leaq -0x159c(%rip), %rsi     # 0xa7d0
leaq -0x20(%rbp), %rdi
callq 0x4ded
leaq 0x4a10(%rip), %rsi      # 0x1078c
leaq -0x40(%rbp), %rdi
leaq -0x9(%rbp), %rdx
callq 0x6608
leaq 0xc460(%rip), %rdi      # 0x181f0
leaq -0x40(%rbp), %rsi
callq 0x457e
leaq -0x20(%rbp), %rsi
movq %rax, %rdi
callq 0x4354
leaq -0x40(%rbp), %rdi
callq 0x30f0
leaq -0x18(%rbp), %rdi
callq 0x3e82
leaq -0x22ae(%rip), %rsi     # 0x9b10
leaq -0x20(%rbp), %rdi
callq 0x4ded
leaq 0x49c1(%rip), %rsi      # 0x1078f
leaq -0x40(%rbp), %rdi
leaq -0x9(%rbp), %rdx
callq 0x6608
leaq 0xc40e(%rip), %rdi      # 0x181f0
leaq -0x40(%rbp), %rsi
callq 0x457e
leaq -0x20(%rbp), %rsi
movq %rax, %rdi
callq 0x4354
leaq -0x40(%rbp), %rdi
callq 0x30f0
leaq -0x18(%rbp), %rdi
callq 0x3e82
leaq -0x212e(%rip), %rsi     # 0x9ce2
leaq -0x20(%rbp), %rdi
callq 0x4ded
leaq 0x4adc(%rip), %rsi      # 0x108fc
leaq -0x40(%rbp), %rdi
leaq -0x9(%rbp), %rdx
callq 0x6608
leaq 0xc3bc(%rip), %rdi      # 0x181f0
leaq -0x40(%rbp), %rsi
callq 0x457e
leaq -0x20(%rbp), %rsi
movq %rax, %rdi
callq 0x4354
leaq -0x40(%rbp), %rdi
callq 0x30f0
leaq -0x18(%rbp), %rdi
callq 0x3e82
leaq -0x2284(%rip), %rsi     # 0x9bde
leaq -0x20(%rbp), %rdi
callq 0x4ded
leaq 0x4922(%rip), %rsi      # 0x10794
leaq -0x40(%rbp), %rdi
leaq -0x9(%rbp), %rdx
callq 0x6608
leaq 0xc36a(%rip), %rdi      # 0x181f0
leaq -0x40(%rbp), %rsi
callq 0x457e
leaq -0x20(%rbp), %rsi
movq %rax, %rdi
callq 0x4354
leaq -0x40(%rbp), %rdi
callq 0x30f0
leaq -0x18(%rbp), %rdi
callq 0x3e82
leaq -0x1e46(%rip), %rsi     # 0xa06e
leaq -0x20(%rbp), %rdi
callq 0x4ded
leaq 0x48d4(%rip), %rsi      # 0x10798
leaq -0x40(%rbp), %rdi
leaq -0x9(%rbp), %rdx
callq 0x6608
leaq 0xc318(%rip), %rdi      # 0x181f0
leaq -0x40(%rbp), %rsi
callq 0x457e
leaq -0x20(%rbp), %rsi
movq %rax, %rdi
callq 0x4354
leaq -0x40(%rbp), %rdi
callq 0x30f0
leaq -0x18(%rbp), %rdi
callq 0x3e82
leaq -0x2120(%rip), %rsi     # 0x9de6
leaq -0x20(%rbp), %rdi
callq 0x4ded
leaq 0x488b(%rip), %rsi      # 0x107a1
leaq -0x40(%rbp), %rdi
leaq -0x9(%rbp), %rdx
callq 0x6608
leaq 0xc2c6(%rip), %rdi      # 0x181f0
leaq -0x40(%rbp), %rsi
callq 0x457e
leaq -0x20(%rbp), %rsi
movq %rax, %rdi
callq 0x4354
leaq -0x40(%rbp), %rdi
callq 0x30f0
leaq -0x18(%rbp), %rdi
callq 0x3e82
leaq -0x5524(%rip), %rsi     # 0x6a34
leaq -0x20(%rbp), %rdi
callq 0x4ded
leaq 0x49e5(%rip), %rsi      # 0x1094d
leaq -0x40(%rbp), %rdi
leaq -0x9(%rbp), %rdx
callq 0x6608
leaq 0xc274(%rip), %rdi      # 0x181f0
leaq -0x40(%rbp), %rsi
callq 0x457e
leaq -0x20(%rbp), %rsi
movq %rax, %rdi
callq 0x4354
leaq -0x40(%rbp), %rdi
callq 0x30f0
leaq -0x18(%rbp), %rdi
callq 0x3e82
leaq -0x5442(%rip), %rsi     # 0x6b68
leaq -0x20(%rbp), %rdi
callq 0x4ded
leaq 0x498e(%rip), %rsi      # 0x10948
leaq -0x40(%rbp), %rdi
leaq -0x9(%rbp), %rdx
callq 0x6608
leaq 0xc222(%rip), %rdi      # 0x181f0
leaq -0x40(%rbp), %rsi
callq 0x457e
leaq -0x20(%rbp), %rsi
movq %rax, %rdi
callq 0x4354
leaq -0x40(%rbp), %rdi
callq 0x30f0
leaq -0x18(%rbp), %rdi
callq 0x3e82
leaq -0x4fa8(%rip), %rsi     # 0x7054
leaq -0x20(%rbp), %rdi
callq 0x4ded
leaq 0x479e(%rip), %rsi      # 0x107aa
leaq -0x40(%rbp), %rdi
leaq -0x9(%rbp), %rdx
callq 0x6608
leaq 0xc1d0(%rip), %rdi      # 0x181f0
leaq -0x40(%rbp), %rsi
callq 0x457e
leaq -0x20(%rbp), %rsi
movq %rax, %rdi
callq 0x4354
leaq -0x40(%rbp), %rdi
callq 0x30f0
leaq -0x18(%rbp), %rdi
callq 0x3e82
leaq -0x5fda(%rip), %rsi     # 0x6074
leaq -0x20(%rbp), %rdi
callq 0x4ded
leaq 0x4752(%rip), %rsi      # 0x107b0
leaq -0x40(%rbp), %rdi
leaq -0x9(%rbp), %rdx
callq 0x6608
leaq 0xc17e(%rip), %rdi      # 0x181f0
leaq -0x40(%rbp), %rsi
callq 0x457e
leaq -0x20(%rbp), %rsi
movq %rax, %rdi
callq 0x4354
leaq -0x40(%rbp), %rdi
callq 0x30f0
leaq -0x18(%rbp), %rdi
callq 0x3e82
leaq -0x5f60(%rip), %rsi     # 0x6140
leaq -0x20(%rbp), %rdi
callq 0x4ded
leaq 0x4706(%rip), %rsi      # 0x107b6
leaq -0x40(%rbp), %rdi
leaq -0x9(%rbp), %rdx
callq 0x6608
leaq 0xc12c(%rip), %rdi      # 0x181f0
leaq -0x40(%rbp), %rsi
callq 0x457e
leaq -0x20(%rbp), %rsi
movq %rax, %rdi
callq 0x4354
leaq -0x40(%rbp), %rdi
callq 0x30f0
leaq -0x18(%rbp), %rdi
callq 0x3e82
leaq -0x5c82(%rip), %rsi     # 0x6470
leaq -0x20(%rbp), %rdi
callq 0x4ded
leaq 0x46ba(%rip), %rsi      # 0x107bc
leaq -0x40(%rbp), %rdi
leaq -0x9(%rbp), %rdx
callq 0x6608
leaq 0xc0da(%rip), %rdi      # 0x181f0
leaq -0x40(%rbp), %rsi
callq 0x457e
leaq -0x20(%rbp), %rsi
movq %rax, %rdi
callq 0x4354
leaq -0x40(%rbp), %rdi
callq 0x30f0
leaq -0x18(%rbp), %rdi
callq 0x3e82
leaq -0x5da0(%rip), %rsi     # 0x63a4
leaq -0x20(%rbp), %rdi
callq 0x4ded
leaq 0x4670(%rip), %rsi      # 0x107c4
leaq -0x40(%rbp), %rdi
leaq -0x9(%rbp), %rdx
callq 0x6608
leaq 0xc088(%rip), %rdi      # 0x181f0
leaq -0x40(%rbp), %rsi
callq 0x457e
leaq -0x20(%rbp), %rsi
movq %rax, %rdi
callq 0x4354
leaq -0x40(%rbp), %rdi
callq 0x30f0
leaq -0x18(%rbp), %rdi
callq 0x3e82
leaq -0x5f8a(%rip), %rsi     # 0x620c
leaq -0x20(%rbp), %rdi
callq 0x4ded
leaq 0x4626(%rip), %rsi      # 0x107cc
leaq -0x40(%rbp), %rdi
leaq -0x9(%rbp), %rdx
callq 0x6608
leaq 0xc036(%rip), %rdi      # 0x181f0
leaq -0x40(%rbp), %rsi
callq 0x457e
leaq -0x20(%rbp), %rsi
movq %rax, %rdi
callq 0x4354
leaq -0x40(%rbp), %rdi
callq 0x30f0
leaq -0x18(%rbp), %rdi
callq 0x3e82
leaq -0x5cac(%rip), %rsi     # 0x653c
leaq -0x20(%rbp), %rdi
callq 0x4ded
leaq 0x45dc(%rip), %rsi      # 0x107d4
leaq -0x40(%rbp), %rdi
leaq -0x9(%rbp), %rdx
callq 0x6608
leaq 0xbfe4(%rip), %rdi      # 0x181f0
leaq -0x40(%rbp), %rsi
callq 0x457e
leaq -0x20(%rbp), %rsi
movq %rax, %rdi
callq 0x4354
leaq -0x40(%rbp), %rdi
callq 0x30f0
leaq -0x18(%rbp), %rdi
callq 0x3e82
leaq -0x5f62(%rip), %rsi     # 0x62d8
leaq -0x20(%rbp), %rdi
callq 0x4ded
leaq 0x4592(%rip), %rsi      # 0x107dc
leaq -0x40(%rbp), %rdi
leaq -0x9(%rbp), %rdx
callq 0x6608
leaq 0xbf92(%rip), %rdi      # 0x181f0
leaq -0x40(%rbp), %rsi
callq 0x457e
leaq -0x20(%rbp), %rsi
movq %rax, %rdi
callq 0x4354
leaq -0x40(%rbp), %rdi
callq 0x30f0
leaq -0x18(%rbp), %rdi
callq 0x3e82
leaq -0x5ba8(%rip), %rsi     # 0x66e4
leaq -0x20(%rbp), %rdi
callq 0x4ded
leaq 0x4545(%rip), %rsi      # 0x107e1
leaq -0x40(%rbp), %rdi
leaq -0x9(%rbp), %rdx
callq 0x6608
leaq 0xbf40(%rip), %rdi      # 0x181f0
leaq -0x40(%rbp), %rsi
callq 0x457e
leaq -0x20(%rbp), %rsi
movq %rax, %rdi
callq 0x4354
leaq -0x40(%rbp), %rdi
callq 0x30f0
leaq -0x18(%rbp), %rdi
callq 0x3e82
leaq -0x4e8c(%rip), %rsi     # 0x7452
leaq -0x20(%rbp), %rdi
callq 0x4ded
leaq 0x44fc(%rip), %rsi      # 0x107ea
leaq -0x40(%rbp), %rdi
leaq -0x9(%rbp), %rdx
callq 0x6608
leaq 0xbeee(%rip), %rdi      # 0x181f0
leaq -0x40(%rbp), %rsi
callq 0x457e
leaq -0x20(%rbp), %rsi
movq %rax, %rdi
callq 0x4354
leaq -0x40(%rbp), %rdi
callq 0x30f0
leaq -0x18(%rbp), %rdi
callq 0x3e82
leaq -0x4d28(%rip), %rsi     # 0x7608
leaq -0x20(%rbp), %rdi
callq 0x4ded
leaq 0x44a8(%rip), %rsi      # 0x107e8
leaq -0x40(%rbp), %rdi
leaq -0x9(%rbp), %rdx
callq 0x6608
leaq 0xbe9c(%rip), %rdi      # 0x181f0
leaq -0x40(%rbp), %rsi
callq 0x457e
leaq -0x20(%rbp), %rsi
movq %rax, %rdi
callq 0x4354
leaq -0x40(%rbp), %rdi
callq 0x30f0
leaq -0x18(%rbp), %rdi
callq 0x3e82
leaq -0x4bf4(%rip), %rsi     # 0x778e
leaq -0x20(%rbp), %rdi
callq 0x4ded
leaq 0x445d(%rip), %rsi      # 0x107ef
leaq -0x40(%rbp), %rdi
leaq -0x9(%rbp), %rdx
callq 0x6608
leaq 0xbe4a(%rip), %rdi      # 0x181f0
leaq -0x40(%rbp), %rsi
callq 0x457e
leaq -0x20(%rbp), %rsi
movq %rax, %rdi
callq 0x4354
leaq -0x40(%rbp), %rdi
callq 0x30f0
leaq -0x18(%rbp), %rdi
callq 0x3e82
leaq -0x4b9e(%rip), %rsi     # 0x7836
leaq -0x20(%rbp), %rdi
callq 0x4ded
leaq 0x4410(%rip), %rsi      # 0x107f4
leaq -0x40(%rbp), %rdi
leaq -0x9(%rbp), %rdx
callq 0x6608
leaq 0xbdf8(%rip), %rdi      # 0x181f0
leaq -0x40(%rbp), %rsi
callq 0x457e
leaq -0x20(%rbp), %rsi
movq %rax, %rdi
callq 0x4354
leaq -0x40(%rbp), %rdi
callq 0x30f0
leaq -0x18(%rbp), %rdi
callq 0x3e82
leaq -0x52b8(%rip), %rsi     # 0x716e
leaq -0x20(%rbp), %rdi
callq 0x4ded
leaq 0x43c1(%rip), %rsi      # 0x107f7
leaq -0x40(%rbp), %rdi
leaq -0x9(%rbp), %rdx
callq 0x6608
leaq 0xbda6(%rip), %rdi      # 0x181f0
leaq -0x40(%rbp), %rsi
callq 0x457e
leaq -0x20(%rbp), %rsi
movq %rax, %rdi
callq 0x4354
leaq -0x40(%rbp), %rdi
callq 0x30f0
leaq -0x18(%rbp), %rdi
callq 0x3e82
leaq -0x51fe(%rip), %rsi     # 0x727a
leaq -0x20(%rbp), %rdi
callq 0x4ded
leaq 0x4373(%rip), %rsi      # 0x107fb
leaq -0x40(%rbp), %rdi
leaq -0x9(%rbp), %rdx
callq 0x6608
leaq 0xbd54(%rip), %rdi      # 0x181f0
leaq -0x40(%rbp), %rsi
callq 0x457e
leaq -0x20(%rbp), %rsi
movq %rax, %rdi
callq 0x4354
leaq -0x40(%rbp), %rdi
callq 0x30f0
leaq -0x18(%rbp), %rdi
callq 0x3e82
leaq -0x5144(%rip), %rsi     # 0x7386
leaq -0x20(%rbp), %rdi
callq 0x4ded
leaq 0x4324(%rip), %rsi      # 0x107fe
leaq -0x40(%rbp), %rdi
leaq -0x9(%rbp), %rdx
callq 0x6608
leaq 0xbd02(%rip), %rdi      # 0x181f0
leaq -0x40(%rbp), %rsi
callq 0x457e
leaq -0x20(%rbp), %rsi
movq %rax, %rdi
callq 0x4354
leaq -0x40(%rbp), %rdi
callq 0x30f0
leaq -0x18(%rbp), %rdi
callq 0x3e82
leaq -0x49ce(%rip), %rsi     # 0x7b4e
leaq -0x20(%rbp), %rdi
callq 0x4ded
leaq 0x42d6(%rip), %rsi      # 0x10802
leaq -0x40(%rbp), %rdi
leaq -0x9(%rbp), %rdx
callq 0x6608
leaq 0xbcb0(%rip), %rdi      # 0x181f0
leaq -0x40(%rbp), %rsi
callq 0x457e
leaq -0x20(%rbp), %rsi
movq %rax, %rdi
callq 0x4354
leaq -0x40(%rbp), %rdi
callq 0x30f0
leaq -0x18(%rbp), %rdi
callq 0x3e82
leaq -0x475c(%rip), %rsi     # 0x7e12
leaq -0x20(%rbp), %rdi
callq 0x4ded
leaq 0x4289(%rip), %rsi      # 0x10807
leaq -0x40(%rbp), %rdi
leaq -0x9(%rbp), %rdx
callq 0x6608
leaq 0xbc5e(%rip), %rdi      # 0x181f0
leaq -0x40(%rbp), %rsi
callq 0x457e
leaq -0x20(%rbp), %rsi
movq %rax, %rdi
callq 0x4354
leaq -0x40(%rbp), %rdi
callq 0x30f0
leaq -0x18(%rbp), %rdi
callq 0x3e82
leaq -0x3fd2(%rip), %rsi     # 0x85ee
leaq -0x20(%rbp), %rdi
callq 0x4ded
leaq 0x423b(%rip), %rsi      # 0x1080b
leaq -0x40(%rbp), %rdi
leaq -0x9(%rbp), %rdx
callq 0x6608
leaq 0xbc0c(%rip), %rdi      # 0x181f0
leaq -0x40(%rbp), %rsi
callq 0x457e
leaq -0x20(%rbp), %rsi
movq %rax, %rdi
callq 0x4354
leaq -0x40(%rbp), %rdi
callq 0x30f0
leaq -0x18(%rbp), %rdi
callq 0x3e82
leaq -0x3c54(%rip), %rsi     # 0x89be
leaq -0x20(%rbp), %rdi
callq 0x4ded
leaq 0x41ee(%rip), %rsi      # 0x10810
leaq -0x40(%rbp), %rdi
leaq -0x9(%rbp), %rdx
callq 0x6608
leaq 0xbbba(%rip), %rdi      # 0x181f0
leaq -0x40(%rbp), %rsi
callq 0x457e
leaq -0x20(%rbp), %rsi
movq %rax, %rdi
callq 0x4354
leaq -0x40(%rbp), %rdi
callq 0x30f0
leaq -0x18(%rbp), %rdi
callq 0x3e82
leaq -0x4e46(%rip), %rsi     # 0x781e
leaq -0x20(%rbp), %rdi
callq 0x4ded
leaq 0x3e39(%rip), %rsi      # 0x104ad
leaq -0x40(%rbp), %rdi
leaq -0x9(%rbp), %rdx
callq 0x6608
leaq 0xbb68(%rip), %rdi      # 0x181f0
leaq -0x40(%rbp), %rsi
callq 0x457e
leaq -0x20(%rbp), %rsi
movq %rax, %rdi
callq 0x4354
leaq -0x40(%rbp), %rdi
callq 0x30f0
leaq -0x18(%rbp), %rdi
callq 0x3e82
leaq -0x4c90(%rip), %rsi     # 0x7a26
leaq -0x20(%rbp), %rdi
callq 0x4ded
leaq 0x3e89(%rip), %rsi      # 0x1054f
leaq -0x40(%rbp), %rdi
leaq -0x9(%rbp), %rdx
callq 0x6608
leaq 0xbb16(%rip), %rdi      # 0x181f0
leaq -0x40(%rbp), %rsi
callq 0x457e
leaq -0x20(%rbp), %rsi
movq %rax, %rdi
callq 0x4354
leaq -0x40(%rbp), %rdi
callq 0x30f0
leaq -0x18(%rbp), %rdi
callq 0x3e82
addq $0x38, %rsp
popq %rbx
popq %rbp
retq
jmp 0xc837
jmp 0xc845
jmp 0xc837
jmp 0xc845
jmp 0xc837
jmp 0xc845
jmp 0xc837
jmp 0xc845
jmp 0xc837
jmp 0xc845
jmp 0xc837
jmp 0xc845
jmp 0xc837
jmp 0xc845
jmp 0xc837
jmp 0xc845
jmp 0xc837
jmp 0xc845
jmp 0xc837
jmp 0xc845
jmp 0xc837
jmp 0xc845
jmp 0xc837
jmp 0xc845
jmp 0xc837
jmp 0xc845
jmp 0xc837
jmp 0xc845
jmp 0xc837
jmp 0xc845
jmp 0xc837
jmp 0xc845
jmp 0xc837
jmp 0xc845
jmp 0xc837
jmp 0xc845
jmp 0xc837
jmp 0xc845
jmp 0xc837
jmp 0xc845
jmp 0xc837
jmp 0xc845
jmp 0xc837
jmp 0xc845
jmp 0xc837
jmp 0xc845
jmp 0xc837
jmp 0xc845
jmp 0xc837
jmp 0xc845
jmp 0xc837
jmp 0xc845
jmp 0xc837
jmp 0xc845
jmp 0xc837
jmp 0xc845
jmp 0xc837
jmp 0xc845
jmp 0xc837
jmp 0xc845
jmp 0xc837
jmp 0xc845
jmp 0xc837
jmp 0xc845
jmp 0xc837
jmp 0xc845
jmp 0xc837
jmp 0xc845
jmp 0xc837
jmp 0xc845
jmp 0xc837
jmp 0xc845
jmp 0xc837
jmp 0xc845
jmp 0xc837
jmp 0xc845
jmp 0xc837
jmp 0xc845
jmp 0xc837
jmp 0xc845
jmp 0xc837
jmp 0xc845
jmp 0xc837
jmp 0xc845
jmp 0xc837
jmp 0xc845
jmp 0xc837
jmp 0xc845
jmp 0xc837
jmp 0xc845
jmp 0xc837
jmp 0xc845
jmp 0xc837
jmp 0xc845
jmp 0xc837
jmp 0xc845
movq %rax, %rbx
leaq -0x40(%rbp), %rdi
callq 0x30f0
jmp 0xc848
movq %rax, %rbx
leaq -0x18(%rbp), %rdi
callq 0x3e82
movq %rbx, %rdi
callq 0x3330