define PRETTY-PRINTABLE-OBJECT