let print_options () = Printf.printf "\n# Options: debug (%b) no-context-reset (%b) abort-on-error (%b)\n show-min-nfa (%b) nfa-cap-size (%d) cleanup-nfas (%b)\n" !debug (not !reset) (not !noerr) !minimize !maxsize !elim