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