#define checkmark_width 8
#define checkmark_height 12
#define checkmark_x_hot 0
#define checkmark_y_hot 9
static char checkmark_bits[] = {
   0x00, 0x80, 0x80, 0x40, 0x40, 0x20, 0x32, 0x1f, 0x1f, 0x1e, 0x0c, 0x08};