define default options for prettyprint