3 ms·

There are many (probably apocryphal) tales of "formally" verified systems being turned on then immediately crashing for this very reason