input: def generate_numbers() -> List[int]:
      """Generate a list of 10 random integers between 0 and 10.
      >>> generate_numbers()
      [3, 7, 9, 1, 2, 4, 6, 5, 8, 0]
      >>> generate_numbers()
      [5, 1, 3, 7, 2, 6, 9, 4, 0, 8]
      """
output:     import random
      return [random.randint(0, 10) for _ in range(10)]