Use awk-compatible statements only (not gawk).