overlay_arrows_changed_p 16885 src/xdisp.c      overlay_arrows_changed_p (true);
overlay_arrows_changed_p 21922 src/xdisp.c      if (overlay_arrows_changed_p (false))