The text 8a004507cc9c, as Debian 10 (Buster) shipped it.
Split a string into a proper Tcl list
split(3tcl) on Linux now
