:load test/types-numpats/types-numpats.disco