use HashMap instead of vector for profiler buckets