#define doppel_mask_width 11
#define doppel_mask_height 12
static unsigned char doppel_mask_bits[] = {
   0xb0, 0x01, 0x90, 0x00, 0x90, 0x00, 0x90, 0x00, 0x90, 0x00, 0xfc, 0x01,
   0xff, 0x07, 0xfc, 0x03, 0xff, 0x07, 0xfc, 0x03, 0xff, 0x07, 0xfc, 0x01};
