input: 
  def string_length(s: str) -> int:
      """Given a string, return the length of the string.
      >>> string_length("Python")
      6
      >>> string_length("Hello")
      5
      """
      return len(s)
  
output:     return len(s)