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