#define textline_mask_width 16
#define textline_mask_height 16
static char textline_mask_bits[] = {
   0xf8, 0x0f, 0xf8, 0x0f, 0xe0, 0x03, 0xc0, 0x01, 0xc0, 0x01, 0xc0, 0x01,
   0xc0, 0x01, 0xc0, 0x01, 0xc0, 0x01, 0xc0, 0x01, 0xf8, 0x0f, 0xf8, 0x0f,
   0xf8, 0x0f, 0xe0, 0x03, 0xf8, 0x0f, 0xf8, 0x0f};
