MODULE Test;

IMPORT SYSTEM, Out;

VAR
  i, j : INTEGER;

BEGIN
  i := 1;
  j := -32;
  Out.Int(SYSTEM.ROT(i, -1), 0); Out.String(" = "); Out.Int(SYSTEM.ROT(1, -1), 0); Out.Ln;
  Out.Int(SYSTEM.ROT(i, 1), 0); Out.String(" = "); Out.Int(SYSTEM.ROT(1, 1), 0); Out.Ln;
  Out.Int(SYSTEM.ROT(j, -1), 0); Out.String(" = "); Out.Int(SYSTEM.ROT(-32, -1), 0); Out.Ln;
  Out.Int(SYSTEM.ROT(j, 1), 0); Out.String(" = "); Out.Int(SYSTEM.ROT(-32, 1), 0); Out.Ln;

  ASSERT(SYSTEM.ROT(i, -1) = SYSTEM.ROT(1, -1));

  ASSERT(SYSTEM.ROT(i,  1) = SYSTEM.ROT(1,  1));
END Test.