input: def generate_random_number() -> int:
      """ Generates a random integer between 0 and 9 inclusive.
      >>> generate_random_number()
      4
      >>> generate_random_number()
      9
      """
      import random
      return random.randint(0, 9)
output:     import random
      return random.randint(0, 9)