void *mc_options_get_aux (const struct mc_options *);
void mc_options_set_aux (struct mc_options *, void *aux);
+
+struct argv_parser;
+void mc_options_register_argv_parser (struct mc_options *,
+ struct argv_parser *);
+void mc_options_usage (void);
\f
/* Reason that a model checking run terminated. */
enum mc_stop_reason