Test

Symbol: t3_rtx