DER_OID_SZ_id_sha512
const unsigned char ossl_der_oid_id_sha512[DER_OID_SZ_id_sha512] = {
DER_OID_SZ_id_sha512 + DER_SZ_NULL, \
extern const unsigned char ossl_der_oid_id_sha512[DER_OID_SZ_id_sha512];