MODULE Test;

IMPORT SYSTEM, Out;

VAR
  i : INTEGER;

BEGIN
  i := -32;
  Out.Int(SYSTEM.LSH(i, -5), 0); Out.Char(" "); Out.Int(SYSTEM.LSH(-32, -5), 0); Out.Ln;
  ASSERT(SYSTEM.LSH(i, -5) = SYSTEM.LSH(-32, -5));
END Test.