Symbol: _tx_open