Constant NID_hmacWithSHA512

pub const NID_hmacWithSHA512: u32 = 801;