(mac prog1 (f1 . ofs)
    (w/uniq (f1v)
    `(let ,f1v ,f1
       (do ,@ofs) ; do wrapper unnecessary?
       ,f1v)))

  (from "arc.arc")
  [mac] (do1 . args)
   Performs the body in sequence, then returns the value of the
      first expression.
      See also [[do]] 

Also, you might be interested in 'after

  (from "arc.arc")
  [mac] (after x . ys)
   Ensures that the body is performed after the expression `x',
      even if it fails.
      See also [[do]]