Microsoft: Rust Is the Industry’s ‘Best Chance’ at Safe Systems Programming