use cassert instead of BOOST_ASSERT()