DumpStateMachine maybe done?