converted the cps translation so that the continuation passed in must be variables