pub const MaxHardwareCounterType: HARDWARE_COUNTER_TYPE = _; // 1u32