if pInt^ then ...