Awk dinges