merge_interval_right   56 src/intervals.c static INTERVAL merge_interval_right (INTERVAL);
merge_interval_right  960 src/intervals.c 		merge_interval_right (prev);