// This executable is used by test_RT_or_FT_predicates.cpp
int main(int, char**) { }