Start of pretty printing plugin