Symbol: ada4250_state