pub type CheckpointSequenceNumber = u64;