Prettyprinter configuration variables
