pub const MAX_COUNTER_EXTENSIONS: u32 = 2;