ready for testing. fix prettyprint hacks&empty