previous_overlay_change 3915 src/buffer.c     return make_fixnum (previous_overlay_change (XFIXNUM (pos)));
previous_overlay_change 1180 src/buffer.h   extern ptrdiff_t previous_overlay_change (ptrdiff_t);