input: def str_to_lower(string):
      """Convert a given string to its lowercase version.
      >>> str_to_lower("Hello World!")
      "hello world!"
      >>> str_to_lower("PYTHON IS AMAZING")
      "python is amazing"
      """
output:     return string.lower()