// File: /workspace/github_cpp_makefile_star2_O1/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 0x4ff4
cmpq $0x1, %rax
jne 0x84aa
movq (%r15), %rsi
leaq -0x48(%rbp), %r12
movq %r12, %rdi
callq 0x634a
movq (%r12), %rdi
callq 0x4ef8
movl %eax, %r12d
movq -0x40(%rbp), %rdi
testq %rdi, %rdi
je 0x83af
callq 0x4114
testb %r12b, %r12b
je 0x84bf
movq (%r15), %rsi
leaq -0x58(%rbp), %r15
movq %r15, %rdi
callq 0x634a
movq (%r15), %rax
movq (%rax), %rdi
callq 0x4695
movq %rax, %r15
testq %rax, %rax
je 0x852e
leaq -0x38(%rbp), %r12
movq %r12, -0x10(%r12)
movq (%r15), %rsi
movq 0x8(%r15), %rdx
addq %rsi, %rdx
leaq -0x48(%rbp), %rdi
callq 0x45ce
movb 0x20(%r15), %al
leaq -0x48(%rbp), %rsi
movb %al, 0x20(%rsi)
leaq -0x78(%rbp), %rdi
callq 0x38ac
leaq -0x78(%rbp), %rsi
movq %r14, %rdi
callq 0xb06a
movq %rax, %r15
leaq -0x68(%rbp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x8436
movq -0x68(%rbp), %rsi
incq %rsi
callq 0x31f0
movq -0x48(%rbp), %rdi
cmpq %r12, %rdi
je 0x844b
movq -0x38(%rbp), %rsi
incq %rsi
callq 0x31f0
movq -0x50(%rbp), %rdi
testq %rdi, %rdi
je 0x8459
callq 0x4114
testq %r15, %r15
je 0x84d4
movq %r14, %rdi
movq %r15, %rsi
callq 0xb1f2
leaq -0x48(%rbp), %rdi
movq %r12, (%rdi)
leaq 0xb3b2(%rip), %rsi      # 0x13829
leaq 0xb3ac(%rip), %rdx      # 0x1382a
callq 0x6ca4
leaq -0x48(%rbp), %rsi
movq %rbx, %rdi
callq 0x51e2
movq -0x48(%rbp), %rdi
cmpq %r12, %rdi
je 0x851e
movq -0x38(%rbp), %rsi
incq %rsi
callq 0x31f0
jmp 0x851e
movq 0x11b37(%rip), %r14     # 0x19fe8
leaq 0xaf40(%rip), %rsi      # 0x133f8
movl $0x1c, %edx
jmp 0x84e7
movq 0x11b22(%rip), %r14     # 0x19fe8
leaq 0xaf48(%rip), %rsi      # 0x13415
movl $0x22, %edx
jmp 0x84e7
movq 0x11b0d(%rip), %r14     # 0x19fe8
leaq 0xaf56(%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 0x51b8
movq %rbx, %rax
addq $0x60, %rsp
popq %rbx
popq %r12
popq %r14
popq %r15
popq %rbp
retq
callq 0x4667
movq %rax, %rbx
movq -0x48(%rbp), %rdi
cmpq %r12, %rdi
je 0x85ac
movq -0x38(%rbp), %rsi
incq %rsi
callq 0x31f0
jmp 0x85ac
movq %rax, %rbx
jmp 0x85ac
movq %rax, %rbx
leaq -0x68(%rbp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x8573
movq -0x68(%rbp), %rsi
incq %rsi
callq 0x31f0
jmp 0x8573
movq %rax, %rbx
movq -0x48(%rbp), %rdi
cmpq %r12, %rdi
je 0x8595
movq -0x38(%rbp), %rsi
incq %rsi
callq 0x31f0
jmp 0x8595
movq %rax, %rdi
callq 0x4085
movq %rax, %rbx
movq -0x50(%rbp), %rdi
jmp 0x85a2
movq %rax, %rbx
movq -0x40(%rbp), %rdi
testq %rdi, %rdi
je 0x85ac
callq 0x4114
movq %rbx, %rdi
callq 0x3310