#define right_ptr_width 16
#define right_ptr_height 16
#define right_ptr_x_hot 12
#define right_ptr_y_hot 1
static short right_ptr_bits[] = {
   0x0000, 0x1000, 0x1800, 0x1c00,
   0x1e00, 0x1f00, 0x1f80, 0x1fc0,
   0x1fe0, 0x1f00, 0x1b00, 0x1180,
   0x0180, 0x00c0, 0x00c0, 0x0000};