Well, they all are generated outside. What kind of pretty printing for them you have in mind? It can be done.