CIRCLPRINT is documented in the Interlisp Reference Manual