let
mkghloc loc =
Loc
.to_ocaml_location (
Loc
.ghostify loc)