Constant SADB_X_AALG_SHA2_512HMAC 

pub const SADB_X_AALG_SHA2_512HMAC: u32 = 7;