$ v:='f$verify(0)'
$ set command 'f$logical("sys$disk")[]rnototex
$ define init$rnototex 'f$logical("sys$disk")[]rnototex.ini
$ delete/symbol/global rnototex
$ define/user sys$input sys$command
$ rnototex 'p2' 'p3' 'p4' 'p5' 'p6' 'p7'
$ if v then set verify