gii_pbutton_event(3) on Linux

The text 1a06914b9e7b, as Debian 4.0 (Etch) shipped it.

gii_pbutton_event(3) on Linux now