use txn verify stubs