reflect_32
crc = reflect_32(index);
crc32c_tab[3 - byte][index] = flip32(reflect_32(crc));
crc32c_tab[byte][index] = reflect_32(crc);
crc = reflect_32(i);
crctab[3 - k][i] = flip32(reflect_32(crc));
crctab[k][i] = reflect_32(crc);