Constant NL80211_REPLAY_CTR_LEN 

pub const NL80211_REPLAY_CTR_LEN: u32 = 8;