pub fn increment_be32(counter: &mut [u8; 16])
Increment only the trailing 32 bits, as AES-GCM specifies.