a better awk