pub type HARDWARE_COUNTER_TYPE = u32;