/usr/bin/disdvi /usr/bin/dvi2tty