CHECK_OVERLAY    3628 src/buffer.c     CHECK_OVERLAY (overlay);
CHECK_OVERLAY    3722 src/buffer.c     CHECK_OVERLAY (overlay);
CHECK_OVERLAY    3760 src/buffer.c     CHECK_OVERLAY (overlay);
CHECK_OVERLAY    3771 src/buffer.c     CHECK_OVERLAY (overlay);
CHECK_OVERLAY    3785 src/buffer.c     CHECK_OVERLAY (overlay);
CHECK_OVERLAY    3801 src/buffer.c     CHECK_OVERLAY (overlay);
CHECK_OVERLAY    3959 src/buffer.c     CHECK_OVERLAY (overlay);
CHECK_OVERLAY    3972 src/buffer.c     CHECK_OVERLAY (overlay);