(func palindrome? (str)
    (branch
        ((<= (length str) 1) #true)
        ((eq? (first str) (last str))
            (palindrome? (reverse (rest (reverse (rest str))))))
        (#true #false)))