Satisfying clang