# File lib/debug.rb, line 810
  def get_thread(num)
    th = @thread_list.key(num)
    unless th
      @stdout.print "No thread ##{num}\n"
      throw :debug_error
    end
    th
  end