GNU's heavy-weight implementation of awk