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