Working through The AWK Programming Language and other examples for personal use