]> AFAIK, OCaml's bytecode is typeless. How hard would it be to infer types from the bytecode in order to create type-specific functions during JIT compilation? -- Dr Jon Harrop, Flying Frog Consultancy Ltd. http://www.ffconsultancy.com/?e