update_overlay_arrows 17263 src/xdisp.c          update_overlay_arrows (0);
update_overlay_arrows 17285 src/xdisp.c    	  update_overlay_arrows (1);
update_overlay_arrows 17502 src/xdisp.c        update_overlay_arrows (1);
update_overlay_arrows 17507 src/xdisp.c        update_overlay_arrows (-1);