https://github.com/Oryx-Embedded/CycloneCRYPTO/blob/c51f65f72130dfa9a25f9639e358efa5a98c2107/mpi/mpi.c#L254 there you shift a signed integer left, which is causing sanity checker errors (for a good reason). recommendation: ``` // Set bit value if (value) r->data[n1] |= (1U << n2); else r->data[n1] &= ~(1U << n2); ```