The text 01e5702656ff, as Debian 10 (Buster) shipped it.
Procedures for manipulating sets
struct_set(3tcl) on Linux now
