Test.obn

   1 MODULE Test;
   2
   3 IMPORT SYSTEM, Out;
   4
   5 VAR
   6   i, j : INTEGER;
   7
   8 BEGIN
   9   i := 1;
  10   j := -32;
  11   Out.Int(SYSTEM.ROT(i, -1), 0); Out.String(" = "); Out.Int(SYSTEM.ROT(1, -1), 0); Out.Ln;
  12   Out.Int(SYSTEM.ROT(i, 1), 0); Out.String(" = "); Out.Int(SYSTEM.ROT(1, 1), 0); Out.Ln;
  13   Out.Int(SYSTEM.ROT(j, -1), 0); Out.String(" = "); Out.Int(SYSTEM.ROT(-32, -1), 0); Out.Ln;
  14   Out.Int(SYSTEM.ROT(j, 1), 0); Out.String(" = "); Out.Int(SYSTEM.ROT(-32, 1), 0); Out.Ln;
  15
  16   ASSERT(SYSTEM.ROT(i, -1) = SYSTEM.ROT(1, -1));
  17
  18   ASSERT(SYSTEM.ROT(i,  1) = SYSTEM.ROT(1,  1));
  19 END Test.