dposv(3) on Linux

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

dposv(3) on Linux now