(envOpts userCmdLineOption) ""
(envOpts printComments) nil
(envOpts restart) ""
(envOpts savestate) ""
(envOpts analysisOrder) nil
(envOpts autoDisplay) t
(envOpts enableArclength) nil
(envOpts licOrder) ""
(envOpts paramRangeCheckFile) ""
(envOpts spp) ""
(envOpts firstRun) nil
