MODULE TestTypeTest;

   IMPORT Log, Services;

   CONST
      CONST N = 1000000000;

   TYPE
      T = ABSTRACT RECORD END;
      
      T01 = RECORD (T) END;
      T02 = RECORD (T) END;
      ...
      T49 = RECORD (T) END;
      T50 = RECORD (T) END;

   PROCEDURE Test (VAR msg: T);
      VAR i: INTEGER;
      t0, t1: LONGINT;
      cycles: REAL;
   BEGIN
      t0 := Services.Ticks();
      FOR i := 1 TO N DO
         IF msg IS T01 THEN
         ELSIF msg IS T02 THEN
         ...
         ELSIF msg IS T49 THEN
         ELSIF msg IS T50 THEN
         ELSE
         END
      END;
      t1 := Services.Ticks();
      cycles := 2.21 * 1000000 * (t1 - t0) / (50*N);
      Log.String("dt = "); Log.Real(cycles); Log.String(" cycles"); Log.Ln
   END Test;

   PROCEDURE Do*;
      VAR msg: T50;
   BEGIN Test(msg);
   END Do;

END TestTypeTest.