Symbol: TCX_USER_RDFB32