input: def str_to_lower(string: str) -> str:
      """ Convert a given string to its lowercase version.
      >>> str_to_lower("Hello World!")
      'hello world!'
      >>> str_to_lower("PYTHON 3.9")
      'python 3.9'
      """
output:     return string.lower()