How about ```___wt_txn_id_check```?