continuation rewrite; cont-t lift, shift, reset