let
loc_of_pointer _ p =
F
.data_of_term p