The text 07c01a8048c5, as Debian 4.0 (Etch) shipped it.
process command-line options
ParseArgv(3tk) on Linux now
