Symbol: stfsm_wait_seq