#define menu_mask_width 16
#define menu_mask_height 16
static short menu_mask_bits[] = {
   0x0000, 0x0000, 0x0030, 0x0038,
   0xfffc, 0xfffe, 0xffff, 0xffff,
   0xffff, 0xfffe, 0xfffc, 0x0038,
   0x0030, 0x0000, 0x0000, 0x0000};
