let has_prefix p s = let rec scan k p s = ( k >= String.length p ) || ( k < String.length s && p.[k] = s.[k] && scan (succ k) p s ) in scan 0 p s