3 ms·

Those guarantees are checked by the programmer, not the compiler. Mistakes and bugs can happen, just like in C.