Historic code of the FSM generator