The GCM counter is 32 bits.