The text 0bdcc5c425a4, as Debian 3.0 (Woody) shipped it.
retrieve an option from the option database
Tk_GetOption(3tk) on Linux now
