#define right_ptr_mask_width 16
#define right_ptr_mask_height 16
static short right_ptr_mask_bits[] = {
   0x3000, 0x3800, 0x3c00, 0x3e00,
   0x3f00, 0x3f80, 0x3fc0, 0x3fe0,
   0x3ff0, 0x3ff0, 0x3f80, 0x3bc0,
   0x33c0, 0x01e0, 0x01e0, 0x00c0};