If rewriting in a safe language is the main driver why not rewrite everything in Ada instead of Rust?