#define rfast_mask_width 16
#define rfast_mask_height 16
#define rfast_mask_x_hot 7
#define rfast_mask_y_hot 7
static char rfast_mask_bits[] = {
   0x83, 0x01, 0x87, 0x03, 0x8f, 0x07, 0x9f, 0x0f, 0xbf, 0x1f, 0xff, 0x3f,
   0xff, 0x7f, 0xff, 0xff, 0xff, 0x7f, 0xff, 0x3f, 0xbf, 0x1f, 0x9f, 0x0f,
   0x8f, 0x07, 0x87, 0x03, 0x83, 0x01, 0x00, 0x00};
