2 ms·

Seems like it would be easier to audit and/or prove a compiler than all of the important software built from it.