verify_interval_modification 2033 src/insdel.c   	  verify_interval_modification (current_buffer, start, end);
verify_interval_modification 2038 src/insdel.c   	verify_interval_modification (current_buffer, start, end);
verify_interval_modification  262 src/intervals.h extern void verify_interval_modification (struct buffer *,