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