#define left_ptr_mask_width 16
#define left_ptr_mask_height 16
static short left_ptr_mask_bits[] = {
   0x000c, 0x001c, 0x003c, 0x007c,
   0x00fc, 0x01fc, 0x03fc, 0x07fc,
   0x0ffc, 0x0ffc, 0x01fc, 0x03dc,
   0x03cc, 0x0780, 0x0780, 0x0300};