#define integral_width 16
#define integral_height 16
#define integral_x_hot 7
#define integral_y_hot 8
static char integral_bits[] = {
   0x00, 0x07, 0x80, 0x0d, 0x80, 0x08, 0x80, 0x00, 0x80, 0x00, 0x80, 0x00,
   0x80, 0x00, 0x80, 0x00, 0x80, 0x00, 0x80, 0x00, 0x80, 0x00, 0x80, 0x00,
   0x80, 0x00, 0x88, 0x00, 0xd8, 0x00, 0x70, 0x00};