input: 
  def to_lower(string):
      """ Converts all characters of a given string to lowercase.
      >>> to_lower("HELLO")
      'hello'
      >>> to_lower("Hello World")
      'hello world'
      """
      return string.lower()
  
output:     return string.lower()