The text 8a8aa689dd97, as Debian 4.0 (Etch) shipped it.
translate CWEB to C and/or TeX
ctangle(1) on Linux now
