1module m {
2    uses p.I;
3    provides p.I with p.A;
4    provides p.I with p.B;
5}
6
7