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