The GNU Awk Utility