4 ms·

To a point I agree, but formal verification is a thing and wouldn’t handle a normal mainstream language as we know it.