Buffer(3o) on Linux

The text 13e57ca76e4e, as Debian 9 (Stretch) shipped it.

Extensible buffers.

Buffer(3o) on Linux now