posv(3) on Linux

The text 692e9ebdc907, as Debian 13 (Trixie) shipped it.

posv: factor and solve

posv(3) on Linux now