input: from typing import List
  
  def sum_ints(*args) -> int:
      """ Sum the given arguments of integers.
      >>> sum_ints(3, 5, 7)
      15
      """
      total = 0
      for num in args:
          total += num
      return total
output:     total = 0
      for num in args:
          if isinstance(num, int):
              total += num
      return total