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