Constant AERON_COUNTER_RECORD_ALLOCATED 

pub const AERON_COUNTER_RECORD_ALLOCATED: u32 = 1;