pub type TPM2_HANDLE = UINT32;