sequence counter for Borrowing, yet to be tested