Symbol: fsm2ipcp