(defun highest-bang-var (form) (acond ((consp form) (max (highest-bang-var (car form)) (highest-bang-var (cdr form)))) ((bang-var-p form) it) (t 0)))