The text 0f16ea72e312, as Debian 7 (Wheezy) shipped it.
translate CWEB to C and/or TeX
ctangle(1) on Linux now
