The AWK Programming Language