#define dot_width 16
#define dot_height 16
#define dot_x_hot 8
#define dot_y_hot 8
static short dot_bits[] = {
   0x0000, 0x0000, 0x0000, 0x03c0,
   0x0ff0, 0x0ff0, 0x1ff8, 0x1ff8,
   0x1ff8, 0x1ff8, 0x0ff0, 0x0ff0,
   0x03c0, 0x0000, 0x0000, 0x0000};