Constant ID_HMAC_WITH_SHA_3_512 

pub const ID_HMAC_WITH_SHA_3_512: ObjectIdentifier;