let
protect_warning e =
let
(src,reason) = protect e
in
Warning
(src,reason)