avram: multiple -.EXT options; all but last ignored
avram
will try to continue. If you need more
than one default extension, consider using the hard coded default
extensions of .fun and .avm, or hacking the shell script
in which the avram
command line appears.
: empty operator
avram
prints a message to
standard error giving a brief summary of options, similar to the output
from avram --help. (See General Options.)