GNU awk, a pattern scanning and processing language