Redirecting to AWK (programming language)