pub type TPMI_AES_KEY_BITS = TPM2_KEY_BITS;