RE: required command line args in dbx.
Every version of dbx I have worked with allows you to supply both command
line args and input/output redirection as arguments to the run command.
Ex) dbx> run arg1 arg2
m at jacobi.biology.yale.edu on borrowed account.