s must be the label of an executable statement in the same program unit in which the READ statement occurs.
