input: 
  def rev_string(s: str) -> str:
      """ Reverse the input string.
      >>> rev_string("Hello World!")
      '!dlroW olleH'
      """
      return s[::-1]
  
  s = "Hello World!"
  print(rev_string(s))
  
output:     return s[::-1]