The GNU awk utility.
