Some experiments in Continuation Passing Style (also in direct style)