filipeom

I checked quickly, and I think it's only ever when the namespace should be `var`. In any case, I adjusted the documentation just in case as well https://github.com/formalsec/smtml/pull/354

Also, formalsec/smtml#355 should fix https://github.com/OCamlPro/owi/issues/637#issuecomment-2889089206 at least in the case where the number of bits to rotate is concrete.

I didn't know I could close this by referencing it in the smtml repo. I'll run this locally to ensure it is indeed fixed 😅

So, it seems that formalsec/smtml#356 was needed. But now I'm getting this weird behaviour where sometimes it crashes and other times it finishes: ```sh $ dune exec -- owi c...

> It is expected that two runs may lead to a different output with many workers, you can add `-w1` to get something more deterministic. It seems to be crashing...