AES-CTR test vectors work