input: from typing import List
  
  
  def to_int_list(s: str) -> List[int]:
      """ Convert a given string to a list of integers.
      >>> to_int_list("1,2,3")
      [1, 2, 3]
      >>> to_int_list("4,5,6,7")
      [4, 5, 6, 7]
      """
output:     return [int(num) for num in s.split(',')]