Symbol: RF_Config_t32