Use uint32_t for lookup tables, not uint64_t