IMPLEMENTATION MODULE GCInt = GBox(INTEGER);
END GCInt.