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(10, 20, 30, 40)
      100
      """
      total = 0
      for num in args:
          total += num
      return total
output:     total = 0
      for num in args:
          total += num
      return total