pub type State = State;
pub enum State { Typed(StateTyped), Reference(StateRef), System(SystemState), }