A tribute to awk