********************************************************************
* NOTE: This file is generated automatically from the event * definition file ZPaper.evt. ********************************************************************<* PRAGMA LL *> INTERFACEcall the following to generate an event:ZPaperIE ; <*NOWARN*> IMPORT Algorithm, View, Thread;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.