VERBOSE Setting this to something will give messages to stderr as
the program executes. Setting it to a big number will give more
messages. VERBOSE 100 should output all messages. NOTE: If you set
VERBOSE and you still don't get useful messages, try setting it first
to 1, then to be absolutely sure of getting all messages, set VERBOSE
in the scanps_defaults.dat file rather than on the command line.
TIME Setting this to a number will output various timings to
stderr. Again, bigger numbers should give more messages.