pub const AERON_COUNTER_RECORD_UNUSED: u32 = 0;