#define xterm_mask_width 9
#define xterm_mask_height 16
static short xterm_mask_bits[] =   {0x01ef, 0x01ff, 0x01ff, 0x007c,
			 0x0038, 0x0038, 0x0038, 0x0038,
			 0x0038, 0x0038, 0x0038, 0x0038,
			 0x007c, 0x01ff, 0x01ff, 0x01ef};