aux_top(3) on Linux

The text 25545c6a0421, as Debian 13 (Trixie) shipped it.

Auxiliary routines

aux_top(3) on Linux now