The text ad1d02b5bf27, as Debian 7 (Wheezy), Debian 6.0 (Squeeze) shipped it.
Operations on finite automatons
faop(3tcl) on Linux now
