; Used by the run_argv_test.sh test harness
(prn *ARGV*)