#define dots_big_width 16
#define dots_big_height 16
static char dots_big_bits[] = {
   0xdd, 0xdd, 0x88, 0x88, 0xdd, 0xdd, 0xff, 0xff, 0xdd, 0xdd, 0x88, 0x88,
   0xdd, 0xdd, 0xff, 0xff, 0xdd, 0xdd, 0x88, 0x88, 0xdd, 0xdd, 0xff, 0xff,
   0xdd, 0xdd, 0x88, 0x88, 0xdd, 0xdd, 0xff, 0xff};