input: 
  def random_string(length: int) -> str:
      """ Generate a random string of the specified length using lowercase letters.
      >>> random_string(6)
      'abcdef'  # This is an example; the actual output will be random.
      >>> random_string(4)
      'wxyz'  # This is an example; the actual output will be random.
      """
      letters = string.ascii_lowercase
      return ''.join(random.choice(letters) for i in range(length))
  
output:     import string
      import random