#define dot_width 8
#define dot_height 8
static char dot_bits[] = {
   0x00, 0x3c, 0x7e, 0x7e, 0x7e, 0x7e, 0x3c, 0x00};