/usr/src/cmd/awk/