An implementation of "perfect hashing"