Listing:

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

    7 errors