Listing:

    1  (*# module(init_code=>off) *) (* overlayed modules are not allowed to have initcode *)
    2  IMPLEMENTATION MODULE op3;
    3  IMPORT IO;
    4  PROCEDURE p3;
    5  BEGIN
    6    IO.WrStr('procedure p3 in op3');
*****    ^ not supported yet
*****       ^ not supported yet
*****             ^ not supported yet
    7    IO.WrLn;
*****    ^ not supported yet
*****       ^ not supported yet
    8  END p3;
*****      ^ not supported yet
    9  
   10  END  op3.
*****       ^ not supported yet

    7 errors