#define terminal_width 9
#define terminal_height 9
static unsigned char terminal_bits[] = {
   0x00, 0x00, 0xff, 0x01, 0x01, 0x01, 0x05, 0x01, 0x09, 0x01, 0x35, 0x01,
   0x01, 0x01, 0x01, 0x01, 0xff, 0x01 };