Constant NID_hmacWithSHA512 

pub const NID_hmacWithSHA512: c_int = 801;