Pretty-printing using PPrint