let
top_loc_term d =
CavLib
.ptr (
Model
.pointer_of_loc d)