#define right_tee_mask_width 16
#define right_tee_mask_height 16
static short right_tee_mask_bits[] = {
   0xf000, 0xf000, 0xf000, 0xf000,
   0xf000, 0xf000, 0xfff0, 0xfff0,
   0xfff0, 0xfff0, 0xf000, 0xf000,
   0xf000, 0xf000, 0xf000, 0xf000};