Thanks, David Auerbach, for pointing me at the
documentation of the command line switches.
It would be really nice if there were a way to specify a
program to run after startup.int. It would also be nice to be
able to load several files from the command line.