#define pointer_width 16
#define pointer_height 16
#define pointer_x_hot 8
#define pointer_y_hot 8
static char pointer_bits[] = {
   0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x30, 0x18, 0x70, 0x1c,
   0xe0, 0x0e, 0xc0, 0x07, 0x80, 0x03, 0xc0, 0x07, 0xe0, 0x0e, 0x70, 0x1c,
   0x30, 0x18, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00};