let protected = function
  | Error (model, msg) ->
      Some(model , msg)
  | Log.FeatureRequest (plugin,msg) ->
      Some(plugin , Printf.sprintf "%s not yet implemented" msg)
  | Log.AbortError msg ->
      Some("user error" , msg)
  | _ -> None