How to Write Rust in the Kernel