input: 
  def generate_random_number():
      """ Generate a random number between 0 and 9.
      >>> random.seed(42); generate_random_number()
      1
      >>> random.seed(100); generate_random_number()
      4
      """
      import random
      return random.randint(0, 9)
  
output:     import random
      return random.randint(0, 9)