let is_prefix f1 f2 = let len1 = String.length f1 in let len2 = String.length f2 in (len1 < len2) && (String.sub f2 0 len1) = f1