HANDLED_OVERLAY_STRING_CONSUMED 4175 src/xdisp.c    	  else if (handled == HANDLED_OVERLAY_STRING_CONSUMED)
HANDLED_OVERLAY_STRING_CONSUMED 5144 src/xdisp.c    		  handled = HANDLED_OVERLAY_STRING_CONSUMED;