On Wed, 13 Nov 2019, Finn Thain wrote:
+/* Values for the ESP family */I would omit that comment.
I see now that you meant "ESP family" in a narrow technical sense. I completely missed that. Maybe "Values for the ESP family bits" would make that clear. --