#define Stipple_width 4
#define Stipple_height 4
static char Stipple_bits[] = {
   0x00, 0x00, 0x03, 0x03};
