Format(3o) on Linux

The text c42c397eb585, as Debian 3.1 (Sarge) shipped it.

Pretty printing.

Format(3o) on Linux now