use Program.run()