#define max_hover_width 16
#define max_hover_height 16
static unsigned char max_hover_bits[] = {
   0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x80, 0x01,
   0xc0, 0x03, 0xe0, 0x07, 0xf0, 0x0f, 0x78, 0x1e,
   0x3c, 0x3c, 0x1e, 0x78, 0x0f, 0xf0, 0x07, 0xe0,
   0x03, 0xc0, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00};