#define bottom_tee_mask_width 16
#define bottom_tee_mask_height 16
static short bottom_tee_mask_bits[] = {
   0x0000, 0x0000, 0x0000, 0x0000,
   0x03c0, 0x03c0, 0x03c0, 0x03c0,
   0x03c0, 0x03c0, 0x03c0, 0x03c0,
   0xffff, 0xffff, 0xffff, 0xffff};