Symbol: wmi_add_cipher_key