Add Continuation-Passing Style