> Actually, I found the (almost) same code on the web and tried it.  The
> results (again, execution time in seconds) were:
> 
> 		SPARC	Pentium
> 	strstr	52.68	57.050
> 	kmp	111.52	143.490

Oops, I forgot to give "-unsafe" to ocamlopt in kmp.  With -unsafe,
the results have improved (but still worse than strstr):

		SPARC	Pentium
	kmp	73.50	79.940

Eijiro