In system 25.1, with microcode 613, on LISP Machine One: I've been trying to use #:... which I thought ALAN was going to put into the LISPM reader. Also, there doesn't seem to be a DEFSHARP macro for easy use with SET-SYNTAX-/#-MACRO