* intervals.c (split_interval_left, split_interval_right): Change