../../../common/gawk