/gnu/dist/gawk/awklib/eg/misc/