https://oxor.io/blog/2024-08-16-overflow-and-underflow-vulnerabilities-in-cairo/