implement IntervalSet header