prettyprint.cmd stub