The text b5f7726fb543, as Debian 6.0 (Squeeze) shipped it.
obtain and set widget resources
XtVaSetSubvalues(3) on Linux now