The text a751e964aed1, as Debian 11 (Bullseye) shipped it.
initialize a widget class
XtInitializeWidgetClass(3) on Linux now
