adam's gawk gawk 3.0