// File: /workspace/github_cpp_makefile_star2_O1/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 0xc87d(%rip), %rbx      # 0x19f88
leaq 0x5fff(%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 0x5ff4(%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      # 0xd678
movl $0x2, %edi
callq 0x3220
callq 0xde2e
movq 0xc82a(%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 0x5db3(%rip), %rsi      # 0x1357e
callq 0x3210
movq 0xc9f9(%rip), %rsi      # 0x1a1d0
xorl %r14d, %r14d
movq %rbx, %rdi
callq 0x3150
movl $0x3, %edx
xorl %r14d, %r14d
movq %rax, %rdi
leaq 0x5f19(%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 0xd8c3
movl $0x4, %edx
xorl %r14d, %r14d
movq %rbx, %rdi
leaq 0x5f20(%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 0xd899
movq -0x60(%rbp), %rsi
incq %rsi
callq 0x31f0
testq %r14, %r14
je 0xd8a6
movq %r14, %rdi
callq 0x4114
movq -0x48(%rbp), %rdi
testq %rdi, %rdi
je 0xd8b4
callq 0x4114
testb $0x5, %r13b
je 0xd79e
jmp 0xda17
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 0x45ce
leaq -0x40(%rbp), %rdi
movq %r14, %rsi
callq 0x10d4c
movaps -0x40(%rbp), %xmm0
xorps %xmm1, %xmm1
movaps %xmm1, -0x40(%rbp)
movq -0x48(%rbp), %rdi
movaps %xmm0, -0x50(%rbp)
testq %rdi, %rdi
je 0xd914
callq 0x4114
movq -0x50(%rbp), %r14
movq -0x38(%rbp), %rdi
testq %rdi, %rdi
je 0xd926
callq 0x4114
movq -0xa0(%rbp), %rdi
leaq -0x90(%rbp), %rax
cmpq %rax, %rdi
je 0xd948
movq -0x90(%rbp), %rsi
incq %rsi
callq 0x31f0
testq %r14, %r14
je 0xd9ba
leaq -0x40(%rbp), %rdi
leaq -0x50(%rbp), %rsi
leaq 0xc884(%rip), %rdx      # 0x1a1e0
callq 0xf8dd
movq -0x40(%rbp), %r15
movq -0x38(%rbp), %r14
xorps %xmm0, %xmm0
movaps %xmm0, -0x40(%rbp)
movq -0x38(%rbp), %rdi
testq %rdi, %rdi
je 0xd97e
callq 0x4114
testq %r15, %r15
je 0xd880
movl $0x3, %edx
movq %rbx, %rdi
leaq 0x5dda(%rip), %rsi      # 0x13770
callq 0x3210
movq %r15, -0x80(%rbp)
movq %r14, -0x78(%rbp)
testq %r14, %r14
je 0xd9c7
movq 0xc5d1(%rip), %rax      # 0x19f80
cmpb $0x0, (%rax)
je 0xd9c2
incl 0x8(%r14)
jmp 0xd9c7
xorl %r14d, %r14d
jmp 0xd880
lock
incl 0x8(%r14)
movq %rbx, %rdi
leaq -0x80(%rbp), %rsi
callq 0xa8f0
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 0xda0b
callq 0x4114
incq 0xc7be(%rip)            # 0x1a1d0
jmp 0xd880
xorl %eax, %eax
addq $0x78, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
jmp 0xda2a
movq %rax, %rbx
jmp 0xda54
movq %rax, %rbx
movq -0xa0(%rbp), %rdi
leaq -0x90(%rbp), %rax
cmpq %rax, %rdi
je 0xda54
movq -0x90(%rbp), %rsi
incq %rsi
callq 0x31f0
xorl %r14d, %r14d
jmp 0xda6f
movq %rax, %rbx
movq -0x78(%rbp), %rdi
testq %rdi, %rdi
je 0xda6f
callq 0x4114
jmp 0xda6f
movq %rax, %rbx
movq -0x70(%rbp), %rdi
leaq -0x60(%rbp), %rax
cmpq %rax, %rdi
je 0xda88
movq -0x60(%rbp), %rsi
incq %rsi
callq 0x31f0
testq %r14, %r14
je 0xda95
movq %r14, %rdi
callq 0x4114
movq -0x48(%rbp), %rdi
testq %rdi, %rdi
je 0xdaa3
callq 0x4114
movq %rbx, %rdi
callq 0x3310
nop