Searching in tools/dev/awk