extension library for gawk
