ACSL palindrome program