#define keyboard_mask_width 24
#define keyboard_mask_height 12
static short keyboard_mask_bits[] = {
   0x0000, 0xff00, 0xfffe, 0xff7f,
   0xffff, 0xffff, 0xffff, 0xffff,
   0xffff, 0xffff, 0xffff, 0xffff,
   0xffff, 0xffff, 0xffff, 0xffff,
   0xffff, 0xffff, 0xffff, 0xffff,
   0xffff, 0xffff, 0xfffe, 0xff7f};
