#define rdfast_mask_width 16
#define rdfast_mask_height 16
#define rdfast_mask_x_hot 9
#define rdfast_mask_y_hot 9
static char rdfast_mask_bits[] = {
   0x00, 0x06, 0x00, 0x07, 0x80, 0x07, 0xc0, 0x07, 0xe0, 0x07, 0xf0, 0xc7,
   0xf8, 0xe7, 0xfc, 0xf7, 0xfe, 0xff, 0xff, 0xff, 0xff, 0xff, 0x00, 0xff,
   0x80, 0xff, 0xc0, 0xff, 0xe0, 0xff, 0xe0, 0xff};