MODULE Test; VAR i : SHORTINT; s : SET; PROCEDURE X; END X; BEGIN i := SHORT(12345); END Test.