(defun decoded-arglist-to-string (decoded-arglist
&key operator highlight
print-right-margin)
(with-output-to-string (*standard-output*)
(with-arglist-io-syntax
(let ((*print-right-margin* print-right-margin)
#+ccl (ccl::*print-abbreviate-quote* t))
(print-decoded-arglist decoded-arglist
:operator operator
:highlight highlight)))))