Symbol: nfsm_split