#define top_tee_width 16
#define top_tee_height 16
#define top_tee_x_hot 8
#define top_tee_y_hot 1
static short top_tee_bits[] = {
   0x0000, 0x7ffe, 0x7ffe, 0x0180,
   0x0180, 0x0180, 0x0180, 0x0180,
   0x0180, 0x0180, 0x0180, 0x0000,
   0x0000, 0x0000, 0x0000, 0x0000};