Symbol: DB_TXNMAGIC