gawk code examples ch01 and ch04