let other_from_command_line_options () =
    List.fold_left
      (fun acc (opt_name,opt_fun) ->
         Datatype.String.Map.add opt_name (opt_fun ()) acc)
      Datatype.String.Map.empty other_opts