[(begin ,expr* ... ,last)
         (let-values ([(new-expr* expr*-offset) (Effect expr* fp-offset)] ...)
           (let-values ([(new-last last-offset) (Tail last expr*-offset)])
             (values
               `(begin ,expr* ... ,last)
               last-offset)))]