#define circle_mask_width 16
#define circle_mask_height 16
static short circle_mask_bits[] = {
   0x07e0, 0x1ff8, 0x3ffc, 0x7ffe,
   0x7ffe, 0xfc3f, 0xf81f, 0xf81f,
   0xf81f, 0xf81f, 0xfc3f, 0x7ffe,
   0x7ffe, 0x3ffc, 0x1ff8, 0x07e0};