Suppose you want to do something like this:

cat file1 | gawk -f script.awk file2 file3 file4

How do you handle this? gawk (GNU Awk 3.1.1) seems to skip over the
input stream if there are also file inputs as is easy enough to
confirm just by using '{print $0}' as the code.