OPT: @PTEST_FILE@ -instantiate -print
