input: from typing import List
  
  def to_int_list(s: str) -> List[int]:
      """ Convert a given string of comma-separated values 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(x) for x in s.split(',')]