update_overlay_arrows 17419 src/xdisp.c          update_overlay_arrows (0);
update_overlay_arrows 17441 src/xdisp.c    	  update_overlay_arrows (1);
update_overlay_arrows 17708 src/xdisp.c        update_overlay_arrows (1);
update_overlay_arrows 17713 src/xdisp.c        update_overlay_arrows (-1);