corollary_support
pub fn __break<T: Clone, F: Fn(T) -> bool>( cond: F, input: Vec<T>) -> (Vec<T>, Vec<T>)