Fetch keys obey the following order codes as do node keys {(p2,node)}: NODE__FETCH+n, NODE__DATA_BYTE.

Where NF is a fetch key, NF(kt;==>c;) returns 4 in c.

{arcane}We have changed the fetch key so that

The fetch key does not obey order codes of the form NODE__MAKE_type_KEY {as they once did};

fetch keys are invalid in initial slots as memory keys {(p1,segmodekey)};

the DISCRIM key returns 5 instead of 3 for a fetch key.

These changes weaken the fetch key. They remedy the situation described in (p1,design-bug).