ones = CON(Cons one ones);
main = THUNK(ones)