gawk gawk machine