The text 2f1c415d734e, as Debian 7 (Wheezy) shipped it.
Pattern matching with regular expressions
RegExp(3tcl) on Linux now
