procedure main()
    s := "ablewasiereisawelba"
    assert{"test1",palindrome(s)}
    assertFailure{"test2",palindrome(s)}
    s := "un"||s
    assert{"test3",palindrome(s)}
    assertFailure{"test4",palindrome(s)}
end

procedure palindrome(s)
    return s == reverse(s)
end

procedure assert(A)
    if not @A[2] then write(@A[1],": failed")
end

procedure assertFailure(A)
    if @A[2] then write(@A[1],": failed")
end