Constant SHA_512_WITH_RSA_ENCRYPTION 

pub const SHA_512_WITH_RSA_ENCRYPTION: ObjectIdentifier;