;;;; (http://www.gnu.org/licenses/lgpl.html)
;;;; *************************************************************************
(in-package #:cl-user)
;;;; (http://www.gnu.org/licenses/lgpl.html)
;;;; *************************************************************************
(in-package #:cl-user)