MODULE TConv;
// ISO type conversions T(x): a type name applied to one value, lowered
// to the VAL builtin.  INTEGER(c) and CHAR(n) round-trip 'A' = 65.
VAR ExitCode : INTEGER; c : CHAR; n : INTEGER;
BEGIN
  c := "A";
  n := INTEGER(c);            (* 65 *)
  c := CHAR(n);               (* 'A' *)
  ExitCode := n - 65 + 42     (* 42 *)
END TConv.