Symbol: __switch_to_tm