anchor.diff:                                    !_version !_platform !_compiler !_date !_commit)
   
   let display_usage_aux specs =
  -  Util.print_string "fstar.exe [options] file[s]\n";
  +  Util.print_string "fstar.exe [options] file[s] [@respfile...]\n";
  +  Util.print_string (Util.format1 "  %srespfile  read options from respfile\n" (Util.colorize_bold "@"));
     List.iter
       (fun (_, flag, p, doc) ->
          match p with
  
positive.code: 
  let file_list_ : ref<(list<string>)> = Util.mk_ref []
  
  let parse_cmd_line () =
    let res = Getopt.parse_cmdline all_specs (fun i -> file_list_ := !file_list_ @ [i]; Success) in
    let res =
      if res = Success
      then set_error_flags()
  
negative.code:      * Add them here as needed. *)
      let old_verify_module = get_verify_module() in
      if should_clear then clear() else init();
      let specs = specs false in
      let r = Getopt.parse_cmdline specs (parse_filename_arg specs false) in
      set_option' ("verify_module", List (List.map String old_verify_module));
      r
  
  