patch16a   xdvi - dvi previewer, Patch16a/2
patch16b   xdvi - dvi previewer, Patch16b/2
patch17   xdvi - dvi previewer, Patch17