FSM generation in progress.