Is there any reason why the # reader macro in LISPM2;MACROS can't be rewritten to win on toplevel forms when used as #m or #q? The reason it loses right now is that it reads the form following the #m regardless of whether it is running in maclisp or on the Lisp Machine. Can't it decide beforehand?