#define domain16.mask_width 16
#define domain16.mask_height 16
#define domain16.mask_x_hot 9
#define domain16.mask_y_hot 9
static char domain16.mask_bits[] = {
   0x1e, 0x00, 0x12, 0xf0, 0xd6, 0x97, 0x52, 0xb4, 0xd2, 0x95, 0x52, 0x94,
   0x52, 0x94, 0x52, 0x94, 0x52, 0x94, 0x72, 0x94, 0x7e, 0x9c, 0x60, 0x94,
   0x50, 0xf4, 0x70, 0x04, 0x40, 0x04, 0xc0, 0x07};
