gawk backend