Action:
| give 10 then | unfolding | | | give difference(the the given integer,1) and allocate a cell | | then | | | | | store the the given integer#1 in the the given cell#2 | | | | and | | | | | give the the given integer#1 then unfold | | | or | | | | | store the the given integer#1 in the the given cell#2 | | | | and then | | | | | give the the given integer#1Informal description:
Incomplete...Try this action using Java ANI.
[Created by Luis Carlos. Last edited at 16 Apr 2004 by Luis Carlos]