kbd_xlate
n = kbd_xlate(i, make, b, eob);
static int32_t kbd_xlate(int32_t code, int32_t make, int32_t *b, int32_t const *eob);