Create program.ml