plugins-1.0: testsuite/pdynload/univquant/prog/expected

loaded .. yay!