abort extension for gawk

WWW: http://gawkextlib.sourceforge.net/abort/abort.html
