Actually, I have to encrypt a counter with three fish algorithm. Therefore, I need to convert it into the array of uint64_t.