Create argv.ml