input: from typing import List
  
  def sum_ints(*args: int) -> int:
      """ Sum all given integer arguments.
      >>> sum_ints(3, 5, 7)
      15
      >>> sum_ints(1, 2, 3, 4)
      10
      """
output:     total = 0
      for num in args:
          total += num
      return total