The text f8bbcfb07e28, as Debian 10 (Buster), Debian 9 (Stretch) shipped it.
retrieve a widget's event mask
XtBuildEventMask(3) on Linux now
