Output from Pretty-printing