Constant NID_hmacWithSHA512

pub const NID_hmacWithSHA512: i32 = 801;