let
raise_error p m = raise (
Error
(p,m))