#define dot_width 16
#define dot_height 16
#define dot_x_hot 7
#define dot_y_hot 7
static short dot_bits[] = {
   0x0000, 0x0000, 0x0000, 0x0000,
   0x0000, 0x01c0, 0x0360, 0x0220,
   0x0360, 0x01c0, 0x0000, 0x0000,
   0x0000, 0x0000, 0x0000, 0x0000};
