twentytwo = CON(I 22);
main = THUNK(apply const true twentytwo)