Symbol: WMI_CIPHER_AES_OCB