The GNU awk