public IntTools_Range Range(int theIndex) { throw new NotImplementedException(); } }; // class IntTools_MarkedRangeSet