The text a7ae13f8bcec, as Debian 6.0 (Squeeze) shipped it.
initialize a widget class
XtInitializeWidgetClass(3) on Linux now
