pub type magma_perf_count_pool_t = u64;