The text 3c8e9017e8d4, as Debian 1.2 (Rex) shipped it.
create and destroy widgets
XtDestroyWidget(3x) on Linux now
