* intervals.h: Declare `copy_intervals()'.