NUM_SENSE_KEYS
if (sense_ptr->es_key < NUM_SENSE_KEYS +
char *sense_keys[NUM_SENSE_KEYS + NUM_IMPL_SENSE_KEYS] = {
if (sense_key >= (uchar_t)(NUM_SENSE_KEYS+NUM_IMPL_SENSE_KEYS)) {
extern char *sense_keys[NUM_SENSE_KEYS + NUM_IMPL_SENSE_KEYS];