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