instanceof 447 core/Toplevel.cpp Atom Toplevel::instanceof(Atom atom, Atom ctor) instanceof 171 core/instr.cpp Atom instanceof(E caller_env, Atom val, Atom ctor) {