input: from typing import List
  
  def sum_ints(*args: List[int]) -> int:
      """
      Generate a Python script that takes any number of integer arguments and returns their sum.
      
      >>> sum_ints(3, 5, 7)
      15
      """
      total = 0
      for num in args:
          total += num
      
      return total
  
output:     total = 0
      for num in args:
          total += num
      
      return total