fixed (while) productions