What are some examples of sound programs you want to write in Rust but are unable to write?