More stringent pointer checking.