The GNU AWK utility, a pattern scanning and processing tool