On 2025-11-13 11:18 +11, Damien Miller <djm@mindrot.org> wrote:
> This is code generated from a theorem prover so the code is pretty

[...]

> I'd particularly appreciate test reports from anyone with access to
> a 64-bit BE architecture, as there has been bugs here in the past.

They have proven it to be correct but not tried it? I guess they learned
from the best...

-- 
In my defence, I have been left unsupervised.