Symbol: CALL_TXH