Vincent Laporte

> Do you know if it is possible to specify the information from the cmd line argument […] within a JSON file to be used with `-safetyconfig`? It is not...

To the best of my knowledge, the `-safetyconfig` option is not documented beyond what is output by `-safetymakeconfigdoc`.

> PR #312 should fix the assertion failures. That was not enough… PR #317 should help.

Is this an `ArrayInit`?

You may want to always set `OCAMLRUNPARAM=b` in your CI machines; this will provide much clearer exception stack traces. Is it the case that you’ve let a machine compute during...

> Did the previous report contribute to the next PR? #343 Not at all. Your previous report is worthless. I think we know that most implementations of kyber are unsafe...

This is related to [coalescing](https://en.wikipedia.org/wiki/Register_allocation#Coalescing).

Thanks for the report. In this case, I think that register allocation should fail. Is that right?

Well spotted. Here is a smaller example: ~~~ inline fn f(reg u64 j) { while (j < 1) { j += 1; } } export fn main (reg u64 i)...

Thanks for your report. A possible workaround might be to move the global variables outside the scope of the functions.