Beginning of pretty-printing