[boost] Re: What should be called? [was: BOOST_CHECK_EQUAL fails...]