abort extension for gawk
