The main Zurk program MUST accept the following command-line options. It MAY also issue an UNRECOVERABLE ERROR if additional, unrecognized options are provided.
The TRACE FILE, if specified, is a file name to which to dump all I/O interaction with the PLAYER during a single execution of the Zurk program. If specified, the TRACE FILE MUST capture all I/O interaction with the PLAYER, including STDIN, STDOUT, and STDERR. If unspecified, all I/O must happen ONLY to STDIN/STDOUT/STDERR.
The designer MAY also provide additional command-line options, but any additional options MUST be documented in the user documentation.