input: import random
  import string
  
  def random_string(length: int) -> str:
      """Generate a random string of given length using lowercase letters.
      >>> random_string(6)
      'abcxyz'
      """
      letters = string.ascii_lowercase
      return ''.join(random.choice(letters) for i in range(length))
  
  random_string(6)
output:     letters = string.ascii_lowercase
      return ''.join(random.choice(letters) for i in range(length))