Is this turing-complete?--TehZ 15:12, 18 October 2010 (UTC)
Could the cat example be rewritten as the following and would it still work, and if it won't: why?
Cat { finalize() { int d; int c = read(); d = sign(c + 1); d = 1; printed(c); finalized(); } }