str[0] eq str[str_length-1] and
str[1] eq str[str_length-2] and
str[2] eq str[str_length-3] and
...