pub const EverCrypt_Error_UnsupportedAlgorithm: u32 = 1;