This is Edition 4.2 of GAWK: Effective AWK Programming: A User’s Guide for GNU Awk, for the 4.2.1 (or later) version of the GNU implementation of AWK.