event(3tk) on Linux

The text 0a717f38f85a, as Debian 11 (Bullseye) shipped it.

Miscellaneous event facilities: define virtual events and generate events

event(3tk) on Linux now