:load test/error-polyrec/polyrec.disco