awk, a table processor