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