#define bad_width 16
#define bad_height 16
#define bad_x_hot 7
#define bad_y_hot 7
static unsigned char bad_bits[] = {
   0x00, 0x00, 0xe0, 0x03, 0x10, 0x04, 0x08, 0x08, 0x04, 0x14, 0x02, 0x22,
   0x02, 0x21, 0x82, 0x20, 0x42, 0x20, 0x22, 0x20, 0x14, 0x10, 0x08, 0x08,
   0x10, 0x04, 0xe0, 0x03, 0x00, 0x00, 0x00, 0x00};