The text d4d0788d8234, as Debian 7 (Wheezy) shipped it.
Procedures to process command lines and options.
cmdline(3tcl) on Linux now
