src/gnu/dist/gawk
