I think these two things were written at the same time and so the AES-CTR-HMAC AEADs never explicitly set these values. Change-Id: I0a142ad2b0fb9e893e290c1def5e5c6b193a3cc8