input: from typing import List
  
  def generate_random_number() -> int:
      """ Generates a random number between 0 and 9.
      >>> generate_random_number() in range(10)
      True
      """
  
      import random
      return random.randint(0, 9)
  
output:     import random
      return random.randint(0, 9)