#define cursor_mask_width 17
#define cursor_mask_height 12
#define cursor_mask_x_hot 8
#define cursor_mask_y_hot 7
static char cursor_mask_bits[] = {
   0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
   0x00, 0x00, 0x00, 0x0c, 0x60, 0x00, 0x1e, 0xf0, 0x00, 0xff, 0xff, 0x01,
   0xff, 0xff, 0x01, 0xff, 0xff, 0x01, 0x1e, 0xf0, 0x00, 0x0c, 0x60, 0x00};