An (often faster than gawk) awk-interpreter
