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