Symbol: __txn_begin