fixup #1: uint64_t for tsb_entries
fixup #2: combine _setbit() and _isset() into _lookup().