Sure, `__wt_txn_id_check` is fine by me.