The text 308a4f1b2abb, as Debian 9 (Stretch), Debian 8 (Jessie) shipped it.
Split a string into a proper Tcl list
split(3tcl) on Linux now
