fsm -> sm