--- /dev/null
+Return-path: <libre-riscv-dev-bounces@lists.libre-riscv.org>
+Envelope-to: publicinbox@libre-riscv.org
+Delivery-date: Mon, 01 Jun 2020 11:15:49 +0100
+Received: from localhost ([::1] helo=libre-riscv.org)
+ by libre-soc.org with esmtp (Exim 4.89)
+ (envelope-from <libre-riscv-dev-bounces@lists.libre-riscv.org>)
+ id 1jfhTw-0006Xs-3l; Mon, 01 Jun 2020 11:15:48 +0100
+Received: from lkcl.net ([217.147.94.29])
+ by libre-soc.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128)
+ (Exim 4.89) (envelope-from <lkcl@lkcl.net>) id 1jfhTt-0006Xm-V8
+ for libre-riscv-dev@lists.libre-riscv.org; Mon, 01 Jun 2020 11:15:45 +0100
+DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=lkcl.net;
+ s=201607131;
+ h=Content-Type:To:Subject:Message-ID:Date:From:In-Reply-To:References:MIME-Version;
+ bh=Kwbtcmy/gWY8o4LMzCFOEFa5rG/SMUwjz6UgulcH70w=;
+ b=iNtyUpABy0XlTYQrxkITE5xKWf1dSqsY9iIo1Hej0ogA5zF6G7bqyvOvoU+u6ROoBEge1liV1SuoulMoAwpw0L1QGKPU1drr6NvbyLFDAQe5DokO/t4mQ8o6CaIWyJS9kadbvm7mFVuAyVc7FNvlMf6Oruq6qmooFQmkeEMsnDw=;
+Received: from mail-lj1-f175.google.com ([209.85.208.175])
+ by lkcl.net with esmtpsa (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128)
+ (Exim 4.84_2) (envelope-from <lkcl@lkcl.net>) id 1jfhTt-0001IL-KM
+ for libre-riscv-dev@lists.libre-riscv.org; Mon, 01 Jun 2020 10:15:45 +0000
+Received: by mail-lj1-f175.google.com with SMTP id z18so7374291lji.12
+ for <libre-riscv-dev@lists.libre-riscv.org>;
+ Mon, 01 Jun 2020 03:15:30 -0700 (PDT)
+X-Gm-Message-State: AOAM533VvCBmiUIS1i4HPs5cGoBOFGXB38+2dvzn9GfeEjLJE0SD+plv
+ 4maBbuBSFbejCH+/F+2tvddMX4o+qzbXd9rwPQc=
+X-Google-Smtp-Source: ABdhPJzTxfV+Bh2cAqPDnPnbRXoeQG9Gimxl0uNCk53TCFSSKS8Eu9o/8TzHgLYg96ii3aKdTV1Tbr80PSMV24L1YWI=
+X-Received: by 2002:a2e:501b:: with SMTP id e27mr2359244ljb.117.1591006524654;
+ Mon, 01 Jun 2020 03:15:24 -0700 (PDT)
+MIME-Version: 1.0
+References: <E02C3F23-49C5-4C65-8B05-AD085772FDD1@gatech.edu>
+In-Reply-To: <E02C3F23-49C5-4C65-8B05-AD085772FDD1@gatech.edu>
+From: Luke Kenneth Casson Leighton <lkcl@lkcl.net>
+Date: Mon, 1 Jun 2020 11:15:12 +0100
+X-Gmail-Original-Message-ID: <CAPweEDzf3UA9d0rbbkSY6x4omKNwpfCn+pCkJJxQwufAWAfCrw@mail.gmail.com>
+Message-ID: <CAPweEDzf3UA9d0rbbkSY6x4omKNwpfCn+pCkJJxQwufAWAfCrw@mail.gmail.com>
+To: Libre-RISCV General Development <libre-riscv-dev@lists.libre-riscv.org>
+Subject: Re: [libre-riscv-dev] Named Records in nMigen
+X-BeenThere: libre-riscv-dev@lists.libre-riscv.org
+X-Mailman-Version: 2.1.23
+Precedence: list
+List-Id: Libre-RISCV General Development
+ <libre-riscv-dev.lists.libre-riscv.org>
+List-Unsubscribe: <http://lists.libre-riscv.org/mailman/options/libre-riscv-dev>,
+ <mailto:libre-riscv-dev-request@lists.libre-riscv.org?subject=unsubscribe>
+List-Archive: <http://lists.libre-riscv.org/pipermail/libre-riscv-dev/>
+List-Post: <mailto:libre-riscv-dev@lists.libre-riscv.org>
+List-Help: <mailto:libre-riscv-dev-request@lists.libre-riscv.org?subject=help>
+List-Subscribe: <http://lists.libre-riscv.org/mailman/listinfo/libre-riscv-dev>,
+ <mailto:libre-riscv-dev-request@lists.libre-riscv.org?subject=subscribe>
+Reply-To: Libre-RISCV General Development
+ <libre-riscv-dev@lists.libre-riscv.org>
+Content-Type: text/plain; charset="utf-8"
+Content-Transfer-Encoding: base64
+Errors-To: libre-riscv-dev-bounces@lists.libre-riscv.org
+Sender: "libre-riscv-dev" <libre-riscv-dev-bounces@lists.libre-riscv.org>
+
+T24gTW9uLCBKdW4gMSwgMjAyMCBhdCA3OjI5IEFNIFllaG93c2h1YSA8eWltbWFudWVsM0BnYXRl
+Y2guZWR1PiB3cm90ZToKPgo+IERvZXMgYW55Ym9keSBrbm93IGlmIGl0cyBwb3NzaWJsZSB0byBo
+YXZlIGEgbmFtZWQgcmVjb3JkcwoKUmVjb3JkLiAgZ2l2ZSBlYWNoIGJpdCAob3IgYml0IHJhbmdl
+KSBhIG5hbWUgYW5kIGl0IGlzIHBvc3NpYmxlIHRvCmVpdGhlciBhc3NpZ24gKGVxKSB0byBlYWNo
+IGJpdCAob3IgYml0IHJhbmdlKSAqb3IqIHRvIHRoZSBlbnRpcmUKdGhpbmcuICBiZWFyIGluIG1p
+bmQgY2F2ZWF0ICgxKSBiZWxvdy4KCgo+IG9yIHN1YnNpZ25hbHMgaW4gbk1pZ2VuPwoKYXMgSm9j
+ayBzYXlzOiBweXRob24gc2xpY2UsIGFuZCB1c2UgYW4gRW51bSBvciBhIGRlZmluZWQgKG5hbWVk
+KSBjb25zdGFudC4KCmJlYXIgaW4gbWluZCB0aGUgZm9sbG93aW5nOgoKKiBSZWNvcmQgaXMgdHJl
+YXRlZCBhcyBhIHNlcXVlbmNlIG9mIGJpdHMuLi4gKm5vdCogYSBzZXF1ZW5jZSBvZgpmaWVsZHMu
+IHNldmVyYWwgcGVvcGxlIG9iamVjdGVkIHRvIHRoaXMsIGFuZCB3aGl0ZXF1YXJrIHRvIGhlciBj
+cmVkaXQKZmluYWxseSBsaXN0ZW5lZC4gaG93ZXZlciB0aGUgcmVwbGFjZW1lbnQgZm9yIFJlY29y
+ZCBpcyBzdGlsbCB1bmRlcgpkZXZlbG9wbWVudC4KCiogUmVjb3JkT2JqZWN0IHdhcyBjcmVhdGVk
+IHRvIGFsbG93IGZvciBhbiBvdmVyLXJpZGUgb2YgdGhlIGJlaGF2aW91cgpvZiBSZWNvcmQsIHBy
+b3ZpZGluZyB1cyB3aXRoIHRoZSBhYmlsaXR5IHRvIGFjdHVhbGx5IGhhdmUgc29tZXRoaW5nCm1v
+cmUgbGlrZSBweXRob24gT08gYmVoYXZpb3VyLgoKKiB5b3UgY2FuIHVzZSBDYXQgb24gKkJPVEgq
+IHNpZGVzIG9mIHRoZSBlcXVhdGlvbi4gICpQQVkgQVRURU5USU9OKiB0bwp0aGUgTFNCLU1TQiBv
+cmRlcmluZy4gIENhdCBpcyBpbiAqTFNCKiBzZXF1ZW50aWFsIG9yZGVyaW5nIHN0YXJ0aW5nCmZy
+b20gdGhlIDFzdCBhcmd1bWVudCwgd2hlcmUgbnVtYmVycywgaW4gdGhlIEVOR0xJU0ggTEFOR1VB
+R0UsIHN0YXJ0CmZyb20gdGhlICpNU0IqLgoKICAgbS5kLmNvbWIgKz0gQ2F0KG15c2lnWzBdLCBt
+eXNpZ1s1XSwgbXlzaWdbNl0pLmVxKENvbnN0KDBiMTEwLCAzKQoKaXMgZXF1aXZhbGVudCB0bzoK
+CiAgIG0uZC5jb21iICs9IG15c2lnWzBdLmVxKDApCiAgIG0uZC5jb21iICs9IG15c2lnWzVdLmVx
+KDEpCiAgIG0uZC5jb21iICs9IG15c2lnWzZdLmVxKDEpCgoqIHRvIGNvcGUgd2l0aCBib3RoIFBP
+V0VSOSBMRS9CRSBhbmQgYWxzbyB0byBoZWxwIHdpdGggSVNBIGZpZWxkCmRlY29kaW5nLCB3ZSBj
+cmVhdGVkIHNvbWV0aGluZyB0aGF0IGFsbG93cyBmb3IgInJlbWFwcGluZyIgb2YgZmllbGRzLgpp
+dCdzIGNhbGxlZCBTaWduYWxCaXRSYW5nZS4gIHRoaXMgYWxsb3dzIHlvdSB0byAqcmVtYXAqIGEg
+c2VxdWVuY2Ugb2YKYml0cyB0byBjb21wbGV0ZWx5IGRpZmZlcmVudCByYW5nZXMuCgpsLgoKX19f
+X19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX18KbGlicmUtcmlzY3Yt
+ZGV2IG1haWxpbmcgbGlzdApsaWJyZS1yaXNjdi1kZXZAbGlzdHMubGlicmUtcmlzY3Yub3JnCmh0
+dHA6Ly9saXN0cy5saWJyZS1yaXNjdi5vcmcvbWFpbG1hbi9saXN0aW5mby9saWJyZS1yaXNjdi1k
+ZXYK
+