overlay_arrows_changed_p 16729 src/xdisp.c      overlay_arrows_changed_p (true);
overlay_arrows_changed_p 21716 src/xdisp.c      if (overlay_arrows_changed_p (false))