Mention printf for prettyprinting