IMPLEMENTATION MODULE PairIC = GPair(INTEGER, CHAR);
END PairIC.