#define print_width 16
#define print_height 16
#define print_x_hot 15
#define print_y_hot 0
static short print_bits[] = {
   0x7e00, 0x8200, 0x8e00, 0x8600,
   0xa300, 0xb180, 0xb880, 0xfc80,
   0xffff, 0x8231, 0xedad, 0xedad,
   0xee31, 0xeebd, 0xedbd, 0xffff};