let run_program t = t.run_program