extension to use for command-line arguments
Definizione alla linea 92 del file vol7d_serialize_class.F03.