@mhoye @jonathankoren similarly 7 9s chance of undefined behavior in C++ integer multiplication due to overflow. so probable with random Input that optimizing away imul operations would be done by an AI-based optimizer