]])
AT_CHECK([LC_ALL=C cdecl99 --file=input || exit 42], [42], [], [stderr])
-AT_CHECK([$AWK -v progname="$progname" -f check.awk stderr])
+AT_CHECK([$AWK -f check.awk progname="$progname" stderr])
exec 3<input
set x; shift
set x "$@" "--execute=$line"; shift;
done
AT_CHECK([LC_ALL=C cdecl99 "$@" || exit 42], [42], [], [stderr])
-AT_CHECK([$AWK -v progname="$progname" -f check.awk stderr])
+AT_CHECK([$AWK f check.awk progname="$progname" stderr])
AT_CLEANUP