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