Constant ID_HMAC_WITH_SHA_512 

pub const ID_HMAC_WITH_SHA_512: ObjectIdentifier;