Format(3o) on Linux

The text 994929f4db8f, as Debian 9 (Stretch) shipped it.

Pretty printing.

Format(3o) on Linux now