#define terminal_width 18
#define terminal_height 18
static char terminal_bits[] = {
  0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0xFF, 0xFF, 0x03, 0xFF, 0xFF, 0x03, 
  0x03, 0x00, 0x03, 0x03, 0x00, 0x03, 0x33, 0x00, 0x03, 0x33, 0x00, 0x03, 
  0xC3, 0x00, 0x03, 0xC3, 0x00, 0x03, 0x33, 0x0F, 0x03, 0x33, 0x0F, 0x03, 
  0x03, 0x00, 0x03, 0x03, 0x00, 0x03, 0x03, 0x00, 0x03, 0x03, 0x00, 0x03, 
  0xFF, 0xFF, 0x03, 0xFF, 0xFF, 0x03, };