#define double_arrow_mask_width 16
#define double_arrow_mask_height 16
static short double_arrow_mask_bits[] = {
   0x03c0, 0x07e0, 0x0ff0, 0x1ff8,
   0x3ffc, 0x3ffc, 0x3ffc, 0x03c0,
   0x03c0, 0x3ffc, 0x3ffc, 0x3ffc,
   0x1ff8, 0x0ff0, 0x07e0, 0x03c0};