// File: /workspace/github_cpp_makefile_star2_O3/pfnet-research[P]pml/src/evaluator.cpp
// Function: evaluator::eval(std::shared_ptr<ast::expr_t>, environment_t<ast::expr_t> const&)
ptr<ast::expr_t> eval(ptr<ast::expr_t> e, environment_t const& env) {
    using namespace ast;
    switch (e->kind()) {
    case expr_kind_t::Let: {
        auto& let_expr = cast<let_expr_t>(*e);
        auto init = eval(let_expr.init, env);
        auto new_env = env.append(let_expr.name, init);
        return eval(let_expr.body, new_env);
        }
    case expr_kind_t::LetFun: {
        auto& letfun_expr = cast<letfun_expr_t>(*e);
        auto fun = make<ast::fun_expr_t>(letfun_expr.type, letfun_expr.init);
        auto new_env = env.append(letfun_expr.name, fun);
        return eval(letfun_expr.body, new_env);
        }
    case expr_kind_t::If: {
        auto& if_expr = cast<if_expr_t>(*e);
        auto cond_val = eval(if_expr.cond_expr, env);
        if (cond_val->kind() != ast::expr_kind_t::Bool) {
            std::cerr << "eval error: if-condition must be boolean " + ast::to_debug_string(*cond_val) << std::endl;
            assert(false);
            return nullptr;
        } else if (cast<bool_expr_t>(*cond_val).b == true) {
            return eval(if_expr.true_expr, env);
        } {
            return eval(if_expr.false_expr, env);
        }
        }
    case expr_kind_t::Eq:  case expr_kind_t::Neq:
    case expr_kind_t::Leq:  case expr_kind_t::Geq:
    case expr_kind_t::Add: case expr_kind_t::Sub:
    case expr_kind_t::Mul: case expr_kind_t::Div:
    case expr_kind_t::And: case expr_kind_t::Or: {
            auto& binop_expr = cast<binop_expr_t>(*e);
            return calc_int_binop(
                    *eval(binop_expr.lhs, env),
                    *eval(binop_expr.rhs, env),
                    e->kind());
        }
    case expr_kind_t::Neg: {
            auto val = eval(cast<neg_expr_t>(*e).inner, env);
            return make<bool_expr_t>(!cast<bool_expr_t>(*val).b);
        }
    case expr_kind_t::Int: case expr_kind_t::Bool: case expr_kind_t::Fun:
        return e;
    case expr_kind_t::Var:
        return env.lookup(cast<var_expr_t>(*e).name);
    case expr_kind_t::App: {
            auto const& app_expr = cast<app_expr_t>(*e);
            auto f_ = eval(app_expr.f, env);
            if (f_->kind() != ast::expr_kind_t::Fun)
                throw std::logic_error{"arienai"};
            auto f = cast<fun_expr_t>(*f_);
            if (f.type.args.size() != app_expr.args.size())
                throw std::logic_error{"arienai"};
            environment_t new_env = env;
            for (size_t i=0; i<app_expr.args.size(); ++i) {
                new_env = new_env.append(
                        f.type.args[i].name,
                        eval(app_expr.args[i], env));
            }
            return eval(f.body, new_env);
        }
    case expr_kind_t::Rand: {
            auto& rand_expr = cast<rand_expr_t>(*e);
            int start = rand_expr.start;
            int end = rand_expr.end;
            return make<int_expr_t>(std::rand() % (end - start + 1) + start);
        }
    case expr_kind_t::Typed:
        return eval(cast<typed_expr_t>(*e).expr, env);
    }
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x1b8, %rsp            # imm = 0x1B8
movq %rdx, %r14
movq %rsi, %r15
movq %rdi, %r13
movq (%rsi), %rdi
movq (%rdi), %rax
callq *(%rax)
movl %eax, %eax
leaq 0x3982a(%rip), %rcx     # 0x4525c
movslq (%rcx,%rax,4), %rax
addq %rcx, %rax
jmpq *%rax
movq (%r15), %rdi
leaq 0x54053(%rip), %rsi     # 0x5fa98
leaq 0x541dc(%rip), %rdx     # 0x5fc28
xorl %ecx, %ecx
callq 0x9340
testq %rax, %rax
je 0xc50b
movq %rax, %r12
movq 0x8(%rax), %rax
movq %rax, 0x118(%rsp)
movq 0x10(%r12), %rax
movq %rax, 0x120(%rsp)
testq %rax, %rax
je 0xbaa9
movq 0x5652c(%rip), %rcx     # 0x61fb0
cmpb $0x0, (%rcx)
je 0xbaa5
incl 0x8(%rax)
jmp 0xbaa9
movups (%r15), %xmm0
xorl %eax, %eax
movq %rax, 0x8(%r15)
movups %xmm0, (%r13)
movq %rax, (%r15)
jmp 0xbb6b
lock
incl 0x8(%rax)
leaq 0x40(%rsp), %rdi
leaq 0x118(%rsp), %rsi
movq %r14, %rdx
callq 0xba07
movq 0x40(%rsp), %rbx
movq 0x18(%r12), %rax
movq %rax, 0x108(%rsp)
movq 0x20(%r12), %rax
movq %rax, 0x110(%rsp)
testq %rax, %rax
je 0xbaf7
movq 0x564c7(%rip), %rcx     # 0x61fb0
cmpb $0x0, (%rcx)
je 0xbaf3
incl 0x8(%rax)
jmp 0xbaf7
lock
incl 0x8(%rax)
leaq 0x8(%rsp), %rdi
leaq 0x108(%rsp), %rsi
movq %r14, %rdx
callq 0xba07
movq 0x8(%rsp), %r14
movq (%r15), %rdi
movq (%rdi), %rax
callq *(%rax)
movq %r13, %rdi
movq %rbx, %rsi
movq %r14, %rdx
movl %eax, %ecx
callq 0xb4bc
movq 0x10(%rsp), %rdi
testq %rdi, %rdi
je 0xbb38
callq 0xa946
movq 0x110(%rsp), %rdi
testq %rdi, %rdi
je 0xbb4a
callq 0xa946
movq 0x48(%rsp), %rdi
testq %rdi, %rdi
je 0xbb59
callq 0xa946
movq 0x120(%rsp), %rdi
testq %rdi, %rdi
je 0xbb6b
callq 0xa946
movq %r13, %rax
addq $0x1b8, %rsp            # imm = 0x1B8
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
movq (%r15), %rdi
leaq 0x53f0e(%rip), %rsi     # 0x5fa98
leaq 0x540f7(%rip), %rdx     # 0x5fc88
xorl %ecx, %ecx
callq 0x9340
testq %rax, %rax
je 0xc50b
movl 0x8(%rax), %ebp
movl 0xc(%rax), %ebx
callq 0x90a0
subl %ebp, %ebx
incl %ebx
cltd
idivl %ebx
movl %edx, %ebx
addl %ebp, %ebx
movl $0x20, %edi
callq 0x92d0
movabsq $0x100000001, %rcx      # imm = 0x100000001
movq %rcx, 0x8(%rax)
leaq 0x53f12(%rip), %rcx     # 0x5fae8
movq %rcx, (%rax)
leaq 0x10(%rax), %rcx
leaq 0x53f54(%rip), %rdx     # 0x5fb38
movq %rdx, 0x10(%rax)
movl %ebx, 0x18(%rax)
movq %rcx, (%r13)
movq %rax, 0x8(%r13)
jmp 0xbb6b
movq (%r15), %rdi
leaq 0x53e96(%rip), %rsi     # 0x5fa98
leaq 0x54007(%rip), %rdx     # 0x5fc10
xorl %ecx, %ecx
callq 0x9340
testq %rax, %rax
je 0xc50b
movq %rax, %rbx
movq 0x8(%rax), %rax
movq %rax, 0x148(%rsp)
movq 0x10(%rbx), %rax
movq %rax, 0x150(%rsp)
testq %rax, %rax
je 0xbe81
movq 0x5636c(%rip), %rcx     # 0x61fb0
cmpb $0x0, (%rcx)
je 0xbe7d
incl 0x8(%rax)
jmp 0xbe81
movq (%r15), %rdi
leaq 0x53e39(%rip), %rsi     # 0x5fa98
leaq 0x5400a(%rip), %rdx     # 0x5fc70
xorl %ecx, %ecx
callq 0x9340
testq %rax, %rax
je 0xc50b
movq %rax, %r12
movq 0x8(%rax), %rax
movq %rax, 0xd8(%rsp)
movq 0x10(%r12), %rax
movq %rax, 0xe0(%rsp)
testq %rax, %rax
je 0xbf5a
movq 0x5630e(%rip), %rcx     # 0x61fb0
cmpb $0x0, (%rcx)
je 0xbf56
incl 0x8(%rax)
jmp 0xbf5a
movq (%r15), %rdi
leaq 0x53ddb(%rip), %rsi     # 0x5fa98
leaq 0x53e8c(%rip), %rdx     # 0x5fb50
xorl %ecx, %ecx
callq 0x9340
testq %rax, %rax
je 0xc50b
movq %rax, %rbx
movq 0x28(%rax), %rax
movq %rax, 0x178(%rsp)
movq 0x30(%rbx), %rax
movq %rax, 0x180(%rsp)
testq %rax, %rax
je 0xc044
movq 0x562b1(%rip), %rcx     # 0x61fb0
cmpb $0x0, (%rcx)
je 0xc040
incl 0x8(%rax)
jmp 0xc044
movq (%r15), %rdi
leaq 0x53d7e(%rip), %rsi     # 0x5fa98
leaq 0x53e47(%rip), %rdx     # 0x5fb68
xorl %ecx, %ecx
callq 0x9340
testq %rax, %rax
je 0xc50b
movq %rax, %rbx
leaq 0x28(%rax), %rcx
leaq 0x78(%rax), %r8
leaq 0x10(%rsp), %rdi
movq $0x0, -0x8(%rdi)
leaq 0x8(%rsp), %r15
leaq 0x40(%rsp), %rdx
movq %r15, %rsi
callq 0xcbec
leaq 0x8(%rbx), %rdx
movq (%r15), %rcx
movq 0x8(%r15), %rax
movq %rcx, 0x28(%rsp)
movq %rax, 0x30(%rsp)
testq %rax, %rax
je 0xc0c1
movq 0x56230(%rip), %rcx     # 0x61fb0
cmpb $0x0, (%rcx)
je 0xc0bd
incl 0x8(%rax)
jmp 0xc0c1
movq (%r15), %rdi
leaq 0x53cfd(%rip), %rsi     # 0x5fa98
leaq 0x53efe(%rip), %rdx     # 0x5fca0
xorl %ecx, %ecx
callq 0x9340
testq %rax, %rax
je 0xc50b
movq 0x8(%rax), %rcx
movq %rcx, 0xa8(%rsp)
movq 0x10(%rax), %rax
movq %rax, 0xb0(%rsp)
testq %rax, %rax
je 0xc125
movq 0x561d6(%rip), %rcx     # 0x61fb0
cmpb $0x0, (%rcx)
je 0xc121
incl 0x8(%rax)
jmp 0xc125
movq (%r15), %rdi
leaq 0x53ca3(%rip), %rsi     # 0x5fa98
leaq 0x53e5c(%rip), %rdx     # 0x5fc58
xorl %ecx, %ecx
callq 0x9340
testq %rax, %rax
je 0xc50b
addq $0x8, %rax
movq %r13, %rdi
movq %r14, %rsi
movq %rax, %rdx
callq 0xc9a2
jmp 0xbb6b
movq (%r15), %rdi
leaq 0x53c6b(%rip), %rsi     # 0x5fa98
leaq 0x53e0c(%rip), %rdx     # 0x5fc40
xorl %ecx, %ecx
callq 0x9340
testq %rax, %rax
je 0xc50b
movq 0x8(%rax), %rcx
movq %rcx, 0xf8(%rsp)
movq 0x10(%rax), %rax
movq %rax, 0x100(%rsp)
testq %rax, %rax
je 0xc149
movq 0x56144(%rip), %rcx     # 0x61fb0
cmpb $0x0, (%rcx)
je 0xc145
incl 0x8(%rax)
jmp 0xc149
lock
incl 0x8(%rax)
leaq 0x28(%rsp), %rdi
leaq 0x148(%rsp), %rsi
movq %r14, %rdx
callq 0xba07
movq 0x150(%rsp), %rdi
testq %rdi, %rdi
je 0xbea8
callq 0xa946
movq 0x28(%rsp), %rdi
movq (%rdi), %rax
callq *(%rax)
cmpl $0x12, %eax
jne 0xc515
movq 0x28(%rsp), %rdi
leaq 0x53bd1(%rip), %rsi     # 0x5fa98
leaq 0x53bda(%rip), %rdx     # 0x5faa8
xorl %ecx, %ecx
callq 0x9340
testq %rax, %rax
je 0xc5bf
cmpb $0x1, 0x8(%rax)
jne 0xbf1d
movq 0x18(%rbx), %rax
movq %rax, 0x138(%rsp)
movq 0x20(%rbx), %rax
movq %rax, 0x140(%rsp)
testq %rax, %rax
je 0xc4bb
movq 0x560a4(%rip), %rcx     # 0x61fb0
cmpb $0x0, (%rcx)
je 0xc4b7
incl 0x8(%rax)
jmp 0xc4bb
movq 0x28(%rbx), %rax
movq %rax, 0x128(%rsp)
movq 0x30(%rbx), %rax
movq %rax, 0x130(%rsp)
testq %rax, %rax
je 0xc4dc
movq 0x5606b(%rip), %rcx     # 0x61fb0
cmpb $0x0, (%rcx)
je 0xc4d8
incl 0x8(%rax)
jmp 0xc4dc
lock
incl 0x8(%rax)
leaq 0xe8(%rsp), %rdi
leaq 0xd8(%rsp), %rsi
movq %r14, %rdx
callq 0xba07
movq 0xe0(%rsp), %rdi
testq %rdi, %rdi
je 0xbf84
callq 0xa946
movq 0xe8(%rsp), %rdi
movq (%rdi), %rax
callq *(%rax)
cmpl $0x13, %eax
jne 0xc58b
movq 0xe8(%rsp), %rdi
leaq 0x53aef(%rip), %rsi     # 0x5fa98
leaq 0x53c48(%rip), %rdx     # 0x5fbf8
xorl %ecx, %ecx
callq 0x9340
testq %rax, %rax
je 0xc5c4
movq %rax, %rbx
leaq 0x53c16(%rip), %rax     # 0x5fbe0
leaq 0x48(%rsp), %r15
movq %rax, -0x8(%r15)
leaq 0x8(%rbx), %rsi
movq %r15, %rdi
callq 0xcdea
leaq 0x60(%rsp), %rdi
leaq 0x70(%rsp), %rax
movq %rax, -0x10(%rax)
movq 0x20(%rbx), %rsi
movq 0x28(%rbx), %rdx
addq %rsi, %rdx
callq 0xac68
movl 0x40(%rbx), %eax
movl %eax, 0x80(%rsp)
movq 0x48(%rbx), %rax
movq %rax, 0x88(%rsp)
movq 0x50(%rbx), %rax
movq %rax, 0x90(%rsp)
testq %rax, %rax
je 0xc248
movq 0x55f81(%rip), %rcx     # 0x61fb0
cmpb $0x0, (%rcx)
je 0xc244
incl 0x8(%rax)
jmp 0xc248
lock
incl 0x8(%rax)
leaq 0x8(%rsp), %rdi
leaq 0x178(%rsp), %rsi
movq %r14, %rdx
callq 0xba07
movq 0x180(%rsp), %rdi
testq %rdi, %rdi
je 0xc06b
callq 0xa946
movq %rbx, %rdx
addq $0x8, %rdx
leaq 0x40(%rsp), %rdi
leaq 0x8(%rsp), %rcx
movq %r14, %rsi
callq 0xc924
movq 0x38(%rbx), %rax
movq %rax, 0x168(%rsp)
movq 0x40(%rbx), %rax
movq %rax, 0x170(%rsp)
testq %rax, %rax
je 0xc209
movq 0x55f04(%rip), %rcx     # 0x61fb0
cmpb $0x0, (%rcx)
je 0xc205
incl 0x8(%rax)
jmp 0xc209
lock
incl 0x8(%rax)
leaq 0x40(%rsp), %rdi
leaq 0x28(%rsp), %rcx
movq %r14, %rsi
callq 0xc924
movq 0x30(%rsp), %rdi
testq %rdi, %rdi
je 0xc0e2
callq 0xa946
movq 0x88(%rbx), %rax
movq %rax, 0x158(%rsp)
movq 0x90(%rbx), %rax
movq %rax, 0x160(%rsp)
testq %rax, %rax
je 0xc1e6
movq 0x55ea0(%rip), %rcx     # 0x61fb0
cmpb $0x0, (%rcx)
je 0xc1e2
incl 0x8(%rax)
jmp 0xc1e6
lock
incl 0x8(%rax)
leaq 0xa8(%rsp), %rsi
movq %r13, %rdi
movq %r14, %rdx
callq 0xba07
movq 0xb0(%rsp), %rdi
jmp 0xbb61
lock
incl 0x8(%rax)
leaq 0x40(%rsp), %rdi
leaq 0xf8(%rsp), %rsi
movq %r14, %rdx
callq 0xba07
movq 0x100(%rsp), %rdi
testq %rdi, %rdi
je 0xc170
callq 0xa946
movq 0x40(%rsp), %rdi
leaq 0x5391c(%rip), %rsi     # 0x5fa98
leaq 0x53925(%rip), %rdx     # 0x5faa8
xorl %ecx, %ecx
callq 0x9340
testq %rax, %rax
je 0xc510
movb 0x8(%rax), %bl
movl $0x20, %edi
callq 0x92d0
xorb $0x1, %bl
movabsq $0x100000001, %rcx      # imm = 0x100000001
movq %rcx, 0x8(%rax)
leaq 0x53850(%rip), %rcx     # 0x5fa08
movq %rcx, (%rax)
movq %rax, %rcx
addq $0x10, %rcx
leaq 0x538b7(%rip), %rdx     # 0x5fa80
movq %rdx, 0x10(%rax)
movb %bl, 0x18(%rax)
movq %rcx, (%r13)
movq %rax, 0x8(%r13)
movq 0x48(%rsp), %rdi
jmp 0xbb61
lock
incl 0x8(%rax)
leaq 0x158(%rsp), %rsi
leaq 0x40(%rsp), %rdx
movq %r13, %rdi
callq 0xba07
movq 0x160(%rsp), %rdi
jmp 0xc226
lock
incl 0x8(%rax)
leaq 0x168(%rsp), %rsi
leaq 0x40(%rsp), %rdx
movq %r13, %rdi
callq 0xba07
movq 0x170(%rsp), %rdi
testq %rdi, %rdi
je 0xc230
callq 0xa946
leaq 0x40(%rsp), %rdi
callq 0xcb8c
movq 0x10(%rsp), %rdi
jmp 0xbb61
lock
incl 0x8(%rax)
movq 0x58(%rbx), %rax
movq %rax, 0x98(%rsp)
movq 0x60(%rbx), %rax
movq %rax, 0xa0(%rsp)
testq %rax, %rax
je 0xc27a
movq 0x55d44(%rip), %rcx     # 0x61fb0
cmpb $0x0, (%rcx)
je 0xc276
incl 0x8(%rax)
jmp 0xc27a
lock
incl 0x8(%rax)
movq 0x50(%rsp), %rax
subq 0x48(%rsp), %rax
sarq $0x3, %rax
movabsq $0x6db6db6db6db6db7, %rcx # imm = 0x6DB6DB6DB6DB6DB7
imulq %rax, %rcx
movq 0x20(%r12), %rax
subq 0x18(%r12), %rax
sarq $0x4, %rax
cmpq %rax, %rcx
jne 0xc5c9
movq %r13, 0x188(%rsp)
leaq 0x8(%rsp), %rdi
movq %r14, 0x198(%rsp)
movq %r14, %rsi
callq 0xcfd6
movq 0x18(%r12), %rax
movq %r12, 0x190(%rsp)
cmpq %rax, 0x20(%r12)
je 0xc3de
movl $0x8, %r14d
xorl %ecx, %ecx
leaq 0x1a8(%rsp), %rbx
leaq 0x28(%rsp), %r12
xorl %r13d, %r13d
movq 0x48(%rsp), %rbp
movq %rcx, 0x1a0(%rsp)
addq %rcx, %rbp
movq -0x8(%rax,%r14), %rcx
movq %rcx, 0xc8(%rsp)
movq (%rax,%r14), %rax
movq %rax, 0xd0(%rsp)
testq %rax, %rax
je 0xc33d
movq 0x55c81(%rip), %rcx     # 0x61fb0
cmpb $0x0, (%rcx)
je 0xc339
incl 0x8(%rax)
jmp 0xc33d
lock
incl 0x8(%rax)
movq %rbx, %rdi
leaq 0xc8(%rsp), %rsi
movq 0x198(%rsp), %rdx
callq 0xba07
movq %r12, %rdi
leaq 0x8(%rsp), %r15
movq %r15, %rsi
movq %rbp, %rdx
movq %rbx, %rbp
movq %rbx, %rcx
callq 0xc924
movq %r15, %rdi
movq %r12, %rsi
callq 0xd158
movq %r12, %rdi
callq 0xcb8c
movq 0x1b0(%rsp), %rdi
testq %rdi, %rdi
je 0xc393
callq 0xa946
movq 0xd0(%rsp), %rdi
testq %rdi, %rdi
je 0xc3a5
callq 0xa946
incq %r13
movq 0x190(%rsp), %rcx
movq 0x18(%rcx), %rax
movq 0x20(%rcx), %rcx
subq %rax, %rcx
sarq $0x4, %rcx
movq 0x1a0(%rsp), %rdx
addq $0x38, %rdx
addq $0x10, %r14
cmpq %rcx, %r13
movq %rdx, %rcx
movq %rbp, %rbx
jb 0xc2fa
movq 0x98(%rsp), %rcx
movq 0xa0(%rsp), %rax
movq %rcx, 0xb8(%rsp)
movq %rax, 0xc0(%rsp)
testq %rax, %rax
movq 0x188(%rsp), %r13
leaq 0x48(%rsp), %rbx
je 0xc425
movq 0x55b99(%rip), %rcx     # 0x61fb0
cmpb $0x0, (%rcx)
je 0xc421
incl 0x8(%rax)
jmp 0xc425
lock
incl 0x8(%rax)
leaq 0xb8(%rsp), %rsi
leaq 0x8(%rsp), %rdx
movq %r13, %rdi
callq 0xba07
movq 0xc0(%rsp), %rdi
testq %rdi, %rdi
je 0xc44c
callq 0xa946
leaq 0x8(%rsp), %rdi
callq 0xcb8c
leaq 0x53783(%rip), %rax     # 0x5fbe0
movq %rax, 0x40(%rsp)
movq 0xa0(%rsp), %rdi
testq %rdi, %rdi
je 0xc474
callq 0xa946
movq 0x90(%rsp), %rdi
testq %rdi, %rdi
je 0xc486
callq 0xa946
movq 0x60(%rsp), %rdi
leaq 0x70(%rsp), %rax
cmpq %rax, %rdi
je 0xc4a2
movq 0x70(%rsp), %rsi
incq %rsi
callq 0x92e0
movq %rbx, %rdi
callq 0xce82
movq 0xf0(%rsp), %rdi
jmp 0xbb61
lock
incl 0x8(%rax)
leaq 0x138(%rsp), %rsi
movq %r13, %rdi
movq %r14, %rdx
callq 0xba07
movq 0x140(%rsp), %rdi
jmp 0xc4f7
lock
incl 0x8(%rax)
leaq 0x128(%rsp), %rsi
movq %r13, %rdi
movq %r14, %rdx
callq 0xba07
movq 0x130(%rsp), %rdi
testq %rdi, %rdi
je 0xc501
callq 0xa946
movq 0x30(%rsp), %rdi
jmp 0xbb61
callq 0x9530
callq 0x9530
movq 0x28(%rsp), %rsi
leaq 0x8(%rsp), %rdi
callq 0xe95c
leaq 0x38e20(%rip), %rsi     # 0x4534b
leaq 0x40(%rsp), %rdi
leaq 0x8(%rsp), %rdx
callq 0xc8b3
movq 0x40(%rsp), %rsi
movq 0x48(%rsp), %rdx
movq 0x55a9d(%rip), %rdi     # 0x61fe8
callq 0x9350
movq %rax, %rdi
callq 0x9140
leaq 0x40(%rsp), %rdi
callq 0x9130
leaq 0x8(%rsp), %rdi
callq 0x9130
leaq 0x3e8e0(%rip), %rdi     # 0x4ae53
leaq 0x38d44(%rip), %rsi     # 0x452be
leaq 0x38df4(%rip), %rcx     # 0x45375
movl $0x43, %edx
callq 0x91a0
movl $0x10, %edi
callq 0x9150
movq %rax, %r14
leaq 0x38e20(%rip), %rsi     # 0x453bf
movq %rax, %rdi
callq 0x93c0
movq 0x55a22(%rip), %rsi     # 0x61fd0
movq 0x559f3(%rip), %rdx     # 0x61fa8
movq %r14, %rdi
callq 0x94b0
jmp 0xc5fb
callq 0x9530
callq 0x9530
movl $0x10, %edi
callq 0x9150
movq %rax, %r14
leaq 0x38de2(%rip), %rsi     # 0x453bf
movq %rax, %rdi
callq 0x93c0
movq 0x559e4(%rip), %rsi     # 0x61fd0
movq 0x559b5(%rip), %rdx     # 0x61fa8
movq %r14, %rdi
callq 0x94b0
movq %rax, %rbx
leaq 0x50(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0xc61e
movq 0x50(%rsp), %rsi
incq %rsi
callq 0x92e0
jmp 0xc61e
movq %rax, %rbx
leaq 0x18(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0xc765
movq 0x18(%rsp), %rsi
incq %rsi
callq 0x92e0
jmp 0xc765
jmp 0xc6a4
movq %rax, %rbx
movq %r14, %rdi
callq 0x9200
jmp 0xc7bc
movq %rax, %rbx
movq 0x130(%rsp), %rdi
jmp 0xc66c
movq %rax, %rbx
movq 0x140(%rsp), %rdi
testq %rdi, %rdi
je 0xc765
callq 0xa946
jmp 0xc765
movq %rax, %rbx
movq %r14, %rdi
callq 0x9200
jmp 0xc7c6
jmp 0xc762
movq %rax, %rbx
movq 0xc0(%rsp), %rdi
jmp 0xc7a8
movq %rax, %rbx
jmp 0xc7bc
movq %rax, %rbx
movq %r15, %rdi
callq 0xce82
jmp 0xc7c6
movq %rax, %rbx
movq 0x170(%rsp), %rdi
jmp 0xc6d4
movq %rax, %rbx
movq 0x160(%rsp), %rdi
testq %rdi, %rdi
je 0xc6de
callq 0xa946
leaq 0x40(%rsp), %rdi
callq 0xcb8c
jmp 0xc721
movq %rax, %rbx
jmp 0xc721
movq %rax, %rbx
movq 0x100(%rsp), %rdi
jmp 0xc80b
movq %rax, %rbx
movq 0xb0(%rsp), %rdi
jmp 0xc80b
movq %rax, %rbx
movq 0x30(%rsp), %rdi
testq %rdi, %rdi
je 0xc721
callq 0xa946
movq 0x10(%rsp), %rdi
jmp 0xc80b
movq %rax, %rbx
movq 0x180(%rsp), %rdi
jmp 0xc80b
movq %rax, %rbx
movq 0xe0(%rsp), %rdi
jmp 0xc80b
movq %rax, %rbx
movq 0x150(%rsp), %rdi
jmp 0xc80b
jmp 0xc75d
movq %rax, %rbx
jmp 0xc7c6
movq %rax, %rbx
movq 0x30(%rsp), %rdi
jmp 0xc80b
movq %rax, %rbx
movq 0x48(%rsp), %rdi
jmp 0xc80b
movq %rax, %rbx
jmp 0xc7e2
movq %rax, %rbx
jmp 0xc803
movq %rax, %rbx
jmp 0xc7a0
movq %rax, %rbx
movq 0x1b0(%rsp), %rdi
testq %rdi, %rdi
je 0xc7a0
callq 0xa946
movq 0xd0(%rsp), %rdi
testq %rdi, %rdi
je 0xc7b2
callq 0xa946
leaq 0x8(%rsp), %rdi
callq 0xcb8c
leaq 0x40(%rsp), %rdi
callq 0xca56
movq 0xf0(%rsp), %rdi
jmp 0xc80b
movq %rax, %rbx
movq 0x10(%rsp), %rdi
testq %rdi, %rdi
je 0xc7e2
callq 0xa946
movq 0x110(%rsp), %rdi
testq %rdi, %rdi
je 0xc7f4
callq 0xa946
movq 0x48(%rsp), %rdi
testq %rdi, %rdi
je 0xc803
callq 0xa946
movq 0x120(%rsp), %rdi
testq %rdi, %rdi
je 0xc815
callq 0xa946
movq %rbx, %rdi
callq 0x94e0