let
loc_of_term _ p =
Ptr
(
F
.unwrap p)