How Quickly Can Rust Formal