(define f (compile '(lambda () (let/ec b (let lp () (b) (lp)))) #:env (current-module) #:opts '(#:contify? #f))) compiles so the issue is in the contify section of the optimizer.