pub type TxSequenceNumber = u64;