#define refresh_width 9
#define refresh_height 9
static unsigned char refresh_bits[] = {
  0x10, 0x00, 0x38, 0x00, 0x10, 0x00, 0x92, 0x00, 0xff, 0x01, 0x92, 0x00,
  0x10, 0x00, 0x38, 0x00, 0x10, 0x00, };
