#define flag_mask_width 11
#define flag_mask_height 13
static unsigned char flag_mask_bits[] = {
   0x18, 0x00, 0x78, 0x00, 0xf8, 0x01, 0xf8, 0x07, 0xf8, 0x01, 0x78, 0x00,
   0x18, 0x00, 0x08, 0x00, 0x08, 0x00, 0x08, 0x00, 0x08, 0x00, 0x1c, 0x00,
   0xff, 0x01};
