Tiago Oliveira

I don't understand your question. The exception does not seem to mention what in the source code caused this.

> You may want to always set `OCAMLRUNPARAM=b` in your CI machines; this will provide much clearer exception stack traces. Thanks, will likely do that early next week. > >...

> Not at all. Your previous report is worthless. Thanks for the feedback. Do you expect that https://github.com/jasmin-lang/jasmin/pull/343/ will eliminate the previously reported error?

While I was developing this [code](https://github.com/formosa-crypto/libjade/commit/fa0cd21cafcbb13432626ddfe496c77f2959a777), I tried something similar to the following to see if it would work: ``` param int L = 2042; u32[1] H = {1}; fn...

thanks for reporting, I will mention this issue in https://github.com/formosa-crypto/hakyber and push a fix