Use uint for bit indexes.  Use uint instead of uint64 for vector words.