Symbol: to_adf4377_state