(define Effect*
    (lambda (expr* fp-offset)
      (if (null? expr*)
          (values
            '()
            fp-offset)
          (let-values ([(new-expr new-offset) (Effect (car expr*) fp-offset)])
            (cons new-expr (Effect* (cdr expr*) new-offset))))))