module m1 {
    exports p;
}