/src/test/run-pass/module-polymorphism3-files/