#include <boost/assert.hpp>

int main()
{
	int x = 5;
	BOOST_ASSERT( x > 4 );
}