>
> and I guess you mean in both bytecode and nativecode and without
> compiling with -unsafe, right?
>
Yes,
Of course -unsafe is out of the picture. Using unsafe functions
(String.unsafe-get etc...) will also disqualify your solution.

And I'll push it even further: using -rectypes counts as a penalty but
crashing the interpreter is a bonus.

Till
P.S. I forgot to give credit in my previous mail: the bug was found
with Stéphane Glondu and Jérôme Vouillon while trying to understand
scanf, however they should not be held responsible for this post .
Adam Chlipala pointed out this might be the record for a segfault in
Ocaml, giving me the idea of launching this contest...
>
> --
> Jean-Christophe Filliâtre
> http://www.lri.fr/~filliatr/
>
>
>