#define mask_width 16
#define mask_height 16
#define mask_x_hot 8
#define mask_y_hot 0
static char mask_bits[] = {
   0x7f, 0xfc, 0x3f, 0xf8, 0xff, 0xfe, 0x1f, 0xf0, 0x0f, 0xe0, 0x07, 0xc0,
   0x03, 0x80, 0x01, 0x00, 0x01, 0x00, 0x01, 0x00, 0x01, 0x00, 0x01, 0x00,
   0x03, 0x80, 0x07, 0xc0, 0x0f, 0xe0, 0x1f, 0xf0};