let is_prefix s1 s2 = let len1 = String.length s1 in let len2 = String.length s2 in len1 >= len2 && (String.sub s1 0 len2) = s2