Exercise 42.
Find out what the following binary does:
by feeding it certain input. Change the Tempura code so that it will pass all tests, i.e., change the following two lines:
{Z:=Z+1 and check_z(Z) and stable(I)}; {I:=I+1 and check_i(I) and stable(Z)}