#define max_hover_width 8
#define max_hover_height 8
static unsigned char max_hover_bits[] = {
   0x00, 0x7e, 0x72, 0x62, 0x42, 0x42, 0x7e, 0x00 };