The text bc0e5489f2ba, as Debian 10 (Buster) shipped it.
Convert signal codes
Tcl_SignalMsg(3tcl) on Linux now
