#define copy_mask_width 16
#define copy_mask_height 16
#define copy_mask_x_hot 4
#define copy_mask_y_hot 4
static char copy_mask_bits[] = {
   0x00, 0x00, 0xfe, 0x07, 0xfe, 0x07, 0xfe, 0x07, 0xfe, 0x3f, 0xfe, 0x3f,
   0xfe, 0x3f, 0xfe, 0x3f, 0xfe, 0x3f, 0xfe, 0x3f, 0xfe, 0x3f, 0xfe, 0x3f,
   0xf0, 0x3f, 0xf0, 0x3f, 0xf0, 0x3f, 0x00, 0x00};
