Action:
|give 5 then |recursively |||give the integer bound to "x" ||and |||bind "x" to the integer
Incomplete...
[Created by Luis Carlos. Last edited at 16 Apr 2004 by Luis Carlos]