BOOST_CHECK_EQUAL should be enough?