#define dots_rand_width 16
#define dots_rand_height 16
static char dots_rand_bits[] = {
   0xff, 0xff, 0xfe, 0xfd, 0xbf, 0xff, 0xff, 0xef, 0xfb, 0xff, 0xff, 0xbf,
   0xdf, 0xfb, 0xff, 0xff, 0xfd, 0xff, 0xdf, 0xdf, 0xff, 0xfe, 0xff, 0xff,
   0xfb, 0xef, 0xff, 0xff, 0xff, 0x7e, 0xef, 0xef};
