sausage/userland/goawk/source/testdata/gawk/inputred.awk

BEGIN { print getline < "file" ".txt" }