Consider the following while program and the definition $W$ :

$y$:$=1$; while $)>(0$ do $)=y**2$;$x$:$=(x-1$

$W$ while $)>(0$ do $)=y**2$;$x$:$=(x-1$

Fill in the blanks in the following use of the semantic rules on the initial state of $x|1|.$

$,0$