The transformation of continuation passing style code so

that the only free variables of functions are names of other

functions.