s : string := "a/b/c"; b : boolean := strings.is_slashed_date( s ; -- ) missing