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