#define redo_width 32
#define redo_height 9
static char redo_bits[] = {
   0x00, 0x00, 0x00, 0x00, 0x7c, 0x7c, 0x1e, 0x3c, 0xfc, 0x4c, 0x36, 0x66,
   0xcc, 0x0c, 0x66, 0x66, 0xcc, 0x3c, 0x66, 0x66, 0x7c, 0x3c, 0x66, 0x66,
   0x6c, 0x0c, 0x66, 0x66, 0xcc, 0x0c, 0x36, 0x66, 0xcc, 0x7c, 0x1e, 0x3c};