let loc_of_pointer _ p = F.data_of_term p