An implementation of AWK.