A little C with your Rust

Typestate Programming