#define shell_mask_width 6
#define shell_mask_height 6
static unsigned char shell_mask_bits[] = {
   0x00, 0x0c, 0x1e, 0x1e, 0x0c, 0x00};
