input: 
  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, 0, 1)
      0
      >>> sum_ints(10)
      10
      """
  
output:     return sum(args)