PoC: 32‑bit limb addition with carry (adc) verification with hax using annotations in Rust code - View it on GitHub