Boffins carve up C so code can be converted to Rust

Computer scientists affiliated with France's Inria and Microsoft have devised a way to automatically turn a subset of C code ...