The text a2f7e2e926b8, as Debian 1.1 (Buzz) shipped it.
convert ANSI C to Kernighan & Ritchie C
ansi2knr(1) on Linux now