update_overlay_arrows 17411 src/xdisp.c          update_overlay_arrows (0);
update_overlay_arrows 17433 src/xdisp.c    	  update_overlay_arrows (1);
update_overlay_arrows 17700 src/xdisp.c        update_overlay_arrows (1);
update_overlay_arrows 17705 src/xdisp.c        update_overlay_arrows (-1);