The text a72123076f32, as Debian 7 (Wheezy), Debian 6.0 (Squeeze) shipped it.
Procedures for manipulating sets
struct_set(3tcl) on Linux now
