A possible new back end for Rust