Title: The GNU Awk User's Guide