K_NOSUCHMAP
val = (kb_index ? K_HOLE : K_NOSUCHMAP);
if (!kb_index && tmp.kb_value == K_NOSUCHMAP) {
return idx ? K_HOLE : K_NOSUCHMAP;
if (!idx && val == K_NOSUCHMAP) {