input: def sum_list(input_list: List[int]) -> int:
      """
      Sum all the numbers in the given list.
  
      >>> sum_list([1, 2, 3])
      6
      >>> sum_list([-1, -2, -3])
      -6
      >>> sum_list([])
      0
      """
output:     total = 0
      for num in input_list:
          total += num
      return total