The text 70bef01522fe, as Debian 4.0 (Etch) shipped it.
obtain and set widget resources
XtVaSetValues(3) on Linux now
