(defun square-bracket-reader (stream char)
      (declare (ignore char))
      (read-delimited-list #\] stream t))
    (defun use-square-bracket-readtable ()
      (set-macro-character #\[ #'square-bracket-reader)
      (set-macro-character #\] (get-macro-character #\) nil)))