pub const SADB_X_AALG_SHA2_512HMAC: u32 = 7;