#define video_width 16
#define video_height 16
static char video_bits[] = {
   0x00, 0x00, 0x00, 0x00, 0xfe, 0x7f, 0x0a, 0x50, 0x0e, 0x70, 0x0a, 0x50,
   0x0e, 0x70, 0xfa, 0x5f, 0x0e, 0x70, 0x0a, 0x50, 0x0e, 0x70, 0x0a, 0x50,
   0xfe, 0x7f, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00};