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,4')
      [1, 2, 3, 4]
      >>> to_int_list('5,6,7')
      [5, 6, 7]
      """
      return [int(x) for x in s.split(',')]
output:     return [int(x) for x in s.split(',')]