pub const PMCCounter: HARDWARE_COUNTER_TYPE = 0i32;