gawk: provides/replaces awk.