// File: /workspace/github_cpp_makefile_star2_O3/0x0584[P]scmin-plus/src/builtin/builtin.cpp
// Function: builtin::_unset(std::shared_ptr<sexpr> const&, std::unordered_map<std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>>, std::shared_ptr<sexpr>, std::hash<std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>>>, std::equal_to<std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>>>, std::allocator<std::pair<std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>> const, std::shared_ptr<sexpr>>>>&)
sexpr_t builtin::_unset(const sexpr_t& args, env_t& bindings) {
    if (args->length() != 1) {
        cerr << "Err: expecting one argument!" << endl;
        return nil();
    }
    if (not args->car()->issymb()) {
        cerr << "Err: cannot unset constant values!" << endl;
        return nil();
    }
    auto itr = bindings.find(any_cast<sexpr_text>(*args->car()->blob).text());
    if (itr == end(bindings)) {
        cerr << "Err: symbol is not defined" << endl;
        return nil();
    }
    bindings.erase(itr);
    return symb("t");
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r12
pushq %rbx
subq $0x60, %rsp
movq %rdx, %r14
movq %rsi, %r15
movq %rdi, %rbx
movq (%rsi), %rdi
callq 0x4fb6
cmpq $0x1, %rax
jne 0x8262
movq (%r15), %rsi
leaq -0x48(%rbp), %r12
movq %r12, %rdi
callq 0x628e
movq (%r12), %rdi
callq 0x4ed6
movl %eax, %r12d
movq -0x40(%rbp), %rdi
testq %rdi, %rdi
je 0x8167
callq 0x4104
testb %r12b, %r12b
je 0x8277
movq (%r15), %rsi
leaq -0x58(%rbp), %r15
movq %r15, %rdi
callq 0x628e
movq (%r15), %rax
movq (%rax), %rdi
callq 0x4696
movq %rax, %r15
testq %rax, %rax
je 0x82e6
leaq -0x38(%rbp), %r12
movq %r12, -0x10(%r12)
movq (%r15), %rsi
movq 0x8(%r15), %rdx
addq %rsi, %rdx
leaq -0x48(%rbp), %rdi
callq 0x45ca
movb 0x20(%r15), %al
leaq -0x48(%rbp), %rsi
movb %al, 0x20(%rsi)
leaq -0x78(%rbp), %rdi
callq 0x389c
leaq -0x78(%rbp), %rsi
movq %r14, %rdi
callq 0xad96
movq %rax, %r15
leaq -0x68(%rbp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x81ee
movq -0x68(%rbp), %rsi
incq %rsi
callq 0x31f0
movq -0x48(%rbp), %rdi
cmpq %r12, %rdi
je 0x8203
movq -0x38(%rbp), %rsi
incq %rsi
callq 0x31f0
movq -0x50(%rbp), %rdi
testq %rdi, %rdi
je 0x8211
callq 0x4104
testq %r15, %r15
je 0x828c
movq %r14, %rdi
movq %r15, %rsi
callq 0xaf16
leaq -0x48(%rbp), %rdi
movq %r12, (%rdi)
leaq 0xb5fa(%rip), %rsi      # 0x13829
leaq 0xb5f4(%rip), %rdx      # 0x1382a
callq 0x6b44
leaq -0x48(%rbp), %rsi
movq %rbx, %rdi
callq 0x5176
movq -0x48(%rbp), %rdi
cmpq %r12, %rdi
je 0x82d6
movq -0x38(%rbp), %rsi
incq %rsi
callq 0x31f0
jmp 0x82d6
movq 0x11d7f(%rip), %r14     # 0x19fe8
leaq 0xb188(%rip), %rsi      # 0x133f8
movl $0x1c, %edx
jmp 0x829f
movq 0x11d6a(%rip), %r14     # 0x19fe8
leaq 0xb190(%rip), %rsi      # 0x13415
movl $0x22, %edx
jmp 0x829f
movq 0x11d55(%rip), %r14     # 0x19fe8
leaq 0xb19e(%rip), %rsi      # 0x13438
movl $0x1a, %edx
movq %r14, %rdi
callq 0x3210
movq (%r14), %rax
movq -0x18(%rax), %rdi
addq %r14, %rdi
movl $0xa, %esi
callq 0x31d0
movsbl %al, %esi
movq %r14, %rdi
callq 0x3030
movq %rax, %rdi
callq 0x3160
movq %rbx, %rdi
callq 0x514c
movq %rbx, %rax
addq $0x60, %rsp
popq %rbx
popq %r12
popq %r14
popq %r15
popq %rbp
retq
callq 0x4668
movq %rax, %rbx
movq -0x48(%rbp), %rdi
cmpq %r12, %rdi
je 0x8364
movq -0x38(%rbp), %rsi
incq %rsi
callq 0x31f0
jmp 0x8364
movq %rax, %rbx
jmp 0x8364
movq %rax, %rbx
leaq -0x68(%rbp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x832b
movq -0x68(%rbp), %rsi
incq %rsi
callq 0x31f0
jmp 0x832b
movq %rax, %rbx
movq -0x48(%rbp), %rdi
cmpq %r12, %rdi
je 0x834d
movq -0x38(%rbp), %rsi
incq %rsi
callq 0x31f0
jmp 0x834d
movq %rax, %rdi
callq 0x4075
movq %rax, %rbx
movq -0x50(%rbp), %rdi
jmp 0x835a
movq %rax, %rbx
movq -0x40(%rbp), %rdi
testq %rdi, %rdi
je 0x8364
callq 0x4104
movq %rbx, %rdi
callq 0x3310