PROCEDURE Omnicast* (VAR msg: ANYREC);
   BEGIN
      msgHook.Omnicast(msg)
   END Omnicast;

   (* RestoreMarks: wrapper has no intrinsic marks, wrapped view's RestoreMarks is called by framework *)
   (* HandleModelMsg: framework performs message propagation *)
   (* HandleViewMsg: framework performs message propagation *)

   PROCEDURE (v: View) HandleModelMsg (VAR msg: Models.Message);
   BEGIN
      WITH msg: Msg2 DO
         Log.String("Пришло сообщение2:"); Log.Int(msg.x); Log.Ln
      ELSE
      END
   END HandleModelMsg;

   PROCEDURE (v: View) HandleModelMsg (VAR msg: Models.Message);
   BEGIN
      WITH msg: Msg2 DO
         Log.String("Пришло сообщение2:"); Log.Int(msg.x); Log.Ln
      ELSE
      END
   END HandleModelMsg;
   
   PROCEDURE (v: View) HandleCtrlMsg (f: Views.Frame; VAR msg: Controllers.Message; VAR focus: Views.View);
   BEGIN
      (* here comes the behavior which is specific to this wrapper -
         it modifies the wrapped view's behavior *)
      WITH msg: Msg1 DO
         Log.String("Пришло сообщение1:"); Log.Int(msg.x); Log.Ln
      ELSE
      END;
      focus := v.inner   (* forward all controller messages to wrapped view *)
   END HandleCtrlMsg;

   PROCEDURE Send* (x: INTEGER);
      VAR   msg1: Msg1; msg2: Msg2;
   BEGIN
      msg1.x := x; Views.Omnicast(msg1);
      msg2.x := x; Views.Omnicast(msg2)
   END Send;

PROCEDURE (h: Hook) Omnicast (VAR msg: ANYREC);
      VAR w: Window;
   BEGIN
      w := dir.First();
      WHILE w # NIL DO
         IF ~w.sub THEN w.seq.Handle(msg) END;
         w := dir.Next(w)
      END
   END Omnicast;

   PROCEDURE (s: StdSequencer) Handle (VAR msg: ANYREC);
   (* send message to all windows attached to s *)
      VAR w: Window;
   BEGIN
      IF s.trapEra # Kernel.trapCount THEN Reset(s) END;
      WITH msg: Models.Message DO
         IF msg IS Models.UpdateMsg THEN
            Properties.IncEra;
            IF s.entryLevel = 0 THEN
               (* updates in dominated model bypassed the sequencer *)
               Reset(s);   (* panic reset: clear sequencer *)
               INC(s.modLevel)   (* but leave dirty *)
            END
         END;
         w := dir.First();
         WHILE w # NIL DO
            IF w.seq = s THEN w.BroadcastModelMsg(msg) END;
            w := dir.Next(w)
         END
      | msg: Views.Message DO
         w := dir.First();
         WHILE w # NIL DO
            IF w.seq = s THEN w.BroadcastViewMsg(msg) END;
            w := dir.Next(w)
         END
      ELSE
      END
   END Handle;