The Dark Side of Logic: The near crash of SmartLynx Estonia flight 9001

Stuff like this keeps me up at night. However unlikely a condition is, given a long enough runtime, or enough installed base, you will eventually see it happen.