Beginnings of an OCaml cross-compiler.