dexec(3tcl) on Linux

The text 1bdefbc3b84c, as Debian 7 (Wheezy), Debian 6.0 (Squeeze) shipped it.

Execute deterministic finite automatons

dexec(3tcl) on Linux now