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