In system 27.7, with microcode 663, on LISP Machine Three: If I evaluate something which comes out as type DTP-INSTANCE-HEADER, it prints out the value correctly, but then goes into a (microcode?) loop which can only be interrupted by a warm boot.