LISP microcode for an 11/730? Was Re: Modifying microcode