[PPL-devel] ppl/src Interval.cc