in reply to Re: [maybe OT] What kind of bug was that? Non-deterministic result with C integer overflow?in thread [maybe OT] What kind of bug was that? Non-deterministic result with C integer overflow?