NUM_IMPL_SENSE_KEYS
NUM_IMPL_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];