DEFINITION MODULE MyLib;

TYPE
    r2 = RECORD
             v : INTEGER;
         END;

PROCEDURE P2(VAR r : r2);

END MyLib.