input: from typing import List
  import random
  
  def generate_numbers() -> List[int]:
      """ Generate a list of 10 random numbers between 0 and 10.
      >>> numbers = generate_numbers()
      >>> all(0 <= num <= 10 for num in numbers)
      True
      >>> len(numbers)
      10
      """
output:     return [random.randint(0, 10) for _ in range(10)]