From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from us-smtp-delivery-124.mimecast.com (us-smtp-delivery-124.mimecast.com [170.10.129.124]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by smtp.subspace.kernel.org (Postfix) with ESMTPS id BE0ED408633 for ; Wed, 10 Jun 2026 15:06:53 +0000 (UTC) Authentication-Results: smtp.subspace.kernel.org; arc=none smtp.client-ip=170.10.129.124 ARC-Seal:i=1; a=rsa-sha256; d=subspace.kernel.org; s=arc-20240116; t=1781104015; cv=none; b=JrQNMWLSpOqcuUbFrZu0bxXssbXAQkWzXQITI02FjmUvuOZHGMtz/AVWqdY7UpxTvvc24ElAxHXd95I77bdLE5OBOgbcYe7fhPE9RclcGh5Uuq1L99y/hgpZqKGb155hDxBnFxBLmpCQ3BEsszYQAXGNoVZzfjBdtilIkmR6AH0= ARC-Message-Signature:i=1; a=rsa-sha256; d=subspace.kernel.org; s=arc-20240116; t=1781104015; c=relaxed/simple; bh=QPpaWaBJfCdizC8s/Ue7zk3U2hXM2CnefU1fv28wztE=; h=Message-ID:Subject:From:To:Cc:Date:In-Reply-To:References: Content-Type:MIME-Version; b=NSO6klW0Xz5yP0oroyFoCIjh+vRXBBVnT3x5gkMLP3flxioE3dJHuxYFdAm26aGGrohBquXB3BfztmCZYR4PWYvBPuzo5onUZV7g/Pp6Vs81UPgmyOT5AmVcQWpHcFVTXTQt+NX9712riXK+b7YXwLaXZFKJTYXRuv/lO05vU/E= ARC-Authentication-Results:i=1; smtp.subspace.kernel.org; dmarc=pass (p=quarantine dis=none) header.from=redhat.com; spf=pass smtp.mailfrom=redhat.com; dkim=pass (1024-bit key) header.d=redhat.com header.i=@redhat.com header.b=T56zvJYO; dkim=pass (2048-bit key) header.d=redhat.com header.i=@redhat.com header.b=NcdgnRAR; arc=none smtp.client-ip=170.10.129.124 Authentication-Results: smtp.subspace.kernel.org; dmarc=pass (p=quarantine dis=none) header.from=redhat.com Authentication-Results: smtp.subspace.kernel.org; spf=pass smtp.mailfrom=redhat.com Authentication-Results: smtp.subspace.kernel.org; dkim=pass (1024-bit key) header.d=redhat.com header.i=@redhat.com header.b="T56zvJYO"; dkim=pass (2048-bit key) header.d=redhat.com header.i=@redhat.com header.b="NcdgnRAR" DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=redhat.com; s=mimecast20190719; t=1781104012; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:cc:mime-version:mime-version:content-type:content-type: content-transfer-encoding:content-transfer-encoding: in-reply-to:in-reply-to:references:references; bh=QPpaWaBJfCdizC8s/Ue7zk3U2hXM2CnefU1fv28wztE=; b=T56zvJYOEK5JOJ2doWeESlXvGnJhBb9gEW6CI7wfZnLjcDBfMQTQgpYrYv4uMJGLaHl98g PiXi58+QLnDB0qEG0g20O0JLyIRC6LZA3280Pd+kve0V5zDEmz+NB/nszG7umwQGKdofb1 kxWlqsGV994iUJ24xluckaHbn2TK5To= Received: from mail-wr1-f70.google.com (mail-wr1-f70.google.com [209.85.221.70]) by relay.mimecast.com with ESMTP with STARTTLS (version=TLSv1.3, cipher=TLS_AES_256_GCM_SHA384) id us-mta-205-vtUB6J3oNwOSd6794gmWRQ-1; Wed, 10 Jun 2026 11:06:51 -0400 X-MC-Unique: vtUB6J3oNwOSd6794gmWRQ-1 X-Mimecast-MFC-AGG-ID: vtUB6J3oNwOSd6794gmWRQ_1781104010 Received: by mail-wr1-f70.google.com with SMTP id ffacd0b85a97d-45ef6417092so5803385f8f.2 for ; Wed, 10 Jun 2026 08:06:51 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=redhat.com; s=google; t=1781104010; x=1781708810; darn=vger.kernel.org; h=mime-version:user-agent:content-transfer-encoding:references :in-reply-to:date:cc:to:from:subject:message-id:from:to:cc:subject :date:message-id:reply-to; bh=QPpaWaBJfCdizC8s/Ue7zk3U2hXM2CnefU1fv28wztE=; b=NcdgnRARd3bOEReJHx1icaD0f/xqTJ9yMYxu7IzydSPQN/YrsTTWih3lBA+LVaDXld ysHPknBhqcWbnjkry7sYepNz3u8wGXlIOl++SfvI3/+8gVaMO846E61ylat6JuJkN8S0 Mr89M4aIxSVKfkBez3cd3+oCttvWbG7j6Qt8WQuP9FVEACW0AAakoiFwdPsDAdc0TXx7 WpmU0mSsaaQs3ZmhXGqBJ+GhqnGaXSm7V9pLcd8xkmlU2Ox7UIMOC39MUujSYTRtPwKH ICono0dacn2+0pZgvcZBjAzPc5OvGop9m6yGuhW3k39x+8sVaRbCPnrv+UKUhtAWkgdt 5zLw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20251104; t=1781104010; x=1781708810; h=mime-version:user-agent:content-transfer-encoding:references :in-reply-to:date:cc:to:from:subject:message-id:x-gm-gg :x-gm-message-state:from:to:cc:subject:date:message-id:reply-to; bh=QPpaWaBJfCdizC8s/Ue7zk3U2hXM2CnefU1fv28wztE=; b=homKBwMYwYfLixA6tyX9n2zCY/x0xdgwdsXMwTz1YecoAP36pofqXGfjicgYJzicWc l2a77z9sQJ3IlU8AHCvWFvuFJRCASd8cEaW78Ryups0R6Jputgk+29HwZNT08X9kx5Sa lq4lsd8K0JiJrFtvxzG50Re/HAFEr5phthEqUxRP7JehA/nEvZNZiEtYgWrkzG7/7VZh VBtjY/qtFaQJHsHSbUMTgnn2opfQH+hDRxbOqD90JAsxzGM8j4KZi5shXxOJ4z3230Dp HQmJ9lmxX4Na8KrIOiqMF/imn8+e1GVSSir7/VvSmQk8p9jFb/OX8ajeCVRJFZwvW7pY 49zA== X-Forwarded-Encrypted: i=1; AFNElJ/CWIlTKSckDvF1kaiMaSxLgl2B+OTWXVrOAIoiBQXzB40zz5c3zz8ifVddHX1p7Wj0miLaw3Ra+92DfG8=@vger.kernel.org X-Gm-Message-State: AOJu0YxrNUL4l+Vbj9mNGcbE3iOl42gm18US0jsNT4naImWqYkAEVqm2 FUT7lKm1Avi9JLqwsSpxlSNMTXRVGkfsbrJkjXzcQOgTTBLW4yPa7UMgtqd+DwTimfh89fF7BfJ K1TM7x40amSsgTjBXzxd6RLhRkp4JB56qpLcj1LUh4cmKs6AIrduuXsuwP4zp0y/rig== X-Gm-Gg: Acq92OEEiV0wpxC4e2c7lSi0cBQTXOQeiqWRM03ESU8G/NNB/7Q5X1PFgQpySBtx0Uf 9denoDaYwbzkS2VR5qADrcRQl/cRUzsdxecFKbLIEv/yo1DeDPnRlHJZWEp0OSb1HnXbSnDI4FN XpZr27+BqQtMlDlMD7kebSU6WpuQSAa489AJoqZ9sBwbDg271ZjgVU6Z/sN7wiXYYLafX8YC1TL YWQGdp7zNdm5w881RFCtBv4FdO4dCicFqi36puV1IVDlvni+2bWESV5FpAv1E4yRTl7ufRMAuRQ pMmpX1JVqYQPTVqaMJqu5b9STxJ4xOzbrw+F1qvllzrgK4tDVJ9d4anJ2V0C/qAZ41aJ7dfOgP8 PzeS+0+9xik6vYT2ipgtDwzG/XDtCIgd02JQq X-Received: by 2002:adf:e011:0:20b0:45e:ec47:aa10 with SMTP id ffacd0b85a97d-4603061937bmr27408003f8f.32.1781104010097; Wed, 10 Jun 2026 08:06:50 -0700 (PDT) X-Received: by 2002:adf:e011:0:20b0:45e:ec47:aa10 with SMTP id ffacd0b85a97d-4603061937bmr27407960f8f.32.1781104009593; Wed, 10 Jun 2026 08:06:49 -0700 (PDT) Received: from [192.168.1.167] ([185.168.96.228]) by smtp.gmail.com with ESMTPSA id ffacd0b85a97d-4601f35fb24sm77600673f8f.34.2026.06.10.08.06.48 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Wed, 10 Jun 2026 08:06:49 -0700 (PDT) Message-ID: <0090f3866aba2dea6cf34f8dff77c973ee78833f.camel@redhat.com> Subject: Re: [PATCH v3 12/13] verification/rvgen: Remove the old state variables From: Gabriele Monaco To: Nam Cao Cc: Steven Rostedt , Wander Lairson Costa , linux-trace-kernel@vger.kernel.org, linux-kernel@vger.kernel.org Date: Wed, 10 Jun 2026 17:06:48 +0200 In-Reply-To: References: Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: base64 User-Agent: Evolution 3.60.2 (3.60.2-1.fc44) Precedence: bulk X-Mailing-List: linux-kernel@vger.kernel.org List-Id: List-Subscribe: List-Unsubscribe: MIME-Version: 1.0 T24gTW9uLCAyMDI2LTA2LTA4IGF0IDEwOjU3ICswMjAwLCBOYW0gQ2FvIHdyb3RlOgo+IFRoZSBz dGF0ZSB2YXJpYWJsZXMgKHN0YXRlcywgaW5pdGlhbF9zdGF0ZSwgZmluYWxfc3RhdGVzKSBvbmx5 Cj4gY2FwdHVyZSB0aGUKPiBzdGF0ZXMnIG5hbWVzIGFuZCBoYXZlIGxlc3MgaW5mb3JtYXRpb24g dGhhbiB0aGVpciBMYXJrLWJhc2VkCj4gY291bnRlcnBhcnRzLgo+IAo+IFN3aXRjaCB0byB1c2Ug dGhlIG5ldyBzdGF0ZSB2YXJpYWJsZXMgYW5kIGRlbGV0ZSB0aGVzZSBvbGQgb25lcy4KPiAKPiBT aWduZWQtb2ZmLWJ5OiBOYW0gQ2FvIDxuYW1jYW9AbGludXRyb25peC5kZT4KClJldmlld2VkLWJ5 OiBHYWJyaWVsZSBNb25hY28gPGdtb25hY29AcmVkaGF0LmNvbT4KCj4gLS0tCj4gwqB0b29scy92 ZXJpZmljYXRpb24vcnZnZW4vcnZnZW4vYXV0b21hdGEucHkgfMKgIDkgKysrKy0tLS0tCj4gwqB0 b29scy92ZXJpZmljYXRpb24vcnZnZW4vcnZnZW4vZG90MmMucHnCoMKgwqAgfCAxMCArKysrKy0t LS0tCj4gwqB0b29scy92ZXJpZmljYXRpb24vcnZnZW4vcnZnZW4vZG90MmsucHnCoMKgwqAgfMKg IDggKysrKy0tLS0KPiDCoDMgZmlsZXMgY2hhbmdlZCwgMTMgaW5zZXJ0aW9ucygrKSwgMTQgZGVs ZXRpb25zKC0pCj4gCj4gZGlmZiAtLWdpdCBhL3Rvb2xzL3ZlcmlmaWNhdGlvbi9ydmdlbi9ydmdl bi9hdXRvbWF0YS5weQo+IGIvdG9vbHMvdmVyaWZpY2F0aW9uL3J2Z2VuL3J2Z2VuL2F1dG9tYXRh LnB5Cj4gaW5kZXggNGMzMDJmNWNiYTY4Li5hM2JlMzI3YzJhNzMgMTAwNjQ0Cj4gLS0tIGEvdG9v bHMvdmVyaWZpY2F0aW9uL3J2Z2VuL3J2Z2VuL2F1dG9tYXRhLnB5Cj4gKysrIGIvdG9vbHMvdmVy aWZpY2F0aW9uL3J2Z2VuL3J2Z2VuL2F1dG9tYXRhLnB5Cj4gQEAgLTQxMSw4ICs0MTEsNyBAQCBj bGFzcyBBdXRvbWF0YToKPiDCoMKgwqDCoMKgwqDCoMKgIHNlbGYuX19kb3RfbGluZXMgPSBzZWxm Ll9fb3Blbl9kb3QoKQo+IMKgwqDCoMKgwqDCoMKgwqAgc2VsZi5fX3BhcnNlX3RyZWUgPSBQYXJz ZVRyZWUoZmlsZV9wYXRoKQo+IMKgwqDCoMKgwqDCoMKgwqAgc2VsZi50cmFuc2l0aW9ucyA9IHNl bGYuX19wYXJzZV90cmFuc2l0aW9ucygpCj4gLcKgwqDCoMKgwqDCoMKgIHNlbGYuX3N0YXRlcywg c2VsZi5faW5pdGlhbF9zdGF0ZSwgc2VsZi5fZmluYWxfc3RhdGVzID0KPiBzZWxmLl9fcGFyc2Vf c3RhdGVzKCkKPiAtwqDCoMKgwqDCoMKgwqAgc2VsZi5zdGF0ZXMsIHNlbGYuaW5pdGlhbF9zdGF0 ZSwgc2VsZi5maW5hbF9zdGF0ZXMgPQo+IHNlbGYuX19nZXRfc3RhdGVfdmFyaWFibGVzKCkKPiAr wqDCoMKgwqDCoMKgwqAgc2VsZi5zdGF0ZXMsIHNlbGYuaW5pdGlhbF9zdGF0ZSwgc2VsZi5maW5h bF9zdGF0ZXMgPQo+IHNlbGYuX19wYXJzZV9zdGF0ZXMoKQo+IMKgwqDCoMKgwqDCoMKgwqAgc2Vs Zi5lbnZfdHlwZXMgPSB7fQo+IMKgwqDCoMKgwqDCoMKgwqAgc2VsZi5lbnZfc3RvcmVkID0gc2V0 KCkKPiDCoMKgwqDCoMKgwqDCoMKgIHNlbGYuY29uc3RyYWludF92YXJzID0gc2V0KCkKPiBAQCAt NjAzLDcgKzYwMiw3IEBAIGNsYXNzIEF1dG9tYXRhOgo+IMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDC oMKgwqDCoMKgwqDCoMKgwqAgZW52cy5hcHBlbmQoYy5lbnYpCj4gwqDCoMKgwqDCoMKgwqDCoMKg wqDCoMKgwqDCoMKgwqDCoMKgwqDCoCBzZWxmLl9fZXh0cmFjdF9lbnZfdmFyKGMpCj4gwqAKPiAt wqDCoMKgwqDCoMKgwqAgZm9yIHN0YXRlIGluIHNlbGYuX3N0YXRlczoKPiArwqDCoMKgwqDCoMKg wqAgZm9yIHN0YXRlIGluIHNlbGYuc3RhdGVzOgo+IMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoCBp ZiBzdGF0ZS5pbnY6Cj4gwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqAgZW52cy5hcHBl bmQoc3RhdGUuaW52LmVudikKPiDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoCBzZWxm Ll9fZXh0cmFjdF9lbnZfdmFyKHN0YXRlLmludikKPiBAQCAtNjM5LDcgKzYzOCw3IEBAIGNsYXNz IEF1dG9tYXRhOgo+IMKgwqDCoMKgIGRlZiBfX2NyZWF0ZV9tYXRyaXgoc2VsZikgLT4gbGlzdFts aXN0W3N0cl1dOgo+IMKgwqDCoMKgwqDCoMKgwqAgIyB0cmFuc2Zvcm0gdGhlIGFycmF5IGludG8g YSBkaWN0aW9uYXJ5Cj4gwqDCoMKgwqDCoMKgwqDCoCBldmVudHMgPSBzZWxmLmV2ZW50cwo+IC3C oMKgwqDCoMKgwqDCoCBzdGF0ZXMgPSBbcy5uYW1lIGZvciBzIGluIHNlbGYuX3N0YXRlc10KPiAr wqDCoMKgwqDCoMKgwqAgc3RhdGVzID0gW3MubmFtZSBmb3IgcyBpbiBzZWxmLnN0YXRlc10KPiDC oMKgwqDCoMKgwqDCoMKgIGV2ZW50c19kaWN0ID0ge30KPiDCoMKgwqDCoMKgwqDCoMKgIHN0YXRl c19kaWN0ID0ge30KPiDCoMKgwqDCoMKgwqDCoMKgIG5yX2V2ZW50ID0gMAo+IEBAIC02NzUsNyAr Njc0LDcgQEAgY2xhc3MgQXV0b21hdGE6Cj4gwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgIGZvciBq IGluIHJhbmdlKGxlbihzZWxmLnN0YXRlcykpOgo+IMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKg wqDCoMKgIGlmIHNlbGYuZnVuY3Rpb25bal1baV0gIT0gc2VsZi5pbnZhbGlkX3N0YXRlX3N0cjoK PiDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgIGN1cnJfZXZlbnRfdXNl ZCArPSAxCj4gLcKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoCBpZiBzZWxmLmZ1bmN0aW9u W2pdW2ldID09IHNlbGYuaW5pdGlhbF9zdGF0ZToKPiArwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKg wqDCoMKgIGlmIHNlbGYuZnVuY3Rpb25bal1baV0gPT0gc2VsZi5pbml0aWFsX3N0YXRlLm5hbWU6 Cj4gwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoCBjdXJyX2V2ZW50X3dp bGxfaW5pdCArPSAxCj4gwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgIGlmIHNlbGYuZnVuY3Rpb25b MF1baV0gIT0gc2VsZi5pbnZhbGlkX3N0YXRlX3N0cjoKPiDCoMKgwqDCoMKgwqDCoMKgwqDCoMKg wqDCoMKgwqDCoCBjdXJyX2V2ZW50X2Zyb21faW5pdCA9IFRydWUKPiBkaWZmIC0tZ2l0IGEvdG9v bHMvdmVyaWZpY2F0aW9uL3J2Z2VuL3J2Z2VuL2RvdDJjLnB5Cj4gYi90b29scy92ZXJpZmljYXRp b24vcnZnZW4vcnZnZW4vZG90MmMucHkKPiBpbmRleCBmYzg1YmExZjY0OWUuLjIyOTM4Y2UxYmY2 YyAxMDA2NDQKPiAtLS0gYS90b29scy92ZXJpZmljYXRpb24vcnZnZW4vcnZnZW4vZG90MmMucHkK PiArKysgYi90b29scy92ZXJpZmljYXRpb24vcnZnZW4vcnZnZW4vZG90MmMucHkKPiBAQCAtMjks MTAgKzI5LDEwIEBAIGNsYXNzIERvdDJjKEF1dG9tYXRhKToKPiDCoAo+IMKgwqDCoMKgIGRlZiBf X2dldF9lbnVtX3N0YXRlc19jb250ZW50KHNlbGYpIC0+IGxpc3Rbc3RyXToKPiDCoMKgwqDCoMKg wqDCoMKgIGJ1ZmYgPSBbXQo+IC3CoMKgwqDCoMKgwqDCoCBidWZmLmFwcGVuZChmIlx0e3NlbGYu aW5pdGlhbF9zdGF0ZX17c2VsZi5lbnVtX3N1ZmZpeH0sIikKPiArwqDCoMKgwqDCoMKgwqAKPiBi dWZmLmFwcGVuZChmIlx0e3NlbGYuaW5pdGlhbF9zdGF0ZS5uYW1lfXtzZWxmLmVudW1fc3VmZml4 fSwiKQo+IMKgwqDCoMKgwqDCoMKgwqAgZm9yIHN0YXRlIGluIHNlbGYuc3RhdGVzOgo+IMKgwqDC oMKgwqDCoMKgwqDCoMKgwqDCoCBpZiBzdGF0ZSAhPSBzZWxmLmluaXRpYWxfc3RhdGU6Cj4gLcKg wqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoCBidWZmLmFwcGVuZChmIlx0e3N0YXRlfXtzZWxm LmVudW1fc3VmZml4fSwiKQo+ICvCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqAgYnVmZi5h cHBlbmQoZiJcdHtzdGF0ZS5uYW1lfXtzZWxmLmVudW1fc3VmZml4fSwiKQo+IMKgwqDCoMKgwqDC oMKgwqAgYnVmZi5hcHBlbmQoZiJcdHN0YXRlX21heHtzZWxmLmVudW1fc3VmZml4fSwiKQo+IMKg Cj4gwqDCoMKgwqDCoMKgwqDCoCByZXR1cm4gYnVmZgo+IEBAIC0xNDIsNyArMTQyLDcgQEAgY2xh c3MgRG90MmMoQXV0b21hdGEpOgo+IMKgwqDCoMKgIGRlZiBmb3JtYXRfYXV0X2luaXRfc3RhdGVz X3N0cmluZyhzZWxmKSAtPiBsaXN0W3N0cl06Cj4gwqDCoMKgwqDCoMKgwqDCoCBidWZmID0gW10K PiDCoMKgwqDCoMKgwqDCoMKgIGJ1ZmYuYXBwZW5kKCJcdC5zdGF0ZV9uYW1lcyA9IHsiKQo+IC3C oMKgwqDCoMKgwqDCoAo+IGJ1ZmYuYXBwZW5kKHNlbGYuX19nZXRfc3RyaW5nX3ZlY3Rvcl9wZXJf bGluZV9jb250ZW50KHNlbGYuc3RhdGVzKSkKPiArwqDCoMKgwqDCoMKgwqAKPiBidWZmLmFwcGVu ZChzZWxmLl9fZ2V0X3N0cmluZ192ZWN0b3JfcGVyX2xpbmVfY29udGVudChbcy5uYW1lIGZvciBz Cj4gaW4gc2VsZi5zdGF0ZXNdKSkKPiDCoMKgwqDCoMKgwqDCoMKgIGJ1ZmYuYXBwZW5kKCJcdH0s IikKPiDCoAo+IMKgwqDCoMKgwqDCoMKgwqAgcmV0dXJuIGJ1ZmYKPiBAQCAtMTU5LDcgKzE1OSw3 IEBAIGNsYXNzIERvdDJjKEF1dG9tYXRhKToKPiDCoMKgwqDCoMKgwqDCoMKgIHJldHVybiBidWZm Cj4gwqAKPiDCoMKgwqDCoCBkZWYgX19nZXRfbWF4X3N0cmxlbl9vZl9zdGF0ZXMoc2VsZikgLT4g aW50Ogo+IC3CoMKgwqDCoMKgwqDCoCBtYXhfc3RhdGVfbmFtZSA9IGxlbihtYXgoc2VsZi5zdGF0 ZXMsIGtleT1sZW4pKQo+ICvCoMKgwqDCoMKgwqDCoCBtYXhfc3RhdGVfbmFtZSA9IG1heCgobGVu KHMubmFtZSkgZm9yIHMgaW4gc2VsZi5zdGF0ZXMpKQo+IMKgwqDCoMKgwqDCoMKgwqAgcmV0dXJu IG1heChtYXhfc3RhdGVfbmFtZSwgbGVuKHNlbGYuaW52YWxpZF9zdGF0ZV9zdHIpKQo+IMKgCj4g wqDCoMKgwqAgZGVmIGdldF9hdXRfaW5pdF9mdW5jdGlvbihzZWxmKSAtPiBzdHI6Cj4gQEAgLTE5 OSw3ICsxOTksNyBAQCBjbGFzcyBEb3QyYyhBdXRvbWF0YSk6Cj4gwqDCoMKgwqDCoMKgwqDCoCBy ZXR1cm4gYnVmZgo+IMKgCj4gwqDCoMKgwqAgZGVmIGdldF9hdXRfaW5pdF9pbml0aWFsX3N0YXRl KHNlbGYpIC0+IHN0cjoKPiAtwqDCoMKgwqDCoMKgwqAgcmV0dXJuIHNlbGYuaW5pdGlhbF9zdGF0 ZQo+ICvCoMKgwqDCoMKgwqDCoCByZXR1cm4gc2VsZi5pbml0aWFsX3N0YXRlLm5hbWUKPiDCoAo+ IMKgwqDCoMKgIGRlZiBmb3JtYXRfYXV0X2luaXRfaW5pdGlhbF9zdGF0ZShzZWxmKSAtPiBsaXN0 W3N0cl06Cj4gwqDCoMKgwqDCoMKgwqDCoCBidWZmID0gW10KPiBkaWZmIC0tZ2l0IGEvdG9vbHMv dmVyaWZpY2F0aW9uL3J2Z2VuL3J2Z2VuL2RvdDJrLnB5Cj4gYi90b29scy92ZXJpZmljYXRpb24v cnZnZW4vcnZnZW4vZG90MmsucHkKPiBpbmRleCBkYzZkNmYzMzcyOWIuLmU0YjZjN2MwOTE3MCAx MDA2NDQKPiAtLS0gYS90b29scy92ZXJpZmljYXRpb24vcnZnZW4vcnZnZW4vZG90MmsucHkKPiAr KysgYi90b29scy92ZXJpZmljYXRpb24vcnZnZW4vcnZnZW4vZG90MmsucHkKPiBAQCAtMTc5LDcg KzE3OSw3IEBAIGNsYXNzIGhhMmsoZG90MmspOgo+IMKgwqDCoMKgwqDCoMKgwqAgc2VsZi50cmFj ZV9oID0gc2VsZi5fcmVhZF90ZW1wbGF0ZV9maWxlKCJ0cmFjZV9oeWJyaWQuaCIpCj4gwqDCoMKg wqDCoMKgwqDCoCBzZWxmLmhhc19pbnZhcmlhbnQgPSBGYWxzZQo+IMKgwqDCoMKgwqDCoMKgwqAg c2VsZi5oYXNfZ3VhcmQgPSBGYWxzZQo+IC3CoMKgwqDCoMKgwqDCoCBmb3Igc3RhdGUgaW4gc2Vs Zi5fc3RhdGVzOgo+ICvCoMKgwqDCoMKgwqDCoCBmb3Igc3RhdGUgaW4gc2VsZi5zdGF0ZXM6Cj4g wqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgIGlmIHN0YXRlLmludjoKPiDCoMKgwqDCoMKgwqDCoMKg wqDCoMKgwqDCoMKgwqDCoCBzZWxmLmhhc19pbnZhcmlhbnQgPSBUcnVlCj4gwqDCoMKgwqDCoMKg wqDCoCBmb3IgdHJhbnNpdGlvbiBpbiBzZWxmLnRyYW5zaXRpb25zOgo+IEBAIC0zMTQsNyArMzE0 LDcgQEAgZiIiInN0YXRpYyBpbmxpbmUgYm9vbAo+IGhhX3ZlcmlmeV9pbnZhcmlhbnRzKHN0cnVj dCBoYV9tb25pdG9yICpoYV9tb24sCj4gwqB7eyIiIl0KPiDCoAo+IMKgwqDCoMKgwqDCoMKgwqAg X2Vsc2UgPSAiIgo+IC3CoMKgwqDCoMKgwqDCoCBmb3Igc3RhdGUgaW4gc2VsZi5fc3RhdGVzOgo+ ICvCoMKgwqDCoMKgwqDCoCBmb3Igc3RhdGUgaW4gc2VsZi5zdGF0ZXM6Cj4gwqDCoMKgwqDCoMKg wqDCoMKgwqDCoMKgIGlmIG5vdCBzdGF0ZS5pbnY6Cj4gwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKg wqDCoMKgwqAgY29udGludWUKPiDCoAo+IEBAIC0zODIsNyArMzgyLDcgQEAgZiIiInN0YXRpYyBp bmxpbmUgdm9pZCBoYV9zZXR1cF9pbnZhcmlhbnRzKHN0cnVjdAo+IGhhX21vbml0b3IgKmhhX21v biwKPiDCoMKgwqDCoMKgwqDCoMKgIGJ1ZmYuYXBwZW5kKGYiXHRpZiAoe2NvbmRpdGlvbl9zdHJ9 KVxuXHRcdHJldHVybjsiKQo+IMKgCj4gwqDCoMKgwqDCoMKgwqDCoCBfZWxzZSA9ICIiCj4gLcKg wqDCoMKgwqDCoMKgIGZvciBzdGF0ZSBpbiBzZWxmLl9zdGF0ZXM6Cj4gK8KgwqDCoMKgwqDCoMKg IGZvciBzdGF0ZSBpbiBzZWxmLnN0YXRlczoKPiDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqAgaW52 ID0gc3RhdGUuaW52Cj4gwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgIGlmIG5vdCBpbnY6Cj4gwqDC oMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqAgY29udGludWUKPiBAQCAtMzkxLDcgKzM5MSw3 IEBAIGYiIiJzdGF0aWMgaW5saW5lIHZvaWQgaGFfc2V0dXBfaW52YXJpYW50cyhzdHJ1Y3QKPiBo YV9tb25pdG9yICpoYV9tb24sCj4gwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgIGJ1ZmYuYXBwZW5k KGYiXHRcdHtpbnZ9OyIpCj4gwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgIF9lbHNlID0gImVsc2Ug Igo+IMKgCj4gLcKgwqDCoMKgwqDCoMKgIGZvciBzdGF0ZSBpbiBzZWxmLl9zdGF0ZXM6Cj4gK8Kg wqDCoMKgwqDCoMKgIGZvciBzdGF0ZSBpbiBzZWxmLnN0YXRlczoKPiDCoMKgwqDCoMKgwqDCoMKg wqDCoMKgwqAgaW52ID0gc3RhdGUuaW52Cj4gwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgIGlmIG5v dCBpbnY6Cj4gwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqAgY29udGludWUK