Well, `> "/dev/stderr"` is supported by both mawk and gawk, but is not actually part of the POSIX standard, as far as I can tell (http://gnu.huihoo.org/gawk-3.1.0/html_node/gawk_214.html#SEC230)...