input: 
  from typing import List
  
  def sum_ints(*args: int) -> int:
      """ Takes any number of integer arguments and returns their sum.
      >>> sum_ints(3, 5, 7)
      15
      >>> sum_ints(1, 2, 3, 4, 5)
      15
      >>> sum_ints()
      0
      """
      total = 0
      for num in args:
          total += num
      return total
  
  input_ints = input("Enter integers separated by spaces: ").split()
  input_ints = [int(i) for i in input_ints]
  print(sum_ints(*input_ints))
  
output:     total = 0
      for num in args:
          total += num
      return total