2013-10-26-10.47.19: src/lib/prettyprint/big/src/out/prettyprint-output-stream.api:  Cleanup.