The text 0c7f812eac84, as Debian 2.2 (Potato) shipped it.
retrieve an option from the option database
Tk_GetOption(3tk) on Linux now
