let pointer_of_loc p = (F.term_of_data p)