********************************************************************
      *  NOTE: This file is generated automatically from the event
      *        definition file ZPaper.evt.
      ********************************************************************
<* PRAGMA LL *>
INTERFACE ZPaperIE ;
<*NOWARN*> IMPORT Algorithm, View, Thread;
 call the following to generate an event: 
PROCEDURE Init (
      initiator: Algorithm.T;
       N, k: INTEGER
    ) RAISES {Thread.Alerted};
    <* LL = {} *>
PROCEDURE Set (
      initiator: Algorithm.T;
       x, y, val: INTEGER
    ) RAISES {Thread.Alerted};
    <* LL = {} *>
END ZPaperIE.