MODULE TConvert;
// CONVERT(T, x): the ISO SYSTEM generic conversion (VAL's sibling).
// Exit 42.
FROM SYSTEM IMPORT ADDRESS, ADR;
PROCEDURE foo; BEGIN END foo;
VAR a : ADDRESS;
    n : INTEGER;
    ExitCode : INTEGER;
BEGIN
  a := CONVERT(ADDRESS, foo);
  n := CONVERT(INTEGER, 'A');
  IF (a = ADR(foo)) AND (n = 65)
  THEN ExitCode := 42 ELSE ExitCode := 1 END
END TConvert.