-- From Hanus Thu, 21 Aug 2003 17:09:23 +0200
-- Execute to measure space consumption

f x = if x==0 then 0 else f (x-1)

--  Sergio'a laptop
--  [antoy@localhost code]$ cmd/execute -time
--  Thu Aug 21 08:55:55 PDT 2003
--  > :load Recursion.txt
--  loading Recursion.txt ...
--  Recursion.txt is loaded
--  > f(1000)
--     Elapsed time:376ms.   steps:3002  instructions:27020  terms:8009
--  Result: 0  { } ? 
--  > f(10000)
--     Elapsed time:528ms.   steps:30002  instructions:270020  terms:80009
--  Result: 0  { } ? 
--  > f(100000)
--     Elapsed time:4646ms.   steps:300002  instructions:2700020  terms:800009
--  Result: 0  { } ? 
--  > f(1000000)
--     Elapsed time:46487ms.   steps:3000002  instructions:27000020  terms:8000009
--  Result: 0  { } ? 
--  > f(10000000)
--     Elapsed time:467429ms.   steps:30000002  instructions:270000020  terms:80000009
--  Result: 0  { } ? 
--  > 
--  Thu Aug 21 09:07:19 PDT 2003
--  [antoy@localhost code]$