(* M.odc *) MODULE M; IMPORT Q; (* imported module *) TYPE T* = POINTER TO RECORD END; (* exported class *) U = POINTER TO RECORD END; VAR i*: INTEGER; (* exported module variable *) j: INTEGER; PROCEDURE (t: T) A*, NEW; BEGIN END A; (* exported method *) PROCEDURE (t: T) B, NEW; BEGIN END B; PROCEDURE F*; BEGIN END F; (* exported procedure *) PROCEDURE G; BEGIN END G; BEGIN (* module initialization ... *) END M.