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