#include int main() { BOOST_ASSERT(1); return 0; }