#define timer_mask_width 16
#define timer_mask_height 16
static char timer_mask_bits[] = {
   0x00, 0x00, 0xfc, 0x1f, 0xfc, 0x1f, 0xfc, 0x1f, 0xf8, 0x0f, 0xf8, 0x0f,
   0xf0, 0x07, 0xe0, 0x03, 0xe0, 0x03, 0xf0, 0x07, 0xf8, 0x0f, 0xf8, 0x0f,
   0xfc, 0x1f, 0xfc, 0x1f, 0xfc, 0x1f, 0x00, 0x00};
