#define epsilon_width 15
#define epsilon_height 20
static char epsilon_bits[] = {
   0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x80, 0x07, 0xc0, 0x08,
   0x60, 0x00, 0x60, 0x00, 0xe0, 0x03, 0x60, 0x00, 0x60, 0x00, 0x60, 0x00,
   0xc0, 0x08, 0x80, 0x07, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
   0x00, 0x00, 0x00, 0x00};