set_interval_object 2042 src/buffer.c   	  set_interval_object (i, owner);
set_interval_object  783 src/fns.c      	  set_interval_object (copy, val);
set_interval_object  112 src/intervals.c   set_interval_object (new, parent);
set_interval_object 1208 src/intervals.c 	set_interval_object (parent, owner);
set_interval_object 1526 src/intervals.c   set_interval_object (target, parent);
set_interval_object 2277 src/intervals.c   set_interval_object (interval_copy, string);