+static char *buffer-update_dvi[] = {
+/* columns rows colors chars-per-pixel */
+"20 20 3 1",
+" c black",
+". c navy",
+"X c None",
+/* pixels */
+"XXXXXXXX...XXXXXXXXX",
+"XXXXXX........XXXXXX",
+"XXXX.....X.....XXXXX",
+"XXX...XXXXXXX...XXXX",
+"XX...XXXXXXXXX...XXX",
+"X...XXX XXXXXXX...XX",
+"X..XXXX XXXXX XX..XX",
+"X..XXXX XXXXXXXX..XX",
+"...XX X X X XX...X",
+"..XX XX X X X XXX..X",
+"...X XX X X X XX...X",
+"X..XX XX XX XX..XX",
+"X..XXXXXXXXXXXXX..XX",
+"X...XXXXXXXXXXX...XX",
+"XX...XXXXXX..X...XXX",
+"XXX...XXXXX.....XXXX",
+"XXXX.XXXXXX....XXXXX",
+"XXXXXXXXXXX.....XXXX",
+"XXXXXXXXXXX.....XXXX",
+"XXXXXXXXXXXXXXXXXXXX"
+};