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

loaded .. yay!