ZurkParser MUST accept the following command-line options, even for Milestone 1. It MAY, however, issue an UNRECOVERABLE ERROR and exit if semantic validation mode is not yet supported. It MAY also issue an UNRECOVERABLE ERROR if additional, unrecognized options are provided.
The designer MAY also provide additional command-line options, but any additional options MUST be documented in the user documentation.