../common/gawk