MODULE PairProg;
// Two-formal generic instantiation, both type parameters used and
// bound: IntChar = Pair(INTEGER, CHAR).  Exit 7 + ORD("B") = 73.
FROM IntChar IMPORT First, Second;
VAR ExitCode : INTEGER;
BEGIN
  ExitCode := First(7, "A") + ORD(Second(1, "B"))
END PairProg.