testing global scope resolution operator. should be done for I.1 in P2 SPEC