Format(3o) on Linux

The text 639dea7c1832, as Debian 7 (Wheezy) shipped it.

Pretty printing.

Format(3o) on Linux now