Constant EverCrypt_Error_UnsupportedAlgorithm 

pub const EverCrypt_Error_UnsupportedAlgorithm: u32 = 1;