Constant AERON_COUNTER_RECEIVER_NAKS_SENT_NAME 

pub const AERON_COUNTER_RECEIVER_NAKS_SENT_NAME: &[u8; 14] = b"rcv-naks-sent\0";