Hello from Rust on Miren!