GNU awk pattern-matching language