Constant AERON_COUNTER_SENDER_NAKS_RECEIVED_NAME 

pub const AERON_COUNTER_SENDER_NAKS_RECEIVED_NAME: &[u8; 18] = b"snd-naks-received\0";