#define top_width 16
#define top_height 16
#define top_x_hot 8
#define top_y_hot 15
static char top_bits[] = {
   0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x10, 0x10,
   0x70, 0x1c, 0xe0, 0x0f, 0xe0, 0x0f, 0xc0, 0x07, 0x80, 0x07, 0x80, 0x03,
   0x80, 0x03, 0x00, 0x01, 0x00, 0x01, 0x00, 0x00};
