#define bad_width 16
#define bad_height 16
static char bad_bits[] = {
   0x7f, 0xff, 0xbf, 0xfd, 0xdf, 0xfb, 0xef, 0xf7, 0xf4, 0x2f, 0xea, 0x5f,
   0x85, 0xa3, 0x82, 0x43, 0xe2, 0x4f, 0x85, 0xa3, 0x8a, 0x53, 0xf7, 0xef,
   0xef, 0xf7, 0xdf, 0xfb, 0xbf, 0xfd, 0xff, 0xff};