reproduce_interval 1517 src/intervals.c   INTERVAL target = reproduce_interval (source);
reproduce_interval 1525 src/intervals.c   INTERVAL target = reproduce_interval (source);