#define xdvi_mask_width 15
#define xdvi_mask_height 15
static short xdvi_mask_bits[] = {
  0x01c0, 0x03e0, 0x07f0, 0x0ff8,
  0x1ffc, 0x3ffe, 0x7fff, 0x7fff,
  0x7fff, 0x3ffe, 0x1ffc, 0x0ff8,
  0x07f0, 0x03e0, 0x01c0};