The GNU version of Awk
