Options can be given to programs run by test.ml