# File karel/karel_window.rb, line 150
    def end_program(menu)
       exit()
    end