I've since modified this macro to evaluate auth only once, in a (withs ...) form. Also, it might be better to insert the local variable binding inside the defop form - we might want to base auth on the parameter(s) to the operation. Not very likely, of course, but hey, a gun which can't shoot feet might not shoot lions.
