Multiset_intf.S