use 32-bit integer as bitcount type instead of uint64_t to save GPU memory usage.