#define file_width 9
#define file_height 9
static unsigned char file_bits[] = {
   0x1f, 0x00, 0x11, 0x00, 0xf1, 0x01, 0x01, 0x01, 0x01, 0x01, 0x01, 0x01,
   0x01, 0x01, 0x01, 0x01, 0xff, 0x01 };