MODULE TClassInit;
(* A class's BEGIN ... END initialisation body runs once at startup.
   Exit 42. *)
VAR g : INTEGER;
TYPE
  CLASS C;
    PROCEDURE P() : INTEGER;
  END C;
CLASS IMPLEMENTATION C;
  PROCEDURE P() : INTEGER;
  BEGIN RETURN 1 END P;
BEGIN
  g := 41
END C;
VAR ExitCode : INTEGER;
BEGIN
  ExitCode := g + 1
END TClassInit.