The text 939cd0720af7, as Debian 7 (Wheezy) shipped it.
Namespace utility commands
namespacex(3tcl) on Linux now
