ExitCallback(sm: StateMachine, next: string): void