Constant XFRMA_REPLAY_ESN_MAX 

pub const XFRMA_REPLAY_ESN_MAX: u32 = 4096;