(defun f (x c0)
(defun g (y c1)
(funcall c1 (+ x y)))
(g 3 c0))

(f 2 (lambda (x) x))
Is this a correct cps transformation for (defun f (x) (defun g (y) (+ x y)) (g 3)) or does g also need x as a parameter?