CHECK_OVERLAY    3620 src/buffer.c     CHECK_OVERLAY (overlay);
CHECK_OVERLAY    3714 src/buffer.c     CHECK_OVERLAY (overlay);
CHECK_OVERLAY    3752 src/buffer.c     CHECK_OVERLAY (overlay);
CHECK_OVERLAY    3763 src/buffer.c     CHECK_OVERLAY (overlay);
CHECK_OVERLAY    3777 src/buffer.c     CHECK_OVERLAY (overlay);
CHECK_OVERLAY    3793 src/buffer.c     CHECK_OVERLAY (overlay);
CHECK_OVERLAY    3951 src/buffer.c     CHECK_OVERLAY (overlay);
CHECK_OVERLAY    3964 src/buffer.c     CHECK_OVERLAY (overlay);