Write an OCaml script, run an optimized executable