#define demote_width 16
#define demote_height 16
#define demote_x_hot 3
#define demote_y_hot 8
static char demote_bits[] = {
   0x00, 0x00, 0x00, 0x00, 0x80, 0x00, 0x80, 0x01, 0x80, 0x03, 0xf8, 0x07,
   0xf8, 0x0f, 0xf8, 0x1f, 0xf8, 0x3f, 0xf8, 0x1f, 0xf8, 0x0f, 0xf8, 0x07,
   0x80, 0x03, 0x80, 0x01, 0x80, 0x00, 0x00, 0x00};
