Symbol: rf_doubleEOdecode