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