// File: /workspace/github_cpp_makefile_star2_O3/0x0584[P]scmin-plus/src/repl/main.cpp
// Function: main
int main()
{
    cout << "This software comes with ABSOLUTLY NO WARRANTY." << endl;
    cout << "scmin++ is a minimal Scheme interpreter.\n" << endl;

    signal(SIGINT, &flush);
    sexpr::init_global();
    while (true) {
        sexpr_t e, res;
        string s;

        cout << "(" << loop << ")> ";
        if (not getline(cin, s)) {
            cout << "Bye!" << endl;
            break;
        } else if (not (e = parse(s)))
            continue;
        if ((res = eval(e, sexpr::global))) {
            cout << "=> "<<  res << endl;
            loop++;
        }
    }
    return 0;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x78, %rsp
movq 0xcde1(%rip), %rbx      # 0x19f88
leaq 0x6563(%rip), %rsi      # 0x13711
movl $0x2f, %edx
movq %rbx, %rdi
callq 0x3210
movq (%rbx), %rax
movq -0x18(%rax), %rdi
addq %rbx, %rdi
movl $0xa, %esi
callq 0x31d0
movsbl %al, %esi
movq %rbx, %rdi
callq 0x3030
movq %rax, %rdi
callq 0x3160
leaq 0x6558(%rip), %rsi      # 0x13741
movl $0x29, %edx
movq %rbx, %rdi
callq 0x3210
movq (%rbx), %rax
movq -0x18(%rax), %rdi
addq %rbx, %rdi
movl $0xa, %esi
callq 0x31d0
movsbl %al, %esi
movq %rbx, %rdi
callq 0x3030
movq %rax, %rdi
callq 0x3160
leaq -0x110(%rip), %rsi      # 0xd114
movl $0x2, %edi
callq 0x3220
callq 0xd8c4
movq 0xcd8e(%rip), %r12      # 0x19fc8
xorps %xmm0, %xmm0
movaps %xmm0, -0x50(%rbp)
leaq -0x60(%rbp), %rax
movq %rax, -0x70(%rbp)
movq $0x0, -0x68(%rbp)
movb $0x0, -0x60(%rbp)
movl $0x1, %edx
xorl %r14d, %r14d
movq %rbx, %rdi
leaq 0x6317(%rip), %rsi      # 0x1357e
callq 0x3210
movq 0xcf5d(%rip), %rsi      # 0x1a1d0
xorl %r14d, %r14d
movq %rbx, %rdi
callq 0x3150
movl $0x3, %edx
xorl %r14d, %r14d
movq %rax, %rdi
leaq 0x647d(%rip), %rsi      # 0x1370d
callq 0x3210
movq (%r12), %rax
movq -0x18(%rax), %rdi
addq %r12, %rdi
xorl %r14d, %r14d
movl $0xa, %esi
callq 0x31d0
movsbl %al, %edx
xorl %r14d, %r14d
movq %r12, %rdi
leaq -0x70(%rbp), %rsi
callq 0x3340
movq (%rax), %rcx
movq -0x18(%rcx), %rcx
movl 0x20(%rax,%rcx), %r13d
testb $0x5, %r13b
je 0xd35f
movl $0x4, %edx
xorl %r14d, %r14d
movq %rbx, %rdi
leaq 0x6484(%rip), %rsi      # 0x1376b
callq 0x3210
movq (%rbx), %rax
movq -0x18(%rax), %rdi
addq %rbx, %rdi
xorl %r14d, %r14d
movl $0xa, %esi
callq 0x31d0
movsbl %al, %esi
xorl %r14d, %r14d
movq %rbx, %rdi
callq 0x3030
xorl %r14d, %r14d
movq %rax, %rdi
callq 0x3160
movq -0x70(%rbp), %rdi
leaq -0x60(%rbp), %rax
cmpq %rax, %rdi
je 0xd335
movq -0x60(%rbp), %rsi
incq %rsi
callq 0x31f0
testq %r14, %r14
je 0xd342
movq %r14, %rdi
callq 0x4104
movq -0x48(%rbp), %rdi
testq %rdi, %rdi
je 0xd350
callq 0x4104
testb $0x5, %r13b
je 0xd23a
jmp 0xd4a6
leaq -0x90(%rbp), %rax
movq %rax, -0xa0(%rbp)
movq -0x70(%rbp), %rsi
movq -0x68(%rbp), %rdx
addq %rsi, %rdx
leaq -0xa0(%rbp), %r14
movq %r14, %rdi
callq 0x45ca
leaq -0x40(%rbp), %rdi
movq %r14, %rsi
callq 0x1077a
movq -0x40(%rbp), %r14
movq -0x38(%rbp), %rax
xorps %xmm0, %xmm0
movaps %xmm0, -0x40(%rbp)
movq %r14, -0x50(%rbp)
movq -0x48(%rbp), %rdi
movq %rax, -0x48(%rbp)
testq %rdi, %rdi
je 0xd3ca
callq 0x4104
movq -0x50(%rbp), %r14
movq -0x38(%rbp), %rdi
testq %rdi, %rdi
je 0xd3ca
callq 0x4104
movq -0xa0(%rbp), %rdi
leaq -0x90(%rbp), %rax
cmpq %rax, %rdi
je 0xd3ec
movq -0x90(%rbp), %rsi
incq %rsi
callq 0x31f0
testq %r14, %r14
je 0xd449
leaq -0x40(%rbp), %rdi
leaq -0x50(%rbp), %rsi
leaq 0xcde0(%rip), %rdx      # 0x1a1e0
callq 0xf373
movq -0x40(%rbp), %r15
movq -0x38(%rbp), %r14
testq %r15, %r15
je 0xd31c
movl $0x3, %edx
movq %rbx, %rdi
leaq 0x634b(%rip), %rsi      # 0x13770
callq 0x3210
movq %r15, -0x80(%rbp)
movq %r14, -0x78(%rbp)
testq %r14, %r14
je 0xd456
movq 0xcb42(%rip), %rax      # 0x19f80
cmpb $0x0, (%rax)
je 0xd451
incl 0x8(%r14)
jmp 0xd456
xorl %r14d, %r14d
jmp 0xd31c
lock
incl 0x8(%r14)
movq %rbx, %rdi
leaq -0x80(%rbp), %rsi
callq 0xa61c
movq %rax, %r15
movq (%rax), %rax
movq -0x18(%rax), %rdi
addq %r15, %rdi
movl $0xa, %esi
callq 0x31d0
movsbl %al, %esi
movq %r15, %rdi
callq 0x3030
movq %rax, %rdi
callq 0x3160
movq -0x78(%rbp), %rdi
testq %rdi, %rdi
je 0xd49a
callq 0x4104
incq 0xcd2f(%rip)            # 0x1a1d0
jmp 0xd31c
xorl %eax, %eax
addq $0x78, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
jmp 0xd4b9
movq %rax, %rbx
jmp 0xd4e3
movq %rax, %rbx
movq -0xa0(%rbp), %rdi
leaq -0x90(%rbp), %rax
cmpq %rax, %rdi
je 0xd4e3
movq -0x90(%rbp), %rsi
incq %rsi
callq 0x31f0
xorl %r14d, %r14d
jmp 0xd4fe
movq %rax, %rbx
movq -0x78(%rbp), %rdi
testq %rdi, %rdi
je 0xd4fe
callq 0x4104
jmp 0xd4fe
movq %rax, %rbx
movq -0x70(%rbp), %rdi
leaq -0x60(%rbp), %rax
cmpq %rax, %rdi
je 0xd517
movq -0x60(%rbp), %rsi
incq %rsi
callq 0x31f0
testq %r14, %r14
je 0xd524
movq %r14, %rdi
callq 0x4104
movq -0x48(%rbp), %rdi
testq %rdi, %rdi
je 0xd532
callq 0x4104
movq %rbx, %rdi
callq 0x3310