# issue 820
args = ["-f", "--no-add-history", "goals.pl", "-g", "test,halt"]