The text c9cf02f94e9f, as Debian 2.2 (Potato) shipped it.
gawk with include files
igawk(1) on Linux now