overlay_arrows_changed_p 16877 src/xdisp.c      overlay_arrows_changed_p (true);
overlay_arrows_changed_p 21914 src/xdisp.c      if (overlay_arrows_changed_p (false))