#define promote_width 16
#define promote_height 16
#define promote_x_hot 12
#define promote_y_hot 8
static char promote_bits[] = {
   0x00, 0x00, 0x00, 0x00, 0x00, 0x01, 0x80, 0x01, 0xc0, 0x01, 0xe0, 0x1f,
   0xf0, 0x1f, 0xf8, 0x1f, 0xfc, 0x1f, 0xf8, 0x1f, 0xf0, 0x1f, 0xe0, 0x1f,
   0xc0, 0x01, 0x80, 0x01, 0x00, 0x01, 0x00, 0x00};
