Symbol: fsm_read