Reverse a string

::=