K_HOLE
val = K_HOLE;
val = (kb_index ? K_HOLE : K_NOSUCHMAP);
key_map[j] = U(K_HOLE);
return K_HOLE;
return idx ? K_HOLE : K_NOSUCHMAP;