Constant FINAL_COUNTER 

pub const FINAL_COUNTER: u64 = u64::MAX /* 18_446_744_073_709_551_615u64 */;

The final counter. A record signed at it is never replaced.

See PointerState::replaces for why, and Pointer::transfer_to for what it is for.