IMPLEMENTATION MODULE IntChar = Pair(INTEGER, CHAR);
END IntChar.