brun '(logxor)'
()
