Corrected AES-CCM examples