dtptrs.f(3) on Linux

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

dtptrs.f(3) on Linux now