⁵http://www.gnu.org/software/gawk