input: 
  from random import randint
  
  def generate_random_number() -> int:
      """ Generate a random number between 0 and 9.
      >>> generate_random_number()
      # Output will vary due to randomness
      """
      return randint(0, 9)
  
output:     return randint(0, 9)