first working version of post-prettyprint.pl