gf-3.10: testsuite/runtime/eval/lazy.gfs.gold

succ (succ (succ zero))