let
run_program t = t.run_program