-- modify intset2.adb??