2 ms·

There are also software verification tools that use binaries instead. That's how seL4 gets verified. This way you're safe from compiler bugs.