Constant AERON_COUNTER_RECORD_UNUSED 

pub const AERON_COUNTER_RECORD_UNUSED: u32 = 0;