Symbol: fsm2lcp