lysp: fails with clang 500