let
pointer_of_loc p = (
F
.term_of_data p)