HANDLED_OVERLAY_STRING_CONSUMED 4188 src/xdisp.c    	  else if (handled == HANDLED_OVERLAY_STRING_CONSUMED)
HANDLED_OVERLAY_STRING_CONSUMED 5171 src/xdisp.c    		  handled = HANDLED_OVERLAY_STRING_CONSUMED;