Provide Z$3$ or Z$3$Py code to establish the possibility that the following program causes a

crash.

alarr$1$

blarr$1$

for ilarr$0$ to $15$ do

if $?{?}_1$ then

alarra$+i$

blarra$+b$

else if $?{?}_2$ then

blarrb$+2i$

else

alarra$+b$

end if

if $b=1000$ then

crash

end if

end for

Here, $\text{'}$ larr $\text{'}$ is an assignment operator, and $\text{'}?{?}_1\text{'}$ and $\text{'}?{?}_2\text{'}$ are unknown tests that may yield

false or true in any situation.

Explain the constraints implemented in the code. The explanation should be commented

on right before the corresponding part of the code in the source code file.

Demonstrate a crash by giving values of a and $b,$ for all i specified in the program. All of

the values should be obtained by running the provided code in the command$-$line

interface with either of the following commands.