/mit/6.863/vtformat.pl $1 | /mit/tcl/arch/@sys/bin/wish /mit/6.863/viewt