Version 4.17.5 - use pretty class and PP wrapper for safer prettyprinting