ones = CON(Cons one ones);
main = THUNK(let { result = THUNK(take three ones);
                   f = THUNK(forcelist result)} in seq f result )