Statig is a Rust crate for designing event-driven systems using hierarchical state machines,...