the '|\|| and '|`| to be printed incorrectly. (Bug reported by A.M.Raportirenko, cmucl-imp, 2009/10/02.)