Constant NID_hmacWithSHA512 

pub const NID_hmacWithSHA512: i32 = 801;