The sensory version of a key is defined as:

The sensory version of a node key, fetch key or sense key is a sense key to the same node with the same databyte except for bits 0 and 1 which are 1 {no-call and read-only}.

The sensory version of a segment key to a node is the segment key with the same LSS and to the same node but with both no-call and read-only bits = 1.

The sensory version of a page key is a read-only page key to the same page.

The sensory version of a data key is the same key.

The sensory version of each of the following miscellaneous keys is the same key:

DISCRIM

The data key creator

RETURNER

The sensory version of any other key is DK(0).

The Weakener {(p2, weakener)} may be used to create the sensory version of any key.

If "S" is a sense key to node N and 0 <= n <= 15 then S(SENSE__FETCH+n;==>;K) produces in K the sensory version of the key in slot n of N.

S(SENSE__DATA_BYTE;==>c;) returns the databyte of S in c.

S(kt;==>c;) returns 1 in c.

SENSE__FETCH=0, SENSE__DATA_BYTE=40.

We have chosen to restrict access to sense keys for the reasons given in (p1,sense-int). Come to us if you think that you need them.