aregex extension for gawk
