3 ms·There is also a lot of formally verified in C.by uecker 1y agoThere is also a lot of formally verified in C.