input: def str_to_lower(string: str) -> str:
      """ Converts a given string to its lowercase version.
      >>> str_to_lower("HELLO")
      'hello'
      >>> str_to_lower("World!")
      'world!'
      """
output:     return string.lower()