The text 60e16e71b14e, as Debian 6.0 (Squeeze) shipped it.
Convert signal codes
Tcl_SignalId(3tcl) on Linux now
