Code Editor : interval_set.h