awk examples from "The Awk Programming Language"