input: def generate_string(string_length: int) -> str:
      """ Generate a random string of a specified length.
      >>> generate_string(10) # e.g. 'aB3dFgHjK9'
      This function should return a random string of length 10.
      """
output:     import random
      import string
      
      return ''.join(random.choices(string.ascii_letters + string.digits, k=string_length))