DARPA suggests turning old C code automatically into Rust – using AI, of course