MODULE TBadSetBase;
TYPE S = SET OF INTEGER;
BEGIN
END TBadSetBase.