MODULE Test;

VAR
  i : SHORTINT;
  s : SET;

BEGIN
  i := SHORT(12345);
END Test.