2 ms·

Also Rust semantics is more amenable to formal verification. This might have major implications in 5-10 years time.