pub type IPSEC_CIPHER_TYPE = i32;