corollary_support
pub fn __break_str<F: Fn(char) -> bool>( cond: F, input: String) -> (String, String)