The text 44e9189aaa15, as Debian 5.0 (Lenny) shipped it.
Convert signal codes
Tcl_SignalId(3tcl) on Linux now
