In system 27.7, with microcode 663, on LISP Machine Nine: ... goes into an infinite loop if char is , because it thinks it's Top- (Top- (Top- ... instead of Top-/. "Top-/" is of course ambiguous, on the old keyboards anyway, but ambiguity is better than infinite looping.