#define paste_mask_width 16
#define paste_mask_height 16
#define paste_mask_x_hot 2
#define paste_mask_y_hot 6
static char paste_mask_bits[] = {
   0x00, 0x00, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0xfc, 0x0f,
   0xfc, 0x0f, 0xfc, 0x0f, 0xfe, 0x07, 0xfe, 0x07, 0xfe, 0x07, 0xfe, 0x07,
   0xfe, 0x07, 0xfe, 0x07, 0x00, 0x00, 0x00, 0x00};
