:load test/error-duplicatedefns/dupdefns.disco