Hierarchical state machines (statecharts) with a declarative proc macro.
Procedural macro implementation for the hsmc crate.