avram: multiple -.EXT options; all but last ignoredavram 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 operatoravram prints a message to
standard error giving a brief summary of options, similar to the output
from avram --help. (See General Options.)