The counter is big-endian. Since it comes as an array of char,