#define play_width 16
#define play_height 16
static char play_bits[] = {
   0x00, 0x00, 0x2e, 0x57, 0x2a, 0x75, 0x2e, 0x27, 0x62, 0x25, 0x00, 0x00,
   0x08, 0x10, 0x36, 0x6c, 0x22, 0x44, 0x41, 0x82, 0x22, 0x44, 0x36, 0x6c,
   0x08, 0x10, 0xf0, 0x0f, 0xc0, 0x03, 0x00, 0x00};