A Linux port of OpenBSD's awk